Python _extract_facts示例

示例#1

文件： test_assumptions_2.py 项目： jamesBaker361/pynary

def test_extract_facts():
    a, b = symbols('a b', cls=Predicate)
    assert _extract_facts(a(x), x) == a
    assert _extract_facts(a(x), y) is None
    assert _extract_facts(~a(x), x) == ~a
    assert _extract_facts(~a(x), y) is None
    assert _extract_facts(a(x) | b(x), x) == a | b
    assert _extract_facts(a(x) | ~b(x), x) == a | ~b
    assert _extract_facts(a(x) & b(y), x) == a
    assert _extract_facts(a(x) & b(y), y) == b
    assert _extract_facts(a(x) | b(y), x) == None
    assert _extract_facts(~(a(x) | b(y)), x) == ~a

示例#2

文件： test_assumptions_2.py 项目： AALEKH/sympy

def test_extract_facts():
    a, b = symbols('a b', cls=Predicate)
    assert _extract_facts(a(x), x) == a
    assert _extract_facts(a(x), y) is None
    assert _extract_facts(~a(x), x) == ~a
    assert _extract_facts(~a(x), y) is None
    assert _extract_facts(a(x) | b(x), x) == a | b
    assert _extract_facts(a(x) | ~b(x), x) == a | ~b
    assert _extract_facts(a(x) & b(y), x) == a
    assert _extract_facts(a(x) & b(y), y) == b
    assert _extract_facts(a(x) | b(y), x) == None
    assert _extract_facts(~(a(x) | b(y)), x) == ~a

示例#3

文件： test_assumptions_2.py 项目： AlexandruFlorescu/sympy

def test_extract_facts():
    a, b = symbols('a b', cls=Predicate)
    x, y = symbols('x y')
    assert _extract_facts(a(x), x)  == a
    assert _extract_facts(a(x), y)  == None
    assert _extract_facts(~a(x), x) == ~a
    assert _extract_facts(~a(x), y) == None
    assert _extract_facts(a(x) | b(x), x) == a | b
    assert _extract_facts(a(x) | ~b(x), x) == a | ~b

示例#4

文件： test_assumptions_2.py 项目： devs1991/test_edx_docmode

def test_extract_facts():
    a, b = symbols('a b', cls=Predicate)
    x, y = symbols('x y')
    assert _extract_facts(a(x), x)  == a
    assert _extract_facts(a(x), y)  == None
    assert _extract_facts(~a(x), x) == ~a
    assert _extract_facts(~a(x), y) == None
    assert _extract_facts(a(x) | b(x), x) == a | b
    assert _extract_facts(a(x) | ~b(x), x) == a | ~b