(quote _,Module,Array)

M_[i,j,k] -- extract some columns of blocks from a matrix f.

The module M should be a direct sum, and the result is the matrix obtained by inclusion from the sum of the components numbered i, j, k. Free modules are regarded as direct sums.

i1 : M = ZZ^2 ++ ZZ^3

       5
o1 = ZZ

o1 : ZZ - module, free
i2 : M_[0]

o2 = | 1 0 |
     | 0 1 |
     | 0 0 |
     | 0 0 |
     | 0 0 |

              5        2
o2 : Matrix ZZ  <--- ZZ
i3 : M_[1]

o3 = | 0 0 0 |
     | 0 0 0 |
     | 1 0 0 |
     | 0 1 0 |
     | 0 0 1 |

              5        3
o3 : Matrix ZZ  <--- ZZ
i4 : M_[1,0]

o4 = | 0 0 0 1 0 |
     | 0 0 0 0 1 |
     | 1 0 0 0 0 |
     | 0 1 0 0 0 |
     | 0 0 1 0 0 |

              5        5
o4 : Matrix ZZ  <--- ZZ

See also submatrix, Matrix _ Array, Module ^ Array, and Module _ List.


topindexpreviousupnext