Module _ {...} -- map from free module to some generators

Module _ {...} -- map from free module to some generators

Synopsis:

Operator: _

Input:

an instance of class Module.

an instance of class List.

Output:

an instance of class Matrix.

M_{i,j,k,...} -- provides a map from a free module to the module M which sends the basis vectors to the generators of M 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:

^ -- a binary operator, usually used for exponents

Module -- the class of all modules

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

Code:

     -- ../../../Macaulay2/m2/modules2.m2:614-617
     Module _ List := Matrix => (M,v) -> (
          N := cover M;
          f := id_N_v;
          map(M, source f, f))