Methods Polyhedron.fromsympy(), Polyhedron.tosympy()