#20105: expand difference of relations before evaluation to a boolean
----------------------------+----------------------------------------------
Reporter: behackl | Owner:
Type: defect | Status: new
Priority: major | Milestone: sage-duplicate/invalid/wontfix
Component: | Resolution:
symbolics | Merged in:
Keywords: pynac | Reviewers:
Authors: | Work issues:
Report Upstream: N/A | Commit:
Branch: | Stopgaps:
Dependencies: |
----------------------------+----------------------------------------------
Changes (by behackl):
* milestone: sage-7.1 => sage-duplicate/invalid/wontfix
Old description:
> As described in [https://groups.google.com/forum/#!topic/sage-
> devel/ojHqBy7oUVU this discussion], we currently have
> {{{
> sage: bool(x^2 - 1 - (x+1)*(x-1) != 0)
> True
> }}}
> This can be fixed on a pynac-level by expanding the difference between
> the left-hand side and the right-hand side of the relational expression.
> See https://github.com/pynac/pynac/pull/139.
>
> This ticket shall add doctests as soon as a new pynac version is
> released.
New description:
As described in [https://groups.google.com/forum/#!topic/sage-
devel/ojHqBy7oUVU this discussion], we currently have
{{{
sage: bool(x^2 - 1 - (x+1)*(x-1) != 0)
True
}}}
Duplicate of #19040.
--
Comment:
Replying to [comment:9 rws]:
> With the new #19040 you will get:
> {{{
> sage: bool(x^2 - 1 - (x+1)*(x-1) != 0)
> False
> sage: (x^2 - 1 - (x+1)*(x-1) != 0).holds()
> False
> }}}
> The first because we expand in `__nonzero__`, the second because Maxima
is called. So, I think this ticket will turn out as duplicate of #19040.
Excellent! Thanks for checking. :-)
--
Ticket URL: <http://trac.sagemath.org/ticket/20105#comment:10>
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 https://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/d/optout.
