Status: Accepted
Owner: [email protected]
Labels: Type-Defect Priority-Medium
New issue 2706 by [email protected]: inconsisten facts problem with hyper
http://code.google.com/p/sympy/issues/detail?id=2706
When all three terms in the following expression are present, an error is
thrown (the actual hyper encountered was not the one shown below, but the
arguments don't matter here):
>>> (pi*gamma(x)*hyper([],[],x)).is_positive
Traceback (most recent call last):
File "<stdin>", line 1, in <module>
File "sympy\core\assumptions.py", line 156, in getit
return self._what_known_about(fact)
File "sympy\core\assumptions.py", line 368, in _what_known_about
a = getattr(self, 'is_' + pk)
File "sympy\core\assumptions.py", line 156, in getit
return self._what_known_about(fact)
File "sympy\core\assumptions.py", line 370, in _what_known_about
self._learn_new_facts( ((pk,a),) )
File "sympy\core\assumptions.py", line 417, in _learn_new_facts
_assume_rules.deduce_all_facts(facts, base)
File "sympy\core\facts.py", line 623, in deduce_all_facts
('inconsistency between facts', new_facts, k, v)
AssertionError: ('inconsistency between facts', {'real':
True, 'nonzero': True,
'irrational': True, 'even': False, 'prime': False, 'noninteger':
True, 'composit
e': False, 'zero': False, 'complex': True, 'rational':
False, 'integer': False,
'imaginary': False, 'odd': False, 'commutative': True}, 'commutative',
False)
If one or more is missing there is no problem:
>>> (pi*gamma(x)).is_positive
>>> (pi*hyper([],[],x)).is_positive
False
>>> (gamma(x)*hyper([],[],x)).is_positive
False
>>> (gamma(x)).is_positive
>>> (hyper([],[],x)).is_positive
False
>>> (pi).is_positive
True
--
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.
