This is now http://trac.sagemath.org/sage_trac/ticket/2780
david On Apr 2, 2008, at 12:57 PM, John Cremona wrote: > > 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 -~----------~----~----~----~------~----~------~--~---
