documentation:release:4.13:tropical:polytope