int
main (void)
{
mp_prec_t p;
MPFR_TEST_USE_RANDS ();
tests_start_mpfr ();
special ();
particular_cases ();
check_pow_ui ();
check_pow_si ();
check_special_pow_si ();
pow_si_long_min ();
for (p = 2; p < 100; p++)
check_inexact (p);
underflows ();
overflows ();
x_near_one ();
test_generic (2, 100, 100);
test_generic_ui (2, 100, 100);
test_generic_si (2, 100, 100);
data_check ("data/pow275", mpfr_pow275, "mpfr_pow275");
tests_end_mpfr ();
return 0;
}
int
main (int argc, char *argv[])
{
tests_start_mpfr ();
if (argc==4)
{ /* tlog x prec rnd */
check3 (atof(argv[1]), atoi(argv[2]), (mp_rnd_t) atoi(argv[3]));
goto done;
}
special ();
check_worst_cases();
check2("1.01979300812244555452", GMP_RNDN, "1.95996734891603664741e-02");
check2("10.0",GMP_RNDU,"2.30258509299404590110e+00");
check2("6.0",GMP_RNDU,"1.79175946922805517936");
check2("1.0",GMP_RNDZ,"0.0");
check2("62.0",GMP_RNDU,"4.12713438504509166905");
check2("0.5",GMP_RNDZ,"-6.93147180559945286226e-01");
check2("3.0",GMP_RNDZ,"1.09861228866810956006e+00");
check2("234375765.0",GMP_RNDU,"1.92724362186836231104e+01");
check2("8.0",GMP_RNDZ,"2.07944154167983574765e+00");
check2("44.0",GMP_RNDU,"3.78418963391826146392e+00");
check2("1.01979300812244555452", GMP_RNDN, "1.95996734891603664741e-02");
/* bugs found by Vincent Lefe`vre */
check2("0.99999599881598921769", GMP_RNDN, "-0.0000040011920155404072924737977900999652547398000024259090423583984375");
check2("9.99995576063808955247e-01",GMP_RNDZ,"-4.42394597667932383816e-06");
check2("9.99993687357856209097e-01",GMP_RNDN,"-6.31266206860017342601e-06");
check2("9.99995223520736886691e-01",GMP_RNDN,"-4.77649067052670982220e-06");
check2("9.99993025794720935551e-01",GMP_RNDN,"-6.97422959894716163837e-06");
check2("9.99987549017837484833e-01",GMP_RNDN,"-1.24510596766369924330e-05");
check2("9.99985901426543311032e-01",GMP_RNDN,"-1.40986728425098585229e-05");
check2("9.99986053947420794330e-01",GMP_RNDN, "-0.000013946149826301084938555592540598837558718514628708362579345703125");
check2("9.99971938247442126979e-01",GMP_RNDN,"-2.80621462962173414790e-05");
/* other bugs found by Vincent Lefe`vre */
check2("1.18615436389927785905e+77",GMP_RNDN,"1.77469768607706015473e+02");
check2("9.48868723578399476187e+77",GMP_RNDZ,"1.79549152432275803903e+02");
check2("2.31822210096938820854e+89",GMP_RNDN,"2.05770873832573869322e+02");
/* further bugs found by Vincent Lefe`vre */
check2("9.99999989485669482647e-01",GMP_RNDZ,"-1.05143305726283042331e-08");
check2("9.99999989237970177136e-01",GMP_RNDZ,"-1.07620298807745377934e-08");
check2("9.99999989239339082125e-01",GMP_RNDN,"-1.07606609757704445430e-08");
check2("7.3890560989306504",GMP_RNDU,"2.0000000000000004"); /* exp(2.0) */
check2("7.3890560989306495",GMP_RNDU,"2.0"); /* exp(2.0) */
check2("7.53428236571286402512e+34",GMP_RNDZ,"8.03073567492226345621e+01");
check2("6.18784121531737948160e+19",GMP_RNDZ,"4.55717030391710693493e+01");
check2("1.02560267603047283735e+00",GMP_RNDD,"2.52804164149448735987e-02");
check2("7.53428236571286402512e+34",GMP_RNDZ,"8.03073567492226345621e+01");
check2("1.42470900831881198052e+49",GMP_RNDZ,"113.180637144887668910087086260318756103515625");
check2("1.08013816255293777466e+11",GMP_RNDN,"2.54055249841782604392e+01");
check2("6.72783635300509015581e-37",GMP_RNDU,"-8.32893948416799503320e+01");
check2("2.25904918906057891180e-52",GMP_RNDU,"-1.18919480823735682406e+02");
check2("1.48901209246462951085e+00",GMP_RNDD,"3.98112874867437460668e-01");
check2("1.70322470467612341327e-01",GMP_RNDN,"-1.77006175364294615626");
check2("1.94572026316065240791e+01",GMP_RNDD,"2.96821731676437838842");
check2("4.01419512207026418764e+04",GMP_RNDD,"1.06001772315501128218e+01");
check2("9.47077365236487591672e-04",GMP_RNDZ,"-6.96212977303956748187e+00");
check2("3.95906157687589643802e-109",GMP_RNDD,"-2.49605768114704119399e+02");
check2("2.73874914516503004113e-02",GMP_RNDD,"-3.59766888618655977794e+00");
check2("9.18989072589566467669e-17",GMP_RNDZ,"-3.69258425351464083519e+01");
check2("7706036453608191045959753324430048151991964994788917248.0",GMP_RNDZ,"126.3815989984199177342816255986690521240234375");
check2("1.74827399630587801934e-23",GMP_RNDZ,"-5.24008281254547156891e+01");
check2("4.35302958401482307665e+22",GMP_RNDD,"5.21277441046519527390e+01");
check2("9.70791868689332915209e+00",GMP_RNDD,"2.27294191194272210410e+00");
check2("2.22183639799464011100e-01",GMP_RNDN,"-1.50425103275253957413e+00");
check2("2.27313466156682375540e+00",GMP_RNDD,"8.21159787095675608448e-01");
check2("6.58057413965851156767e-01",GMP_RNDZ,"-4.18463096196088235600e-01");
check2 ("7.34302197248998461006e+43",GMP_RNDZ,"101.0049094695131799426235374994575977325439453125");
check2("6.09969788341579732815e+00",GMP_RNDD,"1.80823924264386204363e+00");
x_near_one ();
test_generic (2, 100, 40);
data_check ("data/log", mpfr_log, "mpfr_log");
done:
tests_end_mpfr ();
return 0;
}
