/*============================================================================= This file is part of ARB. ARB is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the Free Software Foundation; either version 2 of the License, or (at your option) any later version. ARB is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. You should have received a copy of the GNU General Public License along with ARB; if not, write to the Free Software Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA =============================================================================*/ /****************************************************************************** Copyright (C) 2012 Fredrik Johansson ******************************************************************************/ #include "fmpr.h" long _fmpr_add_eps(fmpr_t z, const fmpr_t x, int sign, long prec, fmpr_rnd_t rnd) { long bits, shift; int xsign; xsign = fmpz_sgn(fmpr_manref(x)); if ((rnd == FMPR_RND_DOWN && xsign != sign) || (rnd == FMPR_RND_UP && xsign == sign) || (rnd == FMPR_RND_FLOOR && sign < 0) || (rnd == FMPR_RND_CEIL && sign > 0)) { bits = fmpz_bits(fmpr_manref(x)); shift = 2 + FLINT_MAX(0, prec - bits); fmpz_mul_2exp(fmpr_manref(z), fmpr_manref(x), shift); fmpz_sub_ui(fmpr_expref(z), fmpr_expref(x), shift); if (sign > 0) fmpz_add_ui(fmpr_manref(z), fmpr_manref(z), 1); else fmpz_sub_ui(fmpr_manref(z), fmpr_manref(z), 1); return _fmpr_normalise(fmpr_manref(z), fmpr_expref(z), prec, rnd); } else { long ret = fmpr_set_round(z, x, prec, rnd); if (ret == FMPR_RESULT_EXACT) return prec - fmpz_bits(fmpr_manref(z)); else return ret; } }