Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

interface convergence between balls and intervals #24289

Open
videlec opened this issue Nov 27, 2017 · 0 comments
Open

interface convergence between balls and intervals #24289

videlec opened this issue Nov 27, 2017 · 0 comments

Comments

@videlec
Copy link
Contributor

videlec commented Nov 27, 2017

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 cleaning reall and complex balls #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 for RIF) or __init__? We might definitely want to let the possibility of having pools (see Proper implementation of object pools #17670).
  • semantics of comparisons

Depends on #24285

CC: @mezzarobba

Component: basic arithmetic

Issue created by migration from https://trac.sagemath.org/ticket/24289

@videlec videlec added this to the sage-8.2 milestone Nov 27, 2017
@mkoeppe mkoeppe removed this from the sage-8.2 milestone Dec 29, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

No branches or pull requests

2 participants