RE: [Axiom-developer] Complex exponentiation and 0

[Vanuxem Grégory]

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