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')
