#16616: assumption inconsistency check inconsistent
-----------------------------+------------------------
Reporter: rws | Owner:
Type: defect | Status: new
Priority: major | Milestone: sage-6.3
Component: symbolics | Resolution:
Keywords: | Merged in:
Authors: | Reviewers:
Report Upstream: N/A | Work issues:
Branch: | Commit:
Dependencies: | Stopgaps:
-----------------------------+------------------------
Comment (by nbruin):
First, (I only realized this later), the behaviour in the ticket is not
necessarily inconsistent: "sqrt(2)" and "i" are integral and hence
(algebraic) integers, but are not rational--so they are irrational
integers. So ... perhaps close as "invalid"?
It may be that the "integer" property is used for "rational integer" and
in that case there is an inconsistency. For that you'd have to look in
maxima, since maxima is the only thing that presently attaches semantics
to "assume" in sage. (and if you search previous discussions about
"assume" you'll find that maxima developers themselves acknowledge the
system is flawed, but they don't have a plan for improving it)
Given how limited the use of assume is, I'd say that "won't fix" would be
a reasonable resolution (if there is indeed an inconsistency).
With that background info in hand, please do try some other approaches if
you feel like it. You may develop something that really improves the
"assume" framework. However, if you don't do that in maxima then it
probably involves making maxima use obsolete in sage, so that would be a
rather large project.
--
Ticket URL: <http://trac.sagemath.org/ticket/16616#comment:3>
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.
