Lines Matching full:approximation
113 * approximation function for the real number.
114 * The approximation function guarantees that the generated approximation
125 * In order to achieve this precision, the approximation function will often
127 * demanded. Thus the approximation of a constructive real number
147 * A few uses will require explicit construction of approximation functions.
166 // Abstractly this is a function for computing an approximation
167 // plus the current best approximation.
221 * Informally, approximate(n) gives a scaled approximation
233 // The scaled approximation corresponding to min_prec.
340 * maintains a cached approximation.
1120 // approximation.
1136 // Thus each approximation contributes 1/4 ulp
1328 // Compute an approximation of ln(1+x) to precision
1467 // Compute less precise approximation and use a Newton iter.
1484 // Use a double precision floating point approximation.
