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?
 
 