explicit(WittIdeal) -- Obtains the explicit version of a WittIdeal.

• Function: explicit (missing documentation)

• Usage:

  J := explicit(WI)

• Inputs:
  • WI, an instance of the type WittIdeal,
• Outputs:
  • J, an ideal,

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

i2 : w1 := witt{x,y};

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

i4 : I := wittIdeal(w1, w2)

                      2   2
o4 = ideal ({x, y}, {x , y })

o4 : WittIdeal