Abstract
Some methods for polynomial system solving require efficient techniques for computing univariate polynomial gcd over algebraic extensions of a field. Currently used techniques compute generic univariate polynomial gcd before specializing the result using algebraic relations in the ring of coefficients. This strategy generates very big intermediate data and fails for many problems. We present here a new approach which takes permanently into account those algebraic relations. It is based on a property of subresultant remainder sequences and leads to a great increase of the speed of computation and thus the size of accessible problems.
Preview
Unable to display preview. Download preview PDF.
References
J. Backelin and R. Frberg. How we proved that there are exactly 924 cyclic 7-roots. In S. M. Watt, editor, Proc. ISSAC'91, pages 103–111. ACM, 1991.
B. Buchberger. Ein Algorithmus zum Auffinden der Basiselemente des Restklassenringes nach einem nulldimensionalen Polynomideal. PhD thesis, Innsbruck, 1965.
D. Cox, J. Little, and D. O'Shea. Ideals, Varieties, and Algorithms. Spinger-Verlag, 1991.
J. Della Dora, C. Discrescenzo, and D. Duval. About a new method method for computing in algebraic number fields. In Proc. EUROCAL 85 Vol. 2, volume 204 of Lect. Notes in Comp. Sci., pages 289–290. Springer-Verlag, 1985.
D. Duval. Questions Relatives au Calcul Formel avec des Nombres Algbriques. Universit de Grenoble, 1987. Thse d'Etat.
J.C. Faugère. Résolution des systèmes d'équations algébriques. Université Paris 6, 1994. Thse de Doctorat.
Richard D. Jenks and Robert S. Stutor. AXIOM, The Scientific Computation System. Springer-Verlag, 1992.
M. Kalkbrener. Solving systems of algebraic equations by using Gröbner basis. European Conference on Computer Algebra, Leipzig, GDR, 1987 (J. H. Davenport, ed.). Lecture Notes in Computer Science, 378:282–292, 1987.
M. Kalkbrener. A generalized euclidean algorithm for computing triangular representations of algebraic varieties. J. Symb. Comp., 15:143–167, 1993.
P. Gianni. Properties of Gröbner basis under specializations European Conference on Computer Algebra, Leipzig, GDR, 1987 (J. H. Davenport, ed.). Lecture Notes in Computer Science, 378:293–297, 1987.
D. Lazard. A new method for solving algebraic systems of positive dimension. Discr. Appl. Maths, 33:147–160, 1991.
D. Lazard. Solving zero-dimensional algebraic systems. J. Symb. Comp., 13:117–132, 1992.
D. Lazard. Systems of algebraic equations (algorithms and complexity). In Eisenbud and Robbiano, editors, Proceedings of Cortona Conference. Cambridge University Press, 1993.
R. Loos. Generalized polynomial remainder sequences. In Symbolic and Algebraic Computation, pages 115–137. Spinger-Verlag, 1982.
B.L. van der Waerden. Algebra. Springer-Verlag, 1991. seventh edition.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1995 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Maza, M.M., Rioboo, R. (1995). Polynomial gcd computations over towers of algebraic extensions. In: Cohen, G., Giusti, M., Mora, T. (eds) Applied Algebra, Algebraic Algorithms and Error-Correcting Codes. AAECC 1995. Lecture Notes in Computer Science, vol 948. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-60114-7_28
Download citation
DOI: https://doi.org/10.1007/3-540-60114-7_28
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-60114-2
Online ISBN: 978-3-540-49440-9
eBook Packages: Springer Book Archive