def test_polyhedral_hull(self):
self.assertEqual(self.square1.polyhedral_hull(), self.hull)
- def test_drop_dims(self):
- self.assertEqual(self.square1.drop_dims('x'), self.dropped)
- self.assertEqual(self.square1.drop_dims('x y'), self.universe)
- self.assertEqual(self.universe.drop_dims(' '), self.universe)
- self.assertEqual(self.empty.drop_dims(' '), Empty)
+ def test_project_out(self):
+ self.assertEqual(self.square1.project_out('x'), self.dropped)
+ self.assertEqual(self.square1.project_out('x y'), self.universe)
+ self.assertEqual(self.universe.project_out(' '), self.universe)
+ self.assertEqual(self.empty.project_out(' '), Empty)
def test_simplify(self):
self.assertEqual(self.universe.simplify(), self.universe)