Admissible orders and linear forms. (English) Zbl 0655.13017
Admissible orders, which are essential for the construction of Gröbner bases, are characterized in algebraic terms.
Reviewer: K.Peeva
MSC:
13F20 | Polynomial rings and ideals; rings of integer-valued polynomials |
68W30 | Symbolic computation and algebraic computation |
13-04 | Software, source code, etc. for problems pertaining to commutative algebra |