BasisElementLimit

BasisElementLimit -- keyword for an optional argument used with gb, pushForward, pushForward1, and syz, which can be used to specify that the computation should stop after a certain number of Groebner basis elements have been discovered.

i1 : R = ZZ/101[x,y,z,w];
i2 : I = ideal(x*y-z^2,y^2-w^2,w^4)

                   2   2    2   4
o2 = ideal (x*y - z , y  - w , w )

o2 : Ideal of R
i3 : gb(I,BasisElementLimit => 2)

o3 = {0} | y2-w2 xy-z2 |

o3 : GroebnerBasis
i4 : gb(I,BasisElementLimit => 3)

o4 = {0} | y2-w2 xy-z2 yz2-xw2 |

o4 : GroebnerBasis
i5 : gb(I,BasisElementLimit => 4)

o5 = {0} | y2-w2 xy-z2 yz2-xw2 z4-x2w2 |

o5 : GroebnerBasis
i6 : gb(I,BasisElementLimit => 5)

o6 = {0} | y2-w2 xy-z2 yz2-xw2 z4-x2w2 w4 |

o6 : GroebnerBasis

topindexpreviousupnext