Static information about the kind of tropical we are confronted with. More...
Static information about the kind of tropical we are confronted with.
Definition at line 70 of file concept/tropical_semiring.hh.
1.8.1.1