Ask Your Question

# Revision history [back]

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.

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.