Skip to main content

2018 | OriginalPaper | Buchkapitel

Homotopy Continuation in Macaulay2

verfasst von : Anton Leykin

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

We describe the design and relationships of several Macaulay2 packages that use numerical polynomial homotopy continuation as their engine. Macaulay2 is a computer algebra system built around the classical symbolic computation tools such as Gröbner bases. However, recent Macaulay2 versions include its own fast implementation of homotopy continuation, interfaces to external numerical algebraic geometry software (Bertini and PHCpack), and a unified data structures design that allows the use of the internal and external capabilities interchangeably. The resulting numerical and hybrid tools are of general interest to Macaulay2 users interested in computational experimentation.

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.
Zurück zum Zitat Anderson, E., Bai, Z., Bischof, C., Blackford, S., Demmel, J., Dongarra, J., Du Croz, J., Greenbaum, A., Hammarling, S., McKenney, A., Sorensen, D.: LAPACK Users’ Guide, 3rd edn. Society for Industrial and Applied Mathematics, Philadelphia (1999)CrossRef Anderson, E., Bai, Z., Bischof, C., Blackford, S., Demmel, J., Dongarra, J., Du Croz, J., Greenbaum, A., Hammarling, S., McKenney, A., Sorensen, D.: LAPACK Users’ Guide, 3rd edn. Society for Industrial and Applied Mathematics, Philadelphia (1999)CrossRef
3.
Zurück zum Zitat Bates, D.J., Hauenstein, J.D., Sommese, A.J., Wampler, C.W.: Numerically solving polynomial systems with Bertini, vol. 25. SIAM (2013) Bates, D.J., Hauenstein, J.D., Sommese, A.J., Wampler, C.W.: Numerically solving polynomial systems with Bertini, vol. 25. SIAM (2013)
6.
Zurück zum Zitat Duff, T., Hill, C., Jensen, A., Lee, K., Leykin, A., Sommars, J.: Solving polynomial systems via homotopy continuation and monodromy. IMA J. Numer. Anal. (to appear) Duff, T., Hill, C., Jensen, A., Lee, K., Leykin, A., Sommars, J.: Solving polynomial systems via homotopy continuation and monodromy. IMA J. Numer. Anal. (to appear)
7.
Zurück zum Zitat Fousse, L., Hanrot, G., Lefèvre, V., Pélissier, P., Zimmermann, P.: MPFR: a multiple-precision binary floating-point library with correct rounding. ACM Trans. Math. Softw. 33(2), 13:1–13:15 (2007)CrossRef Fousse, L., Hanrot, G., Lefèvre, V., Pélissier, P., Zimmermann, P.: MPFR: a multiple-precision binary floating-point library with correct rounding. ACM Trans. Math. Softw. 33(2), 13:1–13:15 (2007)CrossRef
9.
Zurück zum Zitat Gross, E., Petrović, S., Verschelde, J.: Interfacing with PHCpack. J. Softw. Algebra Geometry 5(1), 20–25 (2013)MathSciNetCrossRef Gross, E., Petrović, S., Verschelde, J.: Interfacing with PHCpack. J. Softw. Algebra Geometry 5(1), 20–25 (2013)MathSciNetCrossRef
10.
Zurück zum Zitat Huber, B., Sturmfels, B.: A polyhedral method for solving sparse polynomial systems. Math. Comp. 64(212), 1541–1555 (1995)MathSciNetCrossRef Huber, B., Sturmfels, B.: A polyhedral method for solving sparse polynomial systems. Math. Comp. 64(212), 1541–1555 (1995)MathSciNetCrossRef
13.
Zurück zum Zitat Leykin, A., del Campo, A.M., Sottile, F., Vakil, R., Verschelde, J.: Numerical schubert calculus via the littlewood-richardson homotopy algorithm. arXiv preprint arXiv:1802.00984 (2018) Leykin, A., del Campo, A.M., Sottile, F., Vakil, R., Verschelde, J.: Numerical schubert calculus via the littlewood-richardson homotopy algorithm. arXiv preprint arXiv:​1802.​00984 (2018)
14.
Zurück zum Zitat Morgan, A.: Solving Polynomial Systems Using Continuation for Engineering and Scientific Problems. Prentice Hall Inc., Englewood Cliffs (1987)MATH Morgan, A.: Solving Polynomial Systems Using Continuation for Engineering and Scientific Problems. Prentice Hall Inc., Englewood Cliffs (1987)MATH
Metadaten
Titel
Homotopy Continuation in Macaulay2
verfasst von
Anton Leykin
Copyright-Jahr
2018
DOI
https://doi.org/10.1007/978-3-319-96418-8_39

Premium Partner