Updates:
Cc: nicolas....@gmail.com
Labels: Assumptions Solvers
Comment #1 on issue 2618 by asmeurer: Solve fails on expressions containing
finite symbols
http://code.google.com/p/sympy/issues/detail?id=2618
I bisected this to
commit 4cfcccb8f30295251e54c2b11ba32c5d7124d828
Author: Nicolas Pourcelot <nicolas.pource...@gmail.com>
Date: Mon Jun 27 01:31:15 2011 +0200
Issue 2098: solve() must checks assumptions on symbols, to filter
solutions.
For example, if x = Symbol('x', real=True), solve(x**2 + 1, x) should
not
return any solution.
NOTA: Presently, assumptions aren't checked when:
o `solve()` input involves relationals or bools.
o if no symbols are given for a nonlinear system of equations,
and there is an ambiguity concerning the variable the system
was actually solved for.
One should agree to `solve()` output format before adressing these
issues.
We have
In [17]: (-y - 3).is_finite
--
You received this message because you are subscribed to the Google Groups
"sympy-issues" group.
To post to this group, send email to sympy-issues@googlegroups.com.
To unsubscribe from this group, send email to
sympy-issues+unsubscr...@googlegroups.com.
For more options, visit this group at
http://groups.google.com/group/sympy-issues?hl=en.