type for term order data structures
type for short term order descriptions
table that denotes a term ordering on an algebra
short term order 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.
Neither a term order nor a short term order description!
Warning, type TermOrder is deprecated. Please, use type MonomialOrder.
Warning, Type ShortTermOrder is deprecated. Please, use type ShortMonomialOrder.
A term order.
A ≔ diff_algebra⁡Dx,x,comm=μ,s,polynom=s:
T ≔ termorder⁡A,tdeg⁡Dx,s:
A short term order description.
The previous term order can equivalently be declared by:
A ≔ poly_algebra⁡x,y,z,rational=a,b,c:
T ≔ termorder⁡A,plex⁡x,y,z:
Download Help Document
What kind of issue would you like to report? (Optional)