previous up next
Go backward to Illustration
Go up to Top
Go forward to Summary
RISC-Linz logo

Translation

Definition:

sqrt( ): (N>0 x C) -> C
sqrtn(z) := cartesian(sqrtn(polar(z))).
+C': (C' x C') -> C'
x +C' y := polar(cartesian(x) +C cartesian(y));
-C': (C' x C') -> C'
x -C' y := polar(cartesian(x) +C cartesian(y)).

Compute sqrt( ) in C', but + and - in C.


Author: Wolfgang Schreiner
Last Modification: December 7, 1999

previous up next