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

i1 : R = QQ[w,x,y,z];

i2 : (L,p) = irreducibleCharacteristicSeries ideal(x^2-y*w,x^3-z*w^2)

o2 = ({| -zw2+x3 -yw+x2 |, | x w |}, map(R,QQ[y, z, w, x],{y, z, w, x}))

o2 : Sequence

i3 : apply(L, m -> p m)

o3 = {| x3-w2z x2-wy |, | x w |}

o3 : List

i4 : p^-1

o4 = map(QQ[y, z, w, x],R,{w, x, y, z})

o4 : RingMap QQ[y, z, w, x] <--- R

i5 :