hasRationalSing(List) -- check if a complete intersection has at most rational singularities

Synopsis

• Function: hasRationalSing

• Usage:

  b = hasRationalSing F

• Inputs:
  • F, a regular sequence (of polynomials)
• Outputs:
  • b, a Boolean value, answers: are the singularities of the given variety at most rational?

Description

i1 : R = QQ[x_1..x_4];

i2 : multiplierIdeal(ideal {x_1^3 - x_2^2, x_2^3 - x_3^2}, 31/18)

                 2         2
o2 = ideal (x , x , x x , x )
             3   2   1 2   1

o2 : Ideal of R

See also

• jumpingCoefficients -- jumping coefficients and corresponding multiplier ideals