groebner-basis

Deriving Heron's formula with Sympy using Groebner basis Question: I’m trying to implement with Sympy the procedure described in this lecture, where Groebner basis is used to derive Heron’s formula, but I’m not able to implement the last step, the computation of the correct Groebner basis, surely because of my lack of understanding of the …