TPLib.jl is a wrapper for the library TPLib which implements several algorithms to manipulate tropical polyhedra. Among others, it allows to compute:
- the extreme points and rays of tropical polyhedra,
- tropical polar cones,
- the minimal representations by means of half-spaces,
- the tropical complex associated with a tropical polytope.
Published under LGPL2.1
Copyright (C) 2009-2013 Xavier ALLAMIGEON (xavier.allamigeon at inria.fr)
Version 1.0 of TPLib when the author was at EADS Innovation Works, with the support of the programme of the French National Agency of Research (ANR), project ``ASOPT'', number ANR-08-SEGI-005.