HomeSort by: relevance | last modified time | path
    Searched defs:minpos (Results 1 - 1 of 1) sorted by relevancy

  /src/external/lgpl3/mpfr/dist/tests/
texp.c 658 mpfr_t minpos, x, y, t, t2; local
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
    [all...]

Completed in 15 milliseconds