Algebra concepts written using CAS tools like SymPy