next | previous | forward | backward | up | top | index | toc | Macaulay2 web site
IntegralClosure :: icFracP(..., Verbosity => ...)

icFracP(..., Verbosity => ...) -- Prints out the conductor element and the number of intermediate modules it computed.

Synopsis

Description

The main use of the extra information is in computing the integral closure of principal ideals in R, via icPIdeal.
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

Further information