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