Polymake Template Library (PTL): pm::TropicalNumber< Addition, Scalar > Class Template Reference
Polymake Template Library (PTL)  4.2
pm::TropicalNumber< Addition, Scalar > Class Template Reference
Collaboration diagram for pm::TropicalNumber< Addition, Scalar >:

Protected Attributes

Scalar scalar
 numerical value
 

Detailed Description

template<typename Addition, typename Scalar = Rational>
class pm::TropicalNumber< Addition, Scalar >

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.


The documentation for this class was generated from the following file: