#5656: add hint to lift() function to docstring of groebner_basis()
---------------------------------+------------------------------------------
Reporter: malb | Owner: malb
Type: defect | Status: new
Priority: major | Milestone: sage-3.4.1
Component: commutative algebra | Keywords: docstring, doc, Groebner basis
---------------------------------+------------------------------------------
On [sage-support]:
> > On Tuesday 31 March 2009, Florian wrote:
> > Hello everyone,
> >
> > I've been trying to figure out whether the following
> > functionality is implemented, but so far I could not. I was
> > hoping that anyone would know if it existed and in that case
> > what the syntax is.
> >
> > Suppose you computed the reduced Groebner Basis G of an ideal
> > I= (f1,...,fn) in some polynomial ring R, and suppose that
> > that Groebner Basis turned out to be G=(1). Is there a
> > function that finds some, maybe even all, combinations of
> > coefficients h1,...,hn such that h1*f1+...+hn*fn=1?
> >
> > This is basically a byproduct of e.g. the Buchberger
> > Algorithm. The question is whether this information can be
> > accessed.
Martin answers ... and William Stein replies:
> Martin, since this is a frequently asked question, do you think
> something about this should be added to the groebner_basis
> docstring? The groebner_basis docstring is 3 pages right now, so
> this shouldn't be too far down there.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/5656>
Sage <http://sagemath.org/>
Sage - Open Source Mathematical Software: Building the Car Instead of
Reinventing the Wheel
--~--~---------~--~----~------------~-------~--~----~
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
-~----------~----~----~----~------~----~------~--~---
