TestOrder コマンドは単項式順序について、単項式同士を比較します。コマンドは u が順序で v より小さいか、等しかったとき true を返します。

第 3 引数 T は 単項式順序 (MonomialOrder) か 単項式順序の短い記述 (ShortMonomialOrder) とすることができます。利用可能な単項式順序の一覧は MonomialOrders をご参照ください。

with(Groebner):

M := [op(randpoly([x,y,z],degree=3,dense,coeffs=proc() 1 end))];

sort(M, (a,b) -> TestOrder(a,b,plex(x,y,z)));

sort(M, (a,b) -> TestOrder(a,b,grlex(x,y,z)));

sort(M, (a,b) -> TestOrder(a,b,tdeg(x,y,z)));