#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):
Breaking out the functionality of a fake groebner basis sounds good. I'd
prefer `partial_groebner_basis` or `incomplete_groebner_basis` since it
doesn't imply that its a truncation of anything. The docstring can then
contain a big fat warning.
I don't see any good use case for a degree bound with inhomogeneous
ideals, but that doesn't mean that it doesn't exist. For very specific
ideals it might be useful to be able to compute with degree bounds even if
it is not homogeneous, so I want to keep open that possibliity. We should
probably show a warning in that case, though.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/11667#comment:4>
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.
