def test_number(self):
x, y, z = Var('y'), Var('x'), Var('z')
eq_(eval(begin(parse_text(number(x), '2'), x)), 2)
eq_(eval(begin(parse_text(number(y), '234'), y)), 234)
eq_(eval(begin(parse_text(number(z), '0232'), z)), 154) #0ctal
def test_parallel(self):
x = Var('x')
eq_(eval(parse_text(parallel(letter(x), char(x)), 'a')), 'a')
assert_raises(NoSolutionFound, eval, parse_text(parallel(number(x), char('3')), '2'))
