i1 : R = QQ[t][a..d];

i2 : I = ideal(a,(t+1)*c) + ideal(a^2,b^2) 2 2 o2 = ideal (a, (t + 1)c, a , b ) o2 : Ideal of R

i3 : trim I 2 o3 = ideal (a, (t + 1)c, b ) o3 : Ideal of R