[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
makeinfo: @verbatim is buggy
From: |
Vincent Lefevre |
Subject: |
makeinfo: @verbatim is buggy |
Date: |
Fri, 6 Mar 2009 02:27:00 +0100 |
User-agent: |
Mutt/1.5.19-vl-r26315 (2009-02-20) |
Hi,
In mpfr.texi (from <http://www.mpfr.org/mpfr-2.4.1/>), we have:
[...]
@deftypefun int mpfr_can_round (mpfr_t @var{b}, mp_exp_t @var{err}, mp_rnd_t
@var{rnd1}, mp_rnd_t @var{rnd2}, mp_prec_t @var{prec})
[...]
Note: if one wants to also determine the correct ternary value when rounding
@var{b} to precision @var{prec}, a useful trick is the following:
@verbatim
if (mpfr_can_round (b, err, rnd1, GMP_RNDZ, prec + (rnd2 == GMP_RNDN)))
...
@end verbatim
Indeed, if @var{rnd2} is @code{GMP_RNDN}, this will check if one can
round to @var{prec}+1 bits with a directed rounding:
[...]
but makeinfo 4.12 and 4.13 give:
-- Function: int mpfr_can_round (mpfr_t B, mp_exp_t ERR, mp_rnd_t
RND1, mp_rnd_t RND2, mp_prec_t PREC)
[...]
Note: if one wants to also determine the correct ternary value
when rounding B to precision PREC, a useful trick is the following: if
(mpfr_can_round (b, err, rnd1, GMP_RNDZ, prec + (rnd2 == GMP_RNDN)))
...
Indeed, if RND2 is `GMP_RNDN', this will check if one can round
to PREC+1 bits with a directed rounding: if so, one can surely
[...]
i.e. the first verbatim line is at the end of the previous line.
Note: makeinfo 4.11 does not have this problem, but it sometimes
adds a spurious blank line before the first verbatim line. It seems
that this bug was incorrectly fixed.
--
Vincent Lefèvre <address@hidden> - Web: <http://www.vinc17.org/>
100% accessible validated (X)HTML - Blog: <http://www.vinc17.org/blog/>
Work: CR INRIA - computer arithmetic / Arenaire project (LIP, ENS-Lyon)
- makeinfo: @verbatim is buggy,
Vincent Lefevre <=