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

  /src/external/lgpl3/mpfr/dist/tests/
tsub.c 391 mpfr_t ex, ex1, ex2, ex3, tot, tot1; local
396 mpfr_init2(ex3, 53);
406 mpfr_set( ex3, tot1, MPFR_RNDN); /* ex3 = high(tot - ex1) */
408 if (mpfr_cmp(ex2, ex3))
412 printf ("ex3="); mpfr_dump (ex3);
419 mpfr_clear (ex3);

Completed in 26 milliseconds