First time here? Check out the FAQ!
answered 2021-05-03 12:40:49 +0100
If you want to simulate the steps of Buchberger algorithm, you can have a look at https://doc.sagemath.org/html/en/reference/polynomial_rings/sage/rings/polynomial/toy_buchberger.html