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

i1 : R=ZZ/3[u,v,x,y]/ideal(u*x^2-v*y^2);

i2 : icFracP(R, Verbosity => 1)
Number of steps: 3,  Conductor Element: x^2

         u*x
o2 = {1, ---}
          y

o2 : List

i3 : S = ZZ/3[x,y,u,v];

i4 : R = S/kernel map(S,S,{x-y,x+y^2,x*y,x^2});

i5 : icFracP(R, Verbosity => 1)
Number of steps: 4,  Conductor Element: x*u*v^2-x*v^3

      u - v  x + y - v
o5 = {-----, ---------, 1}
        x      x + 1

o5 : List

i6 :