CoCoA » CoCoA-5

Missing coefficient:

use QQ7::=QQ[z];
L:= QQ7/ideal(z^6 + z^5 + z^4 + z^3 + z^2 + z + 1);
use L[t,x, y];
F:=x^3 + t^3*x + t;
G01:= subst(F, x, -z*t - z^3);
G01;
indent(FactorAlgExt(G01));
-- record[
 -- RemainingFactor := (1),
 -- factors := [t^2 +(z^2)*t +(z^4)],
 -- multiplicities := [2]
--]
H:=(t^2 +(z^2)*t +(z^4))^2;
H;
H=G01;
-z*H=G01;