Macaulay2
»
Documentation
Packages
»
Macaulay2Doc
::
Module ^ List
next
|
previous
|
forward
|
backward
| up |
index
|
toc
Module ^ List -- projection onto summand
Synopsis
Operator:
^
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
_
-- a binary operator, used for subscripting and access to elements
Module
-- the class of all modules
List
-- the class of all lists -- {...}
Ways to use this method:
Module ^ List
-- projection onto summand