[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
RE: [Axiom-developer] Complex exponentiation and 0
From: |
Martin Rubey |
Subject: |
RE: [Axiom-developer] Complex exponentiation and 0 |
Date: |
Mon, 28 Jun 2004 10:28:14 +0000 |
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
-----------------------------
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
- RE: [Axiom-developer] Complex exponentiation and 0, (continued)
- RE: [Axiom-developer] Complex exponentiation and 0, Page, Bill, 2004/06/21
- RE: [Axiom-developer] Complex exponentiation and 0, Page, Bill, 2004/06/21
- RE: [Axiom-developer] Complex exponentiation and 0, Page, Bill, 2004/06/22