Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision Next revisionBoth sides next revision | ||
tutorial:apps_tropical [2017/06/12 13:51] – [Tropical convex hull computations] typo. oroehrig | tutorial:apps_tropical [2017/06/12 18:29] – [Tropical arithmetics] removed faulty polynomial syntax oroehrig | ||
---|---|---|---|
Line 5: | Line 5: | ||
* Tropical convex hull computations | * Tropical convex hull computations | ||
* Tropical cycles and hypersurfaces. | * Tropical cycles and hypersurfaces. | ||
+ | |||
+ | To use the full palette of tools for tropical geometry, switch to the corresponding application by typing the following in the '' | ||
+ | < | ||
+ | > application ' | ||
+ | </ | ||
=== Disclaimer: Min or Max - you have to choose! === | === Disclaimer: Min or Max - you have to choose! === | ||
Line 44: | Line 49: | ||
</ | </ | ||
- | Finally, you can also create tropical polynomials. This can either | + | Finally, you can also create tropical polynomials. This can be done with the special |
< | < | ||
- | tropical > $r = new Ring< | ||
- | tropical > ($x, $y, $z) = $r-> | ||
- | tropical > $p = $x*$x + $y * $z; | ||
- | tropical > print $p; | ||
- | x0^2 + x1*x2 | ||
tropical > $q = toTropicalPolynomial(" | tropical > $q = toTropicalPolynomial(" | ||
tropical > print $q; | tropical > print $q; |