Does SageMath use Sympy, or is there some other integrator built in? Last I heard Sympy was one of the worst performers, even among other open source CASs. htt

Does SageMath use Sympy, or is there some other integrator built in? Last I heard Sympy was one of the worst performers, even among other open source CASs. https://www.12000.org/my_notes/CAS_integration_tests/reports/summer_2024/indexchapter1.htm#x2-10001 https://www.12000.org/my_notes/CAS_integration_tests/reports...