Module ^ {...} -- projection map from a free module

Module ^ {...} -- projection map from a free module

Synopsis:

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

Input:

an instance of class Module.

an instance of class List.

Output:

an instance of class Matrix.

M^{i,j,k,...} -- provides the projection map from a free module M to the free module corresponding to the basis vectors whose index numbers are listed.

i1 : (ZZ^5)^{2,3}



o1 = | 0 0 1 0 0 |

     | 0 0 0 1 0 |



              2        5

o1 : Matrix ZZ  <--- ZZ

See also:

Module -- the class of all modules

List -- the class of all lists -- {...}

Code:

     -- ../../../Macaulay2/m2/modules2.m2:612
     Module ^ List := Matrix => (M,rows) -> submatrix(id_M,rows,)