#19040: defuse bool(x!=0) performance bomb
-------------------------------+------------------------
Reporter: rws | Owner:
Type: enhancement | Status: new
Priority: major | Milestone: sage-6.9
Component: symbolics | Resolution:
Keywords: | Merged in:
Authors: | Reviewers:
Report Upstream: N/A | Work issues:
Branch: | Commit:
Dependencies: | Stopgaps:
-------------------------------+------------------------
Comment (by rws):
Replying to [comment:4 vdelecroix]:
> Thoug, for symbolic expression we want to create equations and check
their validity
> {{{
> sage: cos(x)**2 + sin(x)**2 == 1
> cos(x) == sin(x)
> sage: bool(_)
> True
> }}}
> The above will not be enough anymore. What would be the new way of
checking?
{{{
sage: satisfiable(_)
True
}}}
This is a long-standing omission, and it would resolve conceptual problems
of #17700. It would use #19000 and, if that finds no solution, Maxima as
before. SMT solvers can also give a satisfying `x` in case of
satisfiability, but no full solution which is the task of `solve`.
> This needs to be emphasized a lot in the documentation as it is backward
incompatible. And I guess it is worth a thread on sage-devel. Not
necessarily right now, it is always good to have concrete propositions.
>
> You should also have a look to `sage/tests/*` where I am sure some of
the things are broken.
Three fails.
--
Ticket URL: <http://trac.sagemath.org/ticket/19040#comment:5>
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.
