#19152: {Real,Complex}Ball: Miscellaneous fixes and improvements
-------------------------------------+-------------------------------------
Reporter: mmezzarobba | Owner:
Type: enhancement | Status: needs_work
Priority: major | Milestone: sage-6.10
Component: numerical | Resolution:
Keywords: | Merged in:
Authors: Marc Mezzarobba | Reviewers: Clemens Heuberger
Report Upstream: N/A | Work issues:
Branch: public/19152-arb- | Commit:
misc | 7e6b5d049ce0107880171d156f3da2f16d480476
Dependencies: #19063 | Stopgaps:
-------------------------------------+-------------------------------------
Comment (by cheuberg):
Replying to [comment:40 mmezzarobba]:
> Replying to [comment:35 jdemeyer]:
> > > Identical RealBall objects are understood to give permission for
algebraic simplification. This assumption is made to improve performance.
For example, setting z = x*x sets z to a ball enclosing the set {t2:t∈x}
and not the (generally larger) set {tu:t∈x,u∈x}.
> >
> > I'm not sure that we should do that. It's not what intervals do: I
would expect `x*x` to be different from `x^2`.
> Both these design choices were discussed on previous arb-related
tickets, in particular #17194. As far as I'm concerend, I'm happy with the
way things currently work (even though I was a little bit skeptical at
first), and I'm not interested in working on changing it. Incidentally,
I'm not sure this ticket would be the right place.
In particular, the first issue is a property of arb, see its
documentation. Therefore, working around that might have involved that we
make copies ourselves.
What is now the status of this ticket? Is it still `needs_work`, in
particular after Jeroens remark earlier today?
--
Ticket URL: <http://trac.sagemath.org/ticket/19152#comment:43>
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.
