The Groebner[Basis] command currently relies on a combination of five different algorithms to compute Groebner bases for various monomial orders and domains.  This help page documents these algorithms and their relative performance characteristics to help you decide what algorithm to use should the default choice prove unsatisfactory.  The algorithm is specified using an optional argument method=meth.

method=fgb runs a compiled C implementation of the F4 algorithm. It supports rational number and integer mod p coefficients, where p < 2^31. It supports tdeg orders and lexdeg orders with two blocks of variables. It does not support parameters (that is, coefficients in a rational function field) or the output=extended option.  The algorithm is Monte-Carlo probabilistic and the probability of error is expected to be less than 10^(-18).

method=maplef4 runs a Maple implementation of the F4 algorithm.  This implementation supports all monomial orders and coefficient fields as well as computations in non-commutative Ore algebras.  This is an exact implementation which does not use modular methods. The output=extended option is currently not supported.

method=buchberger runs the traditional Maple implementation of the Buchberger algorithm. This algorithm supports all domains, monomial orders and options such as output=extended. It is generally outperformed by F4 in most situations, but one notable exception is when a polynomial has been added to a Groebner basis and the basis is being recomputed. The implementation is based on Gebauer and Moller and uses the normal selection strategy.

method=fglm runs the Groebner basis conversion algorithm of Faugere, Gianni, Lazard, and Mora. This algorithm supports all commutative domains, but requires the ideal to be zero-dimensional. See the Groebner[FGLM] help page for more details.  When this method is specified, Groebner[Basis] will choose one of the known Groebner bases (or compute one if none are known) and run Groebner[FGLM].

method=walk runs the Groebner Walk conversion algorithm of Collart, Kalkbrener, and Mall, which supports all commutative domains and monomial orders.   See the Groebner[Walk] help page for more details.  When this method is specified, Groebner[Basis] will choose one of the known Groebner bases (or compute one if none are known) and run Groebner[Walk].  The Groebner walk is typically slower than FGLM for zero-dimensional ideals.

In addition to the algorithms above, you can specify an overall strategy using the method=... option and Groebner[Basis] will choose whatever algorithms are appropriate.  The strategies are as follows:

method=direct runs the fastest general purpose direct method.  This is currently the compiled F4 or Maple's F4 as a fallback. As better algorithms are implemented, this strategy will be updated to reflect the state-of-the-art method. Thus, calling Groebner[Basis] with method=direct is a way to ensure that your code always uses the fastest direct algorithm; even on future Maple releases.

method=convert runs the fastest applicable conversion method, which is either FGLM or the Groebner Walk, depending on the monomial order and whether the ideal is zero-dimensional. This strategy is recommended for monomial orders that eliminate variables.  For 'plex', 'lexdeg' and 'prod' orders, the strategy is to run FGLM if possible.  For all other orders and for non-zero-dimensional ideals, the Groebner Walk is used.

method=default runs the default strategy, which is subject to change in the future. Currently this is method=direct for 'tdeg', 'wdeg', 'grlex' and 'matrix' orders and non-commutative problems, and method=convert for 'plex', 'lexdeg' and 'prod' orders in the commutative case.

Setting infolevel[GroebnerBasis] to a value between 1 and 5 directs all of the algorithms to print information about their progress and performance.

$\mathrm{with}\left(\mathrm{Groebner}\right)\&colon;$

$\mathrm{infolevel}\left[\mathrm{GroebnerBasis}\right]≔2\&colon;$

$F≔\left[x^2-2xz+5\&comma;x{y}^2+y{z}^3\&comma;3y^2-8z^3\right]$

$F≔\left[x^2-2xz+5\&comma;y{z}^3+x{y}^2\&comma;-8z^3+3y^2\right]$

$\mathrm{Basis}\left(F\&comma;\mathrm{tdeg}\left(x\&comma;y\&comma;z\right)\right)$

-> MGb
F4 algorithm
1: prime=110027989
  0%  use 4 of 4, 0.001 sec
2: prime=1590632293
  0%  0 out of 4, 0.000 sec
3: prime=1341114787
100%  4 out of 4, 0.000 sec
3 primes
basis:       0.000
chrem:       0.000
iratr:       0.000
other:       0.001
total:       0.001
 total time:         0.003 sec

$\left[x^2-2xz+5\&comma;8z^3-3y^2\&comma;8x{y}^2+3y^3\&comma;9y^4+48y^{3}z+320y^2\right]$

$\mathrm{Basis}\left(F\&comma;\mathrm{grlex}\left(x\&comma;y\&comma;z\right)\right)$

-> F4 algorithm
 total time:         0.005 sec

$\left[x^2-2xz+5\&comma;8z^3-3y^2\&comma;8x{y}^2+3y^3\&comma;9y^4+48y^{3}z+320y^2\right]$

$\mathrm{Basis}\left(F\&comma;\mathrm{plex}\left(x\&comma;y\&comma;z\right)\right)$

-> FGLM algorithm
FGLM algorithm
1: prime=261879851
  0%  5 elements, 0.000 sec
2: prime=134120177
  0%  0 out of 5, 0.000 sec
3: prime=1925507131
100%  5 out of 5, 0.001 sec
3 primes
basis:       0.000
chrem:       0.001
iratr:       0.000
other:       0.001
total:       0.002

$\left[9z^9-96z^8+240z^6+1600z^3\&comma;-3z^8+32z^7-40z^5+80y{z}^3\&comma;-8z^3+3y^2\&comma;9z^8-96z^7+120z^5+640x{z}^3\&comma;x^2-2xz+5\right]$

$\mathrm{IsZeroDimensional}\left(F\right)$

$\mathrm{true}$

$\mathrm{Basis}\left(F\&comma;\mathrm{lexdeg}\left(\left[x\right]\&comma;\left[y\&comma;z\right]\right)\&comma;\mathrm{method}=\mathrm{walk}\right)$

-> Groebner Walk
 total time:         0.002 sec

$\left[8z^3-3y^2\&comma;9y^4+48y^{3}z+320y^2\&comma;8x{y}^2+3y^3\&comma;x^2-2xz+5\right]$

$\mathrm{Basis}\left(F\&comma;\mathrm{lexdeg}\left(\left[x\&comma;y\right]\&comma;\left[z\right]\right)\&comma;\mathrm{method}=\mathrm{direct}\right)$

-> MGb
F4 algorithm
1: prime=1096633211
  0%  use 0 of 5, 0.000 sec
2: prime=2094436537
  0%  0 out of 5, 0.000 sec
3: prime=1010263357
100%  5 out of 5, 0.001 sec
3 primes
basis:       0.000
chrem:       0.000
iratr:       0.000
other:       0.001
total:       0.001
 total time:         0.002 sec

$\left[9z^9-96z^8+240z^6+1600z^3\&comma;-3z^8+32z^7-40z^5+80y{z}^3\&comma;9z^8-96z^7+120z^5+640x{z}^3\&comma;-8z^3+3y^2\&comma;x^2-2xz+5\right]$

$\mathrm{Basis}\left(F\&comma;\mathrm{plex}\left(z\&comma;y\&comma;x\right)\&comma;\mathrm{method}=\mathrm{direct}\right)$

-> F4 algorithm
 total time:         0.118 sec

$\left[3x^{12}-64x^{11}+90x^{10}-960x^9+1125x^8-4800x^7+7500x^6-8000x^5+28125x^4+56250x^2+46875\&comma;8x^7+3x^{6}y+120x^5+45x^{4}y+600x^3+225x^{2}y+1000x+375y\&comma;-9x^{11}+192x^{10}-255x^9+2560x^8-2925x^7+9600x^6-16875x^5-48750x^3-40000x^2+5625y^2-56250x\&comma;3x^{11}-64x^{10}+90x^9-960x^8+1125x^7-4800x^6+7500x^5-8000x^4+28125x^3+46875x+18750z\right]$

$\mathrm{Basis}\left(F\&comma;\mathrm{wdeg}\left(\left[1\&comma;2\&comma;3\right]\&comma;\left[x\&comma;y\&comma;z\right]\right)\&comma;\mathrm{method}=\mathrm{convert}\right)$

-> Groebner Walk
 total time:         0.027 sec

$\left[-x^2+2xz-5\&comma;x^4-3x{y}^2+10x^2+20z^2+25\&comma;8x{y}^2+3y^3\&comma;-x^5+3x^2{y}^2-15x^3-50x-50z\&comma;8x^6+3x^{5}y+120x^4+45x^{3}y+600x^2+150xy+150yz+1000\&comma;3x^8-64x^7+90x^6-960x^5+900x^4-4800x^3+450x{y}^2+450z{y}^2+3750x^2-8000x+5625\right]$

$\mathrm{with}\left(\mathrm{Ore\_algebra}\right)\&colon;$

$\mathrm{infolevel}\left[\mathrm{GroebnerBasis}\right]≔4\&colon;$

$N≔3\&colon;$

$A≔\mathrm{diff\_algebra}\left(\mathrm{seq}\left(\left[\mathrm{D}\left[i\right]\&comma;x\left[i\right]\right]\&comma;i=1..N\right)\&comma;\mathrm{comm}=\left\{a\&comma;b\&comma;\mathrm{seq}\left(c\left[i\right]\&comma;i=1..N\right)\right\}\&comma;\mathrm{polynom}=\left\{\mathrm{seq}\left(x\left[i\right]\&comma;i=1..N\right)\right\}\right)\&colon;$

$S≔\mathrm{`+`}\left(\mathrm{seq}\left(x\left[i\right]\mathrm{D}\left[i\right]\&comma;i=1..N\right)\right)\&colon;$

$P≔\mathrm{skew\_product}\left(S+a\&comma;S+b\&comma;A\right)\&colon;$

$F≔\left[\mathrm{seq}\left(\mathrm{skew\_product}\left(\mathrm{D}\left[i\right]\&comma;x\left[i\right]\mathrm{D}\left[i\right]+c\left[i\right]-1\&comma;A\right)-P\&comma;i=1..N\right)\right]$

$F≔\left[{\mathrm{D}}_1^2{x}_1+{\mathrm{D}}_1{c}_1-{\mathrm{D}}_1^2{x}_1^2-2{\mathrm{D}}_1{\mathrm{D}}_2{x}_1{x}_2-2{\mathrm{D}}_1{\mathrm{D}}_3{x}_1{x}_3-\left(a+b+1\right)x_1{\mathrm{D}}_1-{\mathrm{D}}_2^2{x}_2^2-2{\mathrm{D}}_2{\mathrm{D}}_3{x}_2{x}_3-\left(a+b+1\right)x_2{\mathrm{D}}_2-{\mathrm{D}}_3^2{x}_3^2-\left(a+b+1\right)x_3{\mathrm{D}}_3-ab\&comma;{\mathrm{D}}_2^2{x}_2+{\mathrm{D}}_2{c}_2-{\mathrm{D}}_1^2{x}_1^2-2{\mathrm{D}}_1{\mathrm{D}}_2{x}_1{x}_2-2{\mathrm{D}}_1{\mathrm{D}}_3{x}_1{x}_3-\left(a+b+1\right)x_1{\mathrm{D}}_1-{\mathrm{D}}_2^2{x}_2^2-2{\mathrm{D}}_2{\mathrm{D}}_3{x}_2{x}_3-\left(a+b+1\right)x_2{\mathrm{D}}_2-{\mathrm{D}}_3^2{x}_3^2-\left(a+b+1\right)x_3{\mathrm{D}}_3-ab\&comma;{\mathrm{D}}_3^2{x}_3+{\mathrm{D}}_3{c}_3-{\mathrm{D}}_1^2{x}_1^2-2{\mathrm{D}}_1{\mathrm{D}}_2{x}_1{x}_2-2{\mathrm{D}}_1{\mathrm{D}}_3{x}_1{x}_3-\left(a+b+1\right)x_1{\mathrm{D}}_1-{\mathrm{D}}_2^2{x}_2^2-2{\mathrm{D}}_2{\mathrm{D}}_3{x}_2{x}_3-\left(a+b+1\right)x_2{\mathrm{D}}_2-{\mathrm{D}}_3^2{x}_3^2-\left(a+b+1\right)x_3{\mathrm{D}}_3-ab\right]$

$\mathrm{tord}≔\mathrm{tdeg}\left(\mathrm{seq}\left(\mathrm{D}\left[i\right]\&comma;i=1..N\right)\&comma;\mathrm{seq}\left(x\left[i\right]\&comma;i=1..N\right)\right)$

$\mathrm{tord}≔\mathrm{tdeg}\left({\mathrm{D}}_1\&comma;{\mathrm{D}}_2\&comma;{\mathrm{D}}_3\&comma;x_1\&comma;x_2\&comma;x_3\right)$

$T≔\mathrm{MonomialOrder}\left(A\&comma;\mathrm{tord}\right)\&colon;$

$G≔\mathrm{Basis}\left(F\&comma;T\right)\&colon;$

-> F4 algorithm
 domain: SkewAlgebra   coeffs: rat_fcn
 basis: 1 of 3, syzygies: 3 of 3, degree: 4
 0 x 0 with 3 rhs
 basis: 2 of 5, syzygies: 1 of 3, degree: 4
 2 x 2 with 1 rhs
 basis: 3 of 6, syzygies: 2 of 2, degree: 5
 4 x 4 with 2 rhs
 basis: 5 of 8, syzygies: 4 of 4, degree: 6
 12 x 12 with 4 rhs
 basis: 8 of 11, syzygies: 11 of 12, degree: 7
 39 x 39 with 11 rhs
 basis: 10 of 13, syzygies: 10 of 10, degree: 8
 75 x 75 with 10 rhs
 basis: 12 of 15, syzygies: 7 of 7, degree: 9
 94 x 94 with 7 rhs
 symbolic prc        0.122 sec
 inter reduce        0.003 sec
 update pairs        0.005 sec
 reduce basis        0.011 sec
 total time:         0.141 sec
-----------------------------

$\mathrm{Groebner}:-\mathrm{LeadingMonomial}\left(G\&comma;T\right)$

$\left[{\mathrm{D}}_2^2{x}_2\&comma;{\mathrm{D}}_1^2{x}_1\&comma;{\mathrm{D}}_1{\mathrm{D}}_2{x}_1{x}_2\&comma;{\mathrm{D}}_1{\mathrm{D}}_3^2{x}_1{x}_3\&comma;{\mathrm{D}}_1{\mathrm{D}}_2{\mathrm{D}}_3{x}_1{x}_3\&comma;x_2{\mathrm{D}}_2{\mathrm{D}}_3^2{x}_1{x}_3\&comma;{\mathrm{D}}_1^2{\mathrm{D}}_2{\mathrm{D}}_3{x}_2{x}_3\&comma;{\mathrm{D}}_2{\mathrm{D}}_3^3{x}_1{x}_3\&comma;{\mathrm{D}}_1{\mathrm{D}}_2{\mathrm{D}}_3^2{x}_2^2{x}_3\&comma;{\mathrm{D}}_1^2{\mathrm{D}}_3^3{x}_2{x}_3\&comma;{\mathrm{D}}_3^4{x}_1^2{x}_3^2\&comma;{\mathrm{D}}_1^2{\mathrm{D}}_2^2{\mathrm{D}}_3^2{x}_3^2\right]$

Buchberger, B. "Grobner Bases: An algorithmic method in polynomial ideal theory." In Multidimensional systems theory, pp. 184-232, Reidel, 1985.

Collart, S.; Kalkbrener, M.; and Mall, D. "Converting Bases with the Grobner Walk."  J. Symbolic Comput., Vol. 3, No. 4, (1997): 465-469.

Faugere, J. "A New Efficient Algorithm for Computing Grobner Bases (F4)." Journal of Pure and Applied Algebra, Vol. 139, No. 1-3, (1999): 61-88.

Faugere, J.; Gianni, P.; Lazard, D.; and Mora, T. "Efficient computation of zero-dimensional Grobner bases by change of ordering." J. Symbolic Comput., Vol. 16, (1993): 329-344.

Gebauer, R., and Moller, H. "On an installation of Buchberger's algorithm." J. Symbolic Comput., Vol. 6, (1988): 275-286.

Pearce, R., and Monagan, M. "A Sparse Algorithm for Polynomial Division with Application to F4." in preparation, 2006.