Searched refs:maxMuTildeX (Results 1 – 1 of 1) sorted by relevance
| /dports/math/fplll/fplll-5.4.1/fplll/enum/ |
| H A D | evaluator.cpp | 83 FP_NR<mpfr_t> rdiagTilde, minRDiag, maxRDiag, muTilde, maxMu, maxMuTildeX; in get_max_error_aux() local
116 maxMuTildeX.mul(muTilde, maxX[j], GMP_RNDU); // >= mu~(j,i) * x_j in get_max_error_aux()
118 maxDC.addmul(maxMuTildeX, halfULP, GMP_RNDU); // err2: rounding after * in get_max_error_aux()
119 maxMuTildeX.mul(maxMuTildeX, K, GMP_RNDU); // >= mu~(j,i) *~ x_j in get_max_error_aux()
120 maxCTilde.addmul(maxMuTildeX, K, GMP_RNDU); in get_max_error_aux()
|