X-Git-Url: http://gitweb.michael.orlitzky.com/?a=blobdiff_plain;f=src%2FLinear%2FQR.hs;h=043b17256e6af341dbe1fe3a34f18dff649a20a7;hb=2a2db25a6667b2b078390e9ddfadad8c367839ee;hp=b628c125e2b0f3b3fc44c449917e8045d72f2dd7;hpb=3c6f9a8f75456cddf31949a44ed2b5be9bc44a12;p=numerical-analysis.git diff --git a/src/Linear/QR.hs b/src/Linear/QR.hs index b628c12..043b172 100644 --- a/src/Linear/QR.hs +++ b/src/Linear/QR.hs @@ -155,7 +155,7 @@ qr matrix = ifoldl (f col_idx) (q,r) col -- | Process the entries in a column, doing basically the same - -- thing as col_dunction does. It updates the QR factorization, + -- thing as col_function does. It updates the QR factorization, -- maybe, and returns the current one. f col_idx (q,r) idx _ -- ignore the current element | idx <= col_idx = (q,r) -- leave it alone @@ -171,6 +171,9 @@ qr matrix = -- iterated QR algorithm (see Golub and Van Loan, \"Matrix -- Computations\"). -- +-- Warning: this may not converge if there are repeated eigenvalues +-- (in magnitude). +-- -- Examples: -- -- >>> import Linear.Matrix ( Col2, Col3, Mat2, Mat3 ) @@ -198,12 +201,20 @@ eigenvalues :: forall m a. (Arity m, Algebraic.C a, Eq a) => Int -> Mat (S m) (S m) a -> Col (S m) a -eigenvalues iterations matrix = - diagonal (ut_approximation iterations) - where - ut_approximation :: Int -> Mat (S m) (S m) a - ut_approximation 0 = matrix - ut_approximation k = rk*qk where (qk,rk) = qr (ut_approximation (k-1)) +eigenvalues iterations matrix + | iterations < 0 = error "negative iterations requested" + | iterations == 0 = diagonal matrix + | otherwise = + diagonal (ut_approximation (iterations - 1)) + where + ut_approximation :: Int -> Mat (S m) (S m) a + ut_approximation 0 = matrix + ut_approximation k = ut_next + where + ut_prev = ut_approximation (k-1) + (qk,rk) = qr ut_prev + ut_next = rk*qk + -- | Compute the eigenvalues and eigenvectors of a symmetric matrix @@ -214,6 +225,9 @@ eigenvalues iterations matrix = -- references see Goluv and Van Loan, \"Matrix Computations\", or -- \"Calculation of Gauss Quadrature Rules\" by Golub and Welsch. -- +-- Warning: this may not converge if there are repeated eigenvalues +-- (in magnitude). +-- -- Examples: -- -- >>> import Linear.Matrix ( Col2, Col3, Mat2, Mat3 ) @@ -268,8 +282,7 @@ eigenvectors_symmetric iterations matrix where (t_prev, p_prev) = tp_pair (k-1) (qk,rk) = qr t_prev - tk = rk*qk pk = p_prev*qk - + tk = rk*qk (values, vectors) = (first diagonal) (tp_pair iterations)