VersalDeformations : Index
-
CacheName -- determines hash table in which to cache solutions to the deformation equation
-
checkComparisonTheorem -- checks if the Piene-Schlessinger comparison theorem holds
-
checkComparisonTheorem(Ideal) -- checks if the Piene-Schlessinger comparison theorem holds
-
checkComparisonTheorem(Matrix) -- checks if the Piene-Schlessinger 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(..., 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
-
firstOrderDeformations -- use tangent space to create first order peturbations and find relations
-
firstOrderDeformations(..., DefParam => ...) -- use tangent space to create first order peturbations and find relations
-
firstOrderDeformations(..., SanityCheck => ...) -- use tangent space to create first order peturbations and find relations
-
firstOrderDeformations(Matrix,Matrix,Matrix) -- use tangent space to create first order peturbations and find relations
-
HighestOrder -- sets the order to which we compute
-
liftDeformation -- lift a solution of the deformation equation to the next order
-
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(..., 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
-
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(..., 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