Hi, I think the following is a bug (only complete factorization after 2 steps):
sage: R = PolynomialRing( QQ, var( 't' ), order = 'lex' ) sage: t = R.gens()[0] sage: f = t^4 - t^2 + 1 sage: T = NumberFieldTower( [f], 'a0' ) sage: R1 = R.change_ring( T ) sage: a0 = T.gens()[0] sage: t = R1.gens()[0] sage: poly = t^3 + (-4*a0^3 + 2*a0)*t^2 - 11/3*a0^2*t + 2/3*a0^3 - 4/3*a0 sage: poly.factor() (t - 2*a0^3 + a0) * (t^2 + (-2*a0^3 + a0)*t - 2/3*a0^2) sage: fact = poly.factor()[1][0] sage: fact.factor() (t - 4/3*a0^3 + 2/3*a0) * (t - 2/3*a0^3 + 1/3*a0) Kind regards, Niels -- To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URL: http://www.sagemath.org
