next | previous | forward | backward | up | top | index | toc | Macaulay2 web site

HigherCIOperators :: exteriorMultiplication

exteriorMultiplication -- "multiplication maps in the exterior algebra"

Synopsis

Usage:
mu = exteriorMultiplication n
Inputs:
- n, an integer, positive integer
Outputs:
- mu, a hash table, mu{p,q}∧^p kⁿ⊗∧^q kⁿ →∧^p+qkⁿ

Description

The basis of each ∧^p kⁿ is given in lex order.

Caveat

This is not the order of the basis in the output of koszul ff; rather, use trueKoszul ff.

See also

trueKoszul -- "Makes Koszul complex, with bases sorted in lex"

Ways to use `exteriorMultiplication` :

exteriorMultiplication(ZZ)