contractionData -- Compute the action of monomials in the exterior algebra on the Beilinson monad

Synopsis

• Usage:

  contractionData(a, b, E)

• Inputs:

  • a, a list, row degrees
  • b, a list, degrees
  • E, a ring, exterior algebra
• Optional inputs:

  • BundleType => ...,
• Outputs:

  • a list, maps from U^a to U^b

Caveat