Polymake Template Library (PTL)
4.2
|
Inherits true_type.
Tell whether the Source type can be converted to Target without precision loss i.e. the constructor Target(Source) is not explicit, and Source is not equivalent to an element of Target if the latter is a container