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

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 : icPIdeal(x, x^2, 3)

o3 = ideal (x, v*y)

o3 : Ideal of R

i4 :