[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
RE: [Axiom-developer] Complex exponentiation and 0
From: |
Vanuxem Grégory |
Subject: |
RE: [Axiom-developer] Complex exponentiation and 0 |
Date: |
Mon, 28 Jun 2004 18:59:36 +0200 |
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