getAlgebra -- returns the algebra over which a stable or unstable Grothendieck-Witt class is defined

Description

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

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

i3 : getAlgebra beta

o3 = R

o3 : QuotientRing

See also

• GrothendieckWittClass -- a new type intended to capture the isomorphism class of an element of the Grothendieck-Witt ring of a field or finite étale algebras over a field
• UnstableGrothendieckWittClass -- a new type intended to capture an element of the unstable Grothendieck-Witt group of a field or finite étale algebras over a field
• getBaseField -- returns the base field of a stable or unstable Grothendieck-Witt class
• getMatrix -- returns the Gram matrix of a stable or unstable Grothendieck-Witt class
• getScalar -- returns the non-zero scalar of an unstable Grothendieck-Witt class