linalg[frobenius] - compute the Frobenius form of a matrix
linalg[ratform] - a synonym for frobenius
|
Calling Sequence
|
|
frobenius(A)
frobenius(A, 'P')
|
|
Parameters
|
|
A
|
-
|
square matrix
|
'P'
|
-
|
(optional) assigned the transformation matrix
|
|
|
|
|
Description
|
|
•
|
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.
|
•
|
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 .
|
•
|
The Frobenius form defined in this way is unique (if we require that divides ).
|
•
|
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](..).
|
|
|
References
|
|
|
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.
|
|
|