#5958: [with patch, needs work] MPolynomial_polydict.factor() should accept
proof
parameter
---------------------------------+------------------------------------------
Reporter: malb | Owner: malb
Type: defect | Status: new
Priority: major | Milestone: sage-4.1.2
Component: commutative algebra | Keywords: singular, factor
Reviewer: | Author:
Merged: |
---------------------------------+------------------------------------------
Comment(by john_perry):
You mean CC as implemented, not CC in theory?
I could insert a test for whether the field is CC, and if so raise an
exception. That said, the roots we're looking for are algebraic, and so
can be described symbolically; i.e., without floating point. So if the
polynomial starts from QQ, one could in theory construct the roots. Should
the exception just reject the user's input, advise the user to try an
extension field, or try to construct one itself?
Is this something I should ask about on sage-devel?
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/5958#comment:13>
Sage <http://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
-~----------~----~----~----~------~----~------~--~---
