#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]:
> 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
Well, also keep in mind that the "precision" in power series (or p-adics,
which are analogous) is more of an "algebraic" nature. You can see
`O(x^n)` as modding out by the ideal `(x^n)`. There is no such thing for
floating-point numbers and it would make a lot of sense to handle
precision in `RBF` the same way as other floating-point rings such as `RR`
and `RIF`.
> and that what we do with ball fields is not ''completely'' different
from ''anything'' else in sage.
Maybe not ''completely'' different, but certainly ''significantly''
different.
That's also the reason why I got so confused with the `round()` function
when reviewing #19152. I think that most people who use `RealBallField`
will have the same confusion as me. I just see no reason why you insist on
doing things differently for `arb`.
--
Ticket URL: <http://trac.sagemath.org/ticket/19568#comment:21>
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.
