documentation:latest:tropical:polytope