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

• 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.

i1 : M = ZZ^5

       5
o1 = ZZ

o1 : ZZ-module, free

i2 : exteriorPower(3,M)

       10
o2 = ZZ

o2 : ZZ-module, free