There is some support for tropical geometry in Sage, although someone (I guess me) needs to improve the interface and update the version of Gfan.
Take a look at: http://www.sagemath.org/doc/reference/sage/rings/polynomial/groebner_fan.html for some of what is present. For example, from the middle of that page: sage: R.<x,y,z> = PolynomialRing(QQ,3) sage: i1 = ideal(x*z + 6*y*z - z^2, x*y + 6*x*z + y*z - z^2, y^2 + x*z + y*z) sage: gf = i1.groebner_fan() sage: pf = gf.tropical_intersection() sage: pf.rays() [[-2, 1, 1]] So the focus is on tropical geometry as it relates to polynomial ideals and varieties. It would be nice to have more general support for tropical computations, and as I already said, the interface to Gfan could be a lot better. I am hoping to improve it in the next few weeks but I may not be able to find the time. If you have a specific example of something you would like to compute that would be helpful. -Marshall Hampton On Jan 20, 10:45 am, tvn <[email protected]> wrote: > By max-plus polyhedra, I am referring to something as described in this > paperhttp://www.cmap.polytechnique.fr/~allamigeon/papers/AllamigeonGaubert... > . Probably it's a new concept and definition ? > > Basically, I am looking for some method which takes as input some points > (say in 2D) and provide me the max plus polyhedra covering those points and > if possible, plot out what it looks like. > > By tropical algebra, I mean tropical geometry -- I am interested in > learning and playing around with it if it's available in Sage -- To post to this group, send email to [email protected] To unsubscribe from this group, send email to [email protected] For more options, visit this group at http://groups.google.com/group/sage-support URL: http://www.sagemath.org
