#5928: multiplication of factorisations should coerce factors into a common
universe
---------------------------+------------------------------------------------
Reporter: AlexGhitza | Owner: AlexGhitza
Type: defect | Status: new
Priority: major | Milestone: sage-4.0
Component: factorization | Keywords: multiplication factorization coercion
---------------------------+------------------------------------------------
This was uncovered at #5921. Observe:
{{{
sage: P.<x> = ZZ
sage: f = 2*x + 2
sage: c = f.content()
sage: g = f//c
sage: F1 = c.factor(); [type(a[0]) for a in F1]
[<type 'sage.rings.integer.Integer'>]
sage: F2 = g.factor(); [type(a[0]) for a in F2]
[<type
'sage.rings.polynomial.polynomial_integer_dense_flint.Polynomial_integer_dense_flint'>]
sage: F1*F2
2 * (x + 1)
sage: [type(a[0]) for a in F1*F2]
[<type 'sage.rings.integer.Integer'>,
<type
'sage.rings.polynomial.polynomial_integer_dense_flint.Polynomial_integer_dense_flint'>]
}}}
I think that multiplying two factorisations should make sure that the
factors can be coerced into a common universe, so that all factors have
the same parent. If that's impossible, then an error should be thrown.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/5928>
Sage <http://sagemath.org/>
Sage - Open Source Mathematical Software: Building the Car Instead of
Reinventing the Wheel
--~--~---------~--~----~------------~-------~--~----~
You received this message because you are subscribed to the Google Groups
"sage-trac" group.
To post to this group, send email to [email protected]
To unsubscribe from this group, send email to
[email protected]
For more options, visit this group at
http://groups.google.com/group/sage-trac?hl=en
-~----------~----~----~----~------~----~------~--~---
