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 /build/reproducible-path/macaulay2-1.25.05+ds/M2/Macaulay2/packages/Brackets.m2:564:0.