On Fri, 4 Oct 2013, Volker Braun wrote:
If the integral polynomial is not monic then the roots need not be integral:
sage: R.<x> = QQ[]
sage: (4*x^2-1).factor()
(4) * (x - 1/2) * (x + 1/2)
So this would not be factorizable in ZZ[x] but is factorizable in QQ[x]
Of course. Duh.
Anyways, is this possible path to (non-optimal) solution? Factor in QQ,
get parts that are not integral polynomials and multiply them to get
integral parts? It would of course be quite slow if polynomial happens to
have many factors that must be check to find integral-producing products.
--
Jori Mäntysalo
--
You received this message because you are subscribed to the Google Groups
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to sage-devel+unsubscr...@googlegroups.com.
To post to this group, send email to sage-devel@googlegroups.com.
Visit this group at http://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/groups/opt_out.
