#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):
Martin,
Sorry for the late reply, but according to Lazard's paper, the algorithm I
used ("Triangular") does NOT need a lexicographic term ordering. On p.
124, beginning of Section 6:
''These algorithms do not depend explicitly on the ordering; however, they
are mainly designed for degree orderings for which the base is more easily
obtained; they work also for lexicographic ordering, but, for them, we
dispose of a structure theorem which permit us to provide a better
algorithm (section 8).''
The algorithm I implemented was Triangular (line 6). So the switch the
lexicographic is unnecessary.
I don't know how to fix the problem with complex coefficients, though.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/5958#comment:7>
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
-~----------~----~----~----~------~----~------~--~---
