Computing Popov and Hermite forms of rectangular polynomial matrices
Symbolic Computation
2018-05-21 v2
Abstract
We consider the computation of two normal forms for matrices over the univariate polynomials: the Popov form and the Hermite form. For matrices which are square and nonsingular, deterministic algorithms with satisfactory cost bounds are known. Here, we present deterministic, fast algorithms for rectangular input matrices. The obtained cost bound for the Popov form matches the previous best known randomized algorithm, while the cost bound for the Hermite form improves on the previous best known ones by a factor which is at least the largest dimension of the input matrix.
Cite
@article{arxiv.1802.01928,
title = {Computing Popov and Hermite forms of rectangular polynomial matrices},
author = {Vincent Neiger and Johan Rosenkilde and Grigory Solomatov},
journal= {arXiv preprint arXiv:1802.01928},
year = {2018}
}
Comments
ISSAC 2018, 8 pages, 4 algorithms, acmart sigconf style