Skip to main content
Fachgebiete
Automobil + Motoren Bauwesen + Immobilien Business IT + Informatik Elektrotechnik + Elektronik Energie + Nachhaltigkeit Finance + Banking Management + Führung Marketing + Vertrieb Maschinenbau + Werkstoffe Versicherung + Risiko
DE
EN
Themenseiten
Organisationspsychologie Projektmanagement Marketing Smart Manufacturing
Bücher
Zeitschriften
Weitere Formate
Podcasts Webinare Technik Webinare Wirtschaft Kongresse Veranstaltungskalender Awards
Jetzt Einzelzugang starten
Zugang für Unternehmen
Referenzkunden
ATZ-Fachkongress

Chassis.tech plus 2024


4 Kongresse in einer Veranstaltung

Treffen Sie in München die Fachleute von Chassis, Lenkung, Bremsen sowie Reifen/Räder.
Erweiterte Suche
Anmelden
nach oben
Erschienen in:
Linear Differential Systems with Infinite Power Series Coefficients (Invited Talk) Kapitel lesen Erstes Kapitel lesen

2017 | Supplement | Buchkapitel

Decomposing Polynomial Sets Simultaneously into Gröbner Bases and Normal Triangular Sets

verfasst von : Rina Dong, Chenqi Mou

Erschienen in: Computer Algebra in Scientific Computing

Verlag: Springer International Publishing

Einloggen

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

search-config
loading …

Abstract

In this paper we focus on the algorithms and their implementations for decomposing an arbitrary polynomial set simultaneously into pairs of lexicographic Gröbner bases and normal triangular sets with inherent connections in between and associated zero relationship with the polynomial set. In particular, a method by temporarily changing the variable orderings to handle the failure of the variable ordering assumption is proposed to ensure splitting needed for characteristic decomposition. Experimental results of our implementations for (strong) characteristic decomposition with comparisons with available implementations of triangular decomposition are also reported.

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!

Jetzt informieren

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!

Jetzt informieren

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!

Jetzt informieren
Vorheriges Kapitel Certifying Simple Zeros of Over-Determined Polynomial Systems
Nächstes Kapitel Symbolic Versus Numerical Computation and Visualization of Parameter Regions for Multistationarity of Biological Networks
Fußnoten
Literatur
1.
Alvandi, P., Chen, C., Marcus, S., Moreno Maza, M., Schost, É., Vrbik, P.: Doing algebraic geometry with the RegularChains library. In: Hong, H., Yap, C. (eds.) ICMS 2014. LNCS, vol. 8592, pp. 472–479. Springer, Heidelberg (2014). doi:10.​1007/​978-3-662-44199-2_​71
2.
3.
Aubry, P., Moreno Maza, M.: Triangular sets for solving polynomial systems: a comparative implementation of four methods. J. Symb. Comput. 28(1), 125–154 (1999)MathSciNetCrossRefMATH
4.
Bächler, T., Gerdt, V., Lange-Hegermann, M., Robertz, D.: Algorithmic Thomas decomposition of algebraic and differential systems. J. Symb. Comput. 47(10), 1233–1266 (2012)MathSciNetCrossRefMATH
5.
Becker, T., Weispfenning, V., Kredel, H.: Gröbner Bases: A Computational Approach to Commutative Algebra. Graduate Texts in Mathematics. Springer, New York (1993)CrossRefMATH
6.
Buchberger, B.: Ein Algorithmus zum Auffinden der Basiselemente des Restklassenrings nach einem nulldimensionalen Polynomideal. Ph.D. thesis, Universität Innsbruck, Austria (1965)
7.
Chen, C., Golubitsky, O., Lemaire, F., Moreno Maza, M., Pan, W.: Comprehensive triangular decomposition. In: Ganzha, V.G., Mayr, E.W., Vorozhtsov, E.V. (eds.) CASC 2007. LNCS, vol. 4770, pp. 73–101. Springer, Heidelberg (2007). doi:10.​1007/​978-3-540-75187-8_​7 CrossRef
8.
Chen, C., Moreno Maza, M.: Algorithms for computing triangular decompositions of polynomial systems. J. Symb. Comput. 47(6), 610–642 (2012)MathSciNetCrossRefMATH
9.
Cox, D., Little, J., O’Shea, D.: Ideals, Varieties, and Algorithms: An Introduction to Computational Algebraic Geometry and Commutative Algebra. Undergraduate Texts in Mathematics. Springer, New York (1997)MATH
10.
Dahan, X.: On lexicographic Gröbner bases of radical ideals in dimension zero: interpolation and structure. Preprint at arXiv:​1207.​3887 (2012)
11.
12.
Faugère, J.-C., Gianni, P., Lazard, D., Mora, T.: Efficient computation of zero-dimensional Gröbner bases by change of ordering. J. Symb. Comput. 16(4), 329–344 (1993)CrossRefMATH
13.
Gao, S., Volny, F., Wang, M.: A new framework for computing Gröbner bases. Math. Comput. 85(297), 449–465 (2016)CrossRefMATH
14.
Gao, X.-S., Chou, S.-C.: Solving parametric algebraic systems. In: Proceedings of ISSAC 1992, pp. 335–341. ACM Press (1992)
15.
Gianni, P., Trager, B., Zacharias, G.: Gröbner bases and primary decomposition of polynomial ideals. J. Symb. Comput. 6(2), 149–167 (1988)CrossRefMATH
16.
Kalkbrenner, M.: A generalized Euclidean algorithm for computing triangular representations of algebraic varieties. J. Symb. Comput. 15(2), 143–167 (1993)MathSciNetCrossRef
17.
18.
Lazard, D.: A new method for solving algebraic systems of positive dimension. Discrete Appl. Math. 33(1–3), 147–160 (1991)MathSciNetCrossRefMATH
19.
20.
Lemaire, F., Moreno Maza, M., Xie, Y.: The RegularChains library in Maple 10. In: Kotsireas, I. (ed.) Maple Conference 2005, pp. 355–368. Maplesoft, Waterloo (2005)
21.
22.
Marinari, M.G., Mora, T.: A remark on a remark by Macaulay or enhancing Lazard structural theorem. Bull. Iran. Math. Soc. 29(1), 1–45 (2003)MathSciNetMATH
23.
Mou, C., Wang, D., Li, X.: Decomposing polynomial sets into simple sets over finite fields: the positive-dimensional case. Theoret. Comput. Sci. 468, 102–113 (2013)MathSciNetCrossRefMATH
24.
25.
Shimoyama, T., Yokoyama, K.: Localization and primary decomposition of polynomial ideals. J. Symb. Comput. 22(3), 247–277 (1996)MathSciNetCrossRefMATH
26.
27.
28.
29.
Wang, D.: Elimination Practice: Software Tools and Applications. Imperial College Press, London (2004)CrossRefMATH
30.
Wang, D.: On the connection between Ritt characteristic sets and Buchberger-Gröbner bases. Math. Comput. Sci. 10, 479–492 (2016)MathSciNetCrossRefMATH
31.
32.
Wang, D., Zhang, Y.: An algorithm for decomposing a polynomial system into normal ascending sets. Sci. China Ser. A 50(10), 1441–1450 (2007)MathSciNetCrossRefMATH
33.
34.
Wu, W.-T.: Basic principles of mechanical theorem proving in elementary geometries. J. Autom. Reason. 2(3), 221–252 (1986)CrossRefMATH
Metadaten
Titel
Decomposing Polynomial Sets Simultaneously into Gröbner Bases and Normal Triangular Sets
verfasst von
Rina Dong
Chenqi Mou
Copyright-Jahr
2017
Buch
Computer Algebra in Scientific Computing

Print ISBN: 978-3-319-66319-7

Electronic ISBN: 978-3-319-66320-3

Copyright-Jahr: 2017

DOI
https://doi.org/10.1007/978-3-319-66320-3_7

Premium Partner

    Bildnachweise