sanityCheck -- checks if deformation data satisfies the deformation equation at a certain order

Usage:

B = checkTangentSpace(n,D)

B = checkTangentSpace(n,L)
Inputs:
- n, an element of ZZ
- D, a NestedDeformation
- L, a List
Outputs:
- B, a Boolean value

Description

The list L should be a list of the form L={F,R,G,C}, where each element is a list of matrices as output by versalDeformation. The integer n must be at most the order of the deformation data.

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 : sanityCheck(2,{F,R,G,C})

o4 = true

Ways to use sanityCheck:

sanityCheck(ZZ,List)
sanityCheck(ZZ,NestedDeformation)

For the programmer

The object sanityCheck is a method function.

The source of this document is in VersalDeformations.m2:1958:0.