#17194: Minimal bindings for optional arb package
-------------------------------------+-------------------------------------
Reporter: cheuberg | Owner:
Type: enhancement | Status: needs_review
Priority: major | Milestone: sage-6.4
Component: numerical | Resolution:
Keywords: arb, digamma | Merged in:
function, real interval field | Reviewers:
Authors: Clemens Heuberger | Work issues:
Report Upstream: N/A | Commit:
Branch: | f4393a997a6bdee1d5765fb5f7e8c0a9dff61e35
u/cheuberg/rings/real_arb | Stopgaps:
Dependencies: #16747 |
-------------------------------------+-------------------------------------
Comment (by mmezzarobba):
A few random remarks (I would be interested in working more on this, but
unfortunately I don't expect to have time to do it before a few weeks):
* Why call the element class `RealBallElement` and not just `RealBall`? to
me the former sounds more like a point ''in'' a real ball, not the ball
itself...
* Does the parent class really need to be a Cython class?
* I'd rename the `RealIntervalFieldElement` method to something like
`interval`, or perhaps `_interval` since in the long run it should be
accessible through coercion/conversion to `RealIntervalField` (which is
currently broken in several ways, but that's another story).
* I'm not sure if setting up coercion maps from real interval fields is a
good idea. It's probably sound from the mathematical point of view, but I
seem to remember that bidirectional coercions are at least discouraged,
and when computing, say, the sum of an interval and a ball, I'd tend to
expect the result to be an interval. Or perhaps this should depend on the
precisions of the arguments...?
--
Ticket URL: <http://trac.sagemath.org/ticket/17194#comment:32>
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.
