#11667: Cache groebner basis independend of degree bound
--------------------------------------------------------------------------------------------+
Reporter: vbraun
| Owner: malb
Type: enhancement
| Status: needs_work
Priority: major
| Milestone: sage-4.7.2
Component: commutative algebra
| Keywords:
Work_issues: Error prone computations may be done explicitly, but must not be
the default | Upstream: N/A
Reviewer: Simon King
| Author: Volker Braun
Merged:
| Dependencies:
--------------------------------------------------------------------------------------------+
Comment(by john_perry):
I think a solution to Simon's objections would be to create a separate
function, perhaps `truncated_groebner_basis`. It can throw an exception
(`AttributeError`?) if the ideal is not homogeneous
(`self.is_homogeneous()`).
Note that an additional detail may be taken care of. As much as I know,
if one knows a Gröbner basis g out to degree d of an ideal J and wants to
compute a Gröbner basis G out to degree D>d, then it is easier to start
the computation of G with g and not with J.
There is also no need to recompute S-polynomials of degree less than or
equal to d. Does anyone know if Singular tracks that or is aware of it? If
not, that might be a feature request upstream.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/11667#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.
