-- -*- M2-comint -*- {* hash: 1193178741 *}

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

i4 :