Skip to content

Instantly share code, notes, and snippets.

@asmeurer
Last active August 29, 2015 13:58
Show Gist options
  • Save asmeurer/9966608 to your computer and use it in GitHub Desktop.
Save asmeurer/9966608 to your computer and use it in GitHub Desktop.
newassump
See my branch newassump-newaskfirst
(bin/test sympy/assumptions)
_____________________________________________________ sympy/assumptions/tests/test_query.py:test_float_1 _____________________________________________________
File "/users/aaronmeurer/documents/python/sympy/sympy/sympy/assumptions/tests/test_query.py", line 91, in test_float_1
assert ask(Q.integer(z)) is True
AssertionError
______________________________________________________________________________________________________________________________________________________________
____________________________________________________ sympy/assumptions/tests/test_query.py:test_infinity _____________________________________________________
File "/users/aaronmeurer/documents/python/sympy/sympy/sympy/assumptions/tests/test_query.py", line 183, in test_infinity
assert ask(Q.positive(oo)) is True
AssertionError
______________________________________________________________________________________________________________________________________________________________
__________________________________________________ sympy/assumptions/tests/test_query.py:test_neg_infinity ___________________________________________________
File "/users/aaronmeurer/documents/python/sympy/sympy/sympy/assumptions/tests/test_query.py", line 207, in test_neg_infinity
assert ask(Q.negative(mm)) is True
AssertionError
______________________________________________________________________________________________________________________________________________________________
____________________________________________________ sympy/assumptions/tests/test_query.py:test_hermitian ____________________________________________________
File "/users/aaronmeurer/documents/python/sympy/sympy/sympy/assumptions/tests/test_query.py", line 1364, in test_hermitian
assert ask(Q.antihermitian(x + 1), Q.real(x)) is None
AssertionError
______________________________________________________________________________________________________________________________________________________________
______________________________________________ sympy/assumptions/tests/test_query.py:test_composite_proposition ______________________________________________
File "/users/aaronmeurer/documents/python/sympy/sympy/sympy/assumptions/tests/test_query.py", line 1941, in test_composite_proposition
assert ask(True) is True
AssertionError
______________________________________________________________________________________________________________________________________________________________
_____________________________________________ sympy/assumptions/tests/test_query.py:test_incompatible_resolutors _____________________________________________
File "/users/aaronmeurer/documents/python/sympy/sympy/sympy/assumptions/tests/test_query.py", line 1972, in test_incompatible_resolutors
raises(ValueError, lambda: ask(Q.prime(4)))
File "./sympy/utilities/pytest.py", line 78, in raises
raise AssertionError("DID NOT RAISE")
AssertionError: DID NOT RAISE
=================== tests finished: 96 passed, 6 failed, 1 skipped, 4 expected to fail, 1 expected to fail but passed, in 1350.41 seconds ====================
DO *NOT* COMMIT!
(bin/test sympy/matrices/expressions)
=============================================== tests finished: 88 passed, 2 expected to fail, in 5.33 seconds ===============================================
(bin/test sympy/assumptions)
______________________________________________________________________________________________________________________________________________________________
_________________________________________________ sympy/assumptions/tests/test_newask.py:test_zero_positive __________________________________________________
File "/users/aaronmeurer/documents/python/sympy/sympy/sympy/assumptions/tests/test_newask.py", line 61, in test_zero_positive
assert newask(Q.positive(pi*x*y + 1), Q.positive(x) & Q.positive(y)) is True
AssertionError
______________________________________________________________________________________________________________________________________________________________
_____________________________________________________ sympy/assumptions/tests/test_query.py:test_float_1 _____________________________________________________
File "/users/aaronmeurer/documents/python/sympy/sympy/sympy/assumptions/tests/test_query.py", line 91, in test_float_1
assert ask(Q.integer(z)) is True
AssertionError
______________________________________________________________________________________________________________________________________________________________
____________________________________________________ sympy/assumptions/tests/test_query.py:test_infinity _____________________________________________________
File "/users/aaronmeurer/documents/python/sympy/sympy/sympy/assumptions/tests/test_query.py", line 183, in test_infinity
assert ask(Q.positive(oo)) is True
AssertionError
______________________________________________________________________________________________________________________________________________________________
__________________________________________________ sympy/assumptions/tests/test_query.py:test_neg_infinity ___________________________________________________
File "/users/aaronmeurer/documents/python/sympy/sympy/sympy/assumptions/tests/test_query.py", line 207, in test_neg_infinity
assert ask(Q.negative(mm)) is True
AssertionError
______________________________________________________________________________________________________________________________________________________________
____________________________________________________ sympy/assumptions/tests/test_query.py:test_hermitian ____________________________________________________
File "/users/aaronmeurer/documents/python/sympy/sympy/sympy/assumptions/tests/test_query.py", line 1364, in test_hermitian
assert ask(Q.antihermitian(x + 1), Q.real(x)) is None
AssertionError
______________________________________________________________________________________________________________________________________________________________
______________________________________________ sympy/assumptions/tests/test_query.py:test_composite_proposition ______________________________________________
File "/users/aaronmeurer/documents/python/sympy/sympy/sympy/assumptions/tests/test_query.py", line 1941, in test_composite_proposition
assert ask(True) is True
AssertionError
______________________________________________________________________________________________________________________________________________________________
_____________________________________________ sympy/assumptions/tests/test_query.py:test_incompatible_resolutors _____________________________________________
File "/users/aaronmeurer/documents/python/sympy/sympy/sympy/assumptions/tests/test_query.py", line 1972, in test_incompatible_resolutors
raises(ValueError, lambda: ask(Q.prime(4)))
File "./sympy/utilities/pytest.py", line 78, in raises
raise AssertionError("DID NOT RAISE")
AssertionError: DID NOT RAISE
==================== tests finished: 95 passed, 7 failed, 1 skipped, 4 expected to fail, 1 expected to fail but passed, in 771.04 seconds ====================
DO *NOT* COMMIT!
See my branch newassump-newasklast
(bin/test sympy/assumptions)
______________________________________________________________________________________________________________________________________________________________
______________________________________________ sympy/assumptions/tests/test_query.py:test_composite_proposition ______________________________________________
File "/users/aaronmeurer/documents/python/sympy/sympy/sympy/assumptions/tests/test_query.py", line 1941, in test_composite_proposition
assert ask(True) is True
AssertionError
=================================== tests finished: 101 passed, 1 failed, 1 skipped, 5 expected to fail, in 140.30 seconds ===================================
DO *NOT* COMMIT!
(bin/test sympy/matrices/expressions)
=============================================== tests finished: 88 passed, 2 expected to fail, in 1.74 seconds ===============================================
(bin/test sympy/assumptions)
======================================== tests finished: 102 passed, 1 skipped, 5 expected to fail, in 117.99 seconds ========================================
(bin/test sympy/matrices/expressions)
=============================================== tests finished: 88 passed, 2 expected to fail, in 1.75 seconds ===============================================
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment