So I've used Mathematica for some months, but I never noticed this sort of thing about it, namely:
(a > b) == (b < a)
which are supposed to be identical sets of solution.
simple test of the tautology:
In: (a > b) == (a > b) Out: True
but the output of the previous is:
OK, maybe we just need a more powerful function. I've used Simplify, FullSimplify, Refine and Reduce. Yet they return the same form: (a > b) == (b < a). So I used TautologyQ... It returned "False"... What's wrong with the engine?
It's because of this caveat that I'm having trouble with a function I wrote that should neatly evaluate everything. I refuse to drastically change the code, because the fault is not on my end.
I don't want a discussion. Right now, I just want a quick patch, like declaring a wrapper function.