variety from polytope