#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):

 The way I understand it, what this ticket really does is not to make “the
 precision of arb balls” that of their parent, but to round newly created
 balls to the precision of their parent by default. IMO this is a
 regression compared to the existing implementation (so I'd be in favor of
 closing the present ticket as wontfix), but a small one (so I'm not going
 to further argue against it, I just won't review it).

 Incidentally, I don't see how “`arb` handles precision in a way which is
 completely different from anything else in Sage”. For example, you can
 have power series truncated at any order in a `PowerSeriesRing` with any
 `default_prec`.

--
Ticket URL: <http://trac.sagemath.org/ticket/19568#comment:15>
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.

Reply via email to