Feature #1323
Improve RealRoots: compute sqfr decomp
Description
Consider changing RealRoots
so that it computes the sqfr decomp of the input poly, then works on the separate pieces.
Joining the answers together may require some thought/computation.
History
#1 Updated by John Abbott almost 5 years ago
I have already begun writing a package called RRList
.
I think this is related, esp. as regards combining the intervals for different polys.
RRList
should use CoprimeFactorBasis
(if it does not already).
#2 Updated by John Abbott almost 5 years ago
Sqfr decomp should always be reasonably quick; full factorization could be slow if the input is "nasty".
One could consider looking for self-reciprocal factors... not sure it is worth it.