#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 SimonKing):
Replying to [comment:7 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.
Yes. And therefore (at least according to the terminology that I learnt)
one has "Gröbner basis out to degree d" on the one hand (that is: the
Gröbner basis is completely known out to degree d), and "Gröbner basis
truncated at degree d" on the other hand (that is: all S-polynomials of
degree at most d can be reduced to zero). For homogeneous ideals the two
notions coincide.
> 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?
I don't understand what `truncated_groebner_basis(force=True)` is supposed
to do. Do you mean that it should insert the truncated basis into the
cache of the `groebner_basis` method (in the way I indicated earlier),
such that it will be used in all subsequent normal form computations?
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/11667#comment:8>
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.
