#19568: arb balls should have the precision of the parent
-------------------------------------+-------------------------------------
Reporter: jdemeyer | Owner:
Type: defect | Status: needs_review
Priority: major | Milestone: sage-6.10
Component: interfaces | Resolution:
Keywords: | Merged in:
Authors: Jeroen Demeyer | Reviewers:
Report Upstream: N/A | Work issues:
Branch: | Commit:
u/jdemeyer/arb_balls_should_have_the_precision_of_the_parent|
638f7f581a72056c39d013e4b46cce500176a710
Dependencies: #19152 | Stopgaps:
-------------------------------------+-------------------------------------
Comment (by jdemeyer):
Replying to [comment:20 mmezzarobba]:
> It is up to the implementation of each operation to decide how large the
mantissa of the center of its result needs to be, and this size may or may
not be the precision of the operation (as far as I know, arb doesn't
guarantee anything regarding the relation between these two quantities).
Unlike what you think, `arb` actually defines the precision of the
mantissa quite well. From the documentation:
> Except where otherwise noted, the output of an operation is the
floating-point number obtained by taking the inputs as exact numbers, in
principle carrying out the operation exactly, and rounding the resulting
real number to the nearest representable floating-point number whose
mantissa has at most the specified number of bits, in the specified
direction of rounding.
--
Ticket URL: <http://trac.sagemath.org/ticket/19568#comment:22>
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.
