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
-~--~~~~--~~--~--~---