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

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



i1 : M = ZZ^5

o1 = ZZ

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

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