Maybe my criticisms are superficial, then. I guess superficially some problems with Sagemath I've found: - If you do matrix algebra in it, it rigidly insists o

Maybe my criticisms are superficial, then. I guess superficially some problems with Sagemath I've found: - If you do matrix algebra in it, it rigidly insists on knowing which ring your matrix-elements belong to. If you have a symbolic variable, then you need to indicate this as part of the ring. Some functionality is not available for certain rings, which sometimes feels overly pedantic; surely a best-case effort could somehow be made? I haven't tried this for a while, but I remember this was an obstacle that I hadn't encountered in Mathematica (or Sympy), which seemed to just do the right thing. Note that normally when working with real- and complex-algebras, I usually resort to various matrix representations. - The pretty-printer wasn't good. Maybe my mistake was insisting it print to Unicode, but it failed to pretty-print the elements of a matrix. It defaulted to printing out Python code within a matrix. Maybe this is a bug? Maybe I should've just outputted to Latex? - The variables weren't pre-declared, so I kept having to write out `var("x")`, etc. This is not ergonomic for a CAS. Sagemath doesn't even ship with a hack like `from sympy.abc import *`.