def test_global():
    assert ask(Q.integer(x)) is None
    global_assumptions.add(Q.integer(x))
    assert ask(Q.integer(x)) is True
    global_assumptions.clear()
    assert ask(Q.integer(x)) is None
Test ask with global assumptions
dataset/ETHPy150Open sympy/sympy/sympy/assumptions/tests/test_query.py/test_global