Revision history [back]
 | 1 | initial version |
It is a good thing, that bool(x^2>0) evaluates to false. Just plug in the real value 0.
However in version 6.4 of sage
bool(x*x>=0)
evaluates to true.
| | 2 | No.2 Revision |
It is a good thing, that bool(x^2>0) evaluates to false. Just plug in the real value 0.
However in version 6.4 of sage
sage: assume(x,'real')
sage: bool(x*x>=0)
evaluates to true.
