Вы правы, конечно! У меня была опечатка в двойственной алгебре. На самом деле ряды Гильберта абсолютно соответствуют: соотношения двойственной алгебры z*y, x*z, x*x+ y*x; базис Гребнера порожденного ими идеала (для deglex z>y>x) --- они же и еще моном z*x^2; ряд Гильберта двойственной алгебры получается в точности A(-t)^(-1).