next | previous | forward | backward | up | top | index | toc | Macaulay2 web site
Macaulay2Doc :: exteriorPower(ZZ,Module)

exteriorPower(ZZ,Module) -- exterior power of a module

Synopsis

Description

i1 : M = ZZ^5

       5
o1 = ZZ

o1 : ZZ-module, free
i2 : exteriorPower(3,M)

       10
o2 = ZZ

o2 : ZZ-module, free
When i is 1, then the result is equal to M. When M is not a free module, then the generators used for the result will be wedges of the generators of M. In other words, the modules cover exteriorPower(i,M) and exteriorPower(i,cover M) will be equal.

See also