Lines Matching defs:s1
1458 char s0[BSIZE], s1[BSIZE], s2[BSIZE+64];
1492 mpfr_get_str (s1, &e1, base, BSIZE - 1, x1, MPFR_RNDD);
1496 /* 0 < x0 <= (s0,e) <= (s1,e) <= x1 with e = e0 = e1.
1498 - the common prefix of s0 and s1;
1501 - some of the following digits of s1 (possibly none).
1502 Then 0 < x0 <= (s0,e) < (s2,e) <= (s1,e) <= x1, and with
1503 a very high probability that (s2,e) < (s1,e); noteq is
1507 s1 = 124012345
1513 s2 is not taken completely randomly between s0 and s1, but it
1516 close to s1, or not too close to either. */
1523 MPFR_ASSERTN (s0[j] != 0 && s1[j] != 0), s0[j] == s1[j];
1546 if (d != s1[j])
1552 MPFR_ASSERTN (s1[j] != 0);
1553 s2[j+2] = s1[j];
1561 if (s1[j] != '0')
1579 printf ("s0 = %s\ns1 = %s\ns2 = %s\n", s0, s1, s2);
1593 printf ("s0 = %s\ns1 = %s\ns2 = %s\n", s0, s1, s2);