WittRingElement * WittRingElement -- Multiplication of WittRingElements.

• Operator: *

• Usage:

  w = w1*w2

• Inputs:
  • w1, an instance of the type WittRingElement,
  • w2, an instance of the type WittRingElement, elements of a Witt ring
• Outputs:
  • w, an instance of the type WittRingElement, the product of w1 and w2

i1 : R = ZZ/5[x,y,z,w]

o1 = R

o1 : PolynomialRing

i2 : w1 = witt{x,y}

o2 = {x, y}

o2 : WittRingElement

i3 : w2 = witt{z,w}

o3 = {z, w}

o3 : WittRingElement

i4 : w1*w2

              5    5
o4 = {x*z, y*z  + x w}

o4 : WittRingElement