def test_fromsympy(self):
sp_x, sp_y = sympy.symbols('x y')
self.assertEqual(Polyhedron.fromsympy((sp_x >= 0) & (sp_x <= 1) &
(sp_y >= 0) & (sp_y <= 1)), self.square)
def test_fromsympy(self):
sp_x, sp_y = sympy.symbols('x y')
self.assertEqual(Polyhedron.fromsympy((sp_x >= 0) & (sp_x <= 1) &
(sp_y >= 0) & (sp_y <= 1)), self.square)