Polytope: Introduce property INEQUALITIES
Polytope: Introduce property FEASIBLE
Polytope: Introduce property VALID_POINT
better access to functions around tropical double description
fixed redundancy elimination for generators of tropical polytopes
Introduce object VoronoiDiagram