论文信息 - Constructive Lifting in Graded Structures: A Unified View of Buchberger and Hensel Methods

Constructive Lifting in Graded Structures: A Unified View of Buchberger and Hensel Methods

This paper discusses a general lifting technique for solving polynomial equations in gradedstructures A, where the solution is understood to lie in the completion A^@^ of A. It shows that the classical Hensel lifting and the main constructions related to the Buchberger algorithm for Grobner bases are both instances of this technique. So, while the setting of it is too general to allow for an effective solution of equations, this technique stresses a theoretical relation between two basic algorithms in computer algebra and could be used as a theoretical model to attack computation problems under the same viewpoint.

Teo Mora | Alfonso Miola | T. Mora | A. Miola

[1] Daniel Lazard,et al. Systems of algebraic equations , 1979, EUROSAM.

[2] Bodo Renschuch,et al. Elementare und praktische Idealtheorie , 1976 .

[3] Lorenzo Robbiano,et al. On the Theory of Graded Structures , 1986, J. Symb. Comput..

[4] H. Hironaka. Resolution of Singularities of an Algebraic Variety Over a Field of Characteristic Zero: II , 1964 .

[5] B. Buchberger. An Algorithmic Method in Polynomial Ideal Theory , 1985 .

[6] David Y. Y. Yun,et al. The Hensel Lemma in Algebraic Manipulation , 1973, Outstanding Dissertations in the Computer Sciences.

[7] Grete Hermann,et al. Die Frage der endlich vielen Schritte in der Theorie der Polynomideale , 1926 .

[8] David Y. Y. Yun,et al. Computational aspects of Hensel-type univariate polynomial greatest common divisor algorithms , 1974, SIGS.

[9] H. Zassenhaus. On Hensel factorization, I , 1969 .

[10] H. Michael Möller. A Reduction Strategy for the Taylor Resolution , 1985, European Conference on Computer Algebra.

[11] Daniel Lazard,et al. Gröbner-Bases, Gaussian elimination and resolution of systems of algebraic equations , 1983, EUROCAL.

[12] David Y. Y. Yun,et al. Algebraic algorithms using p-adic constructions , 1976, SYMSAC '76.