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