#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):
I have found two bugs. One of them is not solvable from my end, and
possibly not at all (others who know more should comment).
The first one: elim_pol is not always computing the correct polynomial.
After removing the switch to lexicographic order, change line 358 (?) of
toy_variety.py from
{{{
for each in xrange(len(coeffs)-1):
}}}
to
{{{
for each in xrange(len(coeffs)):
}}}
I have no idea why I had it count until the next-to-last element of
coeffs; all of them are necessary. I can submit a patch if you like.
However: even after this fix, a problem remains: line 292 (?)
triangular_factorization tries to compute a Groebner basis of an ideal
whose generators '''should''' have a common solution. This is the source
of the 1.0 appearing in the triangular variety. Unfortunately, the
computed basis is 1.0, suggesting that the ideal has no common solution! I
have an idea why this is happening, but I can't yet say for sure.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/5958#comment:9>
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
-~----------~----~----~----~------~----~------~--~---
