- 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)
-
- @_requires_sympy
- def test_tosympy(self):
- sp_x, sp_y = sympy.symbols('x y')
- self.assertEqual(self.square.tosympy(),
- sympy.And(-sp_x + 1 >= 0, -sp_y + 1 >= 0, sp_x >= 0, sp_y >= 0))
-
-
-class TestEmpty:
-
- def test_repr(self):
- self.assertEqual(repr(Empty), 'Empty')
-
- def test_isempty(self):
- self.assertTrue(Empty.isempty())
-
- def test_isuniverse(self):
- self.assertFalse(Empty.isuniverse())
-
-
-class TestUniverse:
-
- def test_repr(self):
- self.assertEqual(repr(Universe), 'Universe')
-
- def test_isempty(self):
- self.assertTrue(Universe.isempty())
-
- def test_isuniverse(self):
- self.assertTrue(Universe.isuniverse())
+ self.assertEqual(Constant.fromsympy(sympy.Rational(22, 7)), self.pi)
+ with self.assertRaises(TypeError):
+ Constant.fromsympy(sympy.Symbol('x'))