home *** CD-ROM | disk | FTP | other *** search
- /* xlog.c */
- /* natural logarithm */
- /* by Stephen L. Moshier. */
-
- #include "mconf.h"
- #include "ehead.h"
-
-
-
- void elog( x, y )
- unsigned short *x, *y;
- {
- unsigned short xx[NE], z[NE], a[NE], b[NE], t[NE], qj[NE];
- long ex;
-
-
- if( x[NE-1] & (unsigned short )0x8000 )
- {
- eclear(y);
- mtherr( "elog", DOMAIN );
- return;
- }
- if( ecmp( x, ezero ) == 0 )
- {
- einfin( y );
- eneg(y);
- mtherr( "elog", SING );
- return;
- }
- if( ecmp( x, eone ) == 0 )
- {
- eclear( y );
- return;
- }
-
- /* range reduction: log x = log( 2**ex * m ) = ex * log2 + log m */
- efrexp( x, &ex, xx );
- /*
- emov(x, xx );
- ex = xx[NX-1] & 0x7fff;
- ex -= 0x3ffe;
- xx[NX-1] = 0x3ffe;
- */
-
- /* Adjust range to 1/sqrt(2), sqrt(2) */
- esqrt2[NE-1] -= 1;
- if( ecmp( xx, esqrt2 ) < 0 )
- {
- ex -= 1;
- emul( xx, etwo, xx );
- }
- esqrt2[NE-1] += 1;
-
- esub( eone, xx, a );
- if( a[NE-1] == 0 )
- {
- eclear( y );
- goto logdon;
- }
- eadd( eone, xx, b );
- ediv( b, a, y ); /* store (x-1)/(x+1) in y */
-
- emul( y, y, z );
-
- emov( eone, a );
- emov( eone, b );
- emov( eone, qj );
- do
- {
- eadd( etwo, qj, qj ); /* 2 * i + 1 */
- emul( z, a, a );
- ediv( qj, a, t );
- eadd( t, b, b );
- }
- while( ((b[NE-1] & 0x7fff) - (t[NE-1] & 0x7fff)) < NBITS );
-
-
- emul( b, y, y );
- emul( y, etwo, y );
-
- logdon:
-
- /* now add log of 2**ex */
- if( ex != 0 )
- {
- ltoe( &ex, b );
- emul( elog2, b, b );
- eadd( b, y, y );
- }
- }
-