more direct conversion from QQbar to real and complex ball fields

[mezzarobba]

Implement _arb_(), _acb_() for algebraic numbers, providing a faster conversion path to real and complex ball fields than the one via _element_constructor_(). Conversions still go through RIF/CIF; the main benefit is that CBF(alg) no longer tests if alg is real.

Component: numerical

Author: Marc Mezzarobba

Branch/Commit: 1726b9e

Reviewer: Frédéric Chapoton

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

[mezzarobba]

Commit: 1fb11fe

[mezzarobba]

Branch: u/mmezzarobba/33150-qqbar_to_ball_fields

[mezzarobba]

New commits:

7307c9c	RBF, CBF: provide prec(), for compatibility with RIF, CIF
1fb11fe	qqbar: more direct conversion to RBF, CBF

[slel]

comment:3

Une courte explication dans la description du ticket?

[mezzarobba]

comment:4

Replying to @slel:

Une courte explication dans la description du ticket?

Ben je n'ai pas grand-chose de plus à dire ; 'fin bon, j'ai mis une variante de ce qui est déjà dans les messages de commit.

[sagetrac-git]

Branch pushed to git repo; I updated commit sha1. This was a forced push. New commits:

9ef6bca	RBF, CBF: provide prec(), for compatibility with RIF, CIF
e05d4e2	qqbar: more direct conversion to RBF, CBF

[sagetrac-git]

Changed commit from 1fb11fe to e05d4e2

[mezzarobba]

comment:6

rebased

[fchapoton]

comment:7

some failing doctests, see patchbot report

[sagetrac-git]

Changed commit from e05d4e2 to add511b

[sagetrac-git]

Branch pushed to git repo; I updated commit sha1. This was a forced push. New commits:

add511b

qqbar: more direct conversion to RBF, CBF

[mezzarobba]

comment:9

Replying to @fchapoton:

some failing doctests, see patchbot report

Thanks!

[fchapoton]

comment:10

one spurious import, see patchbot plugin

[sagetrac-git]

Changed commit from add511b to 1726b9e

[sagetrac-git]

Branch pushed to git repo; I updated commit sha1. This was a forced push. New commits:

1726b9e

qqbar: more direct conversion to RBF, CBF

[fchapoton]

Reviewer: Frédéric Chapoton

[fchapoton]

comment:12

ok, bon, feu vert

[mezzarobba]

comment:13

merci !

[vbraun]

Changed branch from u/mmezzarobba/33150-qqbar_to_ball_fields to 1726b9e