isHilbSegment -- hilb-segment ideals

• Usage:

  isHilbSegment J

• Inputs:
  • J, a monomial ideal, or
  • J, an ideal, a strongly stable ideal.
• Outputs:
  • a sequence,

i1 : QQ[x,y,z];

i2 : J = ideal(x^2,x*y,y^4);

o2 : Ideal of QQ[x..z]

i3 : isHilbSegment J

o3 = (true, {7, 3, 1})

o3 : Sequence

i4 : isGenSegment(truncate(gotzmannNumber(hilbertPolynomial J), J))

o4 = (true, {7, 3, 1})

o4 : Sequence