-- -*- M2-comint -*- hash: 17325079178145798952

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

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

i3 : class beta

o3 = GrothendieckWittClass

o3 : Type

i4 : getMatrix beta

o4 = | 1 2 |
     | 2 x |

             2      2
o4 : Matrix R  <-- R

i5 : getAlgebra beta

o5 = R

o5 : QuotientRing

i6 : getBaseField beta

o6 = R[]

o6 : PolynomialRing

i7 : diagonalClass = getDiagonalClass beta;

i8 : beta.cache.getDiagonalClass

o8 = | 1 0   |
     | 0 x-4 |

o8 : GrothendieckWittClass

i9 : 
