icPIdeal -- compute the integral closure in prime characteristic of a principal ideal

Synopsis

• Usage:

  icPIdeal (a, D, N)

• Inputs:
  • a, an element in R
  • D, a non-zerodivisor of R that is in the conductor
  • N, the number of steps in icFracP to compute the integral closure of R, by using the conductor element D
• Outputs:
  • the integral closure of the ideal (a).

Description

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

Caveat

See also

• icFracP -- compute the integral closure in prime characteristic