exteriorMultiplication -- "multiplication maps in the exterior algebra"

• Usage:

  mu = exteriorMultiplication n

• Inputs:
  • n, an integer, positive integer
• Outputs:
  • mu, a hash table, $mu\{p,q\}\wedge^p k^n\otimes \wedge^q k^n \to \wedge^{p+q}k^n$