wittIdeal -- Make an ideal in a Witt ring.

• Usage:

  WI = wittIdeal(L)

  WI = wittIdeal(S)

  WI = wittIdeal(w)

• Inputs:
  • L, a list, of WittRingElements.
  • S, a sequence, of WittRingElements.
  • w, an instance of the type WittRingElement,
• Outputs:
  • WI, an instance of the type WittIdeal,

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

i2 : WR = witt(2, R);

i3 : w1 = witt{x,y};

i4 : w2 = witt{x^2, y^2};

i5 : w3 = witt{x^3, y^3};

i6 : WI = wittIdeal(w1, w2, w3)

                      2   2     3   3
o6 = ideal ({x, y}, {x , y }, {x , y })

o6 : WittIdeal