Assertion: matrix's form | /r/HasProperty | determined by elementary divisors of a
Facets:
Source sentences:
text: The rational canonical form is determined by the elementary divisors of A; these can be immediately read off from a matrix in Jordan form, but they can also be determined directly for any matrix by computing the Smith normal form, over the ring of polynomials, of the matrix (with polynomial entries)