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 :

• "gb(...,DegreeLimit=>...)" -- see gb -- compute a Gröbner basis
• "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
• "syz(...,DegreeLimit=>...)" -- see syz(Matrix) -- compute the syzygy matrix