polytope
not defined yet