Ejemplo n.º 1
0
def test_parse_freeq():
    l = ['a', 'b']
    x = 'x'
    symbols = ['x', 'a', 'b']
    assert parse_freeq(
        l, x, symbols
    ) == ', CustomConstraint(lambda a, x: FreeQ(a, x)), CustomConstraint(lambda b, x: FreeQ(b, x))'
Ejemplo n.º 2
0
def test_parse_freeq():
    l = ['a', 'b']
    x = 'x'
    symbols = ['x', 'a', 'b']
    assert parse_freeq(l, x, 0, {}, [], symbols) == (
        ', cons1, cons2',
        '\n    def cons_f1(a, x):\n        return FreeQ(a, x)\n\n    cons1 = CustomConstraint(cons_f1)\n\n    def cons_f2(b, x):\n        return FreeQ(b, x)\n\n    cons2 = CustomConstraint(cons_f2)\n',
        2)
Ejemplo n.º 3
0
def test_parse_freeq():
    l = ["a", "b"]
    x = "x"
    symbols = ["x", "a", "b"]
    assert parse_freeq(l, x, 0, {}, [], symbols) == (
        ", cons1, cons2",
        "\n    def cons_f1(a, x):\n        return FreeQ(a, x)\n\n    cons1 = CustomConstraint(cons_f1)\n\n    def cons_f2(b, x):\n        return FreeQ(b, x)\n\n    cons2 = CustomConstraint(cons_f2)\n",
        2,
    )
Ejemplo n.º 4
0
def test_parse_freeq():
    l = ['a', 'b']
    x = 'x'
    symbols = ['x', 'a', 'b']
    assert parse_freeq(l, x, symbols) == ', CustomConstraint(lambda a, x: FreeQ(a, x)), CustomConstraint(lambda b, x: FreeQ(b, x))'
Ejemplo n.º 5
0
def test_parse_freeq():
    l = ['a', 'b']
    x = 'x'
    symbols = ['x', 'a', 'b']
    assert parse_freeq(l, x, 0, {}, [], symbols) == (', cons1, cons2', '\n    def cons_f1(a, x):\n        return FreeQ(a, x)\n\n    cons1 = CustomConstraint(cons_f1)\n\n    def cons_f2(b, x):\n        return FreeQ(b, x)\n\n    cons2 = CustomConstraint(cons_f2)\n', 2)