# SanityCheck -- checks if lifting solves deformation equation

## Description

SanityCheck is the name of an optional argument. Its value is , 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 peturbations 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 .