Refactor assumptions

[mkoeppe]

sage.symbolic.expression accesses _assumptions from sage.symbolic.assumptions directly.

This should be restructured.

Also (see #30086), the maxima-specific code in sage.symbolic.assumptions should be moved into the maxima interface.

We will need to investigate how our various symbolic engines manage assumptions (including variable domains):

• sympy
• pynac
• giac
• maxima
• ...?

See also:

• Cache assumptions and only send to Maxima when needed #23138 Cache assumptions and only send to Maxima when needed
• Meta-ticket: Use the SymPy assumptions facility #31958 Meta-ticket: Use the SymPy assumptions facility

Component: symbolics

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

[mkoeppe]

Description changed:

--- 
+++ 
@@ -1,4 +1,7 @@
 `sage.symbolic.expression` accesses `_assumptions` from `sage.symbolic.assumptions` directly.
 
-This should be restructured
+This should be restructured.
 
+Also (see #30086), the maxima-specific code in `sage.symbolic.assumptions` should be moved into the maxima interface.
+
+

[mkoeppe]

comment:3

Setting new milestone based on a cursory review of ticket status, priority, and last modification date.

[mkoeppe]

Description changed:

--- 
+++ 
@@ -4,4 +4,6 @@
 
 Also (see #30086), the maxima-specific code in `sage.symbolic.assumptions` should be moved into the maxima interface.
 
+See also:
+- #23138 Cache assumptions and only send to Maxima when needed
 

[mkoeppe]

Description changed:

--- 
+++ 
@@ -6,4 +6,4 @@
 
 See also:
 - #23138 Cache assumptions and only send to Maxima when needed
-
+- #31958 Meta-ticket: Use the SymPy assumptions facility

[mkoeppe]

Description changed:

--- 
+++ 
@@ -4,6 +4,15 @@
 
 Also (see #30086), the maxima-specific code in `sage.symbolic.assumptions` should be moved into the maxima interface.
 
+We will need to investigate how our various symbolic engines manage assumptions (including variable domains):
+
+- sympy
+- pynac
+- giac
+- maxima
+- ...?
+
+
 See also:
 - #23138 Cache assumptions and only send to Maxima when needed
 - #31958 Meta-ticket: Use the SymPy assumptions facility