Opened 5 years ago
#24289 new task
interface convergence between balls and intervals
Reported by: | vdelecroix | Owned by: | |
---|---|---|---|
Priority: | major | Milestone: | sage-8.2 |
Component: | basic arithmetic | Keywords: | |
Cc: | ​mmezzarobba | Merged in: | |
Authors: | Reviewers: | ||
Report Upstream: | N/A | Work issues: | |
Branch: | Commit: | ||
Dependencies: | #24285 | Stopgaps: |
Description
The real balls (e.g. RBF
) and the real intervals (e.g. RIF
) are meant to achieve the same goal: provable real computations. This task ticket stands to discuss how to unify their interface (and possibly adapt the other floating point fields as well).
- clean the clumsy c++ dependency #24285
- should the parent be extension classes? In particular, is it wiser to have function factories or inherit from
UniqueRepresentation
? - Creation of new elements in Cython. This boil down to some allocation together with affectation of the parent. Should this be done in
__cinit__
(as it is the case forRIF
) or__init__
? We might definitely want to let the possibility of having pools (see #17670). - semantics of comparisons
Note: See
TracTickets for help on using
tickets.