>But where on Earth it is said that the domain of Complex numbers
>should be restricted to Float or Double? Why not Rationals as
>well?
In pure math, given a ring $R$, one speaks about its complexification
$R_\C = $R \tensor_\Z \Z[i]$ (using LaTeX commands and \tensor = \otimes,
\C = \mathbb{C}, \Z = \mathbb{Z}), where $\Z[i]$ are the integers extended
with a complex unit $i$. More explicitly, the complexification $R_\C$ will
consist of pairs $r + i s$, where $r, s \in R$, $i$ is a formal symbol, and
addition, multiplication and so on uses the rules for the usual complex
numbers.
So, why not add a type "Complexify(R)" of a ring R to Haskell?
Hans Aberg
* Email: Hans Aberg <mailto:[EMAIL PROTECTED]>
* Home Page: <http://www.matematik.su.se/~haberg/>
* AMS member listing: <http://www.ams.org/cml/>
