#15041: new inference rule functions in logic module
-------------------------------------------------+-------------------------
Reporter: pmscurek | Owner: Paul
Type: enhancement | Scurek
Priority: minor | Status: new
Component: misc | Milestone: sage-5.12
Keywords: logic, inference rules | Resolution:
Authors: Paul Scurek | Merged in:
Report Upstream: N/A | Reviewers:
Branch: | Work issues:
Dependencies: #14951, #14952, #15013, | Commit:
#15018, #15040 | Stopgaps:
-------------------------------------------------+-------------------------
Comment (by pmscurek):
The last patch listed in the attachments,
trac_15041_inference_rules.patch, is the only one that should be
integrated into sage for this ticket. The first five patches are the
patches from the dependencies of this ticket, which were placed here for
the convenience of the reviewer.
--
Ticket URL: <http://trac.sagemath.org/ticket/15041#comment:1>
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.
