#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):
Replying to [comment:13 john_perry]:
> If the user subsequently called `groebner_basis()`, would it return the
truncated version even if the correct basis was desired?
No. By definition, it this would not be desired after the user forced Sage
to use the incomplete Groebner basis.
> If so, how would one avoid that?
One would not. If you go out of your way to break it, you get to keep both
pieces.
Your hypothetical ignorant user could have just as well modified the
`@cached_method` cache and thus broken mathematical correctness. The
`truncated_groebner_basis()` method will at least have documentation that
warns against precisely this.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/11667#comment:14>
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.
