From: Martin Stromberg <Martin DOT Stromberg AT lu DOT erisoft DOT se>
Message-Id: <199906090818.KAA09460@mars.lu.erisoft.se>
Subject: Re: libm sources from cyberoptics
To: rudd AT cyberoptics DOT com
Date: Wed, 9 Jun 1999 10:18:11 +0200 (MET DST)
Cc: djgpp-workers AT delorie DOT com (DJGPP-WORKERS)
X-Mailer: ELM [version 2.4 PL24]
MIME-Version: 1.0
Content-Type: text/plain; charset=US-ASCII
Content-Transfer-Encoding: 7bit
Reply-To: djgpp-workers AT delorie DOT com

Eric said:

> In particular, though the prevailing consensus is that 0^0 should be defined
> as 1, my decision to raise EDOM for pow(0., 0.) was based on the fact that
> it is mathematically-indeterminate.

Well, as lim(x^0) = 1, in one way it does make sense to define 0^0 = 1,
         x->0+

however the behaviour of lim(x^0) isn't as clearcut (from my cursory 
                         x->0-

examination). 

_If_ lim(x^0) = 1,  then I would say 0^0 should be defined as 1,
     x->0-

but right now this isn't clear to me.


Right,

							MartinS