Exemplos de divide_constraint em Python

Exemplo n.º 1

def test_divide_constraint():
    s = ["And", ["FreeQ", "m", "x"], ["NonzeroQ", ["Plus", "m", "1"]]]
    assert divide_constraint(s, ["m", "x"], 0, {}, []) == (
        ", cons1",
        "\n    def cons_f1(m):\n        return NonzeroQ(m + S(1))\n\n    cons1 = CustomConstraint(cons_f1)\n",
        1,
    )

Exemplo n.º 2

Arquivo: test_parse.py Projeto: KonstantinTogoi/sympy

def test_divide_constraint():
    s = ['And', ['FreeQ', 'm', 'x'], ['NonzeroQ', ['Plus', 'm', '1']]]
    assert divide_constraint(s, ['m', 'x']) == ', CustomConstraint(lambda m: NonzeroQ(m + S(1)))'

Exemplo n.º 3

def test_divide_constraint():
    s = ['And', ['FreeQ', 'm', 'x'], ['NonzeroQ', ['Plus', 'm', '1']]]
    assert divide_constraint(s, ['m', 'x'], 0, {}, []) == (', cons1', '\n    def cons_f1(m):\n        return NonzeroQ(m + S(1))\n\n    cons1 = CustomConstraint(cons_f1)\n', 1)

Exemplo n.º 4

Arquivo: test_parse.py Projeto: ca954bj/StructuralSymbolicSolver

def test_divide_constraint():
    s = ['And', ['FreeQ', 'm', 'x'], ['NonzeroQ', ['Plus', 'm', '1']]]
    assert divide_constraint(
        s, ['m', 'x']) == ', CustomConstraint(lambda m: NonzeroQ(m + S(1)))'

Exemplo n.º 5

Arquivo: test_parse.py Projeto: Lenqth/sympy

def test_divide_constraint():
    s = ['And', ['FreeQ', 'm', 'x'], ['NonzeroQ', ['Plus', 'm', '1']]]
    assert divide_constraint(s, ['m', 'x'], 0, {}, []) == (', cons1', '\n    def cons_f1(m):\n        return NonzeroQ(m + S(1))\n\n    cons1 = CustomConstraint(cons_f1)\n', 1)