next | previous | forward | backward | up | top | index | toc | home

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

Description

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.

Functions with optional argument named BasisElementLimit :

gb(..., BasisElementLimit => ...)
pushForward(..., BasisElementLimit => ...) -- missing documentation
pushForward1(..., BasisElementLimit => ...) -- missing documentation
quotient(..., BasisElementLimit => ...) -- missing documentation
saturate(..., BasisElementLimit => ...) -- missing documentation
syz(..., BasisElementLimit => ...) -- missing documentation

See also

Groebner bases

For the programmer

The object BasisElementLimit is a symbol.