#7097: bug in polynomial factorization over number fields
---------------------+------------------------------------------------------
Reporter: cremona | Owner: tbd
Type: defect | Status: new
Priority: major | Milestone: sage-4.1.3
Component: algebra | Keywords: polynomial factor root number field
Reviewer: | Author:
Merged: |
---------------------+------------------------------------------------------
Comment(by was):
> This suggests that we'll have to wait for bug fixes in pari before this
can be closed.
Another option might be to implement the standard "factor over ZZ ==>
factor over any number field algorithm" from Cohen's book. I implemented
this over finite fields at Bug Days to try to get around Singular's finite
field poly factorization being broken... We'll either discover that
pari's factoring over ZZ is also broken or have a workaround. (In the
case of Singular I discovered that their factoring over GF(p) is also
broken, unfortunately.) This isn't a difficult algorithm: take the norm
of the polynomial (product of conjugates), then factor, then take some GCD
with a resultant or something.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/7097#comment:3>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica,
and MATLAB
--~--~---------~--~----~------------~-------~--~----~
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
-~----------~----~----~----~------~----~------~--~---
