__builtin_cpow((0,0),(0,0))

[Robert Dewar]

Florian Weimer wrote:
> * Robert Dewar:
> 
> 
>>Marcin Dalecki wrote:
>>
>>
>>>There is no reason here and you presented no reasoning. But still
>>>there is a
>>>*convenient* extension of the definition domain for the power of
>>>function for the
>>>zero exponent.
>>
>>The trouble is that there are *two* possible convenient extensions.
> 
> 
>>From a mathematical point of view, 0^0 = 1 is the more convenient one
> in most contexts.  Otherwise, you suddenly lack a compact notation of
> polynomials (and power series).  However, this definition is only used
> in a context were the exponent is an integer, so it's not really
> relevant to the current discussion.

RIght, and if the exponent is an integer, then of course there is only
one limit that is relevant, and the result is indeed "obviously" 1.