[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;
my(y=1);e(x)=y;
[e===f,e===e]
[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), q===q]
Qfb(1,0,-2)==Qfb(1,0,-2)
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)
L=List();listput(~L,1);listpop(~L);L==List()

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

Mod(14,20) == Mod(39,55)
Mod(13,20) == Mod(39,55)
Mod(1+x, x^2+x) == Mod(1-x, x^2-x)
Mod(2+x, x^2+x) == Mod(1-x, x^2-x)

Mod(Mod(y,y^2+1),x^2-2) == Mod(y,y^2+1)
test(x)=[x==1, x==-1];
[test(O(29^-1)), test(O(29^0)), test(O(29))]
test(Mod(0, 6*x^0))
test(x*O(7^-1)+Mod(1,a^0))
test(O(7^-4)*v0^-2+O(v0))
test(Mod(0,Pol([y+1])))
test(Q=O(13^-5)+O(v0))
test(7/12*v0^-2+O(v0^-1))
test(Mod(0,1)*v0+O(v0^2))
test(Ser([Mod(0,5)],v1)/v1*x^0)
1/Pol([1,Qfb(8,3,9)])==-1 \\ #2393
O(23^0)*v0/(6*v0+O(v1^-5))==1
Mod(0,1)*x^0==x^0
