Status: New
Owner: ----
Labels: Type-Defect Priority-Medium Assumptions
New issue 2486 by [email protected]: S.Zero.is_finite == False
http://code.google.com/p/sympy/issues/detail?id=2486
When I change this to True or remove this property (because it is inherited
from Number anyway), I get:
Traceback (most recent call last):
File "bin/isympy", line 162, in <module>
main()
File "bin/isympy", line 158, in main
from sympy.interactive import init_session
File "sympy/__init__.py", line 30, in <module>
from sympy.core import *
File "sympy/core/__init__.py", line 8, in <module>
from expr import Expr, AtomicExpr
File "sympy/core/expr.py", line 2007, in <module>
from mul import Mul
File "sympy/core/mul.py", line 1181, in <module>
from numbers import Rational, igcd
File "sympy/core/numbers.py", line 1310, in <module>
class Zero(IntegerConstant):
File "sympy/core/singleton.py", line 52, in __init__
super(Singleton, cls).__init__(cls, name, bases, dict_)
File "sympy/core/core.py", line 160, in __init__
xass = AssumeMeths._assume_rules.deduce_all_facts(default_assumptions)
File "sympy/core/facts.py", line 877, in deduce_all_facts
('inconsistency between facts', new_facts, k, v)
AssertionError: ('inconsistency between facts', {'nonpositive':
True, 'unbounded': False, 'zero': True, 'odd': False, 'even':
True, 'commutative': True, 'positive': False, 'noninteger':
False, 'negative': False, 'complex': True, 'rational': True, 'finite':
False, 'real': True, 'nonzero': False, 'comparable': True, 'irrational':
False, 'composite': False, 'bounded': True, 'integer': True, 'imaginary':
False, 'prime': False, 'nonnegative': True, 'infinitesimal':
True}, 'finite', 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.
