Matrix ^ {...} -- select some rows of a matrix

Matrix ^ {...} -- select some rows of a matrix

Synopsis:

Operator: ^ -- a binary operator, usually used for exponents

Input:

an instance of class Matrix.

an instance of class List.

Output:

an instance of class Matrix.

f^{i,j,k,...} -- produce the submatrix of a matrix f consisting of rows numbered i, j, k, ... .

Repetitions of the indices are allowed.

If the list of row indices is a permutation of 0 .. n-1, where n is the number of rows, then the result is the corresponding permutation of the rows of f.

i1 : R = ZZ/101[a..f]



o1 = R



o1 : PolynomialRing

i2 : p = matrix {{a,b,c},{d,e,f}}



o2 = | a b c |

     | d e f |



             2       3

o2 : Matrix R  <--- R

i3 : p^{1}



o3 = | d e f |



             1       3

o3 : Matrix R  <--- R

i4 : p^{1,0}



o4 = | d e f |

     | a b c |



             2       3

o4 : Matrix R  <--- R

See also:

^ -- a binary operator, usually used for exponents

Code:

     -- ../../../Macaulay2/m2/matrix.m2:410-414
     Matrix ^ List := Matrix => (f,v) -> (
          v = splice v;
          listZ v;
          submatrix(f,v,)
          )