Metaticket: Use the SymPy assumptions facility
SymPy has a clean and general design for assumptions.
https://docs.sympy.org/latest/modules/assumptions/index.html
We should connect to it. Based on #31926 (#24171, #31931, #31938), we should be able to express everything in it that Sage's assumptions can do, so perhaps we can replace what we have in Sage completely by SymPy.
Tickets:
 #30075 Refactor assumptions (move maximaspecific things to maxima interface)
Symptoms:
 #27998 Solving a single equation for multiple variables doesn't work with assumptions
 #29938 comparison with infinity does not take assumptions into account
 #25972 solve does not obey assumptions for inequalities
 #24334 sympy symbol >
SR
drops assumptions
 #30793 Sage may ignore the imaginary part of variables not explicitly declared complex
 see also https://trac.sagemath.org/wiki/symbolics
Change History (9)
Cc: 
Eric Gourgoulhon added

Description: 
modified (diff)

Description: 
modified (diff)

Milestone: 
sage9.4 →
sage9.5

Description: 
modified (diff)

Milestone: 
sage9.5 →
sage9.6

Milestone: 
sage9.6 →
sage9.7

Milestone: 
sage9.7 →
sage9.8

One issue with using sympy for the implementation is that loading it would add quite a bit to the start up time: