Annotation of OpenXM_contrib/gmp/mpfr/tests/tpow3.c, Revision 1.1
1.1 ! ohara 1: /* Test file for mpfr_pow.
! 2:
! 3: Copyright 2001 Free Software Foundation.
! 4: Adapted from tarctan.c.
! 5:
! 6: This file is part of the MPFR Library.
! 7:
! 8: The MPFR Library is free software; you can redistribute it and/or modify
! 9: it under the terms of the GNU Lesser General Public License as published by
! 10: the Free Software Foundation; either version 2.1 of the License, or (at your
! 11: option) any later version.
! 12:
! 13: The MPFR Library is distributed in the hope that it will be useful, but
! 14: WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
! 15: or FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public
! 16: License for more details.
! 17:
! 18: You should have received a copy of the GNU Lesser General Public License
! 19: along with the MPFR Library; see the file COPYING.LIB. If not, write to
! 20: the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston,
! 21: MA 02111-1307, USA. */
! 22:
! 23: #include <stdio.h>
! 24: #include <limits.h>
! 25: #include <stdlib.h>
! 26: #include "gmp.h"
! 27: #include "gmp-impl.h"
! 28: #include "mpfr.h"
! 29: #include "mpfr-impl.h"
! 30: #include "mpfr-test.h"
! 31:
! 32:
! 33: int
! 34: main (int argc, char *argv[])
! 35: {
! 36: mpfr_t x, y, z, ax;
! 37: long int iy;
! 38: mpfr_init (x);
! 39: mpfr_init (ax);
! 40: mpfr_init2 (y,sizeof(unsigned long int)*CHAR_BIT);
! 41: mpfr_init (z);
! 42:
! 43: MPFR_SET_NAN(x);
! 44: mpfr_random(y);
! 45: mpfr_pow (z, x,y, GMP_RNDN);
! 46: if(!MPFR_IS_NAN(z))
! 47: {
! 48: printf ("evaluation of function in x=NAN does not return NAN");
! 49: exit (1);
! 50: }
! 51:
! 52: MPFR_SET_NAN(y);
! 53: mpfr_random(x);
! 54: mpfr_pow (z, x,y, GMP_RNDN);
! 55: if(!MPFR_IS_NAN(z))
! 56: {
! 57: printf ("evaluation of function in y=NAN does not return NAN");
! 58: exit (1);
! 59: }
! 60:
! 61: MPFR_CLEAR_FLAGS(z);
! 62: MPFR_CLEAR_FLAGS(y);
! 63: MPFR_CLEAR_FLAGS(x);
! 64:
! 65: MPFR_SET_ZERO(y);
! 66: mpfr_random(x);
! 67: mpfr_pow (z, x,y, GMP_RNDN);
! 68: if(mpfr_cmp_ui(z,1)!=0 && !(MPFR_IS_NAN(x)))
! 69: {
! 70: printf ("evaluation of function in y=0 does not return 1\n");
! 71: printf ("x =");
! 72: mpfr_out_str (stdout, 10, MPFR_PREC(x), x, GMP_RNDN);
! 73: printf ("\n y =");
! 74: mpfr_out_str (stdout, 10, MPFR_PREC(y), y, GMP_RNDN);
! 75: printf ("\n result =");
! 76: mpfr_out_str (stdout, 10, MPFR_PREC(z), z, GMP_RNDN);
! 77: exit (1);
! 78: }
! 79:
! 80: MPFR_CLEAR_FLAGS(z);
! 81: MPFR_CLEAR_FLAGS(y);
! 82: MPFR_CLEAR_FLAGS(x);
! 83:
! 84: MPFR_SET_INF(y);
! 85: if (MPFR_SIGN(y) < 0)
! 86: MPFR_CHANGE_SIGN(y);
! 87: mpfr_random(x);
! 88: mpfr_set_prec (ax, MPFR_PREC(x));
! 89: mpfr_abs(ax,x,GMP_RNDN);
! 90: mpfr_pow (z, x,y, GMP_RNDN);
! 91: if( !MPFR_IS_INF(z) && (mpfr_cmp_ui(ax,1) > 0) )
! 92: {
! 93: printf ("evaluation of function in y=INF (|x|>1) does not return INF");
! 94: exit (1);
! 95: }
! 96: if( !MPFR_IS_ZERO(z) && (mpfr_cmp_ui(ax,1) < 0) )
! 97: {
! 98: printf ("\nevaluation of function in y=INF (|x|<1) does not return 0");
! 99: printf ("\nx =");
! 100: mpfr_out_str (stdout, 10, MPFR_PREC(x), x, GMP_RNDN);
! 101: printf ("\n y =");
! 102: mpfr_out_str (stdout, 10, MPFR_PREC(y), y, GMP_RNDN);
! 103: printf ("\n result =");
! 104: mpfr_out_str (stdout, 10, MPFR_PREC(z), z, GMP_RNDN);
! 105: putchar('\n');
! 106: exit (1);
! 107: }
! 108:
! 109:
! 110: MPFR_CLEAR_FLAGS(z);
! 111: MPFR_CLEAR_FLAGS(y);
! 112: MPFR_CLEAR_FLAGS(x);
! 113:
! 114: MPFR_SET_INF(y);
! 115: if (MPFR_SIGN(y) > 0)
! 116: MPFR_CHANGE_SIGN(y);
! 117: mpfr_random(x);
! 118: mpfr_set_prec (ax, MPFR_PREC(x));
! 119: mpfr_abs(ax,x,GMP_RNDN);
! 120: mpfr_pow (z, x,y, GMP_RNDN);
! 121: mpfr_pow (z, x,y, GMP_RNDN);
! 122: if( !MPFR_IS_INF(z) && (mpfr_cmp_ui(ax,1) < 0) )
! 123: {
! 124: printf ("evaluation of function in y=INF (for |x| <0) does not return INF");
! 125: exit (1);
! 126: }
! 127: if( !MPFR_IS_ZERO(z) && (mpfr_cmp_ui(ax,1) > 0) )
! 128: {
! 129: printf ("evaluation of function in y=INF (for |x| >0) does not return 0");
! 130: exit (1);
! 131: }
! 132:
! 133: MPFR_CLEAR_FLAGS(z);
! 134: MPFR_CLEAR_FLAGS(y);
! 135: MPFR_CLEAR_FLAGS(x);
! 136:
! 137: MPFR_SET_INF(x);
! 138: if (MPFR_SIGN(x) < 0)
! 139: MPFR_CHANGE_SIGN(x);
! 140: mpfr_random(y);
! 141: mpfr_pow (z, x,y, GMP_RNDN);
! 142: if(!MPFR_IS_INF(z) && (MPFR_SIGN(y) > 0))
! 143: {
! 144: printf ("evaluation of function in INF does not return INF");
! 145: printf ("\nx =");
! 146: mpfr_out_str (stdout, 10, MPFR_PREC(x), x, GMP_RNDN);
! 147: printf ("\n y =");
! 148: mpfr_out_str (stdout, 10, MPFR_PREC(y), y, GMP_RNDN);
! 149: printf ("\n result =");
! 150: mpfr_out_str (stdout, 10, MPFR_PREC(z), z, GMP_RNDN);
! 151: putchar('\n');
! 152: exit (1);
! 153: }
! 154: if(!MPFR_IS_ZERO(z) && (MPFR_SIGN(y) < 0))
! 155: {
! 156: printf ("evaluation of function in INF does not return INF");
! 157: printf ("\nx =");
! 158: mpfr_out_str (stdout, 10, MPFR_PREC(x), x, GMP_RNDN);
! 159: printf ("\n y =");
! 160: mpfr_out_str (stdout, 10, MPFR_PREC(y), y, GMP_RNDN);
! 161: printf ("\n result =");
! 162: mpfr_out_str (stdout, 10, MPFR_PREC(z), z, GMP_RNDN);
! 163: putchar('\n');
! 164: exit (1);
! 165: }
! 166:
! 167:
! 168: MPFR_CLEAR_FLAGS(z);
! 169: MPFR_CLEAR_FLAGS(y);
! 170: MPFR_CLEAR_FLAGS(x);
! 171:
! 172: MPFR_SET_INF(x);
! 173: if (MPFR_SIGN(x) > 0)
! 174: MPFR_CHANGE_SIGN(x);
! 175: mpfr_random(y);
! 176: if (random() % 2)
! 177: mpfr_neg (y, y, GMP_RNDN);
! 178: mpfr_pow (z, x,y, GMP_RNDN);
! 179: if(!MPFR_IS_INF(z) && (MPFR_SIGN(y) > 0) && (mpfr_isinteger(y)))
! 180: {
! 181: printf ("evaluation of function in x=-INF does not return INF");
! 182: printf ("\nx =");
! 183: mpfr_out_str (stdout, 10, MPFR_PREC(x), x, GMP_RNDN);
! 184: printf ("\n y =");
! 185: mpfr_out_str (stdout, 10, MPFR_PREC(y), y, GMP_RNDN);
! 186: printf ("\n result =");
! 187: mpfr_out_str (stdout, 10, MPFR_PREC(z), z, GMP_RNDN);
! 188: putchar('\n');
! 189: if(mpfr_isinteger(y))
! 190: printf("y is an integer\n");
! 191: else
! 192: printf("y is not an integer\n");
! 193:
! 194: exit (1);
! 195: }
! 196: if(!MPFR_IS_ZERO(z) && (MPFR_SIGN(y) < 0) && (mpfr_isinteger(y)))
! 197: {
! 198: printf ("evaluation of function in x=-INF does not return 0");
! 199: printf ("\nx =");
! 200: mpfr_out_str (stdout, 10, MPFR_PREC(x), x, GMP_RNDN);
! 201: printf ("\n y =");
! 202: mpfr_out_str (stdout, 10, MPFR_PREC(y), y, GMP_RNDN);
! 203: printf ("\n result =");
! 204: mpfr_out_str (stdout, 10, MPFR_PREC(z), z, GMP_RNDN);
! 205: putchar('\n');
! 206:
! 207: if(mpfr_isinteger(y))
! 208: printf("y is an integer\n");
! 209: else
! 210: printf("y is not an integer\n");
! 211:
! 212: exit (1);
! 213: }
! 214: MPFR_CLEAR_FLAGS(z);
! 215: MPFR_CLEAR_FLAGS(y);
! 216: MPFR_CLEAR_FLAGS(x);
! 217:
! 218: MPFR_SET_INF(x);
! 219: if (MPFR_SIGN(x) > 0)
! 220: MPFR_CHANGE_SIGN(x);
! 221:
! 222: iy=random();
! 223: mpfr_random(y);
! 224: if (random() % 2)
! 225: iy=-iy;
! 226: mpfr_set_d(y,iy,GMP_RNDN);
! 227: mpfr_pow (z, x,y, GMP_RNDN);
! 228: if(!MPFR_IS_INF(z) && (MPFR_SIGN(y) > 0) && (mpfr_isinteger(y)))
! 229: {
! 230: printf ("evaluation of function in x=-INF does not return INF");
! 231: printf ("\nx =");
! 232: mpfr_out_str (stdout, 10, MPFR_PREC(x), x, GMP_RNDN);
! 233: printf ("\n y =");
! 234: mpfr_out_str (stdout, 10, MPFR_PREC(y), y, GMP_RNDN);
! 235: printf ("\n result =");
! 236: mpfr_out_str (stdout, 10, MPFR_PREC(z), z, GMP_RNDN);
! 237: putchar('\n');
! 238: if(mpfr_isinteger(y))
! 239: printf("y is an integer\n");
! 240: else
! 241: printf("y is not an integer\n");
! 242:
! 243: exit (1);
! 244: }
! 245: if(!MPFR_IS_ZERO(z) && (MPFR_SIGN(y) < 0) && (mpfr_isinteger(y)))
! 246: {
! 247: printf ("evaluation of function in x=-INF does not return 0");
! 248: printf ("\nx =");
! 249: mpfr_out_str (stdout, 10, MPFR_PREC(x), x, GMP_RNDN);
! 250: printf ("\n y =");
! 251: mpfr_out_str (stdout, 10, MPFR_PREC(y), y, GMP_RNDN);
! 252: printf ("\n result =");
! 253: mpfr_out_str (stdout, 10, MPFR_PREC(z), z, GMP_RNDN);
! 254: putchar('\n');
! 255:
! 256: if(mpfr_isinteger(y))
! 257: printf("y is an integer\n");
! 258: else
! 259: printf("y is not an integer\n");
! 260:
! 261: exit (1);
! 262: }
! 263: MPFR_CLEAR_FLAGS(z);
! 264: MPFR_CLEAR_FLAGS(y);
! 265: MPFR_CLEAR_FLAGS(x);
! 266:
! 267: mpfr_set_ui(x,1,GMP_RNDN);
! 268: MPFR_SET_INF(y);
! 269: mpfr_pow (z, x,y, GMP_RNDN);
! 270: if(!MPFR_IS_NAN(z))
! 271: {
! 272: printf ("evaluation of function in x=1, y=INF does not return NAN");
! 273: printf ("\nx =");
! 274: mpfr_out_str (stdout, 10, MPFR_PREC(x), x, GMP_RNDN);
! 275: printf ("\n y =");
! 276: mpfr_out_str (stdout, 10, MPFR_PREC(y), y, GMP_RNDN);
! 277: printf ("\n result =");
! 278: mpfr_out_str (stdout, 10, MPFR_PREC(z), z, GMP_RNDN);
! 279: putchar('\n');
! 280:
! 281: exit (1);
! 282: }
! 283:
! 284: MPFR_CLEAR_FLAGS(z);
! 285: MPFR_CLEAR_FLAGS(y);
! 286: MPFR_CLEAR_FLAGS(x);
! 287:
! 288: MPFR_SET_ZERO(x);
! 289: mpfr_random(y);
! 290: if (random() % 2)
! 291: mpfr_neg (y, y, GMP_RNDN);
! 292:
! 293: mpfr_pow (z, x,y, GMP_RNDN);
! 294:
! 295: if(!MPFR_IS_ZERO(z) && (MPFR_SIGN(y) < 0) && !(mpfr_isinteger(y)))
! 296: {
! 297: printf ("evaluation of function in y<0 does not return 0");
! 298: printf ("\nx =");
! 299: mpfr_out_str (stdout, 10, MPFR_PREC(x), x, GMP_RNDN);
! 300: printf ("\n y =");
! 301: mpfr_out_str (stdout, 10, MPFR_PREC(y), y, GMP_RNDN);
! 302: printf ("\n result =");
! 303: mpfr_out_str (stdout, 10, MPFR_PREC(z), z, GMP_RNDN);
! 304: putchar('\n');
! 305:
! 306: exit (1);
! 307: }
! 308: if(!MPFR_IS_INF(z) && (MPFR_SIGN(y) < 0) && (mpfr_isinteger(y)))
! 309: {
! 310: printf ("evaluation of function in y<0 (y integer) does not return INF");
! 311: printf ("\nx =");
! 312: mpfr_out_str (stdout, 10, MPFR_PREC(x), x, GMP_RNDN);
! 313: printf ("\n y =");
! 314: mpfr_out_str (stdout, 10, MPFR_PREC(y), y, GMP_RNDN);
! 315: printf ("\n result =");
! 316: mpfr_out_str (stdout, 10, MPFR_PREC(z), z, GMP_RNDN);
! 317: putchar('\n');
! 318: exit (1);
! 319: }
! 320: if(!MPFR_IS_ZERO(z) && (MPFR_SIGN(y) > 0) && (mpfr_isinteger(y)))
! 321: {
! 322: printf ("evaluation of function in y<0 (y integer) does not return 0");
! 323: printf ("\nx =");
! 324: mpfr_out_str (stdout, 10, MPFR_PREC(x), x, GMP_RNDN);
! 325: printf ("\n y =");
! 326: mpfr_out_str (stdout, 10, MPFR_PREC(y), y, GMP_RNDN);
! 327: printf ("\n result =");
! 328: mpfr_out_str (stdout, 10, MPFR_PREC(z), z, GMP_RNDN);
! 329: putchar('\n');
! 330: exit (1);
! 331: }
! 332:
! 333:
! 334: {
! 335: mp_prec_t prec, yprec;
! 336: mpfr_t t, s;
! 337: mp_rnd_t rnd;
! 338: int inexact, compare, compare2;
! 339: unsigned int n, err;
! 340:
! 341: int p0=2;
! 342: int p1=100;
! 343: int N=100;
! 344:
! 345: mpfr_init (s);
! 346: mpfr_init (t);
! 347:
! 348: /* generic test */
! 349: for (prec = p0; prec <= p1; prec++)
! 350: {
! 351: mpfr_set_prec (x, prec);
! 352: mpfr_set_prec (s, sizeof(unsigned long int)*CHAR_BIT);
! 353: mpfr_set_prec (z, prec);
! 354: mpfr_set_prec (t, prec);
! 355: yprec = prec + 10;
! 356:
! 357: for (n=0; n<N; n++)
! 358: {
! 359:
! 360: mpfr_random (x);
! 361:
! 362: mpfr_random (s);
! 363: if (random() % 2)
! 364: mpfr_neg (s, s, GMP_RNDN);
! 365: rnd = random () % 4;
! 366: mpfr_set_prec (y, yprec);
! 367: compare = mpfr_pow (y, x, s, rnd);
! 368: err = (rnd == GMP_RNDN) ? yprec + 1 : yprec;
! 369: if (mpfr_can_round (y, err, rnd, rnd, prec))
! 370: {
! 371: mpfr_set (t, y, rnd);
! 372: inexact = mpfr_pow (z,x, s, rnd);
! 373: if (mpfr_cmp (t, z))
! 374: {
! 375: printf ("results differ for x=");
! 376: mpfr_out_str (stdout, 2, prec, x, GMP_RNDN);
! 377: printf (" values of the exponential=");
! 378: mpfr_out_str (stdout, 2, prec, s, GMP_RNDN);
! 379: printf (" prec=%u rnd_mode=%s\n", (unsigned) prec,
! 380: mpfr_print_rnd_mode (rnd));
! 381: printf ("got ");
! 382: mpfr_out_str (stdout, 2, prec, z, GMP_RNDN);
! 383: putchar ('\n');
! 384: printf ("expected ");
! 385: mpfr_out_str (stdout, 2, prec, t, GMP_RNDN);
! 386: putchar ('\n');
! 387: printf ("approx ");
! 388: mpfr_print_binary (y);
! 389: putchar ('\n');
! 390: exit (1);
! 391: }
! 392: compare2 = mpfr_cmp (t, y);
! 393: /* if rounding to nearest, cannot know the sign of t - f(x)
! 394: because of composed rounding: y = o(f(x)) and t = o(y) */
! 395: if ((rnd != GMP_RNDN) && (compare * compare2 >= 0))
! 396: compare = compare + compare2;
! 397: else
! 398: compare = inexact; /* cannot determine sign(t-f(x)) */
! 399: if (((inexact == 0) && (compare != 0)) ||
! 400: ((inexact > 0) && (compare <= 0)) ||
! 401: ((inexact < 0) && (compare >= 0)))
! 402: {
! 403: fprintf (stderr, "Wrong inexact flag for rnd=%s: expected %d, got %d\n",
! 404: mpfr_print_rnd_mode (rnd), compare, inexact);
! 405: printf ("x="); mpfr_print_binary (x); putchar ('\n');
! 406: printf ("y="); mpfr_print_binary (y); putchar ('\n');
! 407: printf ("t="); mpfr_print_binary (t); putchar ('\n');
! 408: exit (1);
! 409: }
! 410: }
! 411: }
! 412: }
! 413:
! 414: mpfr_clear (s);
! 415: mpfr_clear (t);
! 416:
! 417: }
! 418: mpfr_clear (x);
! 419: mpfr_clear (y);
! 420: mpfr_clear (z);
! 421: mpfr_clear (ax);
! 422:
! 423: return 0;
! 424: }
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>
![[BACK]](/icons/cvsweb/back.gif){kind=icon}
Return to tpow3.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