bug in factoring over number fields?

[David Harvey]

Is the following a bug?

sage: K.<a> = NumberField(x^2 + 1)
sage: R.<y, z> = PolynomialRing(K)
sage: f = 2*y^2 + 2*z^2
sage: F = f.factor(); F
2 * (y + (-a)*z) * (y + a*z)
sage: F.unit_part()
1

Shouldn't the unit part be 2? It seems to be listing 2 as a bona fide
factor.

(This was reported by Genya Zaytman.)

david

[John Cremona]

You are right. As a list, F has three elements of which the first is
(2,1) -- i.e. 2 to the power 1 -- but when the list is converted to a
Factorization type this first factor is left alone instead of being
converted into the __unit part.

John

[David Harvey]

This is now

http://trac.sagemath.org/sage_trac/ticket/2780

david