📄 t-get_d.c
字号:
/* Test mpq_get_d and mpq_set_dCopyright 1991, 1993, 1994, 1996, 2000, 2001, 2002 Free Software Foundation,Inc.This file is part of the GNU MP Library.The GNU MP Library is free software; you can redistribute it and/or modifyit under the terms of the GNU Lesser General Public License as published bythe Free Software Foundation; either version 2.1 of the License, or (at youroption) any later version.The GNU MP Library is distributed in the hope that it will be useful, butWITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITYor FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser General PublicLicense for more details.You should have received a copy of the GNU Lesser General Public Licensealong with the GNU MP Library; see the file COPYING.LIB. If not, write tothe Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston,MA 02111-1307, USA. */#include <stdio.h>#include <stdlib.h>#include "gmp.h"#include "gmp-impl.h"#include "tests.h"#ifndef SIZE#define SIZE 8#endif/* VAX D floats only have an 8 bit signed exponent, so anything 2^128 or bigger will overflow, that being 4 limbs. */#if defined (__vax__) && SIZE > 4#undef SIZE#define SIZE 4#define EPSIZE 3#else#define EPSIZE SIZE#endifvoid dump _PROTO ((mpq_t));intmain (int argc, char **argv){ mpq_t a; mp_size_t size; int reps = 1000; int i, j; double last_d, new_d; mpq_t qlast_d, qnew_d; mpq_t eps; tests_start (); if (argc == 2) reps = atoi (argv[1]); /* The idea here is to test the monotonousness of mpq_get_d by adding numbers to the numerator and denominator. */ mpq_init (a); mpq_init (eps); mpq_init (qlast_d); mpq_init (qnew_d); for (i = 0; i < reps; i++) { size = urandom () % SIZE - SIZE/2; mpz_random2 (mpq_numref (a), size); do { size = urandom () % SIZE - SIZE/2; mpz_random2 (mpq_denref (a), size); } while (mpz_cmp_ui (mpq_denref (a), 0) == 0); mpq_canonicalize (a); last_d = mpq_get_d (a); mpq_set_d (qlast_d, last_d); for (j = 0; j < 10; j++) { size = urandom () % EPSIZE + 1; mpz_random2 (mpq_numref (eps), size); size = urandom () % EPSIZE + 1; mpz_random2 (mpq_denref (eps), size); mpq_canonicalize (eps); mpq_add (a, a, eps); mpq_canonicalize (a); new_d = mpq_get_d (a); if (last_d > new_d) { fprintf (stderr, "ERROR (test %d/%d): bad mpq_get_d results\n", i, j); printf ("\nlast: %.16g\n ", last_d); printf (" new: %.16g\n ", new_d); dump (a); abort (); } mpq_set_d (qnew_d, new_d); MPQ_CHECK_FORMAT (qnew_d); if (mpq_cmp (qlast_d, qnew_d) > 0) { fprintf (stderr, "ERROR (test %d/%d): bad mpq_set_d results\n", i, j); printf ("\nlast: %.16g\n ", last_d); dump (qlast_d); printf (" new: %.16g\n ", new_d); dump (qnew_d); abort (); } last_d = new_d; mpq_set (qlast_d, qnew_d); } } mpq_clear (a); mpq_clear (eps); mpq_clear (qlast_d); mpq_clear (qnew_d); tests_end (); exit (0);}voiddump (mpq_t x){ mpz_out_str (stdout, 10, mpq_numref (x)); printf ("/"); mpz_out_str (stdout, 10, mpq_denref (x)); printf ("\n");}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -