Set assumptions in SymPy too when doing assume()

[rwst]

For a SymPy option to solve (#22322) we need to translate any assumptions on variables (and maybe anon. functions?) that were made using assume and var('x', domain=...). Any SymPy operation may access the SymPy knowledge base any time. So I think this should be handled the same way as with Maxima, i.e. at the time the assume/var calls are made.

For the converse, see #24334

CC: @egourgoulhon

Component: symbolics

Issue created by migration from https://trac.sagemath.org/ticket/24078

[rwst]

comment:1

However see #22322 comment:12
So the database is idle play?

[jdemeyer]

Description changed:

--- 
+++ 
@@ -1 +1,3 @@
 For a SymPy option to `solve` (#22322) we need to translate any assumptions on variables (and maybe anon. functions?) that were made using `assume` and `var('x', domain=...)`. Any SymPy operation may access the SymPy knowledge base any time. So I think this should be handled the same way as with Maxima, i.e. at the time the `assume`/`var` calls are made.
+
+For the converse, see #24334

[jdemeyer]

comment:4

For variables, couldn't this be handled in the conversion Sage -> Sympy?

[rwst]

comment:5

Replying to @jdemeyer:

For variables, couldn't this be handled in the conversion Sage -> Sympy?

Yes, SympyConverter:symbol().