Calls the method isGenSegment on the ideal truncate(gotzmannNumber(hilbertPolynomial J), J).
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 |
The object isHilbSegment is a method function.