Factorization in Z[x_1, ..., x_n]/<minpoly>, n>1

[hannes]

ring r = (0,a),(x,y),dp; minpoly = a^{2 +1; poly f = (x-a)*(y-a); sqrfree(f); factorize(f);}

---

ring r=(2,a),(U(1..3)),dp;minpoly=a2+a+1; matrix m[3][3]=U(1),U(2),U(3),U(2),U(3),U(1),U(3),U(1),U(2); poly d=det(m); factorize(d);

poly f=(U(1)+a*U(2)+a2*U(3))*(U(1)+a2*U(2)+a*U(3))*(U(1)+U(2)+U(3));

---

ring r = (3,a),(x,y),dp; minpoly = a^{2 + 2*a + 2; poly f = (x-a)*(y-a); factorize(f);}

[seelisch]

revision on Nov 13, 2008, i.e., after Singular meeting on Nov 12, 2008: status: Ticket is still active.