(* $Id: CComplex.v,v 1.8 2004/04/23 10:00:55 lcf Exp $ *)
(*#* printing Re %\ensuremath{\Re}% #ℜ# *)
(* $Id: CComplex.v,v 1.8 2004/04/23 10:00:55 lcf Exp $ *)
(*#* printing Re %\ensuremath{\Re}% #ℜ# *)
(*#*
If [x [~=] Zero] or [y [~=] Zero], then [x [/] x[^]2 [+] y[^]2 [~=] Zero] or
[[--]y[/]x[^]2[+]y[^]2 [~=] Zero].
*)
(*#*
If [x [~=] Zero] or [y [~=] Zero], then [x [/] x[^]2 [+] y[^]2 [~=] Zero] or
[[--]y[/]x[^]2[+]y[^]2 [~=] Zero].
*)
(*#*
Maps from reals to complex and vice-versa are defined, as well as conjugate,
absolute value and the imaginary unit [I] *)
(*#*
Maps from reals to complex and vice-versa are defined, as well as conjugate,
absolute value and the imaginary unit [I] *)