#9640: Change PARI error catching mechanism
-----------------------------------------------+--------------------------
Reporter: jdemeyer | Owner: was
Type: enhancement | Status: needs_work
Priority: major | Milestone: sage-5.13
Component: interfaces | Resolution:
Keywords: pari error interrupt | Merged in:
Authors: Peter Bruin, Jeroen Demeyer | Reviewers:
Report Upstream: N/A | Work issues:
Branch: | Commit:
Dependencies: #14029, #13311 | Stopgaps:
-----------------------------------------------+--------------------------
Description changed by jdemeyer:
Old description:
> Currently, the exceptions thrown by PARI are rather cryptic, like
> {{{
> Traceback (most recent call last):
> ...
> PariError: (15)
> }}}
>
> This ticket does the following:
>
> - Use {{{cb_pari_handle_exception()}}} instead of {{{err_catch()}}} to
> catch PARI exceptions.
>
> - Using a mechanism similar to #9636, catch the full text of the
> exception and pass it to {{{PariError}}}. (It is not printed
> automatically, but can be accessed via `PariError.errtext()`.)
>
> Apply: [attachment:9640-pari_error_callbacks_v2.patch]
New description:
Currently, the exceptions thrown by PARI are rather cryptic, like
{{{
Traceback (most recent call last):
...
PariError: (15)
}}}
This ticket does the following:
- Use {{{cb_pari_handle_exception()}}} instead of {{{err_catch()}}} to
catch PARI exceptions.
- Using a mechanism similar to #9636, catch the full text of the exception
and pass it to {{{PariError}}}.
Apply: [attachment:9640-pari_error_callbacks_v2.patch]
--
--
Ticket URL: <http://trac.sagemath.org/ticket/9640#comment:25>
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/groups/opt_out.
