Definition:
C' := (R> 0 x [0,2pi[) union {<0,3 pi /2>}
cartesian: C' -> C cartesian(z) = z0*cos(z1)+z0*sin(z1)i.
Translation from new domain into original domain.