Groebner
TestOrder
compare monomials in a monomial order
Calling Sequence
Parameters
Description
Examples
TestOrder(u, v, T)
u, v
-
monomials
T
MonomialOrder or ShortMonomialOrder
The TestOrder command compares monomials with respect to a monomial order. It returns true if and only if u is less than or equal to v.
The third argument T can be either a MonomialOrder or a ShortMonomialOrder description. See the Monomial Orders help page for a list of the available monomial orders.
withGroebner:
M := [op(randpoly([x,y,z],degree=3,dense,coeffs=proc() 1 end))];
M≔x3,x2y,x2z,xy2,xyz,xz2,y3,y2z,yz2,z3,x2,xy,xz,y2,yz,z2,x,y,z,1
sortM,a,b↦TestOrdera,b,plexx,y,z
1,z,z2,z3,y,yz,yz2,y2,y2z,y3,x,xz,xz2,xy,xyz,xy2,x2,x2z,x2y,x3
sortM,a,b↦TestOrdera,b,grlexx,y,z
1,z,y,x,z2,yz,y2,xz,xy,x2,z3,yz2,y2z,y3,xz2,xyz,xy2,x2z,x2y,x3
sortM,a,b↦TestOrdera,b,tdegx,y,z
1,z,y,x,z2,yz,xz,y2,xy,x2,z3,yz2,xz2,y2z,xyz,x2z,y3,xy2,x2y,x3
See Also
LeadingTerm
Monomial Orders
MonomialOrder
Download Help Document