#418 factor/poly leaves common factors

[Stavros Macrakis]

ff: factor(x^2-2,8*q^4-q*q^2+1) =>
(16*x-64*q^2+32)*(16*x+64*q^2-32)/256

Of course, this can be simplified with another pass of
ordinary factorization:

factor(ff) => (x-4*q^2+2)*(x+4*q^2-2)

A simpler example, but perhaps suspect because it uses
q in the polynomial to factor:

factor(x-q,2*q^2+1) => (2*x-2*q)/2

[Robert Dodier]

Logged In: YES
user_id=501686

5.9.3cvs yields

(%i10) ff: factor(x^2-2,8*q^4-q*q^2+1) ;
(%o10) x^2-2

Not sure what the right result is here.