next | previous | forward | backward | up | top | index | toc | Macaulay2 website
SubalgebraBases :: extrinsicBuchberger

extrinsicBuchberger -- Computes a Gröbner basis of an ideal within a subring.



This is an implementation of Algorithm 11.24 of "Gröbner Bases and Convex Polytopes" by Bernd Sturmfels. This function works similar to the function groebnerBasis(Matrix), except that the "field of scalars" is a subring.

Ways to use extrinsicBuchberger :

For the programmer

The object extrinsicBuchberger is a method function.