Top
Back: Matrix orderings
Forward: Extra weight vector
FastBack: Representation of mathematical objects
FastForward: Mathematical background
Up: Monomial orderings
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

B.2.7 Product orderings

Let be two ordered sets of variables,

Inductively one defines the product ordering of more than two monomial orderings.

In SINGULAR, any of the above global orderings, local orderings or matrix orderings may be combined (in an arbitrary manner and length) to a product ordering. E.g., (lp(3), M(1, 2, 3, 1, 1, 1, 1, 0, 0), ds(4), ws(1,2,3)) defines: lp on the first 3 variables, the matrix ordering M(1, 2, 3, 1, 1, 1, 1, 0, 0) on the next 3 variables, ds on the next 4 variables and ws(1,2,3) on the last 3 variables.


Top Back: Matrix orderings Forward: Extra weight vector FastBack: Representation of mathematical objects FastForward: Mathematical background Up: Monomial orderings Top: Singular Manual Contents: Table of Contents Index: Index About: About this document
            User manual for Singular version 3-1-6, Dec 2012, generated by texi2html.