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

Here X is a positive integer. Each of these functions computes the Rees Algebra using a saturation step, and the optional argument causes the saturation process to stop after that number of s-pairs is found. This is described in the documentation node for 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) -- compute the pushforward of a module along a ring map
• quotient(...,PairLimit=>...)
• analyticSpread(...,PairLimit=>...)
• associatedGradedRing(...,PairLimit=>...)
• distinguished(...,PairLimit=>...)
• isLinearType(...,PairLimit=>...)
• isReduction(...,PairLimit=>...)
• minimalReduction(...,PairLimit=>...)
• multiplicity(...,PairLimit=>...)
• normalCone(Ideal,PairLimit=>...)
• normalCone(Ideal,RingElement,PairLimit=>...)
• reesAlgebra(...,PairLimit=>...)
• reesIdeal(...,PairLimit=>...) -- Bound the number of s-pairs considered in the saturation step
• specialFiber(...,PairLimit=>...)
• specialFiberIdeal(...,PairLimit=>...)
• saturate(...,PairLimit=>...)
• syz(...,PairLimit=>...) -- see syz(Matrix) -- compute the syzygy matrix

Further information

• Default value: infinity
• Function: reesIdeal -- Compute the defining ideal of the Rees Algebra
• Option key: PairLimit -- an optional argument