Assumptions are used only in ask() and refine(), so __new__() does not need to take assumptions. Besides, using new assumption in __new__() will make everything extremely slow so I'd say __new__() must not take assumptions.
My idea is to make eval() method, not __new__(), able to take assumptions. __new__() will call eval() without assumption, using old assumptions system (and thus without any speed issue). ask() or refine() will call eval() with assumption, using new assumptions system. IMO this topic needs to be resolved first in order to implement _eval_new() method suggested in #17280. Jisoo -- 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/818b75f9-186b-46cc-9205-68fccb3be77bn%40googlegroups.com.