Groebner - Maple Programming Help

Online Help

All Products    Maple    MapleSim


Home : Support : Online Help : Mathematics : Algebra : Polynomials : Groebner : Groebner/TestOrder

Groebner

  

TestOrder

  

compare monomials in a monomial order

 

Calling Sequence

Parameters

Description

Examples

Calling Sequence

TestOrder(u, v, T)

Parameters

u, v

-

monomials

T

-

MonomialOrder or ShortMonomialOrder

Description

• 

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.

Examples

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

(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

(2)

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

(3)

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

(4)

See Also

LeadingTerm

Monomial Orders

MonomialOrder

 


Download Help Document

Was this information helpful?



Please add your Comment (Optional)
E-mail Address (Optional)
What is ? This question helps us to combat spam