Testing inequalities in sage

savecancel

Interesting, $bool(abs(a) >= a)$ is $True$, but $bool(abs(a+b) >= (a+b))$ is $False$. Weird.

Also, assume(a<0,b>0) results in false too: http://pastebin.com/7Gg5xMA8

If it can't be determined whether a relation holds, `False` will be returned.

This is disturbing: $$assume(a, 'real')$$ $$assume(b, 'real')$$ $$bool(sqrt((a+b)^2) == sqrt(a^2) + sqrt(b^2))$$ is $$True$$ ????

@eviatar-bach returning False in case can't be determined whether a relation holds seems to me unwise ; This should be changed to a tristate-answer, whatever the third state is