 ring r=32003,(x,y,z),dp;
factorize(9*(x1)^2*(y+z));
==> [1]:
==> _[1]=9
==> _[2]=y+z
==> _[3]=x1
==> [2]:
==> 1,1,2
factorize(9*(x1)^2*(y+z),1);
==> _[1]=y+z
==> _[2]=x1
factorize(9*(x1)^2*(y+z),2);
==> [1]:
==> _[1]=y+z
==> _[2]=x1
==> [2]:
==> 1,2
ring rQ=0,x,dp;
poly f = x2+1; // irreducible in Q[x]
factorize(f);
==> [1]:
==> _[1]=1
==> _[2]=x2+1
==> [2]:
==> 1,1
ring rQi = (0,i),x,dp;
minpoly = i2+1;
poly f = x2+1; // splits into linear factors in Q(i)[x]
factorize(f);
==> [1]:
==> _[1]=1
==> _[2]=x+(i)
==> _[3]=x+(i)
==> [2]:
==> 1,1,1
