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 On 02/04/2008, David Harvey <[EMAIL PROTECTED]> wrote: > > 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 > > > > > --~--~---------~--~----~------------~-------~--~----~ To post to this group, send email to sage-devel@googlegroups.com To unsubscribe from this group, send email to [EMAIL PROTECTED] For more options, visit this group at http://groups.google.com/group/sage-devel URLs: http://www.sagemath.org -~----------~----~----~----~------~----~------~--~---
