exteriorPower -- exterior power

exteriorPower -- exterior power

exteriorPower(i,M) -- the i-th exterior power of a module M.
exteriorPower(i,f) -- the i-th exterior power of a matrix f.

The rows and columns are indexed in the same order as that used by subsets when listing the subsets of a set.

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:

determinants

minors -- ideal generated by minors

det -- determinant of a matrix

wedgeProduct -- the exterior multiplication map

Ways to use exteriorPower :

exteriorPower(ZZ,CoherentSheaf) -- exterior power

exteriorPower(ZZ,Matrix) -- exterior power

exteriorPower(ZZ,Module)

Optional arguments :

exteriorPower(..., Strategy => ...) -- choose between Bareiss and Cofactor algorithms