1.6.16 Поля, группы, кольца

Условие: Вычислить приведенный базис Гребнера идеала \( I=\left(x^{2}+y^{2}+z^{2}-1, x^{2}+z^{2}-y, x-z\right) \) в \( \mathbb{Q}[x, y, z] \) c lex-упорядочением \( x>y>z \).