SanityCheck -- checks if lifting solves deformation equation
Description
SanityCheck is a boolean 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(List,List,List,List, SanityCheck => ...), see correctDeformation -- correct lifting to avoid obstructions at next order
correctDeformation(Sequence,Matrix,List, SanityCheck => ...), see correctDeformation -- correct lifting to avoid obstructions at next order
firstOrderDeformations(Matrix,Matrix,Matrix, SanityCheck => ...), see firstOrderDeformations -- use tangent space to create first order peturbations and find relations
liftDeformation(List,List,List,List, SanityCheck => ...), see liftDeformation -- lift a solution of the deformation equation to the next order
localHilbertScheme(Matrix, SanityCheck => ...), see localHilbertScheme -- computes a power series representation of the local Hilbert scheme
versalDeformation(Matrix, SanityCheck => ...), see versalDeformation(Matrix,Matrix,Matrix) -- computes a power series representation of a versal deformation
versalDeformation(Matrix,Matrix,Matrix, SanityCheck => ...), see versalDeformation(Matrix,Matrix,Matrix) -- computes a power series representation of a versal deformation