ReesAlgebra : Table of Contents

• ReesAlgebra -- Compute Rees algebras and their invariants
• analyticSpread -- Compute the analytic spread of a module or ideal
• 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
• normalCone -- The normal cone of a subscheme
• 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