The relations between brackets generate an ideal, which are the classic Plücker relations. A Groebner basis for this ideal allows one to represent a polynomial in brackets in a unique normal form.
|
|
|
See also Bracket, toBracketPolynomial, and bracketRing
The object normalForm is a method function.
The source of this document is in Brackets.m2:564:0.