SuggestVariableOrder attempts to choose heuristically good variable orderings that should result in faster Groebner basis computations for both plex and tdeg orders. In practice, this is one of the most important considerations for performance, since a bad variable ordering can make an otherwise simple problem infeasible. The set of variables can be explicitly specified by an optional second argument.

The heuristics used are based on the degree of the polynomials in each respective variable and on the size of the coefficients.  They do not always produce an optimal order, but they should rarely select a bad order.

SuggestVariableOrder is called by Groebner[Basis] when the second argument is a name and no appropriate basis is known.

$\mathrm{with}\left(\mathrm{Groebner}\right)\:$

$\mathrm{trinks}≔\left[-9w+15pt+20zs\,99w-11sb+3b^2\,wp+2zt-11b^3\,45p+35s-165b-36\,35p+40z+25t-27s\,15w+25ps+30z-18t-165b^2\right]\:$

$G≔\mathrm{Groebner}\left[\mathrm{Basis}\right]\left(\mathrm{trinks}\,'\mathrm{tord}'\,\mathrm{order}=\mathrm{tdeg}\right)\:$

$\mathrm{tord}$

$\mathrm{tdeg}\left(w\,z\,t\,p\,s\,b\right)$

$V≔\mathrm{SuggestVariableOrder}\left(\mathrm{trinks}\right)$

$V≔w,z,t,p,s,b$

$G≔\mathrm{Groebner}\left[\mathrm{Basis}\right]\left(\mathrm{trinks}\,\mathrm{plex}\left(V\right)\right)\:$

$\mathrm{length}\left(G\right)$

$4208$

$\mathrm{map}\left(\mathrm{length}@\mathrm{maxnorm}\,G\right)$

$\left[21\,66\,68\,67\,67\,65\right]$

$\mathrm{V2}≔\mathrm{seq}\left(V\left[-i\right]\,i=1..6\right)$

$\mathrm{V2}≔b,s,p,t,z,w$

$\mathrm{G2}≔\mathrm{Groebner}\left[\mathrm{Basis}\right]\left(\mathrm{trinks}\,\mathrm{plex}\left(\mathrm{V2}\right)\right)\:$

$\mathrm{length}\left(\mathrm{G2}\right)$

$9262$

$\mathrm{map}\left(\mathrm{length}@\mathrm{maxnorm}\,\mathrm{G2}\right)$

$\left[40\,158\,161\,161\,159\,158\right]$

$\mathrm{V3}≔\mathrm{op}\left(\mathrm{combinat}\left[\mathrm{randperm}\right]\left(\left[V\right]\right)\right)$

$\mathrm{V3}≔t,p,s,b,w,z$

$\mathrm{G3}≔\mathrm{Groebner}\left[\mathrm{Basis}\right]\left(\mathrm{trinks}\,\mathrm{plex}\left(\mathrm{V3}\right)\right)\:$

$\mathrm{length}\left(\mathrm{G3}\right)$

$9125$

$\mathrm{map}\left(\mathrm{length}@\mathrm{maxnorm}\,\mathrm{G3}\right)$

$\left[33\,151\,152\,154\,154\,155\right]$