polytope_mars
