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

• Usage:

  contractionData(a, b, E)

• Inputs:
  • a, a list, row degrees
  • b, a list, degrees
  • E, a ring, exterior algebra
• Optional inputs:
  • BundleType => ..., default value PrunedQuotient
• Outputs:
  • a list, maps from U^a to U^b