Annotation of OpenXM_contrib/gmp/mpfr/tests/tlog.c, Revision 1.1
1.1 ! ohara 1: /* Test file for mpfr_log.
! 2:
! 3: Copyright 1999, 2001, 2002 Free Software Foundation, Inc.
! 4:
! 5: This file is part of the MPFR Library.
! 6:
! 7: The MPFR Library is free software; you can redistribute it and/or modify
! 8: it under the terms of the GNU Lesser General Public License as published by
! 9: the Free Software Foundation; either version 2.1 of the License, or (at your
! 10: option) any later version.
! 11:
! 12: The MPFR Library is distributed in the hope that it will be useful, but
! 13: WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
! 14: or FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public
! 15: License for more details.
! 16:
! 17: You should have received a copy of the GNU Lesser General Public License
! 18: along with the MPFR Library; see the file COPYING.LIB. If not, write to
! 19: the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston,
! 20: MA 02111-1307, USA. */
! 21:
! 22: #include <stdio.h>
! 23: #include <stdlib.h>
! 24: #include <math.h>
! 25: #include <time.h>
! 26: #include "gmp.h"
! 27: #include "mpfr.h"
! 28: #include "mpfr-test.h"
! 29:
! 30: double drand_log _PROTO((void));
! 31: int check1 _PROTO((double, mp_rnd_t, double, int, int));
! 32: void check3 _PROTO((double, unsigned long, mp_rnd_t));
! 33: void check4 _PROTO((int));
! 34: void slave _PROTO((int, int));
! 35: void check_worst_cases _PROTO((void));
! 36: void special _PROTO((void));
! 37:
! 38: #if (BITS_PER_LONGINT == 32)
! 39: #define INT32 long int
! 40: #else
! 41: #define INT32 int
! 42: #endif
! 43:
! 44:
! 45: double
! 46: drand_log (void)
! 47: {
! 48: double d; INT32 *i;
! 49:
! 50: i = (INT32*) &d;
! 51: do {
! 52: i[0] = LONG_RAND();
! 53: i[1] = LONG_RAND();
! 54: } while ((d<1e-153) || (d>1e153)); /* to avoid underflow or overflow
! 55: in double calculus in sqrt(u*v) */
! 56: return d;
! 57: }
! 58:
! 59: #define check2(a,rnd,res) check1(a,rnd,res,1,0)
! 60: #define check(a,r) check2(a,r,0.0)
! 61:
! 62: int
! 63: check1 (double a, mp_rnd_t rnd_mode, double res1, int ck, int max_ulp)
! 64: {
! 65: mpfr_t ta, tres;
! 66: double res2;
! 67: int diff=0;
! 68: /* ck=1 iff res1 is certified correct */
! 69:
! 70: #ifdef MPFR_HAVE_FESETROUND
! 71: mpfr_set_machine_rnd_mode(rnd_mode);
! 72: #endif
! 73: if (ck==0 && res1==0.0) res1=log(a);
! 74: mpfr_init2(ta, 53);
! 75: mpfr_init2(tres, 53);
! 76: mpfr_set_d(ta, a, GMP_RNDN);
! 77: mpfr_log(tres, ta, rnd_mode);
! 78: res2=mpfr_get_d1 (tres);
! 79: mpfr_clear(ta); mpfr_clear(tres);
! 80:
! 81: if (res1!=res2 && (!isnan(res1) || !isnan(res2))) {
! 82: diff = ulp(res1,res2);
! 83: if (ck) {
! 84: printf("mpfr_log failed for a=%1.20e, rnd_mode=%s\n", a,
! 85: mpfr_print_rnd_mode(rnd_mode));
! 86: printf("correct result is %1.20e\n mpfr_log gives %1.20e (%d ulp)\n",res1,res2,ulp(res1,res2));
! 87: exit(1);
! 88: }
! 89: else if (diff>max_ulp) {
! 90: printf("mpfr_log differs from libm.a for a=%1.20e, rnd_mode=%s\n", a,
! 91: mpfr_print_rnd_mode(rnd_mode));
! 92: printf(" double calculus gives %1.20e\n mpfr_log gives %1.20e (%d ulp)\n",res1,res2,ulp(res1,res2));
! 93: }
! 94: }
! 95: if (!isnan(res1) || !isnan(res2))
! 96: return diff;
! 97: else
! 98: return 0;
! 99: }
! 100:
! 101: void
! 102: check3 (double d, unsigned long prec, mp_rnd_t rnd)
! 103: {
! 104: mpfr_t x, y;
! 105:
! 106: mpfr_init2(x, prec); mpfr_init2(y, prec);
! 107: mpfr_set_d(x, d, rnd);
! 108: mpfr_log(y, x, rnd);
! 109: mpfr_out_str(stdout, 10, 0, y, rnd); putchar('\n');
! 110: mpfr_print_binary(y); putchar('\n');
! 111: mpfr_clear(x); mpfr_clear(y);
! 112: }
! 113:
! 114: void
! 115: check4 (int N)
! 116: {
! 117: int i, max=0, sum=0, cur;
! 118: double d;
! 119: mp_rnd_t rnd;
! 120:
! 121: for(i=0;i<N;i++) {
! 122: d = drand_log ();
! 123: rnd = LONG_RAND() % 4;
! 124: cur=check1 (d, rnd, 0.0, 0, max);
! 125: if (cur<0)
! 126: cur = -cur;
! 127: if (cur > max)
! 128: max=cur;
! 129: sum+=cur;
! 130: }
! 131: d=(double)sum / (double)N;
! 132: fprintf(stderr, "max error : %i \t mean error : %f (in ulps)\n",max,d);
! 133: }
! 134:
! 135: void
! 136: slave (int N, int p)
! 137: {
! 138: int i;
! 139: double d;
! 140: mpfr_t ta, tres;
! 141:
! 142: mpfr_init2(ta, 53);
! 143: mpfr_init2(tres, p);
! 144: for(i=0;i<N;i++) {
! 145: d = drand_log();
! 146: mpfr_set_d (ta, d, GMP_RNDN);
! 147: mpfr_log (tres, ta, LONG_RAND() % 4 );
! 148: }
! 149: mpfr_clear(ta); mpfr_clear(tres);
! 150: printf("fin\n");
! 151: }
! 152:
! 153: /* examples from Jean-Michel Muller and Vincent Lefevre
! 154: Cf http://www.ens-lyon.fr/~jmmuller/Intro-to-TMD.htm
! 155: */
! 156:
! 157: void
! 158: check_worst_cases (void)
! 159: {
! 160: check2(1.00089971802309629645, GMP_RNDD, 8.99313519443722736088e-04);
! 161: check2(1.00089971802309629645, GMP_RNDN, 8.99313519443722844508e-04);
! 162: check2(1.00089971802309629645, GMP_RNDU, 8.99313519443722844508e-04);
! 163:
! 164: check2(1.01979300812244555452, GMP_RNDD, 1.95996734891603630047e-02);
! 165: check2(1.01979300812244555452, GMP_RNDN, 1.95996734891603664741e-02);
! 166: check2(1.01979300812244555452, GMP_RNDU, 1.95996734891603664741e-02);
! 167:
! 168: check2(1.02900871924604464525, GMP_RNDD, 2.85959303301472726744e-02);
! 169: check2(1.02900871924604464525, GMP_RNDN, 2.85959303301472761438e-02);
! 170: check2(1.02900871924604464525, GMP_RNDU, 2.85959303301472761438e-02);
! 171:
! 172: check2(1.27832870030418943585, GMP_RNDD, 2.45553521871417795852e-01);
! 173: check2(1.27832870030418943585, GMP_RNDN, 2.45553521871417823608e-01);
! 174: check2(1.27832870030418943585, GMP_RNDU, 2.45553521871417823608e-01);
! 175:
! 176: check2(1.31706530746788241792, GMP_RNDD, 2.75406009586277422674e-01);
! 177: check2(1.31706530746788241792, GMP_RNDN, 2.75406009586277478185e-01);
! 178: check2(1.31706530746788241792, GMP_RNDU, 2.75406009586277478185e-01);
! 179:
! 180: check2(1.47116981099449883885, GMP_RNDD, 3.86057874110010412760e-01);
! 181: check2(1.47116981099449883885, GMP_RNDN, 3.86057874110010412760e-01);
! 182: check2(1.47116981099449883885, GMP_RNDU, 3.86057874110010468272e-01);
! 183:
! 184: check2(1.58405446812987782401, GMP_RNDD, 4.59987679246663727639e-01);
! 185: check2(1.58405446812987782401, GMP_RNDN, 4.59987679246663783150e-01);
! 186: check2(1.58405446812987782401, GMP_RNDU, 4.59987679246663783150e-01);
! 187:
! 188: check2(1.67192331263391547047, GMP_RNDD, 5.13974647961076613889e-01);
! 189: check2(1.67192331263391547047, GMP_RNDN, 5.13974647961076724911e-01);
! 190: check2(1.67192331263391547047, GMP_RNDU, 5.13974647961076724911e-01);
! 191:
! 192: check2(1.71101198068990645318, GMP_RNDD, 5.37084997042120315669e-01);
! 193: check2(1.71101198068990645318, GMP_RNDN, 5.37084997042120315669e-01);
! 194: check2(1.71101198068990645318, GMP_RNDU, 5.37084997042120426691e-01);
! 195:
! 196: check2(1.72634853551388700588, GMP_RNDD, 5.46008504786553605648e-01);
! 197: check2(1.72634853551388700588, GMP_RNDN, 5.46008504786553716670e-01);
! 198: check2(1.72634853551388700588, GMP_RNDU, 5.46008504786553716670e-01);
! 199:
! 200: check2(2.00028876593004323325, GMP_RNDD, 6.93291553102749702475e-01);
! 201: check2(2.00028876593004323325, GMP_RNDN, 6.93291553102749813497e-01);
! 202: check2(2.00028876593004323325, GMP_RNDU, 6.93291553102749813497e-01);
! 203:
! 204: check2(6.27593230200363105808, GMP_RNDD, 1.83672204800630312072);
! 205: check2(6.27593230200363105808, GMP_RNDN, 1.83672204800630334276);
! 206: check2(6.27593230200363105808, GMP_RNDU, 1.83672204800630334276);
! 207:
! 208: check2(7.47216682321367997588, GMP_RNDD, 2.01118502712453661729);
! 209: check2(7.47216682321367997588, GMP_RNDN, 2.01118502712453706138);
! 210: check2(7.47216682321367997588, GMP_RNDU, 2.01118502712453706138);
! 211:
! 212: check2(9.34589857718275318632, GMP_RNDD, 2.23493759221664944903);
! 213: check2(9.34589857718275318632, GMP_RNDN, 2.23493759221664989312);
! 214: check2(9.34589857718275318632, GMP_RNDU, 2.23493759221664989312);
! 215:
! 216: check2(10.6856587560831854944, GMP_RNDD, 2.36890253928838445674);
! 217: check2(10.6856587560831854944, GMP_RNDN, 2.36890253928838445674);
! 218: check2(10.6856587560831854944, GMP_RNDU, 2.36890253928838490083);
! 219:
! 220: check2(12.4646345033981766903, GMP_RNDD, 2.52289539471636015122);
! 221: check2(12.4646345033981766903, GMP_RNDN, 2.52289539471636015122);
! 222: check2(12.4646345033981766903, GMP_RNDU, 2.52289539471636059531);
! 223:
! 224: check2(17.0953275851761752335, GMP_RNDD, 2.83880518553861849185);
! 225: check2(17.0953275851761752335, GMP_RNDN, 2.83880518553861893594);
! 226: check2(17.0953275851761752335, GMP_RNDU, 2.83880518553861893594);
! 227:
! 228: check2(19.8509496207496916043, GMP_RNDD, 2.98825184582516722998);
! 229: check2(19.8509496207496916043, GMP_RNDN, 2.98825184582516722998);
! 230: check2(19.8509496207496916043, GMP_RNDU, 2.98825184582516767406);
! 231:
! 232: check2(23.9512076062771335216, GMP_RNDD, 3.17601874455977206679);
! 233: check2(23.9512076062771335216, GMP_RNDN, 3.17601874455977206679);
! 234: check2(23.9512076062771335216, GMP_RNDU, 3.17601874455977251088);
! 235:
! 236: check2(428.315247165198229595, GMP_RNDD, 6.05985948325268264369);
! 237: check2(428.315247165198229595, GMP_RNDN, 6.05985948325268353187);
! 238: check2(428.315247165198229595, GMP_RNDU, 6.05985948325268353187);
! 239: }
! 240:
! 241: void
! 242: special (void)
! 243: {
! 244: mpfr_t x, y;
! 245:
! 246: mpfr_init2 (x, 53);
! 247: mpfr_init2 (y, 53);
! 248: mpfr_set_ui (x, 3, GMP_RNDD);
! 249: mpfr_log (y, x, GMP_RNDD);
! 250: if (mpfr_get_d1 (y) != 1.09861228866810956) {
! 251: fprintf (stderr, "Error in mpfr_log(3) for GMP_RNDD\n");
! 252: exit (1);
! 253: }
! 254:
! 255: /* check large precision */
! 256: mpfr_set_prec (x, 3322);
! 257: mpfr_set_prec (y, 3322);
! 258: mpfr_set_d (x, 3.0, GMP_RNDN);
! 259: mpfr_sqrt (x, x, GMP_RNDN);
! 260: mpfr_log (y, x, GMP_RNDN);
! 261:
! 262: mpfr_clear (x);
! 263: mpfr_clear (y);
! 264: }
! 265:
! 266: #define TEST_FUNCTION mpfr_log
! 267: #include "tgeneric.c"
! 268:
! 269: int
! 270: main (int argc, char *argv[])
! 271: {
! 272: int N = 0;
! 273: double d;
! 274:
! 275: SEED_RAND (time(NULL));
! 276: if (argc==4) { /* tlog x prec rnd */
! 277: check3(atof(argv[1]), atoi(argv[2]), atoi(argv[3]));
! 278: return 0;
! 279: }
! 280:
! 281: if (argc==3) { /* tlog N p : N calculus with precision p*/
! 282: printf("Doing %d random tests in %d precision\n",atoi(argv[1]),atoi(argv[2]));
! 283: slave(atoi(argv[1]),atoi(argv[2]));
! 284: return 0;
! 285: }
! 286:
! 287: if (argc==2) { /* tlog N: N tests with random double's */
! 288: N=atoi(argv[1]);
! 289: printf("Doing %d random tests in double precision\n", N);
! 290: check4(N);
! 291: }
! 292: else {
! 293: special ();
! 294: check_worst_cases();
! 295:
! 296: check2(1.01979300812244555452, GMP_RNDN, 1.95996734891603664741e-02);
! 297: check2(10.0,GMP_RNDU,2.30258509299404590110e+00);
! 298: check2(6.0,GMP_RNDU,1.79175946922805517936);
! 299: check2(1.0,GMP_RNDZ,0.0);
! 300: check2(62.0,GMP_RNDU,4.12713438504509166905);
! 301: check2(0.5,GMP_RNDZ,-6.93147180559945286226e-01);
! 302: check2(3.0,GMP_RNDZ,1.09861228866810956006e+00);
! 303: check2(234375765.0,GMP_RNDU,1.92724362186836231104e+01);
! 304: check2(8.0,GMP_RNDZ,2.07944154167983574765e+00);
! 305: check2(44.0,GMP_RNDU,3.78418963391826146392e+00);
! 306: check2(1.01979300812244555452, GMP_RNDN, 1.95996734891603664741e-02);
! 307: /* bugs found by Vincent Lefe`vre */
! 308: d = -4723773766428415.0 / 1180591620717411303424.0;
! 309: check2(0.99999599881598921769, GMP_RNDN, d);
! 310: check2(9.99995576063808955247e-01, GMP_RNDZ, -4.42394597667932383816e-06);
! 311: check2(9.99993687357856209097e-01, GMP_RNDN, -6.31266206860017342601e-06);
! 312: check2(9.99995223520736886691e-01, GMP_RNDN, -4.77649067052670982220e-06);
! 313: check2(9.99993025794720935551e-01, GMP_RNDN, -6.97422959894716163837e-06);
! 314: check2(9.99987549017837484833e-01, GMP_RNDN, -1.24510596766369924330e-05);
! 315: check2(9.99985901426543311032e-01, GMP_RNDN, -1.40986728425098585229e-05);
! 316: d = -8232353813100321.0 / 590295810358705651712.0;
! 317: check2(9.99986053947420794330e-01, GMP_RNDN, d);
! 318: check2(9.99971938247442126979e-01, GMP_RNDN, -2.80621462962173414790e-05);
! 319: /* other bugs found by Vincent Lefe`vre */
! 320: check2(1.18615436389927785905e+77, GMP_RNDN, 1.77469768607706015473e+02);
! 321: check2(9.48868723578399476187e+77, GMP_RNDZ, 1.79549152432275803903e+02);
! 322: check2(2.31822210096938820854e+89, GMP_RNDN, 2.05770873832573869322e+02);
! 323: /* further bugs found by Vincent Lefe`vre */
! 324: check2(9.99999989485669482647e-01, GMP_RNDZ, -1.05143305726283042331e-08);
! 325: check2(9.99999989237970177136e-01, GMP_RNDZ, -1.07620298807745377934e-08);
! 326: check2(9.99999989239339082125e-01, GMP_RNDN, -1.07606609757704445430e-08);
! 327:
! 328: check2(7.3890560989306504,GMP_RNDU,2.0000000000000004); /* exp(2.0) */
! 329: check2(7.3890560989306495,GMP_RNDU,2.0); /* exp(2.0) */
! 330: check2(7.53428236571286402512e+34,GMP_RNDZ,8.03073567492226345621e+01);
! 331: check2(6.18784121531737948160e+19,GMP_RNDZ,4.55717030391710693493e+01);
! 332: check2(1.02560267603047283735e+00,GMP_RNDD,2.52804164149448735987e-02);
! 333: check2(7.53428236571286402512e+34,GMP_RNDZ,8.03073567492226345621e+01);
! 334: d = 497773706319601.0 / 4398046511104.0;
! 335: check2(1.42470900831881198052e+49, GMP_RNDZ, d);
! 336:
! 337: check2(1.08013816255293777466e+11,GMP_RNDN,2.54055249841782604392e+01);
! 338: check2(6.72783635300509015581e-37,GMP_RNDU,-8.32893948416799503320e+01);
! 339: check2(2.25904918906057891180e-52,GMP_RNDU,-1.18919480823735682406e+02);
! 340: check2(1.48901209246462951085e+00,GMP_RNDD,3.98112874867437460668e-01);
! 341: check2(1.70322470467612341327e-01,GMP_RNDN,-1.77006175364294615626);
! 342: check2(1.94572026316065240791e+01,GMP_RNDD,2.96821731676437838842);
! 343: check2(4.01419512207026418764e+04,GMP_RNDD,1.06001772315501128218e+01);
! 344: check2(9.47077365236487591672e-04,GMP_RNDZ,-6.96212977303956748187e+00);
! 345: check2(3.95906157687589643802e-109,GMP_RNDD,-2.49605768114704119399e+02);
! 346: check2(2.73874914516503004113e-02,GMP_RNDD,-3.59766888618655977794e+00);
! 347: check2(9.18989072589566467669e-17,GMP_RNDZ,-3.69258425351464083519e+01);
! 348: check2(dbl(2830750724514701.0,131),GMP_RNDZ,dbl(1111664301085491.0,-43));
! 349: check2(1.74827399630587801934e-23,GMP_RNDZ,-5.24008281254547156891e+01);
! 350: check2(4.35302958401482307665e+22,GMP_RNDD,5.21277441046519527390e+01);
! 351: check2(9.70791868689332915209e+00,GMP_RNDD,2.27294191194272210410e+00);
! 352: check2(2.22183639799464011100e-01,GMP_RNDN,-1.50425103275253957413e+00);
! 353: check2(2.27313466156682375540e+00,GMP_RNDD,8.21159787095675608448e-01);
! 354: check2(6.58057413965851156767e-01,GMP_RNDZ,-4.18463096196088235600e-01);
! 355: d = 7107588635148285.0 / 70368744177664.0;
! 356: check2 (7.34302197248998461006e+43, GMP_RNDZ, d);
! 357: check2(6.09969788341579732815e+00,GMP_RNDD,1.80823924264386204363e+00);
! 358: }
! 359:
! 360: test_generic (2, 100, 40);
! 361:
! 362: return 0;
! 363: }
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>
![[BACK]](/icons/cvsweb/back.gif){kind=icon}
Return to tlog.c CVS log ![[TXT]](/icons/cvsweb/text.gif){kind=icon}
![[DIR]](/icons/cvsweb/dir.gif){kind=icon}
Up to [local] / OpenXM_contrib / gmp / mpfr / tests