NumericRealEigenPackage Par¶

Par: Join(Field, OrderedRing)

This package computes explicitly eigenvalues and eigenvectors of matrices with entries over the Rational Numbers. The results are expressed as floating numbers or as rational numbers depending on the type of the parameter Par.

characteristicPolynomial: (Matrix Fraction Integer, Symbol) -> Polynomial Fraction Integer: characteristicPolynomial(m, x) returns the characteristic polynomial of the matrix m expressed as polynomial over RN with variable x.

characteristicPolynomial: Matrix Fraction Integer -> Polynomial Fraction Integer: characteristicPolynomial(m) returns the characteristic polynomial of the matrix m expressed as polynomial over RN with a new symbol as variable.

realEigenvalues: (Matrix Fraction Integer, Par) -> List Par: realEigenvalues(m, eps) computes the eigenvalues of the matrix m to precision eps. The eigenvalues are expressed as floats or rational numbers depending on the type of eps (float or rational).

realEigenvectors: (Matrix Fraction Integer, Par) -> List Record(outval: Par, outmult: Integer, outvect: List Matrix Par): realEigenvectors(m, eps) returns a list of records each one containing a real eigenvalue, its algebraic multiplicity, and a list of associated eigenvectors. All these results are computed to precision eps as floats or rational numbers depending on the type of eps .