isPolynomial -- checks if a deformation lifts to arbitrary order

• Usage:

  B = checkTangentSpace(D)

  B = checkTangentSpace(F,R,G,C)

• Inputs:
  • D, a NestedDeformation
  • F, a List
  • R, a List
  • G, a List
  • C, a List
• Outputs:
  • B, a Boolean value

i1 : S = QQ[x,y];

i2 : I = ideal(x^2+y^2);

o2 : Ideal of S

i3 : (F,R,G,C)=versalDeformation(gens I);

i4 : isPolynomial(F,R,G,C)

o4 = true