Home | History | Annotate | Download | only in tests

Lines Matching defs:minpos

658   mpfr_t minpos, x, y, t, t2;
665   mpfr_init2 (minpos, 2);
666   mpfr_set_ui (minpos, 0, MPFR_RNDN);
667   mpfr_nextabove (minpos);
671    * Minimum representable positive number: minpos = 2^(emin - 1).
672    * Let's choose an MPFR number x = log(minpos) + eps, with |eps| small
674    * Then exp(x) = minpos * exp(eps) ~= minpos * (1 + eps + eps^2).
677    *        rnd(exp(x)) >= minpos and no underflow.
678    *      So, let's take x1 = rndu(log(minpos)) in some precision.
679    *   2. If eps < 0, then exp(x) < minpos and the result will be either 0
680    *      or minpos. An underflow always occurs in MPFR_RNDZ and MPFR_RNDD,
683    *        minpos * (1 - a) < exp(x) < minpos * (1 - b + b^2).
688    *      - In MPFR_RNDN, result is minpos iff exp(eps) > 1/2, i.e.
710       mpfr_log (x, minpos, MPFR_RNDU);
740                   if (mpfr_cmp0 (y, minpos) < 0)
779       mpfr_log (x, minpos, MPFR_RNDD);  /* |ulp| <= 1/2 */
784           if (inex <= 0 || mpfr_cmp0 (y, minpos) != 0)
790               mpfr_out_str (stdout, 16, 0, minpos, MPFR_RNDN);
821                   mpfr_log (x, minpos, MPFR_RNDU);
826                   mpfr_log (x, minpos, MPFR_RNDD);
869                         mpfr_cmp0 (y, minpos) != 0 : MPFR_NOTZERO (y))
899    *   x0 = rndd(rndd(log(minpos)) - rndu(log(2)))
900    *   x1 = rndu(rndu(log(minpos)) - rndd(log(2)))
914       mpfr_log (x, minpos, i ? MPFR_RNDU : MPFR_RNDD);
929                   (i ? (inex <= 0 || mpfr_cmp0 (y, minpos) != 0)
940                       mpfr_out_str (stdout, 16, 0, minpos, MPFR_RNDN);
958   mpfr_clear (minpos);