wittOverringIdeal -- The expansion of the witt ideal to the witt overring.

• Usage:

  WOI = wittOverringIdeal(n, I)

• Inputs:
  • n, an integer,
  • I, an ideal, an ideal in a polynomial ring R of positive characteristic.
• Outputs:
  • WOI, an ideal, an ideal in the nth witt overring of R

i1 : R = (ZZ / 3)[x,y,z];

i2 : I = ideal(x^2, y^2, z^2);

o2 : Ideal of R

i3 : wittOverringIdeal(2, I)

             6   6   6    2    2    2
o3 = ideal (T , T , T , 3T , 3T , 3T )
             1   2   3    1    2    3

              ZZ[T ..T ]
                  1   3
o3 : Ideal of ----------
                   9