1z55.5.0+dev0-2025-04-28/'Complex!tA;@@"re@@%float'@@@{8../../stdlib/complex.mliWuWu@@'ComplexA@"im@@(@@@~WuWu@@B@@AA@@@@@WuuWu@@@@@@A@$zero'Complex)!t@@@@$[%[@@#C@@#one'Complex*!t@@@@5^  6^ *@@4D@@!i'Complex+!t@@@@FaKKGaKS@@EE@@#neg@'Complex,!t@@@@@'Complex-!t@@@@@@cdttddt@@bF@@$conj@'Complex.!t@@@@@'Complex/!t@@@@@@gg@@G@@#add@'Complex0!t@@@@@@'Complex1!t@@@@@'Complex2!t@@@@@@@@jj@@H@@#sub@'Complex3!t@@@@@@'Complex4!t@@@@@'Complex5!t@@@@@@@@mm*@@I@@#mul@'Complex6!t@@@@@@'Complex7!t@@@@@'Complex8!t@@@@@@@@p??p?S@@J@@#inv@'Complex9!t@@@@@'Complex:!t@@@@@@skkskz@@K@@#div@'Complex;!t@@@@@@'Complex!t@@@@@'Complex?!t@@@@@@^y_y@@]M@@%norm2 @'Complex@!t@@@@@yA@@@@@@x~{{y~{@@wN@@$norm!@'ComplexB!t@@@@@C@@@@@@AA@@O@@#arg"@'ComplexD!t@@@@@E@@@@@@D  D  /@@P@@%polar#@F@@@@@@G@@@@@'ComplexH!t@@@@@@@@K M MK M k@@Q@@#exp$@'ComplexI!t@@@@@'ComplexJ!t@@@@@@O  O  @@R@@#log%@'ComplexK!t@@@@@'ComplexL!t@@@@@@ R   R  "@@S@@#pow&@'ComplexM!t@@@@@@'ComplexN!t@@@@@'ComplexO!t@@@@@@@@2U L L3U L `@@1T@@@30Complex numbers.@ This module provides arithmetic operations on complex numbers. Complex numbers are represented by their real and imaginary parts (cartesian representation). Each part is represented by a double-precision floating-point number (type %float").@@@@@@@@@@@@A8../../stdlib/complex.mli#)Complex.t3>The type of complex numbers. "re6 is the real part and "im8 the imaginary part.@@@@@@@@@@@@@h@@g@Z@@Y@@A@@RQ@@,Complex.zero33The complex number !0!.@@@@@@@@@@@@Z@@@@T+Complex.one33The complex number !1!.@@@@@@@@@@@@[@@@@U)Complex.i33The complex number !i!.@@@@@@@@@@@@\@@@@V+Complex.neg3/Unary negation.@@@@@@@@@@@@W@ Y@@@@I,Complex.conj3=Conjugate: given the complex 'x + i.y*, returns 'x - i.y!.@@@@@@@@@@@@V@W@@@@G+Complex.add3(Addition@@@@@@@@@@@@H@+I@.@@@@@0+Complex.sub3+Subtraction@@@@@@@@@@@@1@=2@@)@@@@+Complex.mul3.Multiplication@@@@@@@@@@@@@O@R@@@@+Complex.inv38Multiplicative inverse (#1/z").@@@@@@@@@@@@ @g @@@@+Complex.div3(Division@@@@@@@@@@@@@v@y@@@@㠕,Complex.sqrt39Square root. The result 'x + i.y. is such that %x > 0( or %x = 0% and &y >= 0 E. This function has a discontinuity along the negative real axis.@@@@@@@@@@@@@@@@@-Complex.norm234Norm squared: given 'x + i.y*, returns )x^2 + y^2!.@@@@@@@@@@@@@@@@@,Complex.norm3,Norm: given 'x + i.y*, returns /sqrt(x^2 + y^2)!.@@@@@@@@@@@@@@@@@+Complex.arg3 Argument. The argument of a complex number is the angle in the complex plane between the positive real axis and a line passing through zero and the number. This angle ranges from #-pi$ to "pi F. This function has a discontinuity along the negative real axis.@@@@@@@@@@@@@@@@@-Complex.polar3.polar norm arg ! returns the complex having norm $norm2 and argument #arg!.@@@@@@@@@@@@@@@@@@+Complex.exp31Exponentiation. %exp z) returns !e( to the !z' power.@@@@@@@@@@@@@3@@@@+Complex.log3;Natural logarithm (in base !e").@@@@@@@@@@@@@H@@@@ꠕ+Complex.pow31Power function. )pow z1 z2) returns "z1( to the "z2' power.@@@@@@@@@@@@@i@l@@@@@@@@A@@@@@