new tulip.polytope.polytope.box2poly, use it in examples for brevity