I've posted a proposed solution here: https://github.com/scheinerman/RiemannComplexNumbers.jl.git
On Saturday, January 10, 2015 at 8:55:09 AM UTC-5, Ed Scheinerman wrote: > > Is there a way to have a single complex infinity? This may come at the > cost of computational efficiency I suppose, but I can think of situations > where all of the following give the same result: > > julia> (1+1im)/0 > Inf + Inf*im > > julia> 1im/0 > NaN + Inf*im > > julia> 1/0 + im > Inf + 1.0im > > It would be nice (sometimes) if these were all the same ComplexInf, say. > Perhaps there's an "extended complex numbers" module for this sort of work? >