sagemath_repl sagemath_schemes sagemath_symbolics
