Searched refs:maxRDiag (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
181 maxRDiag.add(r(i, i), max_dr_diag[i], GMP_RNDU); // >= r_i in get_max_error_aux()
184 maxDRY2.mul(maxRDiag, maxDY2, GMP_RNDU); in get_max_error_aux()
|