documentation:release:4.14:tropical:polytope