Procedure from library curveInv.lib (see curveInv_lib).
Usage:
curveDeltaInv(I); I ideal
Assume:
I is a radical ideal, dim(R/I) = 1
Return:
the delta invariant of R/I
Note:
- output -1 means: delta invariant is infinite
- the optional parameter can be used if the normalization has already
been computed. If a list L contains the output of the procedure
normal (with options prim, wd and usering if the ring has a mixed ordering),
apply curveDeltaInv(I,L)