def test_logic():
x = true
y = false
x1 = sympy.true
y1 = sympy.false
assert And(x, y) == And(x1, y1)
assert And(x1, y) == And(x1, y1)
assert And(x, y)._sympy_() == sympy.And(x1, y1)
assert sympify(sympy.And(x1, y1)) == And(x, y)
assert Or(x, y) == Or(x1, y1)
assert Or(x1, y) == Or(x1, y1)
assert Or(x, y)._sympy_() == sympy.Or(x1, y1)
assert sympify(sympy.Or(x1, y1)) == Or(x, y)
assert Not(x) == Not(x1)
assert Not(x1) == Not(x1)
assert Not(x)._sympy_() == sympy.Not(x1)
assert sympify(sympy.Not(x1)) == Not(x)
assert Xor(x, y) == Xor(x1, y1)
assert Xor(x1, y) == Xor(x1, y1)
assert Xor(x, y)._sympy_() == sympy.Xor(x1, y1)
assert sympify(sympy.Xor(x1, y1)) == Xor(x, y)
x = Symbol("x")
x1 = sympy.Symbol("x")
assert Piecewise((x, x < 1), (0, True)) == Piecewise((x1, x1 < 1),
(0, True))
assert Piecewise((x, x1 < 1), (0, True)) == Piecewise((x1, x1 < 1),
(0, True))
assert Piecewise((x, x < 1), (0, True))._sympy_() == sympy.Piecewise(
(x1, x1 < 1), (0, True))
assert sympify(sympy.Piecewise((x1, x1 < 1), (0, True))) == Piecewise(
(x, x < 1), (0, True))
assert Contains(x, Interval(1, 1)) == Contains(x1, Interval(1, 1))
assert Contains(x, Interval(1, 1))._sympy_() == sympy.Contains(
x1, Interval(1, 1))
assert sympify(sympy.Contains(x1,
Interval(1,
1))) == Contains(x, Interval(1, 1))
def test_Piecewise():
assert Piecewise((x, x < 1), (0, True)) == Piecewise((x, x < 1), (0, True))
int1 = Interval(1, 2, True, False)
int2 = Interval(2, 5, True, False)
int3 = Interval(5, 10, True, False)
p = Piecewise((x, Contains(x, int1)), (y, Contains(x, int2)),
(x + y, Contains(x, int3)))
q = Piecewise((1, Contains(x, int1)), (0, Contains(x, int2)),
(1, Contains(x, int3)))
assert p.diff(x) == q
def test_Contains():
assert Contains(x, FiniteSet(0)) != false
assert Contains(x, Interval(1, 1)) != false
assert Contains(oo, Interval(-oo, oo)) == false
assert Contains(-oo, Interval(-oo, oo)) == false