Polymake Template Library (PTL)
4.2
|
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.