reesIdeal(...,PairLimit=>...) -- Bound the number of s-pairs considered in the saturation step

Synopsis

• Usage:

  reesIdeal(...,PairLimit => X)

Description

Further information

• Default value: infinity
• Function: reesIdeal -- Compute the defining ideal of the Rees Algebra
• Option key: PairLimit -- 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 PairLimit :

• "gb(...,PairLimit=>...)" -- see gb -- compute a Gröbner basis
• "intersectInP(...,PairLimit=>...)" -- see intersectInP(...,BasisElementLimit=>...) -- Option for intersectInP
• "pushForward(...,PairLimit=>...)" -- see pushForward(RingMap,Module)
• quotient(...,PairLimit=>...)
• "saturate(...,PairLimit=>...)" -- see quotient(...,PairLimit=>...)
• "analyticSpread(...,PairLimit=>...)"
• "distinguished(...,PairLimit=>...)"
• "isLinearType(...,PairLimit=>...)"
• "isReduction(...,PairLimit=>...)"
• "minimalReduction(...,PairLimit=>...)"
• "multiplicity(...,PairLimit=>...)"
• "normalCone(...,PairLimit=>...)"
• "reesAlgebra(...,PairLimit=>...)"
• reesIdeal(...,PairLimit=>...) -- Bound the number of s-pairs considered in the saturation step
• "specialFiber(...,PairLimit=>...)"
• "specialFiberIdeal(...,PairLimit=>...)"
• resolution(...,PairLimit=>...) -- stop when this number of pairs has been handled
• "syz(...,PairLimit=>...)" -- see syz(Matrix) -- compute the syzygy matrix