QQ[x,y,z] I=ideal(x,y,z) J=syz gens I J2=syz J J3=syz J2