def setUp(self):
# Create BoolRing with number of variables
# enough for all tests
self.B = BoolPolyRing(10, poly_type="zdd")
patcher = mock.patch('gb.autoreduce', _autoreduce)
self.addCleanup(patcher.stop)
patcher.start()
def setUp(self):
self.B = BoolPolyRing(4, poly_type="zdd")
def setUp(self):
self.poly_type = 'list'
self.B = BoolPolyRing(10, poly_type=self.poly_type)
def setUp(self):
self.B = BoolPolyRing(4, poly_type="list")
def setUp(self):
# Create BoolRing with number of variables
# enough for all tests
self.B = BoolPolyRing(10, poly_type="zdd")
def test_ring_zdd(self):
B = BoolPolyRing(self.ring_size, poly_type="zdd")
x1, x2, x3, x4, x5 = B.gens
for var in B.gens:
self.assertTrue(isinstance(var, ZDD))
def test_ring(self):
B = BoolPolyRing(self.ring_size)
x1, x2, x3, x4, x5 = B.gens
self.assertEqual(self.ring_size, len(B.gens))
def setUp(self):
self.B = BoolPolyRing(4)