test_symbolic_utils.py 文件源码

def test_one_variable(self):
        """
        It can eliminate ``x`` from the system ``(a = x, b = x)``.
        """
        equations = [sympy.Eq(a, x), sympy.Eq(b, x)]
        new_equations = vadouvan.symbolic_utils.eliminate(equations, [x])
        assert len(new_equations) == 1
        assert new_equations[0].free_symbols == {a, b}