cmp

test(f,g)=[cmp(f,f), cmp(f,g), cmp(g,f)]

test(()->1, ()->2)
test(1.,2.)
test(1,2)
test(Vecsmall([1,2]),Vecsmall([1,3]))
test(List([1,2]),List([1,3]))
test(x,x+1)
test(x,y)
test(O(x),x+O(x^2))

v=[-oo, 1/2, 1, oo];
for (i=1, #v, for(j=i+1,#v, if( v[i] >= v[j], error([i,j]))));
for (i=1, #v, for(j=i+1,#v, if( !(v[i] < v[j]), error([i,j]))));
for (i=1, #v, if(!(v[i] == v[i]), error(i)));
for (i=1, #v, if(!(v[i] === v[i]), error(i)));

Mod(1,3) > 0
lex(Vecsmall([1,2]),Vecsmall([1,3]))

["x"<="y", "x"<="x", "x"<="w"]
[oo <= -oo, oo <= oo, -oo <= -oo]
1. <= oo
1. <= -oo
1 <= 'x
1. <= 'x
1/2 <= 'x