Darren Duncan wrote:
For the integer version, my understanding is that number theory already
provides a suitable term, "Gaussian integer", which is a complex number
whose real and imaginary parts are both integers.
So I suggest using "Gaussian" as the name option for an "IntComplex".
Or maybe better yet for completion sake, make "Gaussian" a role and
something like "Gaus" the type or something.
Alternately, while we would still need a Complex-specific role, we could
possibly avoid a need to explicitly declare some of the composing types
if Complex is parameterizable, as AFAIK Rational et al are parameterizable.
What do you think?
Did you consider "discrete"?
--
Ruud
