previous up next
Go backward to Polar Representation of Complex Numbers
Go up to Top
Go forward to Relationship
RISC-Linz logo

Translation

polar: C -> C'
polar(z) = (sqrt(z02+z12), alpha)
   where alpha=
      if z0 = 0 then
         if z1 > 0 then pi /2 else 3 pi /2
      else
         let a = arctan(z1/z0):
         shift(if z0 >= 0 then a else pi -a)
shift: R -> [0,2 pi [
shift(a) := (such b: b in [0,2 pi [ /\  exists i in Z: a-b = 2 pi i)

Translation from original domain into new domain.


Author: Wolfgang Schreiner
Last Modification: December 7, 1999

previous up next