Re: __builtin_cpow((0,0),(0,0))

[Robert Dewar <dewar at adacore dot com>]

Marcin Dalecki wrote:

> It's not a matter of reason it's a matter of definition. Thus the
> statement "This is why there is no reasonable mathematical value for 0^0
> is neither true nor false", has the same sense as saying that... well 
> for example:
> "rose bears fly very high". Just a random alliteration of terms not a 
> statement and
> thus neither true nor false because the concept of decisibility  doesn't 
> apply.

Yes, and usually by definition in mathematics 0**0 is outside the domain
of the exponentiation operator. "There is no reasonable mathematical
value ..." is just another way of saying the same thing, and is a
perfectly reasonable statement.