Revision history [back]

A simpler way to find where buchberger() function is located could be the use of the import_statements() function:

sage: import_statements('buchberger')
from sage.rings.polynomial.toy_buchberger import buchberger
sage: from sage.rings.polynomial.toy_buchberger import buchberger
sage: buchberger??