#15040: error handling and new model theoretic functions in logic module
-------------------------------------------------+-------------------------
Reporter: pmscurek | Owner: Paul
Type: defect | Scurek
Priority: major | Status:
Component: misc | positive_review
Keywords: logic, error handling | Milestone: sage-
Authors: Paul Scurek | pending
Report Upstream: N/A | Resolution:
Branch: | Merged in:
Dependencies: #14951, #14952, #15013, | Reviewers: William
#15018 | Stein
| Work issues:
| Commit:
| Stopgaps:
-------------------------------------------------+-------------------------
Comment (by pmscurek):
The last patch listed in the attachments,
trac_15040_errorhandling_logicparser.patch, is the only one that should be
integrated into sage for this ticket. The first four patches are the
patches from the dependencies for this ticket, which were placed here for
the convenience of the reviewer.
--
Ticket URL: <http://trac.sagemath.org/ticket/15040#comment:5>
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.
