Updates:
Cc: [email protected]
Comment #2 on issue 1585 by asmeurer: expression expanded indiscriminantly
http://code.google.com/p/sympy/issues/detail?id=1585
I get this traceback:
________________________________ xpassed tests
_________________________________
sympy/simplify/tests/test_simplify.py:'XPASS: test_separate_X1'
sympy/simplify/tests/test_sqrtdenest.py:'XPASS: test_sqrtdenest2'
________________________________________________________________________________
_____________ sympy/solvers/tests/test_recurr.py:test_rsolve_hyper
_____________
File
"/Users/aaronmeurer/Documents/Python/sympy/sympy/sympy/solvers/tests/test_recurr.py",
line 33, in
test_rsolve_hyper
assert rsolve_hyper([n**2-2, -2*n-1, 1], 0, n) in [C0*rf(sqrt(2), n) +
C1*rf(-sqrt(2), n),
File "/Users/aaronmeurer/Documents/Python/sympy/sympy/sympy/solvers/recurr.py",
line 563, in
rsolve_hyper
if not poly.is_zero:
File
"/Users/aaronmeurer/Documents/Python/sympy/sympy/sympy/core/assumptions.py",
line 366, in getit
return self._what_known_about(name)
File
"/Users/aaronmeurer/Documents/Python/sympy/sympy/sympy/core/assumptions.py",
line 279, in
_what_known_about
a = getattr(self,'is_'+pk)
File
"/Users/aaronmeurer/Documents/Python/sympy/sympy/sympy/core/assumptions.py",
line 366, in getit
return self._what_known_about(name)
File
"/Users/aaronmeurer/Documents/Python/sympy/sympy/sympy/core/assumptions.py",
line 256, in
_what_known_about
a = getattr(self,'_eval_is_'+k)()
File "/Users/aaronmeurer/Documents/Python/sympy/sympy/sympy/core/add.py",
line 239, in
_eval_is_irrational
a = t.is_irrational
File
"/Users/aaronmeurer/Documents/Python/sympy/sympy/sympy/core/assumptions.py",
line 366, in getit
return self._what_known_about(name)
File
"/Users/aaronmeurer/Documents/Python/sympy/sympy/sympy/core/assumptions.py",
line 279, in
_what_known_about
a = getattr(self,'is_'+pk)
File
"/Users/aaronmeurer/Documents/Python/sympy/sympy/sympy/core/assumptions.py",
line 366, in getit
return self._what_known_about(name)
File
"/Users/aaronmeurer/Documents/Python/sympy/sympy/sympy/core/assumptions.py",
line 265, in
_what_known_about
self._learn_new_facts( ((k,a),) )
File
"/Users/aaronmeurer/Documents/Python/sympy/sympy/sympy/core/assumptions.py",
line 340, in
_learn_new_facts
self._assume_rules.deduce_all_facts(facts, base)
File "/Users/aaronmeurer/Documents/Python/sympy/sympy/sympy/core/facts.py",
line 882, in
deduce_all_facts
assert new_facts[k] == v, ('inconsitency between facts',new_facts,k,v)
AssertionError: ('inconsitency between facts', {'real': True, 'even':
False, 'comparable': False, 'commutative':
True, 'nonpositive': None, 'positive': None, 'noninteger':
False, 'negative': False, 'nonnegative': True, 'zero':
False, 'complex': True, 'bounded': None, 'rational': True, 'unbounded':
None, 'integer': True, 'imaginary': False,
'nonzero': True, 'odd': True, 'irrational': False}, 'positive', True)
________________________________________________________________________________
_________________ sympy/solvers/tests/test_recurr.py:<lambda>
__________________
File
"/Users/aaronmeurer/Documents/Python/sympy/sympy/sympy/utilities/runtests.py",
line 258, in
<lambda>
File
"/Users/aaronmeurer/Documents/Python/sympy/sympy/sympy/core/assumptions.py",
line 256, in
_what_known_about
a = getattr(self,'_eval_is_'+k)()
File "/Users/aaronmeurer/Documents/Python/sympy/sympy/sympy/core/mul.py",
line 663, in
_eval_is_irrational
a = t.is_irrational
File
"/Users/aaronmeurer/Documents/Python/sympy/sympy/sympy/core/assumptions.py",
line 366, in getit
return self._what_known_about(name)
File
"/Users/aaronmeurer/Documents/Python/sympy/sympy/sympy/core/assumptions.py",
line 256, in
_what_known_about
a = getattr(self,'_eval_is_'+k)()
File "/Users/aaronmeurer/Documents/Python/sympy/sympy/sympy/core/add.py",
line 239, in
_eval_is_irrational
a = t.is_irrational
File
"/Users/aaronmeurer/Documents/Python/sympy/sympy/sympy/core/assumptions.py",
line 366, in getit
return self._what_known_about(name)
File
"/Users/aaronmeurer/Documents/Python/sympy/sympy/sympy/core/assumptions.py",
line 279, in
_what_known_about
a = getattr(self,'is_'+pk)
File
"/Users/aaronmeurer/Documents/Python/sympy/sympy/sympy/core/assumptions.py",
line 366, in getit
return self._what_known_about(name)
File
"/Users/aaronmeurer/Documents/Python/sympy/sympy/sympy/core/assumptions.py",
line 265, in
_what_known_about
self._learn_new_facts( ((k,a),) )
File
"/Users/aaronmeurer/Documents/Python/sympy/sympy/sympy/core/assumptions.py",
line 340, in
_learn_new_facts
self._assume_rules.deduce_all_facts(facts, base)
File "/Users/aaronmeurer/Documents/Python/sympy/sympy/sympy/core/facts.py",
line 882, in
deduce_all_facts
assert new_facts[k] == v, ('inconsitency between facts',new_facts,k,v)
AssertionError: ('inconsitency between facts', {'real': True, 'even':
False, 'comparable': False, 'commutative':
True, 'nonpositive': None, 'positive': None, 'noninteger':
False, 'negative': False, 'nonnegative': True, 'zero':
False, 'complex': True, 'bounded': None, 'rational': True, 'unbounded':
None, 'integer': True, 'imaginary': False,
'nonzero': True, 'odd': True, 'irrational': False}, 'positive', True)
________________________________________________________________________________
________________ sympy/solvers/tests/test_recurr.py:test_rsolve
________________
File
"/Users/aaronmeurer/Documents/Python/sympy/sympy/sympy/solvers/tests/test_recurr.py",
line 90, in
test_rsolve
assert rsolve(f, y(n)) == g
File "/Users/aaronmeurer/Documents/Python/sympy/sympy/sympy/solvers/recurr.py",
line 730, in rsolve
result = rsolve_hyper(coeffs, i_part, n, symbols=True)
File "/Users/aaronmeurer/Documents/Python/sympy/sympy/sympy/solvers/recurr.py",
line 563, in
rsolve_hyper
if not poly.is_zero:
File
"/Users/aaronmeurer/Documents/Python/sympy/sympy/sympy/core/assumptions.py",
line 366, in getit
return self._what_known_about(name)
File
"/Users/aaronmeurer/Documents/Python/sympy/sympy/sympy/core/assumptions.py",
line 279, in
_what_known_about
a = getattr(self,'is_'+pk)
File
"/Users/aaronmeurer/Documents/Python/sympy/sympy/sympy/core/assumptions.py",
line 366, in getit
return self._what_known_about(name)
File
"/Users/aaronmeurer/Documents/Python/sympy/sympy/sympy/core/assumptions.py",
line 256, in
_what_known_about
a = getattr(self,'_eval_is_'+k)()
File "/Users/aaronmeurer/Documents/Python/sympy/sympy/sympy/core/add.py",
line 231, in _eval_is_odd
l = [f for f in self.args if not (f.is_even==True)]
File
"/Users/aaronmeurer/Documents/Python/sympy/sympy/sympy/core/assumptions.py",
line 366, in getit
return self._what_known_about(name)
File
"/Users/aaronmeurer/Documents/Python/sympy/sympy/sympy/core/assumptions.py",
line 265, in
_what_known_about
self._learn_new_facts( ((k,a),) )
File
"/Users/aaronmeurer/Documents/Python/sympy/sympy/sympy/core/assumptions.py",
line 340, in
_learn_new_facts
self._assume_rules.deduce_all_facts(facts, base)
File "/Users/aaronmeurer/Documents/Python/sympy/sympy/sympy/core/facts.py",
line 882, in
deduce_all_facts
assert new_facts[k] == v, ('inconsitency between facts',new_facts,k,v)
AssertionError: ('inconsitency between facts', {'prime': False, 'real':
True, 'comparable': False, 'irrational': False,
'nonpositive': True, 'composite': False, 'unbounded': None, 'odd':
True, 'noninteger': False, 'negative': None,
'nonnegative': None, 'zero': False, 'complex': True, 'bounded':
None, 'rational': True, 'positive': False, 'integer':
True, 'imaginary': False, 'nonzero': True, 'even': False, 'commutative':
True}, 'negative', True)
tests finished: 1543 passed, 3 failed, 5 skipped, 26 xfailed, 2 xpassed in
1308.82 seconds
DO *NOT* COMMIT!
It looks like it might be related to issue 1600. Fabian will probably be
the only one who will know how to fix
this. I definitely don't know how the new assumptions work :)
--
You received this message because you are listed in the owner
or CC fields of this issue, or because you starred this issue.
You may adjust your issue notification preferences at:
http://code.google.com/hosting/settings
--~--~---------~--~----~------------~-------~--~----~
You received this message because you are subscribed to the Google Groups
"sympy-issues" group.
To post to this group, send email to [email protected]
To unsubscribe from this group, send email to
[email protected]
For more options, visit this group at
http://groups.google.com/group/sympy-issues?hl=en
-~----------~----~----~----~------~----~------~--~---
