Computing Matrix Canonical Forms of Ore Polynomials
| dc.contributor.author | Khochtali, Mohamed | |
| dc.date.accessioned | 2017-05-01T15:22:21Z | |
| dc.date.available | 2017-05-01T15:22:21Z | |
| dc.date.issued | 2017-05-01 | |
| dc.date.submitted | 2017-04-21 | |
| dc.description.abstract | We present algorithms to compute canonical forms of matrices of Ore polynomials while controlling intermediate expression swell. Given a square non-singular input matrix of Ore polynomials, we give an extension of the algorithm by Labhalla et al. 1992, to compute the Hermite form. We also give a new fraction-free algorithm to compute the Popov form, accompanied by an implementation and experimental results that compare it to the best known algorithms in the literature. Our algorithm is output-sensitive, with a cost that depends on the orthogonality defect of the input matrix: the sum of the row degrees in the input matrix minus the sum of the row degrees in the Popov form. We also use the recent advances in polynomial matrix computations, including fast inversion and rank profile computation, to describe an algorithm that computes the transformation matrix corresponding to the Popov form. | en |
| dc.identifier.uri | http://hdl.handle.net/10012/11831 | |
| dc.language.iso | en | en |
| dc.pending | false | |
| dc.publisher | University of Waterloo | en |
| dc.subject | Computer Algebra | en |
| dc.subject | Symbolic Computation | en |
| dc.subject | Linear Algebra | en |
| dc.subject | Popov Form | en |
| dc.subject | Hermite Form | en |
| dc.subject | Fast Algorithms | en |
| dc.title | Computing Matrix Canonical Forms of Ore Polynomials | en |
| dc.type | Master Thesis | en |
| uws-etd.degree | Master of Mathematics | en |
| uws-etd.degree.department | David R. Cheriton School of Computer Science | en |
| uws-etd.degree.discipline | Computer Science | en |
| uws-etd.degree.grantor | University of Waterloo | en |
| uws.contributor.advisor | Storjohann, Arne | |
| uws.contributor.affiliation1 | Faculty of Mathematics | en |
| uws.peerReviewStatus | Unreviewed | en |
| uws.published.city | Waterloo | en |
| uws.published.country | Canada | en |
| uws.published.province | Ontario | en |
| uws.scholarLevel | Graduate | en |
| uws.typeOfResource | Text | en |