Skip to main content

Tropical Implicitization and Mixed Fiber Polytopes

  • Chapter
Software for Algebraic Geometry

Part of the book series: The IMA Volumes in Mathematics and its Applications ((IMA,volume 148))

Abstract

The software TrIm offers implementations of tropical implicitization and tropical elimination, as developed by Tevelev and the authors. Given a polynomial map with generic coefficients, TrIm computes the tropical variety of the image. When the image is a hypersurface, the output is the Newton polytope of the defining polynomial. TrIm can thus be used to compute mixed fiber polytopes, including secondary polytopes.

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

Access this chapter

eBook
USD 16.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 109.99
Price excludes VAT (USA)
  • Durable hardcover 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

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Louis Billera and Bernd Sturmfels, Fiber polytopes, Annals of Mathematics 135 (1992), 527-549.

    Article  MathSciNet  Google Scholar 

  2. Tristram Bogart, Anders Jensen, David Speyer, Bernd Sturmfels, and Rekha Thomas, Computing tropical varieties, Journal of Symbolic Computation 42 (2007), 54-73.

    Article  MATH  MathSciNet  Google Scholar 

  3. Robert Corless, Mark Giesbrecht, Ilias Kotsireas, and Steven Watt, Nu-merical implicitization of parametric hypersurfaces with linear algebra, in: Artificial Intelligence and Symbolic Computation, Springer Lecture Notes in Computer Science, 1930 (2000), 174-183.

    Google Scholar 

  4. Alicia Dickenstein, Eva Maria Feichtner, and Bernd Sturmfels, Tropical discriminants, J. Amer. Math. Soc. 20 (2007), 1111-1133.

    Article  MATH  MathSciNet  Google Scholar 

  5. Jesus De Loera, Jorg Rambau, and Francisco Santos, Triangulations: Ap-plications, Structures and Algorithms, Algorithms and Computation in Math-ematics, Springer Verlag, Heidelberg, to appear.

    Google Scholar 

  6. Ioannis Emiris and John Canny, Efficient incremental algorithms for the sparse resultant and the mixed volume, J. Symbolic Computation 20 (1995), 117-150.

    Article  MATH  MathSciNet  Google Scholar 

  7. Ioannis Emiris and Ilias Kotsireas, Implicitization exploiting sparseness, in D. Dutta, M. Smid, R. Janardan (eds.), Geometric and Algorithmic Aspects Of Computer-aided Design and Manufacturing, pp. 281-298, DIMACS Series in Discrete Mathematics and Theoretical Computer Science 67, American Mathematical Society, Providence Ri, 2005.

    Google Scholar 

  8. Ioannis Emiris, Christos Konaxis, and Leonidas Palios, Computing the New-ton polytope of specialized resultants. Presented at the conference MEGA 2007 (Effective Methods in Algebraic Geometry), Strobl, Austria, June 2007.

    Google Scholar 

  9. Ewgenij Gawrilow and Michael Joswig, Polymake: A framework for analyzing convex polytopes. In Polytopes-Combinatorics and Computation (Oberwol-fach, 1997), DMV Seminar, Vol. 29, pages 43-73. Birkhhuser, Basel, 2000.

    Google Scholar 

  10. Israel Gel'fand, Mikhael Kapranov, and Andrei Zelevinsky, Discriminants, Resultants, and Multidimensional Determinants; Birkhhuser, Boston, 1994.

    Book  Google Scholar 

  11. Peter Huggins, iB4e: A software framework for parametrizing specialized Lp problems, A Iglesias, N Takayama (Eds.), Mathematical Software - ICMS 2006, Second International Congress on Mathematical Software, Castro Urdiales, Spain, September 1-3, 2006, Proceedings. Lecture Notes in Computer Science 4151 Springer 2006 (pp. 245-247).

    Chapter  Google Scholar 

  12. Anders N. Jensen, Gfan, a software system for Grobner fans. Available at http://home.imf.au.dk/ajensen/software/gfan/gfan.html.

  13. Askold Khovanskii and Alexander Esterov, Elimination theory and Newton polyhedra, Preprint: math.Ag/0611107.

    Google Scholar 

  14. John Mcdonald, Fractional power series solutions for systems of equations, Dis-crete and Computational Geometry 27 (2002), 501-529.

    Article  MATH  MathSciNet  Google Scholar 

  15. Peter Mcmullen, Mixed fibre polytopes, Discrete and Computational Geometry 32 (2004), 521-532.

    Article  MATH  MathSciNet  Google Scholar 

  16. Tom Michiejs and Ronald Cools, Decomposing the secondary Cayley polytope, Discrete and Computational Geometry 23 (2000), 367-380.

    Article  MathSciNet  Google Scholar 

  17. Victor Shoup, NTL: A Library for doing Number Theory, available at http://www.shoup.net/index.html.

  18. Bernd Sturmfels and Jenia Tevelev, Elimination theory for tropical varieties, Preprint: math.AG/0704347.

    Google Scholar 

  19. Bernd Sturmfels, Jenia Tevelev, and Josephine Yu, The Newton polytope of the implicit equation, Moscow Mathematical Journal 7 (2007), 327-346.

    MATH  MathSciNet  Google Scholar 

  20. Günter Ziegler, Lectures on Polytopes, Graduate Texts in Mathematics 152, Springer-Verlag, New York, 1995.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2008 Springer Science + Business Media, LLC

About this chapter

Cite this chapter

Sturmfels, B., Yu, J. (2008). Tropical Implicitization and Mixed Fiber Polytopes. In: Stillman, M., Verschelde, J., Takayama, N. (eds) Software for Algebraic Geometry. The IMA Volumes in Mathematics and its Applications, vol 148. Springer, New York, NY. https://doi.org/10.1007/978-0-387-78133-4_7

Download citation

Publish with us

Policies and ethics