Macaulay2 » Documentation
Packages » A1BrouwerDegrees :: getIntegralDiscriminant
next | previous | forward | backward | up | index | toc

getIntegralDiscriminant -- computes the integral discriminant for a rational symmetric bilinear form

Synopsis

Description

i1 : beta = makeGWClass matrix(QQ, {{1,4,7},{4,3,-1},{7,-1,5}});
i2 : getIntegralDiscriminant beta

o2 = -269
i3 : getDiagonalClass beta

o3 = | 1 0   0    |
     | 0 -13 0    |
     | 0 0   3497 |

o3 : GrothendieckWittClass

See also

Ways to use getIntegralDiscriminant:

For the programmer

The object getIntegralDiscriminant is a method function.