VersalDeformations : Index
- CacheName -- determines hash table in which to cache solutions to the deformation equation
- 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