[cfp-interest 3745] Re: division of a real by a complex

[Paul Zimmermann]

       Hi Jim,

thank you. However this does not say what should be the result
of (-1)/(+0 + 1*i) ("The formulas do not indicate how the results
are to be evaluated").

Paul

> From: Jim Thomas <jaswthomas at sbcglobal.net>
> Date: Fri, 12 Dec 2025 17:10:49 -0800
> Cc: CFP <cfp-interest at ucbtest.org>
> 
> Hi Paul,
> 
> C2Y (https://www.open-std.org/jtc1/sc22/wg14/www/docs/n3685.pdf) addresses this in 6.5.6 paragraph 9.
> 
> - Jim Thomas
> 
> > On Dec 12, 2025, at 3:08 AM, Paul Zimmermann <Paul.Zimmermann at inria.fr> wrote:
> > 
> >       Hi,
> > 
> > we had this question on the GNU MPC list: how should the division of a
> > real number by a complex number be defined? In particular (-1)/(+0 + 1*i)?
> > 
> > See the thread starting at
> > https://sympa.inria.fr/sympa/arc/mpc-discuss/2025-12/msg00000.html
> > 
> > In GNU MPC, we convert the real number to a complex number with a +0
> > imaginary part, and then call complex division.
> > 
> > Is there any other definition that makes more sense?
> > 
> > Paul
> > 
> > _______________________________________________
> > cfp-interest mailing list
> > cfp-interest at oakapple.net
> > http://mailman.oakapple.net/mailman/listinfo/cfp-interest
>