This method computes the homogeneity space of L or M or I. If a MarkedPolynomialList is used, then the marked terms are simply ignored.
i1 : QQ[x,y,z]; |
i2 : gfanHomogeneitySpace {x+y^2, y+z^2} o2 = Fan{...1...} o2 : Fan |
gfan Documentation This program computes the homogeneity space of a list of polynomials - as a cone. Thus generators for the homogeneity space are found in the section LINEALITY_SPACE. If you wish the homogeneity space of an ideal you should first compute a set of homogeneous generators and call the program on these. A reduced Groebner basis will always suffice for this purpose.Options:
The object gfanHomogeneitySpace is a method function with options.