Although the move to the new assumption system is on the list of potential GSOC ideas, I'm not sure where the ideas of issue #12327 <https://github.com/sympy/sympy/issues/12327> might fit in. This is really an annoying issue that should be working -- making assumption decisions based on low precision (but reliable) numerical values. That issue links to other issues/PR that are related.
Should we get this on the GSOC or leave this as an advanced TODO? /c -- You received this message because you are subscribed to the Google Groups "sympy" group. To unsubscribe from this group and stop receiving emails from it, send an email to sympy+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/sympy/c3edfb0b-cb2e-45c7-a389-06c0f9e4dc58n%40googlegroups.com.