Hi Jissoo, I think that the real question is how are we going to refactor the evaluation code to make it possible to supply an assumptions argument?
At the moment the evaluation is typically in __new__ and no __new__ methods take an assumptions argument. We can't pass an assumptions argument to __new__ because downstream code will not be expecting it. I think that the real issue is we need a redesign of evaluation something like this: https://github.com/sympy/sympy/issues/17280 Oscar -- 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/CAHVvXxQETQ9_ug-C4Uoi%2BA%2B9PxrrAVz-NOA_jS74krOzc4CseQ%40mail.gmail.com.