RealBall: sig_on for arb_to_mpfi

[cheuberg]

As discussed in #17194, arb_to_mpfi might run into an overflow and this should be guarded by a sig_on/sig_off pair.

Depends on #17194

CC: @mezzarobba @fredrik-johansson

Component: numerical

Keywords: arb, RealBall

Author: Clemens Heuberger

Branch/Commit: 33ee7f2

Reviewer: Marc Mezzarobba

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

[cheuberg]

Branch: u/cheuberg/rings/real_arb_sig_arb_to_mpfi

[cheuberg]

Commit: dce7ed3

[cheuberg]

comment:2

The doctest checking whether this actually works is clumsy as the necessary arithmetic operations are not readily available yet; so this has to be done in cython. Eventually, the doctest should be replaced.

---

Last 10 new commits:

aa39c10	#17194 RealBall: abstract away access to parent precision
d3e3998	#17194 RBF: add a precision() method
ce51f81	#17194 RBF: some more is_foo() and similar methods
1d92acf	Trac #17194: remove fmpr.pxd (partial revert of dd8933a)
5e41fcb	Trac #17194: remove imports of fmpr
4e7ec46	Trac #17194: is_zero, is_nonzero, is_exact
9e26152	Trac #17194: Implement comparisons
1196b57	Trac #17194: Fix RealBallField._an_element_
195a6ee	Trac #17194: Fix two broken references
dce7ed3	Trac #17811: sig_on for arb_to_mpfi

[jdemeyer]

comment:3

According to the doctest, your exception is ignored. See http://docs.cython.org/src/userguide/language_basics.html#error-return-values for how to fix this.

[sagetrac-git]

Branch pushed to git repo; I updated commit sha1. New commits:

0e5b904	Trac #17811: declare exception value
4215322	Trac #17811: catch error and free memory in any case

[sagetrac-git]

Changed commit from dce7ed3 to 4215322

[cheuberg]

comment:5

Replying to @jdemeyer:

According to the doctest, your exception is ignored. See http://docs.cython.org/src/userguide/language_basics.html#error-return-values for how to fix this.

Thanks for the pointer, fixed.

[jdemeyer]

comment:6

Instead of cdef void ..... except * it's more efficient to do cdef int ..... except -1.

[sagetrac-git]

Changed commit from 4215322 to 33ee7f2

[sagetrac-git]

Branch pushed to git repo; I updated commit sha1. New commits:

33ee7f2

Trac #17811: use int ... except -1: instead of void ... except *

[mezzarobba]

Reviewer: Marc Mezzarobba

[vbraun]

Changed branch from u/cheuberg/rings/real_arb_sig_arb_to_mpfi to 33ee7f2