BasisElementLimit -- stop when this number of basis elements is obtained

BasisElementLimit -- stop when this number of basis elements is obtained

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.

See also:

computing Groebner bases

Functions with optional argument named BasisElementLimit :

gb(..., BasisElementLimit) -- stop when this number of basis elements is obtained

pushForward(..., BasisElementLimit) -- stop when this number of basis elements is obtained

pushForward1(..., BasisElementLimit) -- stop when this number of basis elements is obtained

syz(..., BasisElementLimit) -- stop when this number of basis elements is obtained