An introduction to pseudo-linear algebra
Selected papers of the conference on Algorithmic complexity of algebraic and geometric models
A subresultant theory for Ore polynomials with applications
ISSAC '98 Proceedings of the 1998 international symposium on Symbolic and algebraic computation
Subresultants and Reduced Polynomial Remainder Sequences
Journal of the ACM (JACM)
On Euclid's Algorithm and the Theory of Subresultants
Journal of the ACM (JACM)
The Subresultant PRS Algorithm
ACM Transactions on Mathematical Software (TOMS)
Hi-index | 0.00 |
Polynomial remainder sequences contain the intermediate results of the Euclidean algorithm when applied to (non-)commutative polynomials. The running time of the algorithm is dependent on the size of the coefficients of the remainders. Different ways have been studied to make these as small as possible. The subresultant sequence of two polynomials is a polynomial remainder sequence in which the size of the coefficients is optimal in the generic case, but when taking the input from applications, the coefficients are often larger than necessary. We generalize two improvements of the subresultant sequence to Ore polynomials and derive a new bound for the minimal coefficient size. Our approach also yields a new proof for the results in the commutative case, providing a new point of view on the origin of the extraneous factors of the coefficients.