-- -*- M2-comint -*- hash: 15722805791812360214

i1 : M = matrix(QQ, {{0,1},{1,0}})

o1 = | 0 1 |
     | 1 0 |

              2       2
o1 : Matrix QQ  <-- QQ

i2 : alpha = makeGWuClass(M, -9)

o2 = (| 0 1 |, -9)
      | 1 0 |

o2 : UnstableGrothendieckWittClass

i3 : class alpha

o3 = UnstableGrothendieckWittClass

o3 : Type

i4 : beta0 = makeGWClass M

o4 = | 0 1 |
     | 1 0 |

o4 : GrothendieckWittClass

i5 : beta = makeGWuClass(beta0, -9)

o5 = (| 0 1 |, -9)
      | 1 0 |

o5 : UnstableGrothendieckWittClass

i6 : class beta

o6 = UnstableGrothendieckWittClass

o6 : Type

i7 : gamma = makeGWuClass M

o7 = (| 0 1 |, -1)
      | 1 0 |

o7 : UnstableGrothendieckWittClass

i8 : class gamma

o8 = UnstableGrothendieckWittClass

o8 : Type

i9 : delta = makeGWuClass beta0

o9 = (| 0 1 |, -1)
      | 1 0 |

o9 : UnstableGrothendieckWittClass

i10 : class delta

o10 = UnstableGrothendieckWittClass

o10 : Type

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

i12 : P = matrix(R, {{1,0}, {0,x}});

              2      2
o12 : Matrix R  <-- R

i13 : makeGWuClass(P, x^3)
Warning, unable to verify whether the determinant of M and b agree up to squares.

o13 = (| 1 0 |, -x)
       | 0 x |

o13 : UnstableGrothendieckWittClass

i14 : 
