Le forum de XCAS

There is a difference between inequality tests and equality tests on symbolic expressions. For the first case, numerical evaluation is done before the test, for the second case the expressions are checked to be identical. That's why exp(-10^10) is neither < nor > to exp(-10^10-1) because they evalf...

Hi! Is giac/xcas able to compare real numbers analytically? I tried this (version 0.9.9): 0>> exp(-10^10)<exp(-10^10-1) 0 // Time 0 1>> exp(-10^10)>exp(-10^10-1) 0 // Time 0 2>> exp(-10^10)==exp(-10^10-1) 0 // Time 0 3>> exp(-10^10)>=exp(-10^10-1) 1 // Time 0 4>> exp(-10^10)<=exp(-10^10-1) 1 // Time...