A Remark on Geometrical Approach to Term Orders for n = 2

Abstract

The division algorithm for multivariate polynomials over fields has been introduced not very long ago, in connection with algorithmic and computational problems in the rings since the work of Buchberger. The well-known fact is a term order must be a well-ordering and the division procedure in the ring of multivariate polynomials over a field terminates even if the division term is not leading term, but is freely chosen. In this paper, we will show the original geometric approach to the classification of all possible orders on the ring of polynomials in two variables is given. The connection between this classification and the well-known classification of Robiano is exposed in details.