multiplyGW -- the tensor product of two Grothendieck-Witt classes

• Usage:

  multiplyGW(beta1, beta2)

• Inputs:
  • beta1, a Grothendieck-Witt Class, a Grothendieck-Witt class
  • beta2, a Grothendieck-Witt Class, a Grothendieck-Witt class
• Outputs:
  • gamma, a Grothendieck-Witt Class, a Grothendieck-Witt class representing the tensor product of the two input classes

i1 : R = QQ[x]/(x^2 + 1);

i2 : beta1 = makeGWClass matrix(R, {{1,2},{2,x}});

i3 : beta2 = makeGWClass matrix(R, {{3,4},{4,5}});

i4 : multiplyGW(beta1, beta2)

o4 = | 3 4  6  8  |
     | 4 5  8  10 |
     | 6 8  3x 4x |
     | 8 10 4x 5x |

o4 : GrothendieckWittClass