RE: [Axiom-developer] Complex exponentiation and 0

[Vanuxem Grégory]

Sorry, very old mail sent when reinstalling Bind.

Greg

Le lun 28/06/2004 à 18:59, Vanuxem Grégory a écrit :
> Le lun 28/06/2004 à 12:28, Martin Rubey a écrit :
> > Shouldn't 
> > 
> > [bugs #9313] 0^0 handled inconsistently
> > 
> > be closed? David Mentré has submitted a second bug report,
> > 
> > [bugs #9424] Bug in handling 0^0 in Axiom
> > 
> > which subsumes the discussion, I think. To summarize:
> > 
> > bugs:
> > -----------------------------
> > 0::CARD ^ 0::CARD gives 
> > 
> > 0**0 not defined for cardinal numbers.
> > 
> > but should be 1::CARD (a reference should be included in both the bug report
> > and eventually in the patch)
> > -----------------------------
> > complex(0,0)^complex(2,2.0) gives
> > 
> > log 0 generated
> > 
> > but should give 0
> 
> 
> complex(0,0)^complex(0,0.0)
> 
> log 0 generated
> 
> but should give  0**0 is undefined
> 
> 
> > 
> > -----------------------------
> > non-bugs:
> > -----------------------------
> > 
> > 0^0
> > 1 Type: PositiveInteger
> > 
> > 0.0^0
> > 1.0 Type: Float
> > 
> > are correct, since there is no limit for Integers and the type of zero in 
> > the
> > exponent is Integer.
> > ------------------------------
> > 0^0.0
> > 
> >  0**0 is undefined
> > 
> > 0.0^0.0
> > 
> >  0**0 is undefined
> > 
> > are correct, since there is a limit for Floats
> > ------------------------------ 
> > ----------------------------------------------------------------
> > 
> > If all of this is correct, could somebody who is entitled to do so 
> > 
> > * add a comment to [bugs #9313] 0^0 handled inconsistently that it is not a
> >   bug, (maybe simply include a pointer to this mail) but there are related 
> > bugs
> >   described in [bugs #9424] Bug in handling 0^0 in Axiom
> > 
> > * close it.
> > 
> > Thanks, Martin
> > 
> > 
> > 
> > _______________________________________________
> > Axiom-developer mailing list
> > address@hidden
> > http://lists.nongnu.org/mailman/listinfo/axiom-developer
> 
> Cheers, Greg
> 
> 
> _______________________________________________
> Axiom-developer mailing list
> address@hidden
> http://lists.nongnu.org/mailman/listinfo/axiom-developer