RE: [Axiom-developer] Complex exponentiation and 0

[Martin Rubey]

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