Macaulay2 » Documentation
Packages » ReesAlgebra :: Table of Contents
next | previous | forward | backward | up | index | toc

# ReesAlgebra : Table of Contents

- ReesAlgebra -- Compute Rees algebras and their invariants
- analyticSpread -- Compute the analytic spread of a module or ideal
- associatedGradedRing -- The normal cone of a subscheme
- distinguished -- Compute the distinguished subvarieties of a pullback, intersection or cone
- expectedReesIdeal -- symmetric algebra ideal plus jacobian dual
- intersectInP -- Compute distinguished varieties for an intersection in A^n or P^n
- intersectInP(...,BasisElementLimit=>...) -- Option for intersectInP
- isLinearType -- Determine whether module has linear type
- isReduction -- Determine whether an ideal is a reduction
- jacobianDual -- Computes the 'jacobian dual', part of a method of finding generators for Rees Algebra ideals
- minimalReduction -- Find a minimal reduction of an ideal
- minimalReduction(...,BasisElementLimit=>...) -- Bound the number of Groebner basis elements to compute in the saturation step
- minimalReduction(...,Tries=>...) -- Set the number of random tries to compute a minimal reduction
- multiplicity -- Compute the Hilbert-Samuel multiplicity of an ideal
- PlaneCurveSingularities -- Using the Rees Algebra to resolve plane curve singularities
- reductionNumber -- Reduction number of one ideal with respect to another
- reesAlgebra -- Compute the defining ideal of the Rees Algebra
- reesIdeal -- Compute the defining ideal of the Rees Algebra
- reesIdeal(...,DegreeLimit=>...) -- Bound the degrees considered in the saturation step. Defaults to infinity
- reesIdeal(...,MinimalGenerators=>...) -- Whether the saturation step returns minimal generators
- reesIdeal(...,PairLimit=>...) -- Bound the number of s-pairs considered in the saturation step
- reesIdeal(...,Strategy=>...) -- Choose a strategy for the saturation step
- specialFiber -- Special fiber of a blowup
- specialFiberIdeal -- Special fiber of a blowup
- symmetricAlgebraIdeal -- Ideal of the symmetric algebra of an ideal or module
- symmetricKernel -- Compute the Rees ring of the image of a matrix
- symmetricKernel(...,Variable=>...) -- Choose name for variables in the created ring
- Trim -- Choose whether to trim (or find minimal generators) for the ideal or module.
- versalEmbedding -- Compute a versal embedding
- whichGm -- Largest Gm satisfied by an ideal