test_symbolic_utils.py 文件源码

def test_underconstrained_2(self):
        """
        Underconstrained system returns an empty collection.
        """
        equations = [sympy.Eq(x, y)]
        new_equations = vadouvan.symbolic_utils.eliminate(equations, [x, y])
        assert len(new_equations) == 0