acb_lambertw: slightly better check for using -1/e series

This commit is contained in:
Fredrik Johansson 2017-03-30 09:10:48 +02:00
parent 12adc8747d
commit fd3801531c

View file

@ -420,8 +420,8 @@ acb_lambertw_try_near_branch_point(acb_t res, const acb_t z,
|| (fmpz_equal_si(k, -1) && arb_is_nonnegative(acb_imagref(z))))
{
if (acb_contains_zero(ez1) ||
(arf_cmpabs_2exp_si(arb_midref(acb_realref(ez1)), -prec / 4.5) < 0 &&
arf_cmpabs_2exp_si(arb_midref(acb_imagref(ez1)), -prec / 4.5) < 0))
(arf_cmpabs_2exp_si(arb_midref(acb_realref(ez1)), -prec / 4.5 - 6) < 0 &&
arf_cmpabs_2exp_si(arb_midref(acb_imagref(ez1)), -prec / 4.5 - 6) < 0))
{
acb_t t;
acb_init(t);