realalg (pypi): For manipulating real algebraic numbers
Keywords: algebraic