type/TermOrder(deprecated) - Help

Online Help

All Products    Maple    MapleSim


Home : Support : Online Help : type/TermOrder(deprecated)

type/TermOrder

type for term order data structures

type/ShortTermOrder

type for short term order descriptions

 

Calling Sequence

Parameters

Description

Examples

Calling Sequence

type(T, TermOrder)

type(ST, ShortTermOrder)

Parameters

T

-

table that denotes a term ordering on an algebra

SP

-

short term order description

Description

• 

Important: The types TermOrder and ShortTermOrder have been deprecated.  Use the superseding type/MonomialOrder and type/ShortMonomialOrder instead.

• 

The type TermOrder checks if T is a term order, as declared by Groebner[termorder].  This representation is used to denote general term orders over general skew algebras.

• 

The type ShortTermOrder checks if ST is a short term order description.  Such a structure is used as a shortcut for term order structures in particular commutative cases.  The available forms are the function calls built on tdeg, wdeg, plex, lexdeg, matrix and their min forms that are described in Groebner[termorder].  The variables declared by those simplified forms are only those that are involved in the term order.  Thus, the same short term order description may be used in different contexts with or without parameters.

Examples

Important: The types TermOrder and ShortTermOrder have been deprecated.  Use the superseding type/MonomialOrder and type/ShortMonomialOrder instead.

Neither a term order nor a short term order description!

type1,TermOrder,type1,ShortTermOrder

Warning, type TermOrder is deprecated. Please, use type MonomialOrder.
Warning, Type ShortTermOrder is deprecated. Please, use type ShortMonomialOrder.

false,false

(1)

A term order.

withOre_algebra:

withGroebner:

Adiff_algebraDx,x,comm=μ,s,polynom=s:

TtermorderA,tdegDx,s:

Warning, Groebner[termorder] is deprecated. Please, use Groebner[MonomialOrder]. See ?Groebner,terminology for details.

typeT,TermOrder

Warning, type TermOrder is deprecated. Please, use type MonomialOrder.

true

(2)

A short term order description.

typeplexx,y,z,TermOrder,typeplexx,y,z,ShortTermOrder

Warning, type TermOrder is deprecated. Please, use type MonomialOrder.
Warning, Type ShortTermOrder is deprecated. Please, use type ShortMonomialOrder.

false,true

(3)

leadtermax2+bxy+cxz,plexx,y,z

Warning, Groebner[leadterm] is deprecated. Please, use Groebner[LeadingMonomial]. See ?Groebner,terminology for details.

x2

(4)

The previous term order can equivalently be declared by:

Apoly_algebrax,y,z,rational=a,b,c:

TtermorderA,plexx,y,z:

Warning, Groebner[termorder] is deprecated. Please, use Groebner[MonomialOrder]. See ?Groebner,terminology for details.

leadtermax2+bxy+cxz,T

Warning, Groebner[leadterm] is deprecated. Please, use Groebner[LeadingMonomial]. See ?Groebner,terminology for details.

x2

(5)

See Also

Groebner

Groebner[MonomialOrder]

type

type/MonomialOrder