Things that the SageMath CAS can do that SymPy cannot yet:
- solve multivariate systems of inequalities
Things that the SageMath CAS can do that SymPy cannot yet:
- solve multivariate systems of inequalities