RegularityIndex -- regularity index of a Hilbert function or series |
Syntax |
RegularityIndex(R: (Poly or Quotient)RING): INT |
Description |
Example |
/**/ use R ::= QQ[x,y,z]; /**/ Quot := R/ideal(x^3, y^2); /**/ HilbertFn(Quot); H(0) = 1 H(1) = 3 H(2) = 5 H(t) = 6 for t >= 3 /**/ RegularityIndex(HilbertFn(Quot)); 3 /**/ RegularityIndex(HilbertSeries(Quot)); 3 |
See Also |