Abstract
In /Bu65/, /Bu70/, /Bu76/ B. Buchberger presented an algorithm which, given a basis for an ideal in K[x1,...,xn] (the ring of polynomials in n indeterminates over the field K), constructs a so-called Gröbner-basis for the ideal. The importance of Gröbner-bases for effectively carrying out a large number of construction and decision problems in polynomial ideal theory has been investigated in /Bu65/, /Wi78/, /WB81/, /Bu83b/. For the case of two variables B. Buchberger /Bu79/, /Bu83a/ gave bounds for the degrees of the polynomials which are generated by the Gröbner-bases algorithm. However, no bound has been known until now for the case of more than two variables. In this paper we give such a bound for the case of three variables.
The results reported in this paper are part of the authors doctoral dissertation at the Johannes Kepler University, Linz, Austria.
The work for this paper was supported by the Austrian Research Fund under grant Nr. 4567.
Preview
Unable to display preview. Download preview PDF.
References
B. Buchberger: Ein Algorithmus zum Auffinden der Basielemente des Restklassenringes nach einem nulldimensionalen Polynomideal, Ph.D. Dissertation, Univ. Innsbruck, Austria, 1965.
B. Buchberger: Ein algorithmisches Kriterium für die Lösbarkeit eines algebraischen Gleichungssystems, Aequ. Math., vol. 4/3, 374–383, 1970.
B. Buchberger: A Theoretical Basis for the Reduction of Polynomials to Canonical Forms, ACM SIGSAM Bull., vol. 39, 19–29, 1976.
B. Buchberger: A Criterion for Detecting Unnecessary Reductions, in the Construction of Gröbner-Bases, Proc. Int. Symp. on Symbolic and Algebraic Manipulation, EUROSAM'79, Marseille, 1979, Lecture Notes in Computer Science 72, 3–21, Berlin-Heidelberg-New York: Springer-Verlag, 1979.
B. Buchberger: A Note on the Complexity of Constructing Gröbner-Bases, Proc. European Computer Algebra Conf., EUROCAL'83, London, 1983, Lecture Notes in Computer Science 162, 137–145, Berlin-Heidelberg-New York-Tokyo: Springer-Verlag, 1983.
B. Buchberger: Gröbner Bases: A Method in Symbolic Mathematics, 5th Intern. Conf. on Simulation, Programming and Mathematical Methods for Solving Physical Problems, Joint Inst. for Nuclear Research, Dubna, USSR, 1983.
B. Buchberger, F. Winkler: Miscellaneous Results on the Construction of Gröbner-Bases for Polynomial Ideals, Techn. Rep. Nr. 137, Inst. für Math., Univ. Linz, Austria, 1979
C. Kollreider, B. Buchberger: An Improved Algorithmic Construction of Gröbner-Bases for Polynomial Ideals, Techn. Rep. Nr. 110, Inst. für Math., Univ. Linz, Austria, 1978.
D. Lazard: Gröbner Bases, Gaussian Elimination and Resolution of Systems of Algebraic Equations, Proc. European Computer Algebra Conf., EUROCAL'83, London, 1983, Lecture Notes in Computer Science 162, 146–156, Berlin-Heidelberg-New York-Tokyo: Springer-Verlag, 1983.
F. Winkler: Implementierung eines Algorithmus zur Konstruktion von Gröbner-Basen, Diplomarbeit, Inst. für Math., Univ. Linz, Austria, 1978.
F. Winkler: On the Complexity of the Gröbner-Bases Algorithm over K[x,y,z], Techn. Rep. Nr. CAMP 83-25.0, Inst. für Math., Univ. Linz, Austria, 1983.
F. Winkler, B. Buchberger, F. Lichtenberger, H. Rolletschek: An Algorithm for Constructing Canonical Bases (Groebner-Bases) of Polynomial Ideals, Techn. Rep. CAMP 81-10.0, Inst. f. Math., Univ. Linz, Austria, 1981.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1984 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Winkler, F. (1984). On the complexity of the Gröbner-bases algorithm over K[x,y,z]. In: Fitch, J. (eds) EUROSAM 84. EUROSAM 1984. Lecture Notes in Computer Science, vol 174. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0032841
Download citation
DOI: https://doi.org/10.1007/BFb0032841
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-13350-6
Online ISBN: 978-3-540-38893-7
eBook Packages: Springer Book Archive