> Note that your benchmark is flawed since it creates an
AssumptionsWrapper each time in the timing loop. If we only want to
make a single call to is_positive then we could have a function that
does that without creating a new Basic instance. Otherwise the
AssumptionsWrapper is created so that multiple assumptions queries can
be made. We can also optimise AssumptionsWrapper to inherit the
assumptions dict of the object it wraps.

Okay. That sounds good.

> We could make a method like eval as already used by Function. Would it
need to be a classmethod or an instance method?

I have no idea for that yet. After we decide how we should implement 
AssumptionsWrapper here, we can discuss the design for eval() 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 [email protected].
To view this discussion on the web visit 
https://groups.google.com/d/msgid/sympy/c43e56e6-3010-47a8-8683-9a7aba861315n%40googlegroups.com.

Reply via email to