1 import ( "complex.lib" ) ;
3 ccplx(r, i) = r, i : carte_cplx;
4 pcplx(m, a) = m, a : polar_cplx;
11 process = C, D : pcplx_add; //(0.53852, 2.7611)
12 //process = C, D : pcplx_sub; //
13 //process = C, D : pcplx_mul;
14 //process = C, D <: (polar2carte, polar2carte : ccplx_mul : carte2polar), pcplx_mul : pcplx_sub;