#18560: Upgrade arb to 2.6.0
-------------------------------------+-------------------------------------
Reporter: cheuberg | Owner:
Type: enhancement | Status: needs_work
Priority: major | Milestone: sage-6.8
Component: packages: | Resolution:
optional | Merged in:
Keywords: arb | Reviewers:
Authors: Clemens Heuberger | Work issues:
Report Upstream: N/A | Commit:
Branch: | 3b534cbb91702fb1f7fd1dfd4b69974bb0411b4e
u/cheuberg/libs/arb-2.6.0 | Stopgaps:
Dependencies: |
-------------------------------------+-------------------------------------
Comment (by fredrik.johansson):
Results can differ on 32-bit and 64-bit system but this should not happen
often. Gratuitous nondeterminism is avoided, but it's safest to think of
arb as actually employing randomization, which unfortunately doesn't play
well with doctesting. Two reasonable workarounds would be:
1. Print doctest examples with a few digits less than the computed
precision, so that most of the radius bound in the printed output comes
from the decimal rounding. This will only rarely cause a last digit to
flip over unpredictably. The disadvantage is that the doctest does not
show the actual computed interval. On the other hand, the output is a
neater representation of the mathematical value. For example, if you print
pi to 10 digits, you should always get [3.141592654 +/- 4.11e-10] beyond a
certain working precision (from 43 bits, in fact) since the actual
difference between pi and 3.141592654 is 4.102...e-10.
2. Implement a doctest directive that parses intervals and checks whether
the actual and expected outputs overlap (this could also take a tolerance
and verify that the new actual output is not too imprecise, e.g. 53-bit pi
suddenly coming out as [3.1 +/- 0.1]).
--
Ticket URL: <http://trac.sagemath.org/ticket/18560#comment:23>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica,
and MATLAB
--
You received this message because you are subscribed to the Google Groups
"sage-trac" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/d/optout.
