ROOT  6.06/08
Reference Guide
math/smatrix/doc/SMatrixClass.md
Go to the documentation of this file.
1 // SMatrix example of usage
2 
3 /**
4 
5 \page SMatrixDoc SMatrix Class Properties
6 
7 The template ROOT::Math::SMatrix class has 4 template parameters which define, at compile time, its properties. These are:
8 
9 * type of the contained elements, T, for example _float_ or _double_;
10 * number of rows;
11 * number of columns;
12 * representation type (\ref MatRep). This is a class describing the underlined storage model of the Matrix. Presently exists only two types of this class:
13  1. ROOT::Math::MatRepStd for a general nrows x ncols matrix. This class is itself a template on the contained type T, the number of rows and the number of columns. Its data member is an array T[nrows*ncols] containing the matrix data. The data are stored in the row-major C convention. For example, for a matrix, M, of size 3x3, the data \f$ \left[a_0,a_1,a_2,.......,a_7,a_8 \right] \f$ are stored in the following order: \f[ M = \left( \begin{array}{ccc} a_0 & a_1 & a_2 \\ a_3 & a_4 & a_5 \\ a_6 & a_7 & a_8 \end{array} \right) \f]
14  2. ROOT::Math::MatRepSym for a symmetric matrix of size NxN. This class is a template on the contained type and on the symmetric matrix size, N. It has as data member an array of type T of size N*(N+1)/2, containing the lower diagonal block of the matrix. The order follows the lower diagonal block, still in a row-major convention. For example for a symmetric 3x3 matrix the order of the 6 elements \f$ \left[a_0,a_1.....a_5 \right]\f$ is: \f[ M = \left( \begin{array}{ccc} a_0 & a_1 & a_3 \\ a_1 & a_2 & a_4 \\ a_3 & a_4 & a_5 \end{array} \right) \f]
15 
16 ### Creating a matrix
17 
18 The following constructors are available to create a matrix:
19 
20 * Default constructor for a zero matrix (all elements equal to zero).
21 * Constructor of an identity matrix.
22 * Copy constructor (and assignment) for a matrix with the same representation, or from a different one when possible, for example from a symmetric to a general matrix.
23 * Constructor (and assignment) from a matrix expression, like D = A*B + C. Due to the expression template technique, no temporary objects are created in this operation. In the case of an operation like A = A*B + C, a temporary object is needed and it is created automatically to store the intermediary result in order to preserve the validity of this operation.
24 * Constructor from a generic STL-like iterator copying the data referred by the iterator, following its order. It is both possible to specify the _begin_ and _end_ of the iterator or the _begin_ and the size. In case of a symmetric matrix, it is required only the triangular block and the user can specify whether giving a block representing the lower (default case) or the upper diagonal part.
25 * Constructor of a symmetric matrix NxN passing a ROOT::Math::SVector with dimension N*(N+1)/2 containing the lower (or upper) block data elements.
26 
27 Here are some examples on how to create a matrix. We use _typedef's_ in the following examples to avoid the full C++ names for the matrix classes. Notice that for a general matrix the representation has the default value, ROOT::Math::MatRepStd, and it is not needed to be specified. Furtheremore, for a general square matrix, the number of column may be as well omitted.
28 
29 <pre>_// typedef definitions used in the following declarations_
30 typedef ROOT::Math::SMatrix<double,3> SMatrix33;
31 typedef ROOT::Math::SMatrix<double,2> SMatrix22;
32 typedef ROOT::Math::SMatrix<double,3,3,ROOT::Math::MatRepSym<double,3> > SMatrixSym3;
33 typedef ROOT::Math::SVector>double,2> SVector2;
34 typedef ROOT::Math::SVector>double,3> SVector3;
35 typedef ROOT::Math::SVector>double,6> SVector6;
36 
37 SMatrix33 m0; _// create a zero 3x3 matrix_
38 _// create an 3x3 identity matrix_
39 SMatrix33 i = ROOT::Math::SMatrixIdentity();
40 double a[9] = {1,2,3,4,5,6,7,8,9}; _// input matrix data_
41 SMatrix33 m(a,9); _// create a matrix using the a[] data_
42 _// this will produce the 3x3 matrix
43 // ( 1 2 3
44 // 4 5 6
45 // 7 8 9 )_
46 </pre>
47 
48 Example to create a symmetric matrix from an _std::vector_:
49 
50 <pre>std::vector<double> v(6);
51 for (int i = 0; i<6; ++i) v[i] = double(i+1);
52 SMatrixSym3 s(v.begin(),v.end())
53 _// this will produce the symmetric matrix
54 // ( 1 2 4
55 // 2 3 5
56 // 4 5 6 )_
57 
58 _// create a a general matrix from a symmetric matrix. The opposite will not compile_
59 SMatrix33 m2 = s;
60 </pre>
61 
62 Example to create a symmetric matrix from a ROOT::Math::SVector contining the lower/upper data block:
63 
64 <pre>ROOT::Math::SVectorr<double, 6> v(1,2,3,4,5,6);
65 SMatrixSym3 s1(v); // lower block (default)
66 // this will produce the symmetric matrix
67 // ( 1 2 4
68 // 2 3 5
69 // 4 5 6 )
70 
71 SMatrixSym3 s2(v,false); // upper block
72 // this will produce the symmetric matrix
73 // ( 1 2 3
74 // 2 4 5
75 // 3 5 6 )
76 </pre>
77 
78 ### Accessing and Setting Methods
79 
80 The matrix elements can be set using the _operator()(irow,icol)_, where irow and icol are the row and column indexes or by using the iterator interface. Notice that the indexes start from zero and not from one as in FORTRAN. All the matrix elements can be set also by using the ROOT::Math::SetElements function passing a generic iterator.
81 The elements can be accessed by these same methods and also by using the ROOT::Math::SMatrix::apply function. The _apply(i)_ function has exactly the same behavior for general and symmetric matrices, in contrast to the iterator access methods which behave differently (it follows the data order).
82 
83 <pre>SMatrix33 m;
84 m(0,0) = 1; _ // set the element in first row and first column_
85 *(m.**begin**()+1) = 2; _// set the second element (0,1)_
86 double d[9]={1,2,3,4,5,6,7,8,9};
87 m.SetElements(d,d+9); _// set the d[] values in m_
88 
89 double x = m(2,1); _// return the element in third row and first column_
90 x = m.**apply**(7); _// return the 8-th element (row=2,col=1)_
91 x = *(m.**begin**()+7); _// return the 8-th element (row=2,col=1)_
92 _// symmetric matrices (note the difference in behavior between apply and the iterators)_
93 x = *(m.**begin**()+4) _// return the element (row=2,col=1)._
94 x = m.**apply**(7); _// returns again the (row=2,col=1) element_
95 </pre>
96 
97 There are methods to place and/or retrieve ROOT::Math::SVector objects as rows or columns in (from) a matrix. In addition one can put (get) a sub-matrix as another ROOT::Math::SMatrix object in a matrix. If the size of the the sub-vector or sub-matrix are larger than the matrix size a static assert ( a compilation error) is produced. The non-const methods are:
98 
99 <pre>
100 
101 SMatrix33 m;
102 SVector2 v2(1,2);
103 _// place a vector of size 2 in the first row starting from element (0,1) : m(0,1) = v2[0]_
104 m.**Place_in_row**(v2,0,1);
105 _// place the vector in the second column from (0,1) : m(0,1) = v2[0] _
106 m.**Place in_col**(v2,0,1);
107 SMatrix22 m2;
108 _// place the sub-matrix m2 in m starting from the element (1,1) : m(1,1) = m2(0,0) _
109 m.**Place_at**(m2,1,1);
110 SVector3 v3(1,2,3);
111 _// set v3 as the diagonal elements of m : m(i,i) = v3[i] for i=0,1,2_
112 m.**SetDiagonal**(v3) </pre>
113 
114 The const methods retrieving contents (getting slices of a matrix) are:
115 
116 <pre>a = {1,2,3,4,5,6,7,8,9};
117 SMatrix33 m(a,a+9);
118 SVector3 irow = m.**Row**(0); _// return as vector the first matrix row_
119 SVector3 jcol = m.**Col**(1); _// return as vector the second matrix column_
120 _// return a slice of the first row from element (0,1) : r2[0] = m(0,1); r2[1] = m(0,2)_
121 SVector2 r2 = m.**SubRow**<SVector2> (0,1);
122 _// return a slice of the second column from element (0,1) : c2[0] = m(0,1); c2[1] = m(1,1);_
123 SVector2 c2 = m.**SubCol**<SVector2> (1,0);
124 _// return a sub-matrix 2x2 with the upper left corner at the values (1,1)_
125 SMatrix22 subM = m.**Sub**<SMatrix22> (1,1);
126 _// return the diagonal element in a SVector_
127 SVector3 diag = m.**Diagonal**();
128 _// return the upper(lower) block of the matrix m_
129 SVector6 vub = m.**UpperBlock**(); _// vub = [ 1, 2, 3, 5, 6, 9 ]_
130 SVector6 vlb = m.**LowerBlock**(); _// vlb = [ 1, 4, 5, 7, 8, 9 ]_
131 </pre>
132 
133 ### Linear Algebra Functions
134 
135 Only limited linear algebra functionality is available for SMatrix. It is possible for squared matrices NxN, to find the inverse or to calculate the determinant. Different inversion algorithms are used if the matrix is smaller than 6x6 or if it is symmetric. In the case of a small matrix, a faster direct inversion is used. For a large (N > 6) symmetric matrix the Bunch-Kaufman diagonal pivoting method is used while for a large (N > 6) general matrix an LU factorization is performed using the same algorithm as in the CERNLIB routine [dinv](https://cern-tex.web.cern.ch/cern-tex/shortwrupsdir/f010/top.html).
136 
137 <pre>_// Invert a NxN matrix. The inverted matrix replace the existing one and returns if the result is successful_
138 bool ret = m.**Invert**()
139 _// return the inverse matrix of m. If the inversion fails ifail is different than zero_
140 int ifail = 0;
141 mInv = m.**Inverse**(ifail);
142 </pre>
143 
144 The determinant of a square matrix can be obtained as follows:
145 
146 <pre>double det;
147 _// calculate the determinant modyfing the matrix content. Returns if the calculation was successful_
148 bool ret = m.**Det**(det);
149 _// calculate the determinant using a temporary matrix but preserving the matrix content_
150 bool ret = n.**Det2**(det);
151 </pre>
152 
153 For additional Matrix functionality see the \ref MatVecFunctions page
154 
155 */