isSmoothCurve -- Tests smoothness of a curve

• Usage:

  isSmoothCurve(IC)

• Inputs:
  • IC, an ideal, the Ideal of a curve
• Outputs:
  • a Boolean value, , whether the curve is smooth or not

i1 : S = QQ[x,y,z];

i2 : IC = ideal(x*y);

o2 : Ideal of S

i3 : isSmoothCurve(IC)

o3 = false

i4 : IC2 = ideal (x^2+y^2+z^2);

o4 : Ideal of S

i5 : isSmoothCurve(IC2)

o5 = true