next | previous | forward | backward | up | top | index | toc | Macaulay2 website
Macaulay2Doc :: Module ^ List

Module ^ List -- projection onto summand

Synopsis

Description

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