コード例 #1
0
ファイル: test_tools.py プロジェクト: A-turing-machine/sympy
def test_subs():
    from sympy import symbols
    a,b,c,d,e,f = symbols('a,b,c,d,e,f')
    mapping = {a: d, d: a, Basic(e): Basic(f)}
    expr   = Basic(a, Basic(b, c), Basic(d, Basic(e)))
    result = Basic(d, Basic(b, c), Basic(a, Basic(f)))
    assert subs(mapping)(expr) == result
コード例 #2
0
ファイル: test_tools.py プロジェクト: vishalbelsare/sympy
def test_subs():
    from sympy.core.symbol import symbols
    a,b,c,d,e,f = symbols('a,b,c,d,e,f')
    mapping = {a: d, d: a, Basic(e): Basic(f)}
    expr   = Basic(a, Basic(b, c), Basic(d, Basic(e)))
    result = Basic(d, Basic(b, c), Basic(a, Basic(f)))
    assert subs(mapping)(expr) == result
コード例 #3
0
ファイル: rewrite.py プロジェクト: wdv4758h/ZipPy
 def rewrite_rl(expr, assumptions=True):
     for match in unify(source, expr, {}, variables=variables):
         if condition and not condition(*[match.get(var, var) for var in variables]):
             continue
         if assume and not ask(assume.xreplace(match), assumptions):
             continue
         expr2 = subs(match)(target)
         if isinstance(expr2, Expr):
             expr2 = rebuild(expr2)
         yield expr2
コード例 #4
0
 def rewrite_rl(expr, assumptions=True):
     for match in unify(source, expr, {}, variables=variables):
         if (condition and
             not condition(*[match.get(var, var) for var in variables])):
             continue
         if (assume and not ask(assume.xreplace(match), assumptions)):
             continue
         expr2 = subs(match)(target)
         if isinstance(expr2, Expr):
             expr2 = rebuild(expr2)
         yield expr2
コード例 #5
0
ファイル: test_tools.py プロジェクト: vishalbelsare/sympy
def test_subs_empty():
    assert subs({})(Basic(S(1), S(2))) == Basic(S(1), S(2))
コード例 #6
0
def test_subs_empty():
    assert subs({})(Basic(1, 2)) == Basic(1, 2)
コード例 #7
0
ファイル: test_tools.py プロジェクト: A-turing-machine/sympy
def test_subs_empty():
    assert subs({})(Basic(1, 2)) == Basic(1, 2)