[O(3)===O(3), 1+O(3)===2+O(3), 1+O(3)==O(3^-1), 1+O(3)==2+O(3)]
[O(x)===O(y), 2+O(x)===1+O(x)]
[1.===1., 1.===-1.]
f(x)=1;
g(x)=1;
h()=1;
[f===g, f===h]
[3/2===-3/2, 3/2===3/2]
m=Mod(1,2);
[Mod(1,3)===m, m===Mod(0,2), m===m]
m=Mod(1,x);
[m===Mod(Pol(1),x), m===Mod(1,y), m===m]
t=ffgen(8);
[t===t+1, t===ffgen(4), t===t]
q=Qfb(1,2,3);
[q===Qfb(1,2,2), q===Qfb(1,3,3), q===Qfb(2,2,3), Qfb(1,0,-2)===Qfb(1,0,-2,1.), q===q]
Qfb(1,0,-2)==Qfb(1,0,-2,1.)
1/x===1/y
[[1,2,3]===[1,2], [1,2,3]===[1,2,4], [1,2,3]===[1,2,3.], [1,2]===[1,2]]
quadgen(5)==quadgen(13)
["ab"==="ac", "ab"==="ab"]
L=List([1,2]);
[L===List([]), L===List([2,1]), L===List([1]), L===L]
[[]==0, []~==0]
