i1 : A = QQ[x,y,z,MonomialOrder=>Lex];
i2 : I = ideal(x^2+y+z-1, x+y^2+z-1, x+y+z^2-1); o2 : Ideal of A
i3 : transpose gens gb I o3 = {-6} | z6-4z4+4z3-z2 | {-4} | 2yz2+z4-z2 | {-2} | y2-y-z2+z | {-2} | x+y+z2-1 | 4 1 o3 : Matrix A <-- A