Python is_commutativeの例

コード例 #1

ファイル: test_sympy.py プロジェクト: Azatik1000/Massey-Omura-Cryptosystem

def test_unify_iter():
    expr = Add(1, 2, 3, evaluate=False)
    a, b, c = map(Symbol, 'abc')
    pattern = Add(a, c, evaluate=False)
    assert is_associative(deconstruct(pattern))
    assert is_commutative(deconstruct(pattern))

    result = list(unify(expr, pattern, {}, (a, c)))
    expected = [{
        a: 1,
        c: Add(2, 3, evaluate=False)
    }, {
        a: 1,
        c: Add(3, 2, evaluate=False)
    }, {
        a: 2,
        c: Add(1, 3, evaluate=False)
    }, {
        a: 2,
        c: Add(3, 1, evaluate=False)
    }, {
        a: 3,
        c: Add(1, 2, evaluate=False)
    }, {
        a: 3,
        c: Add(2, 1, evaluate=False)
    }, {
        a: Add(1, 2, evaluate=False),
        c: 3
    }, {
        a: Add(2, 1, evaluate=False),
        c: 3
    }, {
        a: Add(1, 3, evaluate=False),
        c: 2
    }, {
        a: Add(3, 1, evaluate=False),
        c: 2
    }, {
        a: Add(2, 3, evaluate=False),
        c: 1
    }, {
        a: Add(3, 2, evaluate=False),
        c: 1
    }]

    assert iterdicteq(result, expected)

コード例 #2

ファイル: test_sympy.py プロジェクト: A-turing-machine/sympy

def test_unify_iter():
    expr = Add(1, 2, 3, evaluate=False)
    a, b, c = map(Symbol, 'abc')
    pattern = Add(a, c, evaluate=False)
    assert is_associative(deconstruct(pattern))
    assert is_commutative(deconstruct(pattern))

    result   = list(unify(expr, pattern, {}, (a, c)))
    expected = [{a: 1, c: Add(2, 3, evaluate=False)},
                {a: 1, c: Add(3, 2, evaluate=False)},
                {a: 2, c: Add(1, 3, evaluate=False)},
                {a: 2, c: Add(3, 1, evaluate=False)},
                {a: 3, c: Add(1, 2, evaluate=False)},
                {a: 3, c: Add(2, 1, evaluate=False)},
                {a: Add(1, 2, evaluate=False), c: 3},
                {a: Add(2, 1, evaluate=False), c: 3},
                {a: Add(1, 3, evaluate=False), c: 2},
                {a: Add(3, 1, evaluate=False), c: 2},
                {a: Add(2, 3, evaluate=False), c: 1},
                {a: Add(3, 2, evaluate=False), c: 1}]

    assert iterdicteq(result, expected)

コード例 #3

ファイル: test_sympy.py プロジェクト: Azatik1000/Massey-Omura-Cryptosystem

def test_is_commutative():
    assert is_commutative(deconstruct(x + y))
    assert is_commutative(deconstruct(x * y))
    assert not is_commutative(deconstruct(x**y))

コード例 #4

ファイル: test_sympy.py プロジェクト: A-turing-machine/sympy

def test_is_commutative():
    assert is_commutative(deconstruct(x+y))
    assert is_commutative(deconstruct(x*y))
    assert not is_commutative(deconstruct(x**y))