Computation of integral solutions of a special type of systems of quadratic equations
Let S,T be n×n integral matrices and one of them positive definite. We develop a method to decide whether a solution X∈ℤn×n of XtrSX=T exists and, if the answer is affirmative, an algorithm for the computation of X. Some applications in algebraic number theory and lattice construction are presented.
KeywordsBasis Vector Type Frequency Reduction Theory Elementary Divisor Vector Type
Unable to display preview. Download preview PDF.
- G. Havas and L. Sterling, "Integer matrices and Abelian groups", Symbolic and Algebraic Computation (E. W. Ng, ed.), Lecture Notes in Computer Science 72, Springer Verlag (1979), 431–451.Google Scholar
- W. Plesken and M. Pohst, "Constructing integral lattices with prescribed minimum I", to appear.Google Scholar
- M. Pohst, "On the computation of lattice vectors of minimal length, successive minima and reduced bases with applications", ACM SIGSAM Bulletin vol. 15, no. 1 (1981), 37–44.Google Scholar