The SemiRing (min,+) over a extended with infinity.
When a has a Num instance with an addition that respects order, then this is
transformed into a tropical semiring. It is assumed that 0 is the least element
of a.
http://hal.archives-ouvertes.fr/docs/00/11/37/79/PDF/Tropical.pdf
|