WittRingElement + WittRingElement -- Addition 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 sum 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

                4      3 2     2 3      4
o4 = {x + z, - x z - 2x z  - 2x z  - x*z  + y + w}

o4 : WittRingElement