#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 vbraun):
My issue with the name is that the truncation of the Groebner basis
computation is in general not the truncation of the Groebner basis. But it
is for homogeneous ideals which is the main use case, so maybe we should
use `truncated_groebner_basis` after all.
My main problem is not that I can't compute a truncated Groebner basis, it
is that I want to be able to use it as if it were a complete Groebner
basis. This is of course dangerous, but it is also an often-used trick. So
there should be a way to do it. It didn't occur to me to meddle with the
`groebner_basis` cache by hand, so we can't expect normal users to figure
this out. How about `truncated_groebner_basis(force=True)` to do that?
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/11667#comment:7>
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.
