summaryrefslogtreecommitdiff
path: root/doc/algorithms.tex
Commit message (Collapse)AuthorAgeFilesLines
* Punctuation (missing comma after "however").vlefevre2021-06-211-4/+4
| | | | git-svn-id: https://scm.gforge.inria.fr/anonscm/svn/mpfr/trunk@14542 280ebfd0-de03-0410-8827-d642c229c3f4
* Changed "plus/minus infinity" to "positive/negative infinity".vlefevre2021-02-021-4/+4
| | | | git-svn-id: https://scm.gforge.inria.fr/anonscm/svn/mpfr/trunk@14318 280ebfd0-de03-0410-8827-d642c229c3f4
* [doc/algorithms.tex] Ulp calculus: put the old Rule 8 just after Rule 2,vlefevre2019-10-101-16/+20
| | | | | | as the old Rule 3 (now Rule 4) uses it directly (proof updated). git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@13635 280ebfd0-de03-0410-8827-d642c229c3f4
* [doc/algorithms.tex] Ulp calculus: simplified the proof of Rule 8.vlefevre2019-10-101-7/+5
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@13634 280ebfd0-de03-0410-8827-d642c229c3f4
* [doc/algorithms.tex] Ulp calculus Rule 3: missing absolute values invlefevre2019-10-101-2/+2
| | | | | | the proof. git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@13633 280ebfd0-de03-0410-8827-d642c229c3f4
* [doc/algorithms.tex] Actually assume that no underflows nor overflowsvlefevre2019-10-101-4/+4
| | | | | | occur for the whole section "Error calculus". git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@13632 280ebfd0-de03-0410-8827-d642c229c3f4
* [doc/algorithms.tex] Ulp calculus Rule 6: corrected it (we need tovlefevre2019-10-101-5/+7
| | | | | | | assume no underflows nor overflows) and its proof, and generalized it with absolute values (like in the previous rules). git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@13631 280ebfd0-de03-0410-8827-d642c229c3f4
* [doc/algorithms.tex] Ulp calculus Rule 3: more powerful result andvlefevre2019-10-071-20/+8
| | | | | | much simpler proof. git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@13630 280ebfd0-de03-0410-8827-d642c229c3f4
* [doc/algorithms.tex] Section 2 (Error calculus): When n was a precision,vlefevre2019-10-071-15/+15
| | | | | | | replaced it by p as this is the usual notation (see Section 1) and n sometimes had a double meaning. git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@13629 280ebfd0-de03-0410-8827-d642c229c3f4
* [doc/algorithms.tex] Ulp calculus: swap Rule 4 and Rule 5.vlefevre2018-08-221-17/+17
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@13009 280ebfd0-de03-0410-8827-d642c229c3f4
* [doc/algorithms.tex] Ulp calculus Rule 4: make the proof much simpler.vlefevre2018-08-221-9/+7
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@13008 280ebfd0-de03-0410-8827-d642c229c3f4
* [doc/algorithms.tex] Error calculus: implicitly assume x ≠ 0 in ulp.vlefevre2018-08-221-0/+2
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@13007 280ebfd0-de03-0410-8827-d642c229c3f4
* [doc/algorithms.bib] added referencezimmerma2018-06-071-2/+3
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@12761 280ebfd0-de03-0410-8827-d642c229c3f4
* Updated mpfr.org URL's to use https (except in ChangeLog and NEWS).vlefevre2018-05-311-1/+1
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@12740 280ebfd0-de03-0410-8827-d642c229c3f4
* [doc/algorithms.tex,src/tanh.c] Fixed the bound, in particular fromvlefevre2017-12-181-1/+3
| | | | | | the recent improvements in the error analysis. git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@12007 280ebfd0-de03-0410-8827-d642c229c3f4
* [doc/algorithms.tex] mpfr_tanh: corrected bounds (thanks to Paul).vlefevre2017-12-181-5/+5
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@12004 280ebfd0-de03-0410-8827-d642c229c3f4
* [doc/algorithms.tex] mpfr_tanh: detailed some inequalities.vlefevre2017-12-181-5/+6
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@12003 280ebfd0-de03-0410-8827-d642c229c3f4
* [doc/algorithms.tex] mpfr_tanh: resolved both FIXME's.vlefevre2017-12-181-18/+18
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@12001 280ebfd0-de03-0410-8827-d642c229c3f4
* [doc/algorithms.tex] mpfr_tanh: corrected a part of the error analysisvlefevre2017-12-181-2/+6
| | | | | | | | (2^k+4 ≤ |theta_4|^(−1/2) was not necessarily true, since theta_4 can be very small). As a consequence, the lemma can be simplified/improved (first FIXME). Added a second FIXME on a condition that is not checked. git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@12000 280ebfd0-de03-0410-8827-d642c229c3f4
* [doc/algorithms.tex] mpfr_tanh: missing absolute value; added a \cdot.vlefevre2017-12-181-2/+2
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@11999 280ebfd0-de03-0410-8827-d642c229c3f4
* [doc/algorithms.tex] Added another \cdot for readability.vlefevre2017-12-181-1/+1
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@11997 280ebfd0-de03-0410-8827-d642c229c3f4
* [doc/algorithms.tex] Minor corrections for hyperbolic tangent function:vlefevre2017-12-181-17/+17
| | | | | | | | | | | * "e" had two different meanings (BTW, the constant e should actually be written \mathrm{e} everywhere in the document). * Use \left...\right instead of |...| when it contains an expression starting with \log (the latter was confusing pdflatex, which added a spurious space before \log). * Added some \cdot for better readability. git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@11995 280ebfd0-de03-0410-8827-d642c229c3f4
* [tests/ttanh.c] added test for bug in mpfr_tanhzimmerma2017-12-181-11/+14
| | | | | | | | | | | | | [doc/algorithms.tex] fixed error analysis for mpfr_tanh [src/tanh.c] fixed error analysis Note after r12016: Even though mpfr_tanh was incorrect, the failure of the test added in ttanh.c was actually *only* due to a bug in the mpfr_div code specific to the trunk (fixed in r12002), i.e. this was not a non-regression test for the mpfr_tanh bug itself (in particular, this test does not introduce a failure in the 3.1 branch, which still has the same incorrect mpfr_tanh code but a correct mpfr_div). git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@11993 280ebfd0-de03-0410-8827-d642c229c3f4
* added referencezimmerma2017-02-251-0/+2
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@11339 280ebfd0-de03-0410-8827-d642c229c3f4
* [doc/algorithms.tex] In Section "The logarithm function" (from r9046),vlefevre2016-12-271-22/+2
| | | | | | | | | | | removed everything concerning the AGM since this is not what is done in the MPFR code, where mpfr_agm is simply called (and this function already has its own description later). Note: The error analysis of mpfr_log can only be found in log.c, but seems incorrect (though the bounds may be valid); it was introduced in r416. git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@11089 280ebfd0-de03-0410-8827-d642c229c3f4
* [algorithms.tex] fixed typozimmerma2016-12-071-1/+1
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@10979 280ebfd0-de03-0410-8827-d642c229c3f4
* [doc/algorithms.tex] Riemann Zeta function, case s < 1/2: added avlefevre2016-09-161-0/+5
| | | | | | paragraph on the sin(...) term of the reflection formula. git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@10878 280ebfd0-de03-0410-8827-d642c229c3f4
* [doc/algorithms.tex] More work on the Riemann Zeta function.vlefevre2016-09-161-23/+49
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@10877 280ebfd0-de03-0410-8827-d642c229c3f4
* [doc/algorithms.tex] Riemann Zeta function, case s < 1/2: added avlefevre2016-09-151-1/+8
| | | | | | | | paragraph briefly describing how the precisions of the variables will be chosen (this is much more efficient than the current code when the target precision is much lower than the input precision). git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@10876 280ebfd0-de03-0410-8827-d642c229c3f4
* Some improvements / corrections in the description / proof of thevlefevre2016-09-151-9/+37
| | | | | | | | | | | | | | algorithm for the Riemann Zeta function. * doc/algorithms.tex, section on the Riemann Zeta function: the case s < 1/2 (reflection formula) is now in a new section, which needs to be completed (with the detailed algorithm and error analysis); case "s close to 0" added and now properly proved. * src/zeta.c: update of the comment for s close to 0 (the brief explanations were wrong for precision 1, and this was apparently not checked when we allowed this precision!), adding a reference to algorithms.tex for details. git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@10875 280ebfd0-de03-0410-8827-d642c229c3f4
* [doc/algorithms.tex] l -> \ellzimmerma2016-09-061-5/+5
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@10802 280ebfd0-de03-0410-8827-d642c229c3f4
* [doc/algorithms.tex] du -> {\mathrm d}uzimmerma2016-09-061-4/+4
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@10801 280ebfd0-de03-0410-8827-d642c229c3f4
* fixed error analysis for gamma_inc continued fractionzimmerma2016-02-221-35/+44
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@10076 280ebfd0-de03-0410-8827-d642c229c3f4
* added references in commentzimmerma2016-02-191-0/+5
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@10070 280ebfd0-de03-0410-8827-d642c229c3f4
* added error analysis for gamma_inc with continued fraction (to be reviewed)zimmerma2016-02-181-0/+74
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@10069 280ebfd0-de03-0410-8827-d642c229c3f4
* added reference to series for incomplete gamma functionzimmerma2016-02-181-1/+1
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@10066 280ebfd0-de03-0410-8827-d642c229c3f4
* added reference to gamma_inc(-n,x) for current codezimmerma2016-02-171-0/+5
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@10063 280ebfd0-de03-0410-8827-d642c229c3f4
* now mpfr_eint(x) returns E1(x) for negative xzimmerma2016-02-081-3/+13
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@9990 280ebfd0-de03-0410-8827-d642c229c3f4
* more work on gamma_inczimmerma2016-02-061-2/+2
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@9980 280ebfd0-de03-0410-8827-d642c229c3f4
* more work on gamma_inc (only remains the case a=0 and x>0 to implement)zimmerma2016-02-051-2/+3
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@9976 280ebfd0-de03-0410-8827-d642c229c3f4
* fixed bug for zeta(s) with s near an even negative integerzimmerma2016-01-201-1/+3
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@9852 280ebfd0-de03-0410-8827-d642c229c3f4
* added section about gamma_inczimmerma2016-01-201-0/+24
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@9846 280ebfd0-de03-0410-8827-d642c229c3f4
* fixed bug found by Fredrik Johanssonzimmerma2016-01-201-2/+2
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@9844 280ebfd0-de03-0410-8827-d642c229c3f4
* added description of algorithm used for mpfr_log (from Sylvie Boldo)zimmerma2014-05-061-0/+33
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@9046 280ebfd0-de03-0410-8827-d642c229c3f4
* fixed FIXMEzimmerma2014-03-171-3/+5
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@9011 280ebfd0-de03-0410-8827-d642c229c3f4
* [doc/algorithms.*] A formula about radix conversion was incorrectvlefevre2014-03-171-1/+3
| | | | | | | | | | | | | (and didn't match the correct code) when the output radix b is a power of two. Added reference to Matula's "In-and-Out Conversions" (correctness and optimality of the formula) and left a FIXME. For more information, see the August/September discussion in the MPFR list, particular subthreads starting at: https://sympa.inria.fr/sympa/arc/mpfr/2012-08/msg00028.html https://sympa.inria.fr/sympa/arc/mpfr/2012-09/msg00000.html https://sympa.inria.fr/sympa/arc/mpfr/2012-09/msg00011.html git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@9010 280ebfd0-de03-0410-8827-d642c229c3f4
* [doc/algorithms.tex] Avoid inconsistent spaces.vlefevre2014-02-241-1/+1
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@8990 280ebfd0-de03-0410-8827-d642c229c3f4
* added referencezimmerma2014-01-291-0/+2
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@8912 280ebfd0-de03-0410-8827-d642c229c3f4
* Spelling consistency:vlefevre2014-01-181-1/+1
| | | | | | | non-negative → nonnegative non-positive → nonpositive git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@8796 280ebfd0-de03-0410-8827-d642c229c3f4
* [doc/algorithms.tex] Slightly improved a bound under which mpfr_hypotvlefevre2013-06-071-6/+8
| | | | | | cannot have an internal underflow, thus is correct. git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@8590 280ebfd0-de03-0410-8827-d642c229c3f4
View Lorry Controller Status