documentation:master:tropical:polytope