Updates:
        Status: Started

Comment #5 on issue 1946 by mattpap: Recursion error with SYMPY_GROUND_TYPES=sympy (caching problem)
http://code.google.com/p/sympy/issues/detail?id=1946

Also, for the second conditional, it doesn't consider S.One, S.NegativeOne, or
S.Zero, which are sympified integers but not Integer's.

This is actually not true:

In [1]: isinstance(S.One, Integer)
Out[1]: True

In [2]: isinstance(S.NegativeOne, Integer)
Out[2]: True

In [3]: isinstance(S.Zero, Integer)
Out[3]: True

-        if type(b) is int:

There are more statements like this one in the core:

sympy/core/decorators.py:72:        if type(b) is int:
sympy/core/numbers.py:854:        if type(b) is int:
sympy/core/numbers.py:861:        if type(b) is int:
sympy/core/numbers.py:868:        if type(b) is int:
sympy/core/numbers.py:875:        if type(b) is int:
sympy/core/numbers.py:882:        if type(b) is int:
sympy/core/numbers.py:889:        if type(b) is int:
sympy/core/numbers.py:901:        if type(b) is int:
sympy/core/numbers.py:908:        if type(b) is int:
sympy/core/numbers.py:915:        if type(b) is int:
sympy/core/numbers.py:922:        if type(b) is int:
sympy/core/numbers.py:929:        if type(b) is int:
sympy/core/numbers.py:936:        if type(b) is int:
sympy/core/numbers.py:1046:        if type(b) is int:
sympy/core/numbers.py:1058:        if type(b) is int:
sympy/core/numbers.py:1077:        if type(b) is int:
sympy/core/numbers.py:1091:        if type(b) is int:
sympy/core/numbers.py:1103:        if type(b) is int:

The conclusion is that we need better tests for the core, e.g. with large inputs or with different types (it happens that polys touch those problems), and fix all bugs
that we encounter.

--
You received this message because you are subscribed to the Google Groups 
"sympy-issues" group.
To post to this group, send email to sympy-iss...@googlegroups.com.
To unsubscribe from this group, send email to 
sympy-issues+unsubscr...@googlegroups.com.
For more options, visit this group at 
http://groups.google.com/group/sympy-issues?hl=en.

Reply via email to