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

Synopsis

Function: exteriorPower
Usage:

exteriorPower(i,M)

exteriorPower_i M
Inputs:
- i, an integer
- M, a module
Optional inputs:
- Strategy => ..., default value null, choose between Bareiss, Cofactor and Dynamic algorithms
Outputs:
- a module, the i-th exterior power of M.

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.

Ways to use this method: