gb(..., PairLimit => ...) -- stop when this number of pairs is handled

gb(..., PairLimit => ...) -- stop when this number of pairs is handled

PairLimit -- keyword for an optional argument used with gb which specifies that the computation should be stopped after a certain number of S-pairs have been reduced.

i1 : R = QQ[x,y,z,w]



o1 = R



o1 : PolynomialRing

i2 : I = ideal(x*y-z,y^2-w-1,w^4-3)



                      2           4

o2 = ideal (x*y - z, y  - w - 1, w  - 3)



o2 : Ideal of R

i3 : gb(I, PairLimit => 1)



o3 = | y2-w-1 |



o3 : GroebnerBasis

i4 : gb(I, PairLimit => 2)



o4 = | y2-w-1 xy-z |



o4 : GroebnerBasis

i5 : gb(I, PairLimit => 3)



o5 = | yz-xw-x y2-w-1 xy-z |



o5 : GroebnerBasis

See also:

Default value: infinity -- infinity

Function: gb -- compute a Groebner basis

Option name: PairLimit -- stop when this number of pairs is handled