std.complex

[Stewart Gordon]

On 01/01/2014 23:12, Lars T. Kyllingstad wrote:
<snip>
> /*  Makes Complex!(Complex!T) fold to Complex!T.
>
>      The rationale for this is that just like the real line is a
>      subspace of the complex plane, the complex plane is a subspace
>      of itself. Example of usage:

This doesn't seem to make sense - _any_ set is a subspace of itself.

But I suppose one way to look at it is that Complex!T means the minimal 
vector space containing x and i*x for all x in T.

>      ---
>      Complex!T addI(T)(T x)
>      {
>          return x + Complex!T(0.0, 1.0);
>      }
>      ---

So the point is to enable templated functions to accept a real or 
complex argument and return a complex number.

>      The above will work if T is both real and complex.
> */

T is "both real and complex"?  How is this possible?

Stewart.