References & Citations
Computer Science > Symbolic Computation
Title: A Polynomial-time Algorithm to Compute Generalized Hermite Normal Form of Matrices over Z[x]
(Submitted on 6 Jan 2016 (v1), last revised 21 Jul 2016 (this version, v2))
Abstract: In this paper, a polynomial-time algorithm is given to compute the generalized Hermite normal form for a matrix F over Z[x], or equivalently, the reduced Groebner basis of the Z[x]-module generated by the column vectors of F. The algorithm is also shown to be practically more efficient than existing algorithms. The algorithm is based on three key ingredients. First, an F4 style algorithm to compute the Groebner basis is adopted, where a novel prolongation is designed such that the coefficient matrices under consideration have polynomial sizes. Second, fast algorithms to compute Hermite normal forms of matrices over Z are used. Third, the complexity of the algorithm are guaranteed by a nice estimation for the degree and height bounds of the polynomials in the generalized Hermite normal form.
Submission history
From: Xiao-Shan Gao [view email][v1] Wed, 6 Jan 2016 03:32:37 GMT (83kb)
[v2] Thu, 21 Jul 2016 10:43:53 GMT (80kb)
Link back to: arXiv, form interface, contact.