fix: wrong computation of Groebner basis over Z/2^n