2 problems
Let be a polynomial ring, let be a term order on other than the graded reverse lexicographic order, and let be the smallest degree on which and th…
Recursive term-order conjecture. For this choice of term order, the recursive Gröbner basis conjecture for is true.