#1163: [with patch, needs review] make assume behave more consistently and catch
inconsistent assumptions
------------------------+---------------------------------------------------
Reporter: zimmerma | Owner: gfurnish
Type: defect | Status: needs_review
Priority: major | Milestone: sage-4.2.1
Component: calculus | Keywords:
Work_issues: | Author: Karl-Dieter Crisman
Reviewer: | Merged:
------------------------+---------------------------------------------------
Comment(by robert.marik):
The code looks good and gives important improvements in Sage. The patch
should be installed on the top of #385 (which has been merged in 4.2.1).
Pases tests in sage/calculus and sage/symbolic
More changes in desolvers.py should be done, if the patch is applied on
the top of patch #6479, which already got positive review and introduces
another lines like
{{{
ivars = [t for t in ivars if t != dvar]
}}}
which now became problematic.
If it passes all tests and builds documentation (runnning now, takes a
long time on my PC) I'll switch the status to posistive review.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/1163#comment:16>
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 post to this group, send email to [email protected]
To unsubscribe from this group, send email to
[email protected]
For more options, visit this group at
http://groups.google.com/group/sage-trac?hl=en
-~----------~----~----~----~------~----~------~--~---
