integralDiscriminant -- outputs an integral discriminant for a rational symmetric bilinear form

Synopsis

• Usage:

  integralDiscriminant(beta)

• Inputs:
  • beta, a Grothendieck Witt Class, denoted by $\beta\in\text{GW}(\mathbb{Q})$
• Outputs:
  • an integer, an integral square class representative of $\text{disc}(\beta)$

Description

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

i2 : integralDiscriminant(beta)

o2 = -269

i3 : diagonalClass(beta)

o3 = GrothendieckWittClass{cache => CacheTable{}   }
                           matrix => | 1 0   0    |
                                     | 0 -13 0    |
                                     | 0 0   3497 |

o3 : GrothendieckWittClass