NumericRealEigenPackage(Par)

numeigen.spad line 193 [edit on github]

• 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)) -> Polynomial(Fraction(Integer))

characteristicPolynomial(m) returns the characteristic polynomial of the matrix m expressed as polynomial over RN with a new symbol as variable.

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.

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 .