Synopsis:
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} |
See also:
Code:
-- ../../../Macaulay2-0.9.2/Macaulay2/m2/modules2.m2:614-617 Module _ List := Matrix => (M,v) -> ( N := cover M; f := id_N_v; map(M, source f, f))