#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 mmezzarobba):
Replying to [comment:19 jdemeyer]:
> The difference with `PowerSeriesRing` is that the parent doesn't have a
precision, only a ''default'' precision. A `PowerSeriesRing` can contain
elements of any precision and that precision is taken into account when
doing arithmetic:
Yes, I agree that the analogy is not perfect. But I believe the example of
power series rings shows that there is no single way of handling precision
that is used uniformly across all sage parents, and that what we do with
ball fields is not ''completely'' different from ''anything'' else in
sage.
The way I view it, balls (elements) do not need a precision, because their
accuracy is determined by their diameter. Only operations between balls
have a precision, provided by the parent. 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).
--
Ticket URL: <http://trac.sagemath.org/ticket/19568#comment:20>
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.
