compute the Frobenius form of a matrix
a synonym for frobenius
(optional) assigned the transformation matrix
Important: The linalg package has been deprecated. Use the superseding command, LinearAlgebra[FrobeniusForm], instead.
- For information on migrating linalg code to the new packages, see examples/LinearAlgebraMigration.
The function frobenius(A) or ratform(A) computes and returns the Frobenius form F of a matrix A. This is also known as the Rational Canonical form of a matrix.
F has the following structure: F = diag(C, C,.., C[k]) where the Ci are companion matrices associated with polynomials p1,p2,..,pk with the property that pi divides pi−1, for i = 2..k.
If called in the form frobenius(A, 'P'), then P will be assigned the transformation matrix corresponding to the Frobenius form, that is, the matrix P such that inverse⁡P⁢A⁢P=F.
The Frobenius form defined in this way is unique (if we require that pi divides pi−1).
If the sizes of the blocks C1,C2,...,Ck are n1,n2,...,nk respectively, then the columns of the matrix P are the vectors [f1,A⁢f1,..,An1−1⁢f1,f2,...,fk,A⁢fk,...,Ank−1⁢fk]
These functions are part of the linalg package, and so can be used in the form frobenius(..) or ratform(..) only after performing the command with(linalg), or with(linalg,frobenius) or with(linalg,ratform). These functions can always be accessed in the long form linalg[frobenius](..) or linalg[ratform](..).
Ozello, Patrick. Calcul Exact des Formes de Jordan et de Frobenius d'une Matrice. PhD Thesis, Joseph Fourier University, Grenoble, France, 1987.
Martin, K., and Olazabal, J.M. "An Algorithm to Compute the Change Basis for the Rational Form of K-endomorphisms." Extracta Mathematicae, (August 1991): 142-144.
Download Help Document
What kind of issue would you like to report? (Optional)