VersalDeformations : Index

• CacheName -- determines hash table in which to cache solutions to the deformation equation
• checkComparisonTheorem -- checks if the Piene-Schlessinger or Di Dennaro comparison theorem holds
• checkComparisonTheorem(Ideal) -- checks if the Piene-Schlessinger or Di Dennaro comparison theorem holds
• checkComparisonTheorem(Matrix) -- checks if the Piene-Schlessinger or Di Dennaro comparison theorem holds
• checkTangentSpace -- checks if dimension of space of sections of the normal bundle agrees with that calculated using normalMatrix
• checkTangentSpace(Ideal) -- checks if dimension of space of sections of the normal bundle agrees with that calculated using normalMatrix
• checkTangentSpace(Ideal,Matrix) -- checks if dimension of space of sections of the normal bundle agrees with that calculated using normalMatrix
• checkTangentSpace(Matrix) -- checks if dimension of space of sections of the normal bundle agrees with that calculated using normalMatrix
• checkTangentSpace(Matrix,Matrix) -- checks if dimension of space of sections of the normal bundle agrees with that calculated using normalMatrix
• correctDeformation -- correct lifting to avoid obstructions at next order
• correctDeformation(...,SanityCheck=>...) -- correct lifting to avoid obstructions at next order
• correctDeformation(...,Verbose=>...) -- control the verbosity of output
• correctDeformation(List,List,List,List) -- correct lifting to avoid obstructions at next order
• correctDeformation(Sequence,Matrix,List) -- correct lifting to avoid obstructions at next order
• CorrectionMatrix -- determines the first order deformations used in correcting liftings
• correctionMatrix -- calculate how first order deformations perturb obstruction vector
• correctionMatrix(Matrix,Matrix) -- calculate how first order deformations perturb obstruction vector
• cotangentCohomology1 -- calculate first cotangent cohomology
• cotangentCohomology1(...,ModuleDeformation=>...) -- calculate first cotangent cohomology
• cotangentCohomology1(...,SourceRing=>...) -- calculate first cotangent cohomology
• cotangentCohomology1(Ideal) -- calculate first cotangent cohomology
• cotangentCohomology1(InfiniteNumber,ZZ,Ideal) -- calculate first cotangent cohomology
• cotangentCohomology1(InfiniteNumber,ZZ,Matrix) -- calculate first cotangent cohomology
• cotangentCohomology1(List,Ideal) -- calculate first cotangent cohomology
• cotangentCohomology1(List,Matrix) -- calculate first cotangent cohomology
• cotangentCohomology1(Matrix) -- calculate first cotangent cohomology
• cotangentCohomology1(ZZ,Ideal) -- calculate first cotangent cohomology
• cotangentCohomology1(ZZ,InfiniteNumber,Ideal) -- calculate first cotangent cohomology
• cotangentCohomology1(ZZ,InfiniteNumber,Matrix) -- calculate first cotangent cohomology
• cotangentCohomology1(ZZ,Matrix) -- calculate first cotangent cohomology
• cotangentCohomology1(ZZ,ZZ,Ideal) -- calculate first cotangent cohomology
• cotangentCohomology1(ZZ,ZZ,Matrix) -- calculate first cotangent cohomology
• cotangentCohomology2 -- calculate second cotangent cohomology
• cotangentCohomology2(...,SourceRing=>...) -- calculate second cotangent cohomology
• cotangentCohomology2(Ideal) -- calculate second cotangent cohomology
• cotangentCohomology2(InfiniteNumber,ZZ,Ideal) -- calculate second cotangent cohomology
• cotangentCohomology2(InfiniteNumber,ZZ,Matrix) -- calculate second cotangent cohomology
• cotangentCohomology2(List,Ideal) -- calculate second cotangent cohomology
• cotangentCohomology2(List,Matrix) -- calculate second cotangent cohomology
• cotangentCohomology2(Matrix) -- calculate second cotangent cohomology
• cotangentCohomology2(ZZ,Ideal) -- calculate second cotangent cohomology
• cotangentCohomology2(ZZ,InfiniteNumber,Ideal) -- calculate second cotangent cohomology
• cotangentCohomology2(ZZ,InfiniteNumber,Matrix) -- calculate second cotangent cohomology
• cotangentCohomology2(ZZ,Matrix) -- calculate second cotangent cohomology
• cotangentCohomology2(ZZ,ZZ,Ideal) -- calculate second cotangent cohomology
• cotangentCohomology2(ZZ,ZZ,Matrix) -- calculate second cotangent cohomology
• CT -- cotangent cohomology
• DefParam -- deformation parameter
• DegreeBound -- determines the degree limit used to compute the tangent cone of obstruction equations
• extMatrix -- calculate obstruction space for modules
• extMatrix(...,SourceRing=>...) -- calculate obstruction space for modules
• extMatrix(InfiniteNumber,ZZ,Matrix) -- calculate obstruction space for modules
• extMatrix(List,Matrix) -- calculate obstruction space for modules
• extMatrix(Matrix) -- calculate obstruction space for modules
• extMatrix(ZZ,InfiniteNumber,Matrix) -- calculate obstruction space for modules
• extMatrix(ZZ,Matrix) -- calculate obstruction space for modules
• extMatrix(ZZ,ZZ,Matrix) -- calculate obstruction space for modules
• firstOrderDeformations -- use tangent space to create first order perturbations and find relations
• firstOrderDeformations(...,DefParam=>...) -- use tangent space to create first order perturbations and find relations
• firstOrderDeformations(...,SanityCheck=>...) -- use tangent space to create first order perturbations and find relations
• firstOrderDeformations(Matrix,Matrix,Matrix) -- use tangent space to create first order perturbations and find relations
• HighestOrder -- sets the order to which we compute
• liftDeformation -- lift a solution of the deformation equation to the next order
• liftDeformation(...,DegreeBound=>...) -- determines the degree limit used to compute the tangent cone of obstruction equations
• liftDeformation(...,SanityCheck=>...) -- lift a solution of the deformation equation to the next order
• liftDeformation(...,Verbose=>...) -- control the verbosity of output
• liftDeformation(List,List,List,List) -- lift a solution of the deformation equation to the next order
• localHilbertScheme -- computes a power series representation of the local Hilbert scheme
• localHilbertScheme(...,CacheName=>...) -- computes a power series representation of the local Hilbert scheme
• localHilbertScheme(...,CorrectionMatrix=>...) -- computes a power series representation of the local Hilbert scheme
• localHilbertScheme(...,DefParam=>...) -- computes a power series representation of the local Hilbert scheme
• localHilbertScheme(...,DegreeBound=>...) -- determines the degree limit used to compute the tangent cone of obstruction equations
• localHilbertScheme(...,HighestOrder=>...) -- computes a power series representation of the local Hilbert scheme
• localHilbertScheme(...,PolynomialCheck=>...) -- computes a power series representation of the local Hilbert scheme
• localHilbertScheme(...,SanityCheck=>...) -- computes a power series representation of the local Hilbert scheme
• localHilbertScheme(...,SmartLift=>...) -- computes a power series representation of the local Hilbert scheme
• localHilbertScheme(...,Verbose=>...) -- control the verbosity of output
• localHilbertScheme(Matrix) -- computes a power series representation of the local Hilbert scheme
• ModuleDeformation -- calculate first cotangent cohomology
• normalMatrix -- calculate normal module
• normalMatrix(...,SourceRing=>...) -- calculate normal module
• normalMatrix(Ideal) -- calculate normal module
• normalMatrix(InfiniteNumber,ZZ,Ideal) -- calculate normal module
• normalMatrix(InfiniteNumber,ZZ,Matrix) -- calculate normal module
• normalMatrix(List,Ideal) -- calculate normal module
• normalMatrix(List,Matrix) -- calculate normal module
• normalMatrix(Matrix) -- calculate normal module
• normalMatrix(ZZ,Ideal) -- calculate normal module
• normalMatrix(ZZ,InfiniteNumber,Ideal) -- calculate normal module
• normalMatrix(ZZ,InfiniteNumber,Matrix) -- calculate normal module
• normalMatrix(ZZ,Matrix) -- calculate normal module
• normalMatrix(ZZ,ZZ,Ideal) -- calculate normal module
• normalMatrix(ZZ,ZZ,Matrix) -- calculate normal module
• PolynomialCheck -- checks if power series solution terminates
• SanityCheck -- checks if lifting solves deformation equation
• SmartLift -- chooses lifting to avoid obstructions at next order
• versalDeformation -- computes a power series representation of a versal deformation
• versalDeformation(...,CacheName=>...) -- computes a power series representation of a versal deformation
• versalDeformation(...,CorrectionMatrix=>...) -- computes a power series representation of a versal deformation
• versalDeformation(...,DefParam=>...) -- computes a power series representation of a versal deformation
• versalDeformation(...,DegreeBound=>...) -- determines the degree limit used to compute the tangent cone of obstruction equations
• versalDeformation(...,HighestOrder=>...) -- computes a power series representation of a versal deformation
• versalDeformation(...,PolynomialCheck=>...) -- computes a power series representation of a versal deformation
• versalDeformation(...,SanityCheck=>...) -- computes a power series representation of a versal deformation
• versalDeformation(...,SmartLift=>...) -- computes a power series representation of a versal deformation
• versalDeformation(...,Verbose=>...) -- control the verbosity of output
• versalDeformation(List,List,List,List) -- continues calculation of a versal deformation
• versalDeformation(Matrix) -- computes a power series representation of a versal deformation
• versalDeformation(Matrix,Matrix,Matrix) -- computes a power series representation of a versal deformation
• VersalDeformationResults -- hash table key for cached solutions to the deformation equation
• VersalDeformations -- calculating versal deformations and local Hilbert schemes