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