1 /*
2 Copyright (C) 2014 Fredrik Johansson
3
4 This file is part of Arb.
5
6 Arb is free software: you can redistribute it and/or modify it under
7 the terms of the GNU Lesser General Public License (LGPL) as published
8 by the Free Software Foundation; either version 2.1 of the License, or
9 (at your option) any later version. See <http://www.gnu.org/licenses/>.
10 */
11
12 #include "acb.h"
13
14 void
acb_get_abs_lbound_arf(arf_t u,const acb_t z,slong prec)15 acb_get_abs_lbound_arf(arf_t u, const acb_t z, slong prec)
16 {
17 if (arb_is_zero(acb_imagref(z)))
18 {
19 arb_get_abs_lbound_arf(u, acb_realref(z), prec);
20 }
21 else if (arb_is_zero(acb_realref(z)))
22 {
23 arb_get_abs_lbound_arf(u, acb_imagref(z), prec);
24 }
25 else
26 {
27 arf_t v;
28 arf_init(v);
29
30 arb_get_abs_lbound_arf(u, acb_realref(z), prec);
31 arb_get_abs_lbound_arf(v, acb_imagref(z), prec);
32
33 arf_mul(u, u, u, prec, ARF_RND_DOWN);
34 arf_mul(v, v, v, prec, ARF_RND_DOWN);
35 arf_add(u, u, v, prec, ARF_RND_DOWN);
36 arf_sqrt(u, u, prec, ARF_RND_DOWN);
37
38 arf_clear(v);
39 }
40 }
41