Skip to main content
SpringerLink
Log in
Book cover

Computational Algebraic Geometry pp 1–20Cite as

Birkhäuser

Computation of Real Radicals of Polynomial Ideals

  • Conference paper

Part of the book series: Progress in Mathematics ((PM,volume 109))

Abstract

We describe an algorithm for the computation of the τ-radicals of ideals in polynomial rings over rational function fields k(T 1,…,T m) where (k, τ) is a preordered field satisfying certain computational conditions.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Alonso, M. E., Mora, T., Raimondo, M. (1990). Local Decomposition Algorithms. Proceedings of the 8th International Conference AAECC-8, Tokyo, Japan, August 1990. Lecture Notes in Computer Science 508, 208–221.

    Google Scholar 

  2. Becker, E. (1981). Valuations and Real Places in the Theory of Formally Real Fields. In: ”Géométrie Algébrique Réelle et Formes Quadratiques”, Proceedings Rennes 1981, Lecture Notes in Math. 959, 1–40.

    Google Scholar 

  3. Bochnak, J., Coste, M., Roy, M. F. (1987). Géométrie algébrique réelle. Ergebnisse der Mathematik und ihrer Grenzgebiete, Folge 3, Band 12. Springer-Verlag.

    Google Scholar 

  4. Coste, M., Roy, M. F. (1988). Thorn’s Lemma, the Coding of Real Algebraic Numbers and the Computation of the Topology of Semi-algebraic Sets. Journal of Symbolic Computation (1988) 5, 121–129.

    Article  MATH  MathSciNet  Google Scholar 

  5. Dubois, D. W. (1969). A nullstellensatz for ordered fields. Arkiv for Mat. 8, 111–114.

    Article  Google Scholar 

  6. Dubois, D. W., Recio, T. (1982). Order Extensions and Real Algebraic Geometry. Contemporary Mathematics, Vol. 8, 265–288.

    Article  MATH  MathSciNet  Google Scholar 

  7. Eisenbud, D., Huneke, C. (1989). A Jacobian method for finding the radical of an ideal. preprint.

    Google Scholar 

  8. Elman, R., Lam, T. Y., Wadsworth, A. R. (1979). Orderings under field extensions. J. Reine Angewandte Mathematik 306, 6–27.

    MathSciNet  Google Scholar 

  9. Gianni, P., Mora, T. (1987). Algebraic Solution of Systems of Polynomial Equations using Gröbner Bases. Proceedings of the 5th International Conference AAECC-5, June 1987. Lecture Notes in Computer Science 356, 247–257.

    Google Scholar 

  10. Gianni, P., Trager, B., Zacharias, G. (1989). Gröbner Bases and Primary Decomposition of Polynomial Ideals. In: (Robbiano, L., ed.) Computational Aspects of Commutative Algebra, Academic Press, 15–33.

    Google Scholar 

  11. Krivine, J. L. (1964). Anneaux préordonnés. Journal d’analyse mathématique 12, 307–326.

    Article  MATH  MathSciNet  Google Scholar 

  12. Krick, T., Logar, A. (1991). An Algorithm for the Computation of the Radical of an Ideal in the Ring of Polynomials. Proceedings of the 9th International Symposium AAECC-9, New Orleans, LA, USA, October 1991. Lecture Notes in Computer Science 539, 195–205.

    Google Scholar 

  13. Kobayashi, H., Moritsugu, S., Hogan, R. W. (1989). On Radical Zero-dimensional Ideals. Journal of Symbolic Computation (1989) 8, 545–552.

    Article  MATH  MathSciNet  Google Scholar 

  14. Kredel, H., Weispfenning, V. (1989). Computing Dimension and Independent Sets for Polynomial Ideals. In: (Robbiano, L. ed.) Computational Asepects of Commutative Algebra, Academic Press, 97–113.

    Google Scholar 

  15. Lakshman, Y. N. (1990). On the Complexity of Computing a Gröbner Basis for the Radical of a Zero Dimensional Ideal. In: “Proc. of 22nd ACM Symposium on Theory of Computing”, May 1990.

    Google Scholar 

  16. Matsumura, H. (1970). Commutative Algebra. W. A. Benjamin, Inc.

    Google Scholar 

  17. Prestel, A. (1984). Lectures on Formally Real Fields. Lecture Notes in Math. 1093. Springer-Verlag.

    Google Scholar 

  18. Risler, J.-J. (1970). Une caractérisation des idéaux des variétés algébriques réelles. C.R.A.S. Paris, série A 271, 1171–1173.

    Google Scholar 

  19. Seidenberg, A. (1974). Constructions in Algebra. Trans. Amer. Math. Soc. 197, 273–313.

    Article  MATH  MathSciNet  Google Scholar 

  20. Vasconcelos W. V. (1991). Jacobian Matrices and Constructions in Algebra. Proceedings of the 9th International Symposium AAECC-9, New Orleans, LA, USA, October 1991. Lecture Notes in Computer Science 539, 48–64.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Fachbereich Mathematik, Universität Dortmund, Postfach 50 05 00, W-4600, Dortmund 50, Germany

    E. Becker & R. Neuhaus

Authors
  1. E. Becker
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. R. Neuhaus
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. U.F.R. Faculté des Sciences Mathématiques, Université de Nice-Sophia Antipolis, 06108, Nice Cedex 2, France

    Frédéric Eyssette  & André Galligo  & 

Rights and permissions

Reprints and permissions

Copyright information

© 1993 Birkhäuser Boston

About this paper

Cite this paper

Becker, E., Neuhaus, R. (1993). Computation of Real Radicals of Polynomial Ideals. In: Eyssette, F., Galligo, A. (eds) Computational Algebraic Geometry. Progress in Mathematics, vol 109. Birkhäuser, Boston, MA. https://doi.org/10.1007/978-1-4612-2752-6_1

Download citation

  • DOI: https://doi.org/10.1007/978-1-4612-2752-6_1

  • Publisher Name: Birkhäuser, Boston, MA

  • Print ISBN: 978-1-4612-7652-4

  • Online ISBN: 978-1-4612-2752-6

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation