Macaulay2 » Documentation
Packages » A1BrouwerDegrees :: getMatrix

next | previous | forward | backward | up | index | toc

getMatrix -- the underlying matrix of a Grothendieck-Witt class

Usage:

getMatrix beta
Inputs:
- beta, a Grothendieck-Witt Class, the isomorphism class of a non-degenerate symmetric bilinear form over a field of characteristic not 2
Outputs:
- a ring, the underlying matrix of the Grothendieck-Witt class beta

Description

Given the isomorphism class of a symmetric bilinear form, beta, this command outputs the underlying matrix of the form.

i1 : beta = makeGWClass matrix(QQ, {{0,2},{2,0}});

i2 : getMatrix beta

o2 = | 0 2 |
     | 2 0 |

              2       2
o2 : Matrix QQ  <-- QQ

See also

GrothendieckWittClass -- a new type, intended to capture the isomorphism class of an element of the Grothendieck-Witt ring of a base field
makeGWClass -- the Grothendieck-Witt class of a symmetric matrix

Ways to use getMatrix:

getMatrix(GrothendieckWittClass)

For the programmer

The object getMatrix is a method function.

The source of this document is in A1BrouwerDegrees/Documentation/GrothendieckWittClassesDoc.m2:87:0.