g = toBracketPolynomial(f,B)
A polynomial invariant under the action of the special linear group may be represented by a polynomial in brackets. See Bracket for more details. Groebner basis methods allow one to compute such a representation. Below is a simple example.
|
|
|
|
Such a representation is not unique. It may be checked that two bracket polynomials are equal through their normal form with respect to a Groebner basis. See normalForm for a further explanation.
See also BracketRing.
The object toBracketPolynomial is a method function.
The source of this document is in /build/reproducible-path/macaulay2-1.25.05+ds/M2/Macaulay2/packages/Brackets.m2:547:0.