reesIdeal(...,DegreeLimit=>...) -- Bound the degrees considered in the saturation step. Defaults to infinity

Synopsis

• Usage:

  reesIdeal(...,DegreeLimit => X)

Description

Further information

• Default value: {}
• Function: reesIdeal -- Compute the defining ideal of the Rees Algebra
• Option key: DegreeLimit -- an optional argument

See also

• reesIdeal -- Compute the defining ideal of the Rees Algebra
• reesAlgebra -- Compute the defining ideal of the Rees Algebra
• isLinearType -- Determine whether module has linear type
• isReduction -- Determine whether an ideal is a reduction
• normalCone -- The normal cone of a subscheme
• multiplicity -- Compute the Hilbert-Samuel multiplicity of an ideal
• specialFiberIdeal -- Special fiber of a blowup
• specialFiber -- Special fiber of a blowup
• analyticSpread -- Compute the analytic spread of a module or ideal
• distinguished -- Compute the distinguished subvarieties of a pullback, intersection or cone
• minimalReduction -- Find a minimal reduction of an ideal
• saturate

Functions with optional argument named DegreeLimit :

• adjoint(...,DegreeLimit=>...) (missing documentation)
• compose(Module,Module,Module,DegreeLimit=>...) -- see compose -- composition as a pairing on Hom-modules
• dual(ChainComplex,DegreeLimit=>...) (missing documentation)
• dual(Matrix,DegreeLimit=>...) (missing documentation)
• dual(SheafMap,DegreeLimit=>...) (missing documentation)
• End(...,DegreeLimit=>...) -- see End -- module of endomorphisms
• gb(...,DegreeLimit=>...) -- see gb -- compute a Gröbner basis
• Hom(...,DegreeLimit=>...) -- see Hom -- module of homomorphisms
• homomorphism'(...,DegreeLimit=>...) -- see homomorphism' -- get the element of Hom from a homomorphism
• intersectInP(...,DegreeLimit=>...) -- see intersectInP(...,BasisElementLimit=>...) -- Option for intersectInP
• minimalBetti(...,DegreeLimit=>...) -- see minimalBetti -- minimal betti numbers of (the minimal free resolution of) a homogeneous ideal or module
• pushForward(...,DegreeLimit=>...) -- see pushForward(RingMap,Module)
• quotient(...,DegreeLimit=>...)
• saturate(...,DegreeLimit=>...) -- see quotient(...,DegreeLimit=>...)
• analyticSpread(...,DegreeLimit=>...)
• distinguished(...,DegreeLimit=>...)
• isLinearType(...,DegreeLimit=>...)
• isReduction(...,DegreeLimit=>...)
• minimalReduction(...,DegreeLimit=>...)
• multiplicity(...,DegreeLimit=>...)
• normalCone(...,DegreeLimit=>...)
• reesAlgebra(...,DegreeLimit=>...)
• reesIdeal(...,DegreeLimit=>...) -- Bound the degrees considered in the saturation step. Defaults to infinity
• specialFiber(...,DegreeLimit=>...)
• specialFiberIdeal(...,DegreeLimit=>...)
• resolution(...,DegreeLimit=>...) -- compute only up to this degree
• sheafHom(...,DegreeLimit=>...) (missing documentation)
• syz(...,DegreeLimit=>...) -- see syz(Matrix) -- compute the syzygy matrix