-- -*- M2-comint -*- hash: 4717189770430484904

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

o1 = | 0 1 |
     | 1 0 |

              2       2
o1 : Matrix QQ  <-- QQ

i2 : alpha = makeGWuClass(M, -4)

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

o2 : UnstableGrothendieckWittClass

i3 : class alpha

o3 = UnstableGrothendieckWittClass

o3 : Type

i4 : beta0 = makeGWClass matrix(QQ, {{0,1},{1,0}})

o4 = | 0 1 |
     | 1 0 |

o4 : GrothendieckWittClass

i5 : beta = makeGWuClass(beta0, -4)

o5 = (| 0 1 |, -4)
      | 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 : getMatrix delta

o11 = | 0 1 |
      | 1 0 |

               2       2
o11 : Matrix QQ  <-- QQ

i12 : getScalar delta

o12 = -1

o12 : QQ

i13 : getAlgebra delta

o13 = QQ

o13 : Ring

i14 : getBaseField delta

o14 = QQ

o14 : Ring

i15 : diagonalClass = getDiagonalClass beta;

i16 : beta.cache.getDiagonalClass

o16 = (| 2 0  |, -4)
       | 0 -2 |

o16 : UnstableGrothendieckWittClass

i17 : 
