RE: [Axiom-developer] Complex exponentiation and 0

[Bill Page]

On Sunday, June 20, 2004 7:20 AM David MENTRE wrote:
> ... 
> Is your bug report related to:
>   [bugs #9313] 0^0 handled inconsistently
>   http://savannah.nongnu.org/bugs/?func=detailitem&item_id=9313
> 
> According to Martin comment, 0^0 is not mathematically defined.
> 

Surely the definitions 0^0 = 1 and 0.0^0 = 1.0 are consistent (law
of exponents), no? That Axiom treats 0^(0.0) as undefined also seems
consistent to me since a floating point 0 is not identical to the
integer 0. But there is a problem with the error message
"protected-symbol-warn called with (NIL)".