Edit detail for SandBoxGroebnerBasis revision 2 of 8

changed:
-A distinctive feature of AXIOM is that every object has a specific type. In particular, this affects the way AXIOM works with monomial orders: an order is encoded in a special kind of type. For example, suppose we want to use lex order on $     \mathbb{Q}[x,y,z]$ with
-$$
-x > y > z
-$$
-This is done using the type $$ DMP([x,y,z], FRAC INT) $$ (remember that AXIOM encloses a list inside brackets ![...]). Here $DMP$ stands for "Distributed Multivariate Polynomial", and $FRAC INT" means fractions of integers, i.e. rational numbers.
A distinctive feature of AXIOM is that every object has a specific type. In particular, this affects the way AXIOM works with monomial orders: an order is encoded in a special kind of type. For example, suppose we want to use lex order on $\mathbb{Q}[x,y,z]$ with $x > y > z$
This is done using the type $DMP([x,y,z], FRAC INT)$ (remember that AXIOM encloses a list inside brackets ![...]). Here $DMP$ stands for "Distributed Multivariate Polynomial", and $FRAC INT$ means fractions of integers, i.e. rational numbers.