Yes! A good point of comparison. (n.b. I have only used SymPy, not Sagemath. I'm assuming they're similar) I think sympy (and maybe sage) is a bit different b

Yes! A good point of comparison. (n.b. I have only used SymPy, not Sagemath. I'm assuming they're similar) I think sympy (and maybe sage) is a bit different because they're (mostly?) overloading operators for their intended purpose -- that is, the "+" operator does semantically add python objects that represent symbolic math.