Abstract
The main goal of this work is to describe a new approach to the study of involutive divisions using the pairwise property. The paper presents a simple and intuitive method for constructing the Janet division and reveals the deep intrinsic relationship between Janet division and Lex-ordering. A method for constructing some analogues of the Janet division for other orders is described. An example of pairwise, continuous, and nonconstructive involutive division is given.
Similar content being viewed by others
References
J. Apel, “The theory of involutive divisions and an application to Hilbert function computations,” J. Symbolic Comput., 25, No. 6, 683–704 (1998).
J. Calmet, M. Hausdorf, and W. M. Seiler, “A constructive introduction to involution,” in: Proc. Int. Symp. Applications of Computer Algebra — ISACA 2000, New Delhi, 2001, pp. 33–50.
V. P. Gerdt, “Involutive division technique: Some generalizations and optimizations,” J. Math. Sci., 108, No. 6, 2002, 1034–1051 (2002).
V. P. Gerdt and Yu. A. Blinkov, “Involutive bases of polynomial ideals,” Math. Comput. Simulation, 45, 519–542 (1998).
V. P. Gerdt and Yu. A. Blinkov, “Minimal involutive bases,” Math. Comput. Simulation, 45, 543–560 (1998).
R. Hemmecke, Involutive Bases for Polynomial Ideals, PhD Thesis, Johannes Kepler Universität Linz (2003), RISC report 03-02.
A. V. Mikhalev and E. V. Pankratiev, Computer Algebra. Calculations in Differential and Difference Algebras [in Russian], Moscow, MSU (1989).
A. Semenov, “Static properties of involutive divisions,” 2001.
A. Yu. Zharkov and Yu. A. Blinkov, “Involutive systems of algebraic equations,” Programmirovanie (1994).
A. Yu. Zharkov and Yu. A. Blinkov, Involutive Bases of Zero-Dimensional Ideals, Preprint No. E5-94-318, Joint Institute for Nuclear Research, Dubna (1994).
Author information
Authors and Affiliations
Additional information
__________
Translated from Fundamentalnaya i Prikladnaya Matematika, Vol. 9, No. 3, pp. 199–212, 2003.
Rights and permissions
About this article
Cite this article
Semenov, A.S. Pair analysis of involutive divisions. J Math Sci 135, 3400–3408 (2006). https://doi.org/10.1007/s10958-006-0169-8
Issue Date:
DOI: https://doi.org/10.1007/s10958-006-0169-8