Finite generating set G ⊂ I with LT(G) generating LT(I) under a term order. Buchberger's algorithm 1965; effective ideal membership, elimination, solving.
Finite generating set G ⊂ I with LT(G) generating LT(I) under a term order. Buchberger's algorithm 1965; effective ideal membership, elimination, solving.