gfanHomogeneitySpace -- homogeneity space of a list of polynomials

Synopsis

• Usage:

  gfanHomogeneitySpace(L)

  gfanHomogeneitySpace(M)

  gfanHomogeneitySpace(I)

• Inputs:
  • L, a list, of polynomials
  • M, a marked polynomial list,
  • I, an ideal,
• Outputs:
  • S, a string, polymake data with a lineality space of all weight vectors for which L is homogeneous.

Description

i1 : QQ[x,y,z];

i2 : gfanHomogeneitySpace {x+y^2, y+z^2}

o2 = Fan{...1...}

o2 : Fan

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: