At 17:10 -0500 2009-12-16, Dave Whipp wrote:
>define the return value more formally, something like:
>
> our multi method polar (Complex $nim: --> [ Real $mag where 0..Inf,
>Real $angle where -¼ ..^ ¼ ]) is export { ... }
>
In complex analysis it is often legitimate to work with numbers
where the range of $angle is something other than -¼ ..^ ¼,
either because you want the branch cut somewhere else ( 0 ..^ 2¼ )
or you are on some other sheet ( ¼ ..^ 3¼ )
Does the above proposal stand in the way of this sort of work?
Regards,
Todd Olson
