On Connection Between Constructive Involutive Divisions and Monomial Orderings
This work considers the basic issues of the theory of involutive divisions, namely, the property of constructivity which assures the existence of minimal involutive basis. The work deals with class of ≻ -divisions which possess many good properties of Janet division and can be considered as its analogs for orderings different from the lexicographic one. Various criteria of constructivity and non-constructivity are given in the paper for these divisions in terms of admissible monomial orderings ≻ . It is proven that Janet division has the advantage in the minimal involutive basis size of the class of ≻ -divisions for which x 1 ≻ x 2 ≻ ... ≻ x n holds. Also examples of new involutive divisions which can be better than Janet division in minimal involutive basis size for some ideals are given.
KeywordsDistinct Element Polynomial Ideal Monomial Ideal Monomial Ordering Admissible Ordering
Unable to display preview. Download preview PDF.
- 2.Calmet, J., Hausdorf, M., Seiler, W.M.: A constructive introduction to involution. In: Proc. Int. Symp. Applications of Computer Algebra – ISACA 2000, pp. 33–50 (2001)Google Scholar
- 6.Hemmecke, R.: Involutive Bases for Polynomial Ideals. Institut für Symbolisches Rechnen, Linz (2003)Google Scholar
- 9.Zharkov, A.Y., Blinkov, Y.A.: Involutive systems of algebraic equations. Programmirovanie (1994) (in Russian)Google Scholar
- 10.Zharkov, A.Y., Blinkov, Y.A.: Involutive Bases of Zero-Dimensional Ideals. Preprint No. E5-94-318, Joint Institute for Nuclear Research, Dubna (1994)Google Scholar