ReesAlgebra : Index
- analyticSpread -- compute the analytic spread of a module or ideal
- analyticSpread(Ideal) -- compute the analytic spread of a module or ideal
- analyticSpread(Ideal,RingElement) -- compute the analytic spread of a module or ideal
- analyticSpread(Module) -- compute the analytic spread of a module or ideal
- analyticSpread(Module,RingElement) -- compute the analytic spread of a module or ideal
- associatedGradedRing -- the associated graded ring of an ideal
- associatedGradedRing(..., Variable => ...) -- Choose name for variables in the created ring
- associatedGradedRing(Ideal) -- the associated graded ring of an ideal
- associatedGradedRing(Ideal,RingElement) -- the associated graded ring of an ideal
- distinguished -- compute the distinguished subvarieties of a scheme
- distinguished(..., Variable => ...) -- Choose name for variables in the created ring
- distinguished(Ideal) -- compute the distinguished subvarieties of a scheme
- distinguished(Ideal,RingElement) -- compute the distinguished subvarieties of a scheme
- distinguishedAndMult -- compute the distinguished subvarieties of a scheme along with their multiplicities
- distinguishedAndMult(..., Variable => ...) -- Choose name for variables in the created ring
- distinguishedAndMult(Ideal) -- compute the distinguished subvarieties of a scheme along with their multiplicities
- distinguishedAndMult(Ideal,RingElement) -- compute the distinguished subvarieties of a scheme along with their multiplicities
- isLinearType -- is a module of linear type
- isLinearType(Ideal) -- is a module of linear type
- isLinearType(Ideal,RingElement) -- is a module of linear type
- isLinearType(Module) -- is a module of linear type
- isLinearType(Module,RingElement) -- is a module of linear type
- isReduction (missing documentation)
- minimalReduction -- minimal reduction of an ideal
- minimalReduction(..., Tries => ...) -- Set the number of random tries to compute a minimal reduction
- minimalReduction(Ideal) -- minimal reduction of an ideal
- multiplicity -- compute the Hilbert-Samuel multiplicity of an ideal
- multiplicity(Ideal) -- compute the Hilbert-Samuel multiplicity of an ideal
- multiplicity(Ideal,RingElement) -- compute the Hilbert-Samuel multiplicity of an ideal
- normalCone -- the normal cone of a subscheme
- normalCone(..., Variable => ...) -- Choose name for variables in the created ring
- normalCone(Ideal) -- the normal cone of a subscheme
- normalCone(Ideal,RingElement) -- the normal cone of a subscheme
- reductionNumber -- reduction number of one ideal with respect to another
- reductionNumber(Ideal,Ideal) -- reduction number of one ideal with respect to another
- ReesAlgebra -- Compute Rees algebra
- reesAlgebra -- compute the defining ideal of the Rees Algebra
- reesAlgebra(..., Variable => ...) -- Choose name for variables in the created ring
- reesAlgebra(Ideal) -- compute the defining ideal of the Rees Algebra
- reesAlgebra(Ideal,RingElement) -- compute the defining ideal of the Rees Algebra
- reesAlgebra(Module) -- compute the defining ideal of the Rees Algebra
- reesAlgebra(Module,RingElement) -- compute the defining ideal of the Rees Algebra
- reesIdeal -- compute the defining ideal of the Rees Algebra
- reesIdeal(..., Variable => ...) -- Choose name for variables in the created ring
- reesIdeal(Ideal) -- compute the defining ideal of the Rees Algebra
- reesIdeal(Ideal,RingElement) -- compute the defining ideal of the Rees Algebra
- reesIdeal(Module) -- compute the defining ideal of the Rees Algebra
- reesIdeal(Module,RingElement) -- compute the defining ideal of the Rees Algebra
- specialFiber -- special fiber of a blowup
- specialFiber(..., Variable => ...) -- Choose name for variables in the created ring
- specialFiber(Ideal) -- special fiber of a blowup
- specialFiber(Ideal,RingElement) -- special fiber of a blowup
- specialFiber(Module) -- special fiber of a blowup
- specialFiber(Module,RingElement) -- special fiber of a blowup
- specialFiberIdeal -- special fiber of a blowup
- specialFiberIdeal(..., Variable => ...) -- Choose name for variables in the created ring
- specialFiberIdeal(Ideal) -- special fiber of a blowup
- specialFiberIdeal(Ideal,RingElement) -- special fiber of a blowup
- specialFiberIdeal(Module) -- special fiber of a blowup
- specialFiberIdeal(Module,RingElement) -- special fiber of a blowup
- symmetricKernel -- Compute the Rees ring of the image of a matrix
- symmetricKernel(..., Variable => ...) -- Choose name for variables in the created ring
- symmetricKernel(Matrix) -- Compute the Rees ring of the image of a matrix
- Tries (missing documentation)
- universalEmbedding -- Compute the universal embedding
- universalEmbedding(Ideal) -- Compute the universal embedding
- universalEmbedding(Module) -- Compute the universal embedding
- whichGm -- largest Gm satisfied by an ideal
- whichGm(Ideal) -- largest Gm satisfied by an ideal