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

For the programmer

The object SanityCheck is a symbol.

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