Yeah, I just checked. The `f20` polynomial for this (from Dummit's paper) is:
f20 = x**6 + 125*x**3 - 3233*x + 3098 For solvable quintics, this need to have a linear factor. Here, since f20 is irreducible, quintic is unsolvable and the solve function falls back to the usual RootOf based solution. -- You received this message because you are subscribed to the Google Groups "sympy" 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/sympy?hl=en-US. For more options, visit https://groups.google.com/groups/opt_out.
