Кстати, я немного вчитался и немного перестал понимать вычисление, что у них сделано. В середине страницы 12 они учат, что для кошулево двойственной алгебры базис Грёбнера состоит из x^2+yx, xz,zy, и xyx+y^2x. Что-то мне в это с трудом верится. Мне кажется, например, что xy^2x+y^3x тоже надо добавить, и вообще xy^kx+y^{k+1}x для всех k.