Comment #12 on issue 2964 by [email protected]: S.One.is_prime gives True http://code.google.com/p/sympy/issues/detail?id=2964
I'm not sure if this should be opened as a new issue here or not, but there is a very serious logical error in the new assumptions system when it comes to this: in a couple of places (handlers/ntheory.py and handlers/sets) it is using e.evalf(1) to tell is something is an integer. This will never pass for anything but powers of 10 since evalf evaluates 1 significant digit; it is not the same as round(e, 1) (which is also not a good way to test if something is an integer).
-- 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.
