|
Polymake Template Library (PTL) 4.15
|
#include <TropicalNumber.h>

Protected Attributes | |
| Scalar | scalar |
| numerical value | |
TropicalNumber models a modification of a chosen scalar type. Its multiplication is the inherent addition of the scalar, the addition is passed as a template parameter (Usually it is Max or Min). The Addition must have methods apply(x,y), assign(x,y), and orientation(). The latter determines the tropical zero of the TropicalNumber type: It is Addition::orientation() * infinity.
The Scalar has to know its zero and its own infinity value via std::numeric_limits.