A high-level mathematics library for Python