[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]
oo===oo
-oo===-oo
oo===-oo
[I===1+I, I===I]
w=quadgen(5);
[w===1+w, w===w]
w==w
quadgen(5)===quadgen(13)

f()=1;
g()=0;
[f==g,f==f]
[f===g,f===f]

List()==List()
List(1)==List()
List()==List(1)
List(1)==List(1)
List(2)==List(1)

g=ffgen(2^3);
h=ffgen(3^3);
q=quadgen(5);
v=[g,g^0,-g^0,h,h^0,-h^0,\
 q,1+0*q,-1+0*q,\
 O(x),x+O(x^2),1+O(x),-1+O(x),1+O(x^2),1+x+O(x^2),0./x+1+O(x^2),0./x+1+x+O(x^2),\
 (x+0.)/x,(-x+0.)/x,(2*x+0.)/x,\
 [], [1], []~, [1]~, [2]~, [1,1]~, [1,0]~,[-1,0]~,\
 [;],Mat(1),Mat(2), matid(2), [1,0;0,2], [1,1;0,1], -matid(2)];
for (i=1,#v, print([v[i]==1,v[i]==-1]))

A=Ser(vector(40000,i,i==1));
A==A
