tox sagemath_repl sagemath_symbolics
