Skip to main content

2018 | OriginalPaper | Buchkapitel

Universal Gröbner Basis for Parametric Polynomial Ideals

verfasst von : Amir Hashemi, Mahdi Dehghani Darmian, Marzieh Barkhordar

Erschienen in: Mathematical Software – ICMS 2018

Verlag: Springer International Publishing

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

In this paper, we introduce the concept of universal Gröbner basis for a parametric polynomial ideal. In this direction, we present a new algorithm, called UGS, which takes as input a finite set of parametric polynomials and outputs a universal Gröbner system for the ideal generated by input polynomials, by decomposing the space of parameters into a finite set of parametric cells and for each cell associating a finite set of parametric polynomials which is a universal Gröbner basis for the ideal corresponding to that cell. Indeed, for each values of parameters satisfying a condition set, the corresponding polynomial set forms a universal Gröbner basis for the ideal. Our method relies on the parametric variant of the Gröbner basis conversion and also on the PGBMain algorithm due to Kapur et al. to compute parametric Gröbner bases. The proposed UGS algorithm has been implemented in Maple-Sage and its performance is investigated through an example.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Literatur
1.
2.
Zurück zum Zitat Babson, E., Onn, S., Thomas, R.: The Hilbert zonotope and a polynomial time algorithm for universal Gröbner bases. Adv. Appl. Math. 30, 529–544 (2003)MathSciNetCrossRef Babson, E., Onn, S., Thomas, R.: The Hilbert zonotope and a polynomial time algorithm for universal Gröbner bases. Adv. Appl. Math. 30, 529–544 (2003)MathSciNetCrossRef
3.
Zurück zum Zitat Buchberger, B.: Bruno Buchberger’s Ph.D thesis 1965: an algorithm for finding the basis elements of the residue class ring of a zero dimensional polynomial ideal. J. Symb. Comput. 41(3–4), 475–511 (2006). Translation from the GermanMathSciNetCrossRef Buchberger, B.: Bruno Buchberger’s Ph.D thesis 1965: an algorithm for finding the basis elements of the residue class ring of a zero dimensional polynomial ideal. J. Symb. Comput. 41(3–4), 475–511 (2006). Translation from the GermanMathSciNetCrossRef
5.
Zurück zum Zitat Dehghani Darmian, M., Hashemi, A., Montes, A.: Erratum to “A new algorithm for discussing Gröbner bases with parameters” (J. Symbolic Comput. 33(1–2), 183–208 (2002)). J. Symb. Comput. 46(10), 1187–1188 (2011) Dehghani Darmian, M., Hashemi, A., Montes, A.: Erratum to “A new algorithm for discussing Gröbner bases with parameters” (J. Symbolic Comput. 33(1–2), 183–208 (2002)). J. Symb. Comput. 46(10), 1187–1188 (2011)
6.
Zurück zum Zitat Fukuda, K., Jensen, A., Lauritzen, N., Thomas, R.: The generic Gröbner walk. J. Symb. Comput. 42(3), 298–312 (2007)CrossRef Fukuda, K., Jensen, A., Lauritzen, N., Thomas, R.: The generic Gröbner walk. J. Symb. Comput. 42(3), 298–312 (2007)CrossRef
7.
Zurück zum Zitat Fukuda, K., Jensen, A.N., Thomas, R.R.: Computing Gröbner fans. Math. Comput. 76(260), 2189–2212 (2007)CrossRef Fukuda, K., Jensen, A.N., Thomas, R.R.: Computing Gröbner fans. Math. Comput. 76(260), 2189–2212 (2007)CrossRef
8.
Zurück zum Zitat Hashemi, A., Dehghani Darmian, M., Barkhordar, M.: Gröbner systems conversion. Math. Comput. Sci. 11(1), 61–77 (2017)MathSciNetCrossRef Hashemi, A., Dehghani Darmian, M., Barkhordar, M.: Gröbner systems conversion. Math. Comput. Sci. 11(1), 61–77 (2017)MathSciNetCrossRef
10.
Zurück zum Zitat Jensen, A.N.: Algorithmic aspects of Gröbner fans and tropical varieties. Technical report (2007) Jensen, A.N.: Algorithmic aspects of Gröbner fans and tropical varieties. Technical report (2007)
11.
Zurück zum Zitat Kapur, D., Sun, Y., Wang, D.: A new algorithm for computing comprehensive Gröbner systems. In: Proceedings of ISSAC 2010. pp. 29–36. ACM Press (2010) Kapur, D., Sun, Y., Wang, D.: A new algorithm for computing comprehensive Gröbner systems. In: Proceedings of ISSAC 2010. pp. 29–36. ACM Press (2010)
12.
Zurück zum Zitat Montes, A.: A new algorithm for discussing Gröbner bases with parameters. J. Symb. Comput. 33(2), 183–208 (2002)MathSciNetCrossRef Montes, A.: A new algorithm for discussing Gröbner bases with parameters. J. Symb. Comput. 33(2), 183–208 (2002)MathSciNetCrossRef
13.
Zurück zum Zitat Mora, T., Robbiano, L.: The Gröbner fan of an ideal. J. Symb. Comput. 6(2–3), 183–208 (1988)CrossRef Mora, T., Robbiano, L.: The Gröbner fan of an ideal. J. Symb. Comput. 6(2–3), 183–208 (1988)CrossRef
16.
Zurück zum Zitat Sturmfels, B.: Gröbner Bases and Convex Polytopes. AMS, American Mathematical Society, Providece (1996)MATH Sturmfels, B.: Gröbner Bases and Convex Polytopes. AMS, American Mathematical Society, Providece (1996)MATH
17.
Zurück zum Zitat Suzuki, A., Sato, Y.: A simple algorithm to compute comprehensive Gröbner bases using Gröbner bases. In: Proceedings of ISSAC 2006, pp. 326–331. ACM Press (2006) Suzuki, A., Sato, Y.: A simple algorithm to compute comprehensive Gröbner bases using Gröbner bases. In: Proceedings of ISSAC 2006, pp. 326–331. ACM Press (2006)
19.
Zurück zum Zitat Weispfenning, V.: Comprehensive Gröbner bases. J. Symb. Comput. 14(1), 1–29 (1992)CrossRef Weispfenning, V.: Comprehensive Gröbner bases. J. Symb. Comput. 14(1), 1–29 (1992)CrossRef
Metadaten
Titel
Universal Gröbner Basis for Parametric Polynomial Ideals
verfasst von
Amir Hashemi
Mahdi Dehghani Darmian
Marzieh Barkhordar
Copyright-Jahr
2018
DOI
https://doi.org/10.1007/978-3-319-96418-8_23

Premium Partner