SanityCheck -- checks if lifting solves deformation equation

Description

SanityCheck is the name of an optional argument. Its value is a Boolean value, which determines whether or not to check if a supposed solution of the deformation equation actually satisfies it. Default value is true.

Functions with optional argument named SanityCheck :

• correctDeformation(...,SanityCheck=>...) -- see correctDeformation -- correct lifting to avoid obstructions at next order
• firstOrderDeformations(...,SanityCheck=>...) -- see firstOrderDeformations -- use tangent space to create first order perturbations and find relations
• liftDeformation(...,SanityCheck=>...) -- see liftDeformation -- lift a solution of the deformation equation to the next order
• localHilbertScheme(...,SanityCheck=>...) -- see localHilbertScheme -- computes a power series representation of the local Hilbert scheme
• versalDeformation(...,SanityCheck=>...) -- see versalDeformation(Matrix) -- computes a power series representation of a versal deformation