2. Module

:
 abs(z) <> abs(z + 2); -1,t
 abs(z) <> abs(z + 2*i); t,-1
 abs(z) <> abs(z - 2); 1,t
 abs(z) <> abs(z - 2*i); t,1
:
 abs(z + i) <> abs(z + 1); t,t
 abs(z + i) <> abs(z - 1); t,-t
 abs(z + 1) <> abs(z - 1); 0,t
 abs(z + i) <> abs(z - i); t,0
:
 abs(2*z) <> abs(z + 2); (4/3)*cos(t)+2/3,(4/3)*sin(t)
 abs(2*z) <> abs(z - 2); (4/3)*cos(t)-2/3,(4/3)*sin(t)
 abs(2*z) <> abs(z + 2*i); (4/3)*cos(t),(4/3)*sin(t)+2/3
 abs(2*z) <> abs(z - 2*i); (4/3)*cos(t),(4/3)*sin(t)-2/3
:
 abs(z) <> abs(i*z + 2); t,1
 abs(z) <> abs(i*z + 2*i); -1,t
 abs(z) <> abs(i*z - 2); t,-1
 abs(z) <> abs(i*z - 2*i); 1,t
:
 abs(z + i) <> abs(i*z + i); t,t
 abs(z + i) <> abs(i*z - i); t,-t
 abs(z + 1) <> abs(i*z - i); 0,t
 abs(z + i) <> abs(i*z + 1); t,0

