Advertisement

Computation of Full Comprehensive Gröbner Bases

  • Akira Suzuki
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3718)

Abstract

In original comprehensive Gröbner bases, we must select parameter from variables before computation. By extending them, we introduce full comprehensive Gröbner bases as comprehensive Gröbner bases such that we can choose parameters to be instantiated from variables freely after computation. In this paper, we give an algorithm to compute full comprehensive Gröbner bases.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Cox, D., Little, J., O’Shea, D.: Ideals, Varieties and Algorithms – An Introduction to Computational Algebraic Geometry and Commutative Algebra, 2nd edn. Springer, Heidelberg (1996)zbMATHGoogle Scholar
  2. 2.
    Montes, A.: A new algorithm for discussing Gröbner basis with parameters. J. Symb. Comp. 33(1-2), 183–208 (2002)zbMATHCrossRefMathSciNetGoogle Scholar
  3. 3.
    Noro, M., Takeshima, T.: Risa/Asir – A Computer Algebra System. In: International Symposium on Symbolic and Algebraic Computation (ISSAC 1992), Proceedings, pp. 387–396 (1992)Google Scholar
  4. 4.
    Sato, Y., Suzuki, A.: Discrete Comprehensive Gröbner Bases. In: International Symposium on Symbolic and Algebraic Computation (ISSAC 2001), Proceedings, pp. 292–296 (2001)Google Scholar
  5. 5.
    Suzuki, A., Sato, Y.: An Alternative approach to Comprehensive Gröbner Bases. In: International Symposium on Symbolic and Algebraic Computation (ISSAC 2002), Proceedings, pp. 255–261 (2002)Google Scholar
  6. 6.
    Suzuki, A., Sato, Y.: An Alternative approach to Comprehensive Gröbner Bases. J. Symb. Comp. 36(3-4), 649–667 (2003)zbMATHCrossRefMathSciNetGoogle Scholar
  7. 7.
    Suzuki, A., Sato, Y.: Comprehensive Gröbner Bases via ACGB. In: Proceedings of the tenth international conference on Application of Computer Algebra (ACA 2004), pp. 65–73 (2004)Google Scholar
  8. 8.
    Suzuki, A.: Full Comprehensive Gröbner Bases (Extended Abstract). In: Proceedings of the Algorithmic Algebra and Logic 2005 (A3L 2005), pp. 249–252 (2005)Google Scholar
  9. 9.
    Weispfenning, V.: Gröbner bases in polynomial ideals over commutative regular rings. In: Davenport, J.H. (ed.) ISSAC 1987 and EUROCAL 1987. LNCS, vol. 378, pp. 336–347. Springer, Heidelberg (1989)Google Scholar
  10. 10.
    Weispfenning, V.: Comprehensive Gröbner bases. J. Symb. Comp. 14(1), 1–29 (1992)zbMATHCrossRefMathSciNetGoogle Scholar
  11. 11.
    Weispfenning, V.: Comprehensive Gröbner Bases and Regular Rings. In: Symposium in Honor of Bruno Buchberger’s 60th Birthday (LMCS 2002) Proceedings, pp. 256–265 (2002)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2005

Authors and Affiliations

  • Akira Suzuki
    • 1
  1. 1.Kobe University 

Personalised recommendations