55.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@@@@@@adttbdt@@`F@@$conj@'Complex.!t@@@'Complex/!t@@@@@@|g}g@@{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@@@@@@FyGy@@EM@@%norm2 @'Complex@!t@@@_A@@@@@@^~{{_~{@@]N@@$norm!@'ComplexB!t@@@wC@@@@@@vAwA@@uO@@#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@@@@@@@@U L L U L `@@T@@@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.@@@@@@@@@@@@@>@@=@0@@/@@A@@('@@,Complex.zero33The complex number !0!.@@@@@@@@@@@@0@@@@*+Complex.one33The complex number !1!.@@@@@@@@@@@@1@@@@+)Complex.i33The complex number !i!.@@@@@@@@@@@@2@@@@,+Complex.neg3/Unary negation.@@@@@@@@@@@@-@ /@@@@!,Complex.conj3=Conjugate: given the complex 'x + i.y*, returns 'x - i.y!.@@@@@@@@@@@@.@/@@@@!+Complex.add3(Addition@@@@@@@@@@@@"@+#@.@@@@+Complex.sub3+Subtraction@@@@@@@@@@@@@=@@ @@@@+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@@@@@