Status: New
Owner: ----
Labels: Type-Defect Priority-Medium Solvers WrongResult
New issue 3693 by skirpic...@gmail.com: solve() returns only subset of
solutions for polynomial eqs
http://code.google.com/p/sympy/issues/detail?id=3693
An example:
In [1]: eq=x**14 - x**13 + 54*x**12 - 54*x**11 + 275*x**10 - 275*x**9 +
132*x**8 - 132*x**7 - 297*x**6 + 297*x**5 - 154*x**4 + 154*x**3 - 11*x**2 +
11*x
In [2]: solve(eq,x)
Out[2]: [-1, 0, 1]
But:
In [3]: factor(eq/(x*(x+1)*(x-1)*(x-1)))
Out[3]:
10 8 6 4 2
x + 55⋅x + 330⋅x + 462⋅x + 165⋅x + 11
In [4]: solve(_3,x)
Out[4]:
⎡ ⎛ 10 8 6 4 2 ⎞ ⎛ 10 8
⎣RootOf⎝x + 55⋅x + 330⋅x + 462⋅x + 165⋅x + 11, 0⎠, RootOf⎝x + 55⋅x
+
6 4 2 ⎞ ⎛ 10 8 6 4
330⋅x + 462⋅x + 165⋅x + 11, 1⎠, RootOf⎝x + 55⋅x + 330⋅x + 462⋅x +
165⋅
2 ⎞ ⎛ 10 8 6 4 2 ⎞
⎛ 1
x + 11, 2⎠, RootOf⎝x + 55⋅x + 330⋅x + 462⋅x + 165⋅x + 11, 3⎠,
RootOf⎝x
0 8 6 4 2 ⎞ ⎛ 10 8 6
+ 55⋅x + 330⋅x + 462⋅x + 165⋅x + 11, 4⎠, RootOf⎝x + 55⋅x + 330⋅x
+ 4
4 2 ⎞ ⎛ 10 8 6 4 2
62⋅x + 165⋅x + 11, 5⎠, RootOf⎝x + 55⋅x + 330⋅x + 462⋅x + 165⋅x +
11, 6
⎞ ⎛ 10 8 6 4 2 ⎞ ⎛ 10
8
⎠, RootOf⎝x + 55⋅x + 330⋅x + 462⋅x + 165⋅x + 11, 7⎠, RootOf⎝x + 55⋅x
6 4 2 ⎞ ⎛ 10 8 6 4
+ 330⋅x + 462⋅x + 165⋅x + 11, 8⎠, RootOf⎝x + 55⋅x + 330⋅x + 462⋅x +
16
2 ⎞⎤
5⋅x + 11, 9⎠⎦
In [5]: len(_)
Out[5]: 10
--
You received this message because this project is configured to send all
issue notifications to this address.
You may adjust your notification preferences at:
https://code.google.com/hosting/settings
--
You received this message because you are subscribed to the Google Groups
"sympy-issues" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to sympy-issues+unsubscr...@googlegroups.com.
To post to this group, send email to sympy-issues@googlegroups.com.
Visit this group at http://groups.google.com/group/sympy-issues?hl=en.
For more options, visit https://groups.google.com/groups/opt_out.
