A normal form for definite quadratic forms over 𝔽_{𝕢}[𝕥]

Kirschmer, Markus

doi:10.1090/S0025-5718-2011-02570-6

A normal form for definite quadratic forms over $\mathbb {F}_q[t]$
HTML articles powered by AMS MathViewer

by Markus Kirschmer PDF

Math. Comp. 81 (2012), 1619-1634 Request permission

Abstract:

An efficient algorithm to compute automorphism groups and isometries of definite $\mathbb {F}_q[t]$-lattices for odd $q$ is presented. The algorithm requires several square root computations in $\mathbb {F}_{q^2}$ but no enumeration of orbits having more than eight elements.

References

Wieb Bosma, John Cannon, and Catherine Playoust, The Magma algebra system. I. The user language, J. Symbolic Comput. 24 (1997), no. 3-4, 235–265. Computational algebra and number theory (London, 1993). MR 1484478, DOI 10.1006/jsco.1996.0125
Dragomir Ž. Djoković, Hermitian matrices over polynomial rings, J. Algebra 43 (1976), no. 2, 359–374. MR 437565, DOI 10.1016/0021-8693(76)90119-8
Larry J. Gerstein, Definite quadratic forms over ${\Bbb F}_q[x]$, J. Algebra 268 (2003), no. 1, 252–263. MR 2005286, DOI 10.1016/S0021-8693(03)00114-5
M. Kirschmer, Ideal classes for quaternion orders, in prepration.
M. Kneser and R. Scharlau, Quadratische Formen, Springer-Verlag, 2002.
F. Lübeck, Tables of Conway polynomials, http://www.math.rwth-aachen.de/~Frank.Luebeck/data/ConwayPol/index.html.
H. Minkowski, Über die positiven quadratischen Formen und über kettenbruchähnliche Algorithmen, J. Reine Angew. Math. 107 (1891), 278–297.
W. Plesken and B. Souvignier, Computing isometries of lattices, J. Symbolic Comput. 24 (1997), no. 3-4, 327–334. Computational algebra and number theory (London, 1993). MR 1484483, DOI 10.1006/jsco.1996.0130