# Does MAGMA have a function to decide if two indefinite, integral quadratic forms are isometric?

Let's say we have two $n$-dimensional lattices $(V,b)$ and $(W,b_1)$ equipped with integral bilinear forms $b$ and $b_1$ respectively. Is there an implemented function in MAGMA that decides whether $(V,b)$ and $(W,b_1)$ are isometric? Equivalently given two symmetric $n \times n$ integer matrices $M$ and $N$, is there any function that decides if $T^{t}MT=N$ for some $T \in GL_{n}(Z)$. For positive definite $M$ and $N$ one can do it by defining LM:=LatticeWithGram(M) and LN:=LatticeWithGram(N) and then asking IsIsometric(LM,LN). Since the input of LatticeWithGram must be positive definite, the above does not work for indefinite matrices.

-
You should probably ask this is some MAGMA forum... –  Mariano Suárez-Alvarez Nov 26 '09 at 12:16
Or e-mail Harris Nover...he knows all this stuff. –  Ben Weiss Mar 20 '10 at 2:35