#4021: [with patch, needs review] MPolynomial_libsingular over ZZ
-----------------------------------------------------+----------------------
Reporter: malb | Owner: malb
Type: defect | Status: assigned
Priority: major | Milestone: sage-3.1.3
Component: commutative algebra | Resolution:
Keywords: libsingular, singular, ZZ, multivariate |
-----------------------------------------------------+----------------------
Comment (by malb):
The second patch addresses the review of Oliver Wienand on [sage-devel]:
{{{
I have just glimpsed over the code. But maybe it is worth stating in
the comments, that the reduce impl. only returns unqiue answer against
strong Gröbner basis.
Gröbner basis G of I <=> the leading ideal of G generates all leading
terms of I
strong % of I <=> for every leading term t of I there exists an
element g of G, such that the leading term of g divides t.
(leading terms meaans coef * product of variables)
Otherwise the reduce code shown in
http://trac.sagemath.org/sage_trac/attachment/ticket/4021/mpolynomial_libsingular_zz.patch
looks fine.
}}}
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/4021#comment:4>
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
-~----------~----~----~----~------~----~------~--~---
