#18883: use Pynac for symbolic comparison instead of Maxima
-------------------------+----------------------------
Reporter: rws | Owner:
Type: defect | Status: new
Priority: major | Milestone: sage-6.8
Component: symbolics | Keywords:
Merged in: | Authors:
Reviewers: | Report Upstream: N/A
Work issues: | Branch:
Commit: | Dependencies:
Stopgaps: |
-------------------------+----------------------------
This:
{{{
sage: bool(exp(x)>=0)
True
}}}
unexpectedly uses Maxima, and gets it wrong, too (the already known
complex domain problem, see e.g. #14305).
Since Pynac can now assign info flags to function expressions the possible
cases for `abs`, `factorial`, `binomial`, `real`, `imag`, `step` should be
implemented in Pynac (this is https://github.com/pynac/pynac/issues/78)
and the cases like above handled in Pynac.
The repercussions are not limited to such comparisons. The more
expressions have info flags set the more expressions with more complicated
structure can be decided and more questions answered.
--
Ticket URL: <http://trac.sagemath.org/ticket/18883>
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/d/optout.
