Equation validator (==) problem

[Albert Chan]

Hi, DrD

XCas (1.5.0-63 win32) support chained comparison , but not fully short circuiting.

XCas> f(x) := {print(x);x}
XCas> f(1) < f(2) < f(3) < f(-1) < f(-2) < f(-3)
x:1
x:2
x:2
x:3
x:-1
x:-3
→ false

Python 2.6:
>>> def f(x): print x; return x
...
>>> f(1) < f(2) < f(3) < f(-1) < f(-2) < f(-3)
1
2
3
-1
False