I tried SageMath today with the help of ChatGPT and noticed that its support for inequalities was pretty dismal. Some pretty simple substitutions of inequalitie

I tried SageMath today with the help of ChatGPT and noticed that its support for inequalities was pretty dismal. Some pretty simple substitutions of inequalities into other inequalities was prohibited. I'll give Mathematica a try tomorrow.