24         mpfr_mat_t A, Q, R, V, Wu, Wd, bound, bound2, bound3, boundt, mm, rm,  in fmpz_lll_is_reduced_mpfr()  local
118         mpfr_mat_init(Wu, n, n, prec);  in fmpz_lll_is_reduced_mpfr()
128         mpfr_mat_mul_classical(Wu, R, V, MPFR_RNDU);  in fmpz_lll_is_reduced_mpfr()
131             mpfr_sub_ui(du + i, mpfr_mat_entry(Wu, i, i), 1, MPFR_RNDU);  in fmpz_lll_is_reduced_mpfr()
142                     mpfr_abs(tj, mpfr_mat_entry(Wu, i, j), MPFR_RNDU);  in fmpz_lll_is_reduced_mpfr()
161             mpfr_mat_clear(Wu);  in fmpz_lll_is_reduced_mpfr()
177             mpfr_sub_ui(du + i, mpfr_mat_entry(Wu, i, i), 2, MPFR_RNDU);  in fmpz_lll_is_reduced_mpfr()
186                     mpfr_abs(tj, mpfr_mat_entry(Wu, i, j), MPFR_RNDU);  in fmpz_lll_is_reduced_mpfr()
197                     mpfr_abs(tj, mpfr_mat_entry(Wu, i, j), MPFR_RNDU);  in fmpz_lll_is_reduced_mpfr()
226                 mpfr_add(tmp, mpfr_mat_entry(Wu, i, j),  in fmpz_lll_is_reduced_mpfr()
242         mpfr_mat_mul_classical(Wu, mm, mn, MPFR_RNDU);  in fmpz_lll_is_reduced_mpfr()
245             mpfr_sub_ui(mpfr_mat_entry(Wu, i, i), mpfr_mat_entry(Wu, i, i), 1,  in fmpz_lll_is_reduced_mpfr()
250                 mpfr_abs(tj, mpfr_mat_entry(Wu, i, j), MPFR_RNDU);  in fmpz_lll_is_reduced_mpfr()
251                 mpfr_max(mpfr_mat_entry(Wu, i, j), ti, tj, MPFR_RNDU);  in fmpz_lll_is_reduced_mpfr()
273                          mpfr_mat_entry(bound2, i, j), mpfr_mat_entry(Wu, i,  in fmpz_lll_is_reduced_mpfr()
278         mpfr_mat_mul_classical(Wu, mm, rn, MPFR_RNDU);  in fmpz_lll_is_reduced_mpfr()
284                          mpfr_mat_entry(bound2, i, j), mpfr_mat_entry(Wu, i,  in fmpz_lll_is_reduced_mpfr()
290         mpfr_mat_clear(Wu);  in fmpz_lll_is_reduced_mpfr()
297         mpfr_mat_init(Wu, m, n, prec);  in fmpz_lll_is_reduced_mpfr()
305         mpfr_mat_mul_classical(Wu, A, V, MPFR_RNDU);  in fmpz_lll_is_reduced_mpfr()
316                 mpfr_add(tmp, mpfr_mat_entry(Wu, i, j),  in fmpz_lll_is_reduced_mpfr()
328         mpfr_mat_clear(Wu);  in fmpz_lll_is_reduced_mpfr()
331         mpfr_mat_init(Wu, n, n, prec);  in fmpz_lll_is_reduced_mpfr()
339         mpfr_mat_mul_classical(Wu, mm, mn, MPFR_RNDU);  in fmpz_lll_is_reduced_mpfr()
342             mpfr_sub_ui(mpfr_mat_entry(Wu, i, i), mpfr_mat_entry(Wu, i, i), 1,  in fmpz_lll_is_reduced_mpfr()
349                     mpfr_abs(tj, mpfr_mat_entry(Wu, i, j), MPFR_RNDU);  in fmpz_lll_is_reduced_mpfr()
350                     mpfr_max(mpfr_mat_entry(Wu, i, j), ti, tj, MPFR_RNDU);  in fmpz_lll_is_reduced_mpfr()
376                          mpfr_mat_entry(bound3, i, j), mpfr_mat_entry(Wu, i,  in fmpz_lll_is_reduced_mpfr()
381         mpfr_mat_mul_classical(Wu, mm, rn, MPFR_RNDU);  in fmpz_lll_is_reduced_mpfr()
387                          mpfr_mat_entry(bound3, i, j), mpfr_mat_entry(Wu, i,  in fmpz_lll_is_reduced_mpfr()
393         mpfr_mat_clear(Wu);  in fmpz_lll_is_reduced_mpfr()
509         mpfr_mat_t A, R, V, Wu, Wd, bound, bound2, bound3, boundt, mm, rm,  in fmpz_lll_is_reduced_mpfr()  local
586         mpfr_mat_init(Wu, n, n, prec);  in fmpz_lll_is_reduced_mpfr()
596         mpfr_mat_mul_classical(Wu, R, V, MPFR_RNDU);  in fmpz_lll_is_reduced_mpfr()
599             mpfr_sub_ui(du + i, mpfr_mat_entry(Wu, i, i), 1, MPFR_RNDU);  in fmpz_lll_is_reduced_mpfr()
610                     mpfr_abs(tj, mpfr_mat_entry(Wu, i, j), MPFR_RNDU);  in fmpz_lll_is_reduced_mpfr()
629             mpfr_mat_clear(Wu);  in fmpz_lll_is_reduced_mpfr()
645             mpfr_sub_ui(du + i, mpfr_mat_entry(Wu, i, i), 2, MPFR_RNDU);  in fmpz_lll_is_reduced_mpfr()
654                     mpfr_abs(tj, mpfr_mat_entry(Wu, i, j), MPFR_RNDU);  in fmpz_lll_is_reduced_mpfr()
665                     mpfr_abs(tj, mpfr_mat_entry(Wu, i, j), MPFR_RNDU);  in fmpz_lll_is_reduced_mpfr()
694                 mpfr_add(tmp, mpfr_mat_entry(Wu, i, j),  in fmpz_lll_is_reduced_mpfr()
710         mpfr_mat_mul_classical(Wu, mm, mn, MPFR_RNDU);  in fmpz_lll_is_reduced_mpfr()
713             mpfr_sub_ui(mpfr_mat_entry(Wu, i, i), mpfr_mat_entry(Wu, i, i), 1,  in fmpz_lll_is_reduced_mpfr()
718                 mpfr_abs(tj, mpfr_mat_entry(Wu, i, j), MPFR_RNDU);  in fmpz_lll_is_reduced_mpfr()
719                 mpfr_max(mpfr_mat_entry(Wu, i, j), ti, tj, MPFR_RNDU);  in fmpz_lll_is_reduced_mpfr()
741                          mpfr_mat_entry(bound2, i, j), mpfr_mat_entry(Wu, i,  in fmpz_lll_is_reduced_mpfr()
746         mpfr_mat_mul_classical(Wu, mm, rn, MPFR_RNDU);  in fmpz_lll_is_reduced_mpfr()
752                          mpfr_mat_entry(bound2, i, j), mpfr_mat_entry(Wu, i,  in fmpz_lll_is_reduced_mpfr()
758         mpfr_mat_clear(Wu);  in fmpz_lll_is_reduced_mpfr()
765         mpfr_mat_init(Wu, m, n, prec);  in fmpz_lll_is_reduced_mpfr()
781         mpfr_mat_mul_classical(Wu, mm, A, MPFR_RNDU);  in fmpz_lll_is_reduced_mpfr()
800         mpfr_mat_mul_classical(mn, Wu, V, MPFR_RNDD);  in fmpz_lll_is_reduced_mpfr()
806         mpfr_mat_mul_classical(rn, Wu, V, MPFR_RNDU);  in fmpz_lll_is_reduced_mpfr()
814         mpfr_mat_clear(Wu);  in fmpz_lll_is_reduced_mpfr()