This method produces a list of the marked terms in a marked polynomial list. If the m option is used it produces a list of the leading terms for a list of marked polynomial lists.
This functionality is already provided in Macaulay 2 by the first function.
i1 : QQ[x,y,z]; |
i2 : L = gfanMarkPolynomialSet({x*y^3+z^4, x^2*z^2 + y^3*z}, {-1,2,5}) o2 = {(z^4) + x*y^3, (y^3*z) + x^2*z^2} o2 : MarkedPolynomialList |
i3 : gfanLeadingTerms L 4 3 o3 = {z , y z} o3 : List |
i4 : first L 4 3 o4 = {z , y z} o4 : List |
i5 : M = gfanMarkPolynomialSet({x^2*y+y*z^2, x*z^2 + x*y*z}, {-1,2,5}) o5 = {(y*z^2) + x^2*y, (x*z^2) + x*y*z} o5 : MarkedPolynomialList |
i6 : gfanLeadingTerms({M,L}, "m" => true) 2 2 4 3 o6 = {{y*z , x*z }, {z , y z}} o6 : List |
i7 : {M,L} / first 2 2 4 3 o7 = {{y*z , x*z }, {z , y z}} o7 : List |
gfan Documentation This program converts a list of polynomials to a list of their leading terms.Options:-m: Do the same thing for a list of polynomial sets. That is, output the set of sets of leading terms.
The object gfanLeadingTerms is a method function with options.