Go backward to MotivationGo up to TopGo forward to Complex Number Operations |

C:=RxR.

Constructor Function:

_+_i: RxR->Cx+yi := <x,y>.

Let `c` in **C** and take `x` and `y` such that
`c`=<`x`,`y`>. We call `x` the *real
part* of `c` and `y` its *imaginary part*:

real( c):= suchx:existsy:cinC/\c= <x,y>;imaginary( c):= suchy:existsx:cinC/\c= <x,y>.

Author: Wolfgang Schreiner

Last Modification: November 16, 1999