def test_substitute(self): b = Algebra('tests/examples/b2.ua') result = b.substitute({'x':0},'join(x,e())') self.assertEqual( result, 1)
def test_make_readable(self): b = Algebra('tests/examples/b2.ua') b.translate = {'e':r'e ','dot':r'\cdot ','join':r'\vee ','neg':r'\neg '} result = b.make_readable('join(neg(dot(x,y)),e())') self.assertEqual( result, r'(\neg (x\cdot y)\vee e )')
def test_name(self): a = Algebra('tests/examples/small_test.ua') self.assertEqual( a.name, 'test3')