def check_expression(expr, var_symbols):
"""Does eval(expr) both in Sage and SymPy and does other checks."""
# evaluate the expression in the context of Sage:
sage.var(var_symbols)
a = globals().copy()
# safety checks...
assert not "sin" in a
a.update(sage.__dict__)
assert "sin" in a
e_sage = eval(expr, a)
assert not isinstance(e_sage, sympy.Basic)
# evaluate the expression in the context of SymPy:
sympy.var(var_symbols)
b = globals().copy()
assert not "sin" in b
b.update(sympy.__dict__)
assert "sin" in b
b.update(sympy.__dict__)
e_sympy = eval(expr, b)
assert isinstance(e_sympy, sympy.Basic)
# Do the actual checks:
assert sympy.sympify(e_sage) == e_sympy
assert e_sage == sage.SR(e_sympy)
def test_issue924():
sage.var("a x")
log = sage.log
i = sympy.integrate(log(x) / a, (x, a, a + 1))
i2 = sympy.simplify(i)
s = sage.SR(i2)
assert s == (a * log(1 + a) - a * log(a) + log(1 + a) - 1) / a
def test_NaN():
assert sympy.sympify(sage.NaN) == sympy.nan
assert sage.NaN == sage.SR(sympy.nan)
def test_oo():
assert sympy.sympify(sage.oo) == sympy.oo
assert sage.oo == sage.SR(sympy.oo)
def test_euler_gamma():
assert sympy.sympify(sage.euler_gamma) == sympy.EulerGamma
assert sage.euler_gamma == sage.SR(sympy.EulerGamma)
def test_pi():
assert sympy.sympify(sage.pi) == sympy.pi
assert sage.pi == sage.SR(sympy.pi)
def test_E():
assert sympy.sympify(sage.e) == sympy.E
assert sage.e == sage.SR(sympy.E)
def test_GoldenRation():
assert sympy.sympify(sage.golden_ratio) == sympy.GoldenRatio
assert sage.golden_ratio == sage.SR(sympy.GoldenRatio)
def test_Catalan():
assert sympy.sympify(sage.catalan) == sympy.Catalan
assert sage.catalan == sage.SR(sympy.Catalan)
