def test_global(): """Test for global assumptions""" global_assumptions.add(Q.is_true(x > 0)) assert Q.is_true(x > 0) in global_assumptions global_assumptions.remove(Q.is_true(x > 0)) assert not Q.is_true(x > 0) in global_assumptions # same with multiple of assumptions global_assumptions.add(Q.is_true(x > 0), Q.is_true(y > 0)) assert Q.is_true(x > 0) in global_assumptions assert Q.is_true(y > 0) in global_assumptions global_assumptions.clear() assert not Q.is_true(x > 0) in global_assumptions assert not Q.is_true(y > 0) in global_assumptions
def test_global(): """Test for global assumptions""" x, y = symbols('x y') global_assumptions.add(Assume(x>0)) assert Assume(x>0) in global_assumptions global_assumptions.remove(Assume(x>0)) assert not Assume(x>0) in global_assumptions # same with multiple of assumptions global_assumptions.add(Assume(x>0), Assume(y>0)) assert Assume(x>0) in global_assumptions assert Assume(y>0) in global_assumptions global_assumptions.clear() assert not Assume(x>0) in global_assumptions assert not Assume(y>0) in global_assumptions
def test_global(): """Test for global assumptions""" x, y = symbols('x y') global_assumptions.add(Assume(x > 0)) assert Assume(x > 0) in global_assumptions global_assumptions.remove(Assume(x > 0)) assert not Assume(x > 0) in global_assumptions # same with multiple of assumptions global_assumptions.add(Assume(x > 0), Assume(y > 0)) assert Assume(x > 0) in global_assumptions assert Assume(y > 0) in global_assumptions global_assumptions.clear() assert not Assume(x > 0) in global_assumptions assert not Assume(y > 0) in global_assumptions