def test_solver_20(): # log(x**2 - 3) < 5 solution = Union( Interval.open(-sympy.sqrt(3 + sympy.exp(5)), -sympy.sqrt(3)), Interval.open(sympy.sqrt(3), sympy.sqrt(3 + sympy.exp(5)))) event = Log(Y**2 - 3) < 5 answer = event.solve() assert answer == solution
def test_solver_1_closed(): # log(x) >= 2 solution = Interval(sympy.exp(2), oo) event = Log(Y) >= 2 answer = event.solve() assert answer == solution
def test_solver_1_open(): # log(x) > 2 solution = Interval.open(sympy.exp(2), oo) event = Log(Y) > 2 answer = event.solve() assert answer == solution