Abstract
We are now able to discuss the advantages of our algorithm.
The first of these is that it is as quick as we can reasonably hope : if we work with n polynomials in n variables of degree d, the general number of zeros is dn (Bezout theorem). Let N=dn. It is easy to see that the number of operations of our algorithm is less than O(N4), not counting, of course, the time needed to solve a polynomial in one variable of degree N. The longest part of the algorithm is the computation of this polynomial by interpolation.
The algorithm gives the multiplicity of each root. It permits to distinguish zeros on a particular hyperplane from the others, especially the zeros at infinity. It gives the rational relations between the coordinates of the solutions.
If working in a language which permits to compute in arbitrary algebraic extensions of the field and to factor polynomials, the algorithm permits to put together the conjugate solutions. In particular it gives the rational ones.
Finally, it works on every field, the rational one, as well as the real, the complex or finite fields.
Preview
Unable to display preview. Download preview PDF.
References
D. Lazard. Equations linéaires sur K[X1,...,Xn] et élimination. Bull. Soc. Math. France 105 (1977) p. 165–190.
D. Lazard. Résolution algébrique des systèmes d'équations algébriques. Congrès AFCET-SMF (Palaiseau, 1978).
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1979 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Lazard, D. (1979). Systems of algebraic equations. In: Ng, E.W. (eds) Symbolic and Algebraic Computation. EUROSAM 1979. Lecture Notes in Computer Science, vol 72. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-09519-5_62
Download citation
DOI: https://doi.org/10.1007/3-540-09519-5_62
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-09519-4
Online ISBN: 978-3-540-35128-3
eBook Packages: Springer Book Archive