Comment #40 on issue 1598 by smichr: New polynomials manipulation module http://code.google.com/p/sympy/issues/detail?id=1598
One other observation on polys3...when sending roots a Poly, even if the heuristics fail, the whole process shouldn't fail if the Poly is 4th order or less--a call to the roots_foo (e.g. roots_cubic) should be called: in the following, poly was the 4th order Poly((-42 + 6*a**2)*x**4 + (96 + 48*a**2)*x**3 + (288 + 648*a + 144*a**2)*x**2 + (384 + 864*a + 624*a**2)*x + 192 + 432*a + 312*a**2 + 108*a**3, x, domain='ZZ[a]') Traceback (most recent call last): File "C:\Documents and Settings\chris\sympy\my\___my_util\symp4.py", line 1036, in solv1 sols=roots(poly).keys() File "C:\Documents and Settings\chris\sympy\sympy\polys\polyroots.py", line 427, in roots result = _try_decompose(f) File "C:\Documents and Settings\chris\sympy\sympy\polys\polyroots.py", line 343, in _try_decompose factors = f.decompose() File "C:\Documents and Settings\chris\sympy\sympy\polys\polytools.py", line 1052, in decompose result = f.rep.decompose() File "C:\Documents and Settings\chris\sympy\sympy\polys\polyclasses.py", line 1393, in decompose return map(f.per, dup_decompose(f.rep, f.dom)) File "C:\Documents and Settings\chris\sympy\sympy\polys\densetools.py", line 1849, in dup_decompose result = _dup_decompose(f, K) File "C:\Documents and Settings\chris\sympy\sympy\polys\densetools.py", line 1809, in _dup_decompose h = _dup_right_decompose(f, s, K) File "C:\Documents and Settings\chris\sympy\sympy\polys\densetools.py", line 1779, in _dup_right_decompose g[s-i] = K.quo(coeff, i*r*lc) File "C:\Documents and Settings\chris\sympy\sympy\polys\algebratools.py", line 387, in quo raise ExactQuotientFailed('%s does not divide %s in %s' % (b, a, self)) ExactQuotientFailed: DMP([12, 0, -84], ZZ) does not divide DMP([48, 0, 96], ZZ) in ZZ[a] -- You received this message because you are listed in the owner or CC fields of this issue, or because you starred this issue. You may adjust your issue notification preferences at: http://code.google.com/hosting/settings -- You received this message because you are subscribed to the Google Groups "sympy-issues" group. To post to this group, send email to sympy-iss...@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.