This is the mail archive of the gcc@gcc.gnu.org mailing list for the GCC project.


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]
Other format: [Raw text]

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


Hi,

Marcin Dalecki wrote:

On 2005-03-08, at 01:47, Ronny Peine wrote:


Hi again,

a small proof.


How cute.

if A and X are real numbers and A>0 then

A^X := exp(X*ln(A)) (Definition in analytical mathematics).

0^0 = lim A->0, A>0 (exp(0*ln(A)) = 1 if exp(X*ln(A)) is continual continued

The complex case can be derived from this (0^(0+ib) = 0^0*0^ib = 1 = 0^a*0^(i*0) ).
Well, i know only the german mathematical expressions, so maybe the translations to english are not accurate, sorry for this :)


You managed to hide the proof very well. I can't find it.

I don't think it's hidden. The former definiton is absolutely right.



Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]