Solve (one more time)
By pure curiosity I have explored the algorithm linked to solve. I have found that sympy, pari, gap and singular are legitimate key words. I do not know if there are more. Up to the fact that natively simpy return a dictionary, is there some canonical problems that are better or quicker solved with a particular algorithm for analytical resolutions?
Sage's default solver (i. e. Maxima's) is known to have several weaknesses (see here and here for recent examples).
Sympy's solver has other weaknesses, and may complement Maxima's one. Another useful addition is Mathematica's
SolveandReduce(possibly via the gratis-but-not-free Wolfram engine. The same could be said of the Maple solvers (for which I am not aware of any free/gratis alternative).Pari, Gap and Singular are packages specialized in various subdomains of algebra ; using their solvers may be a great shortcut for systems of equation exrpimable in these subdomains.