-- -*- M2-comint -*- hash: 10032563038662123046

i1 : R = QQ[x,y,t]

o1 = R

o1 : PolynomialRing

i2 : I = intersect(ideal((y+t)^2), ideal(x^2, y^2 - t*x))

             4      2      3          2    2 2      3   2 2     2       2 2
o2 = ideal (y  - x*y t + 2y t - 2x*y*t  + y t  - x*t , x y  + 2x y*t + x t )

o2 : Ideal of R

i3 : radI = radical I

             2
o3 = ideal (y  + y*t, x*y + x*t)

o3 : Ideal of R

i4 : primes = associatedPrimes I

o4 = {ideal(y + t), ideal (y, x)}

o4 : List

i5 : L = primes / (P -> (P, noetherianOperators(I, P)))

o5 = {(ideal(y + t), {| 1 |, | dy |}), (ideal (y, x), {| 1 |, | dy |, |
     ------------------------------------------------------------------------
     tdy^2+2dx |, | tdy^3+6dxdy |})}

o5 : List

i6 : N = noethOpsFromComponents L

o6 = {| 1 |, | dy |, | (yt+t2)dy^2+(2y+2t)dx |, | (yt+t2)dy^3+(6y+6t)dxdy |}

o6 : List

i7 : all(flatten table(N, I_*, (D, f) -> (D f) % radI == 0), identity)

o7 = true

i8 : 
