should, as I understand it, test
TrueQ[x>0] after assuming
x>0. Could someone explain the output
False to me, please?
Because the assumption system is not called during the standard evaluation sequence, it is only called when
If, however, you run
As an aside, there is some "hidden" functionality in the