l = lct I
i1 : QQ[x_1..x_3];
i2 : I = ideal (x_2^2-x_1*x_3, x_1^3-x_3^2); o2 : Ideal of QQ[x ..x ] 1 3
i3 : lct I 17 o3 = -- 12 o3 : QQ