import ( "complex.lib" ) ; ccplx(r, i) = r, i : carte_cplx; pcplx(m, a) = m, a : polar_cplx; A = ccplx(0.2, 0.3); B = ccplx(-0.4, 0.5); C = pcplx(0.5, PI); D = pcplx(0.2, PI/2); process = C, D : pcplx_add; //(0.53852, 2.7611) //process = C, D : pcplx_sub; // //process = C, D : pcplx_mul; //process = C, D <: (polar2carte, polar2carte : ccplx_mul : carte2polar), pcplx_mul : pcplx_sub;