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

## Synopsis

• Usage:
reesIdeal(...,DegreeLimit => X)

## Description

where X is a non-negative integer. Stop computation at degree X. This is described in the documentation node for saturate. 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.

## Further information

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

## Functions with optional argument named DegreeLimit :

• "gb(...,DegreeLimit=>...)" -- see gb -- compute a Gröbner basis
• "intersectInP(...,DegreeLimit=>...)" -- see intersectInP(...,BasisElementLimit=>...) -- Option for intersectInP
• "minimalBetti(Ideal,DegreeLimit=>...)" -- see minimalBetti(Ideal) -- minimal betti numbers of (the mininimal free resolution of) a homogeneous ideal or module
• "minimalBetti(Module,DegreeLimit=>...)" -- see minimalBetti(Ideal) -- minimal betti numbers of (the mininimal free resolution of) a homogeneous ideal or module
• "pushForward(...,DegreeLimit=>...)" -- see pushForward(RingMap,Module)
• quotient(...,DegreeLimit=>...)
• "saturate(...,DegreeLimit=>...)" -- see quotient(...,DegreeLimit=>...)