xref: /honee/qfunctions/utils_eigensolver_jacobi.h (revision c7ece6efd17014bd7b01fc517a8c82707db4fa34)
1dc936754SJeremy L Thompson // Copyright (c) 2017-2024, Lawrence Livermore National Security, LLC and other CEED contributors.
2bfa7851aSJames Wright // All Rights Reserved. See the top-level LICENSE and NOTICE files for details.
3bfa7851aSJames Wright //
4bfa7851aSJames Wright // SPDX-License-Identifier: BSD-2-Clause
5bfa7851aSJames Wright //
6bfa7851aSJames Wright // This file is part of CEED:  http://github.com/ceed
7bfa7851aSJames Wright 
8bfa7851aSJames Wright /// @file
9bfa7851aSJames Wright /// Eigen system solver for symmetric NxN matrices. Modified from the CC0 code provided at https://github.com/jewettaij/jacobi_pd
10*c7ece6efSJeremy L Thompson #pragma once
11bfa7851aSJames Wright 
12bfa7851aSJames Wright #include <ceed.h>
13bfa7851aSJames Wright #include <math.h>
14bfa7851aSJames Wright 
15bfa7851aSJames Wright #include "utils.h"
16bfa7851aSJames Wright 
17bfa7851aSJames Wright // @typedef choose the criteria for sorting eigenvalues and eigenvectors
18bfa7851aSJames Wright typedef enum eSortCriteria {
19bfa7851aSJames Wright   SORT_NONE,
20bfa7851aSJames Wright   SORT_DECREASING_EVALS,
21bfa7851aSJames Wright   SORT_INCREASING_EVALS,
22bfa7851aSJames Wright   SORT_DECREASING_ABS_EVALS,
23bfa7851aSJames Wright   SORT_INCREASING_ABS_EVALS
24bfa7851aSJames Wright } SortCriteria;
25bfa7851aSJames Wright 
26bfa7851aSJames Wright ///@brief Find the off-diagonal index in row i whose absolute value is largest
27bfa7851aSJames Wright ///
28bfa7851aSJames Wright /// @param[in] *A matrix
29bfa7851aSJames Wright /// @param[in] i row index
30bfa7851aSJames Wright /// @returns   Index of absolute largest off-diagonal element in row i
31bfa7851aSJames Wright CEED_QFUNCTION_HELPER CeedInt MaxEntryRow(const CeedScalar *A, CeedInt N, CeedInt i) {
32bfa7851aSJames Wright   CeedInt j_max = i + 1;
33bfa7851aSJames Wright   for (CeedInt j = i + 2; j < N; j++)
34bfa7851aSJames Wright     if (fabs(A[i * N + j]) > fabs(A[i * N + j_max])) j_max = j;
35bfa7851aSJames Wright   return j_max;
36bfa7851aSJames Wright }
37bfa7851aSJames Wright 
38bfa7851aSJames Wright /// @brief Find the indices (i_max, j_max) marking the location of the
39bfa7851aSJames Wright ///        entry in the matrix with the largest absolute value.  This
40bfa7851aSJames Wright ///        uses the max_idx_row[] array to find the answer in O(n) time.
41bfa7851aSJames Wright ///
42bfa7851aSJames Wright /// @param[in]    *A    matrix
43bfa7851aSJames Wright /// @param[inout] i_max row index
44bfa7851aSJames Wright /// @param[inout] j_max column index
45bfa7851aSJames Wright CEED_QFUNCTION_HELPER void MaxEntry(const CeedScalar *A, CeedInt N, CeedInt *max_idx_row, CeedInt *i_max, CeedInt *j_max) {
46bfa7851aSJames Wright   *i_max               = 0;
47bfa7851aSJames Wright   *j_max               = max_idx_row[*i_max];
48bfa7851aSJames Wright   CeedScalar max_entry = fabs(A[*i_max * N + *j_max]);
49bfa7851aSJames Wright   for (CeedInt i = 1; i < N - 1; i++) {
50bfa7851aSJames Wright     CeedInt j = max_idx_row[i];
51bfa7851aSJames Wright     if (fabs(A[i * N + j]) > max_entry) {
52bfa7851aSJames Wright       max_entry = fabs(A[i * N + j]);
53bfa7851aSJames Wright       *i_max    = i;
54bfa7851aSJames Wright       *j_max    = j;
55bfa7851aSJames Wright     }
56bfa7851aSJames Wright   }
57bfa7851aSJames Wright }
58bfa7851aSJames Wright 
59bfa7851aSJames Wright /// @brief Calculate the components of a rotation matrix which performs a
60bfa7851aSJames Wright ///        rotation in the i,j plane by an angle (θ) that (when multiplied on
61bfa7851aSJames Wright ///        both sides) will zero the ij'th element of A, so that afterwards
62bfa7851aSJames Wright ///        A[i][j] = 0.  The results will be stored in c, s, and t
63bfa7851aSJames Wright ///        (which store cos(θ), sin(θ), and tan(θ), respectively).
64bfa7851aSJames Wright ///
65bfa7851aSJames Wright /// @param[in] *A matrix
66bfa7851aSJames Wright /// @param[in] i row index
67bfa7851aSJames Wright /// @param[in] j column index
68bfa7851aSJames Wright CEED_QFUNCTION_HELPER void CalcRot(const CeedScalar *A, CeedInt N, CeedInt i, CeedInt j, CeedScalar *rotmat_cst) {
69bfa7851aSJames Wright   rotmat_cst[2]      = 1.0;  // = tan(θ)
70bfa7851aSJames Wright   CeedScalar A_jj_ii = (A[j * N + j] - A[i * N + i]);
71bfa7851aSJames Wright   if (A_jj_ii != 0.0) {
72bfa7851aSJames Wright     // kappa = (A[j][j] - A[i][i]) / (2*A[i][j])
73bfa7851aSJames Wright     CeedScalar kappa = A_jj_ii;
74bfa7851aSJames Wright     rotmat_cst[2]    = 0.0;
75bfa7851aSJames Wright     CeedScalar A_ij  = A[i * N + j];
76bfa7851aSJames Wright     if (A_ij != 0.0) {
77bfa7851aSJames Wright       kappa /= (2.0 * A_ij);
78bfa7851aSJames Wright       // t satisfies: t^2 + 2*t*kappa - 1 = 0
79bfa7851aSJames Wright       // (choose the root which has the smaller absolute value)
80bfa7851aSJames Wright       rotmat_cst[2] = 1.0 / (sqrt(1 + kappa * kappa) + fabs(kappa));
81bfa7851aSJames Wright       if (kappa < 0.0) rotmat_cst[2] = -rotmat_cst[2];
82bfa7851aSJames Wright     }
83bfa7851aSJames Wright   }
84bfa7851aSJames Wright   rotmat_cst[0] = 1.0 / sqrt(1 + rotmat_cst[2] * rotmat_cst[2]);
85bfa7851aSJames Wright   rotmat_cst[1] = rotmat_cst[0] * rotmat_cst[2];
86bfa7851aSJames Wright }
87bfa7851aSJames Wright 
88bfa7851aSJames Wright /// @brief  Perform a similarity transformation by multiplying matrix A on both
89bfa7851aSJames Wright ///         sides by a rotation matrix (and its transpose) to eliminate A[i][j].
90bfa7851aSJames Wright /// @details This rotation matrix performs a rotation in the i,j plane by
91bfa7851aSJames Wright ///         angle θ.  This function assumes that c=cos(θ). s=sin(θ), t=tan(θ)
92bfa7851aSJames Wright ///         have been calculated in advance (using the CalcRot() function).
93bfa7851aSJames Wright ///         It also assumes that i<j.  The max_idx_row[] array is also updated.
94bfa7851aSJames Wright ///         To save time, since the matrix is symmetric, the elements
95bfa7851aSJames Wright ///         below the diagonal (ie. A[u][v] where u>v) are not computed.
96bfa7851aSJames Wright /// @verbatim
97bfa7851aSJames Wright ///   A' = R^T * A * R
98bfa7851aSJames Wright /// where R the rotation in the i,j plane and ^T denotes the transpose.
99bfa7851aSJames Wright ///                 i         j
100bfa7851aSJames Wright ///       _                             _
101bfa7851aSJames Wright ///      |  1                            |
102bfa7851aSJames Wright ///      |    .                          |
103bfa7851aSJames Wright ///      |      .                        |
104bfa7851aSJames Wright ///      |        1                      |
105bfa7851aSJames Wright ///      |          c   ...   s          |
106bfa7851aSJames Wright ///      |          .  .      .          |
107bfa7851aSJames Wright /// R  = |          .    1    .          |
108bfa7851aSJames Wright ///      |          .      .  .          |
109bfa7851aSJames Wright ///      |          -s  ...   c          |
110bfa7851aSJames Wright ///      |                      1        |
111bfa7851aSJames Wright ///      |                        .      |
112bfa7851aSJames Wright ///      |                          .    |
113bfa7851aSJames Wright ///      |_                           1 _|
114bfa7851aSJames Wright /// @endverbatim
115bfa7851aSJames Wright ///
116bfa7851aSJames Wright /// Let A' denote the matrix A after multiplication by R^T and R.
117bfa7851aSJames Wright /// The components of A' are:
118bfa7851aSJames Wright ///
119bfa7851aSJames Wright /// @verbatim
120bfa7851aSJames Wright ///   A'_uv =  Σ_w  Σ_z   R_wu * A_wz * R_zv
121bfa7851aSJames Wright /// @endverbatim
122bfa7851aSJames Wright ///
123bfa7851aSJames Wright /// Note that a the rotation at location i,j will modify all of the matrix
124bfa7851aSJames Wright /// elements containing at least one index which is either i or j
125bfa7851aSJames Wright /// such as: A[w][i], A[i][w], A[w][j], A[j][w].
126bfa7851aSJames Wright /// Check and see whether these modified matrix elements exceed the
127bfa7851aSJames Wright /// corresponding values in max_idx_row[] array for that row.
128bfa7851aSJames Wright /// If so, then update max_idx_row for that row.
129bfa7851aSJames Wright /// This is somewhat complicated by the fact that we must only consider
130bfa7851aSJames Wright /// matrix elements in the upper-right triangle strictly above the diagonal.
131bfa7851aSJames Wright /// (ie. matrix elements whose second index is > the first index).
132bfa7851aSJames Wright /// The modified elements we must consider are marked with an "X" below:
133bfa7851aSJames Wright ///
134bfa7851aSJames Wright /// @verbatim
135bfa7851aSJames Wright ///                 i         j
136bfa7851aSJames Wright ///       _                             _
137bfa7851aSJames Wright ///      |  .       X         X          |
138bfa7851aSJames Wright ///      |    .     X         X          |
139bfa7851aSJames Wright ///      |      .   X         X          |
140bfa7851aSJames Wright ///      |        . X         X          |
141bfa7851aSJames Wright ///      |          X X X X X 0 X X X X  |  i
142bfa7851aSJames Wright ///      |            .       X          |
143bfa7851aSJames Wright ///      |              .     X          |
144bfa7851aSJames Wright /// A  = |                .   X          |
145bfa7851aSJames Wright ///      |                  . X          |
146bfa7851aSJames Wright ///      |                    X X X X X  |  j
147bfa7851aSJames Wright ///      |                      .        |
148bfa7851aSJames Wright ///      |                        .      |
149bfa7851aSJames Wright ///      |                          .    |
150bfa7851aSJames Wright ///      |_                           . _|
151bfa7851aSJames Wright /// @endverbatim
152bfa7851aSJames Wright ///
153bfa7851aSJames Wright /// @param[in] *A matrix
154bfa7851aSJames Wright /// @param[in] i row index
155bfa7851aSJames Wright /// @param[in] j column index
156bfa7851aSJames Wright CEED_QFUNCTION_HELPER void ApplyRot(CeedScalar *A, CeedInt N, CeedInt i, CeedInt j, CeedInt *max_idx_row, CeedScalar *rotmat_cst) {
157bfa7851aSJames Wright   // Compute the diagonal elements of A which have changed:
158bfa7851aSJames Wright   A[i * N + i] -= rotmat_cst[2] * A[i * N + j];
159bfa7851aSJames Wright   A[j * N + j] += rotmat_cst[2] * A[i * N + j];
160bfa7851aSJames Wright   // Note: This is algebraically equivalent to:
161bfa7851aSJames Wright   // A[i][i] = c*c*A[i][i] + s*s*A[j][j] - 2*s*c*A[i][j]
162bfa7851aSJames Wright   // A[j][j] = s*s*A[i][i] + c*c*A[j][j] + 2*s*c*A[i][j]
163bfa7851aSJames Wright 
164bfa7851aSJames Wright   // Update the off-diagonal elements of A which will change (above the diagonal)
165bfa7851aSJames Wright 
166bfa7851aSJames Wright   A[i * N + j] = 0.0;
167bfa7851aSJames Wright 
168bfa7851aSJames Wright   // compute A[w][i] and A[i][w] for all w!=i,considering above-diagonal elements
169bfa7851aSJames Wright   for (CeedInt w = 0; w < i; w++) {                                              // 0 <= w <  i  <  j < N
170bfa7851aSJames Wright     A[i * N + w] = A[w * N + i];                                                 // backup the previous value. store below diagonal (i>w)
171bfa7851aSJames Wright     A[w * N + i] = rotmat_cst[0] * A[w * N + i] - rotmat_cst[1] * A[w * N + j];  // A[w][i], A[w][j] from previous iteration
172bfa7851aSJames Wright     if (i == max_idx_row[w]) max_idx_row[w] = MaxEntryRow(A, N, w);
173bfa7851aSJames Wright     else if (fabs(A[w * N + i]) > fabs(A[w * N + max_idx_row[w]])) max_idx_row[w] = i;
174bfa7851aSJames Wright   }
175bfa7851aSJames Wright   for (CeedInt w = i + 1; w < j; w++) {                                          // 0 <= i <  w  <  j < N
176bfa7851aSJames Wright     A[w * N + i] = A[i * N + w];                                                 // backup the previous value. store below diagonal (w>i)
177bfa7851aSJames Wright     A[i * N + w] = rotmat_cst[0] * A[i * N + w] - rotmat_cst[1] * A[w * N + j];  // A[i][w], A[w][j] from previous iteration
178bfa7851aSJames Wright   }
179bfa7851aSJames Wright   for (CeedInt w = j + 1; w < N; w++) {                                          // 0 <= i < j+1 <= w < N
180bfa7851aSJames Wright     A[w * N + i] = A[i * N + w];                                                 // backup the previous value. store below diagonal (w>i)
181bfa7851aSJames Wright     A[i * N + w] = rotmat_cst[0] * A[i * N + w] - rotmat_cst[1] * A[j * N + w];  // A[i][w], A[j][w] from previous iteration
182bfa7851aSJames Wright   }
183bfa7851aSJames Wright 
184bfa7851aSJames Wright   // now that we're done modifying row i, we can update max_idx_row[i]
185bfa7851aSJames Wright   max_idx_row[i] = MaxEntryRow(A, N, i);
186bfa7851aSJames Wright 
187bfa7851aSJames Wright   // compute A[w][j] and A[j][w] for all w!=j,considering above-diagonal elements
188bfa7851aSJames Wright   for (CeedInt w = 0; w < i; w++) {                                              // 0 <=  w  <  i <  j < N
189bfa7851aSJames Wright     A[w * N + j] = rotmat_cst[1] * A[i * N + w] + rotmat_cst[0] * A[w * N + j];  // A[i][w], A[w][j] from previous iteration
190bfa7851aSJames Wright     if (j == max_idx_row[w]) max_idx_row[w] = MaxEntryRow(A, N, w);
191bfa7851aSJames Wright     else if (fabs(A[w * N + j]) > fabs(A[w * N + max_idx_row[w]])) max_idx_row[w] = j;
192bfa7851aSJames Wright   }
193bfa7851aSJames Wright   for (CeedInt w = i + 1; w < j; w++) {                                          // 0 <= i+1 <= w <  j < N
194bfa7851aSJames Wright     A[w * N + j] = rotmat_cst[1] * A[w * N + i] + rotmat_cst[0] * A[w * N + j];  // A[w][i], A[w][j] from previous iteration
195bfa7851aSJames Wright     if (j == max_idx_row[w]) max_idx_row[w] = MaxEntryRow(A, N, w);
196bfa7851aSJames Wright     else if (fabs(A[w * N + j]) > fabs(A[w * N + max_idx_row[w]])) max_idx_row[w] = j;
197bfa7851aSJames Wright   }
198bfa7851aSJames Wright   for (CeedInt w = j + 1; w < N; w++) {                                          // 0 <=  i  <  j <  w < N
199bfa7851aSJames Wright     A[j * N + w] = rotmat_cst[1] * A[w * N + i] + rotmat_cst[0] * A[j * N + w];  // A[w][i], A[j][w] from previous iteration
200bfa7851aSJames Wright   }
201bfa7851aSJames Wright   // now that we're done modifying row j, we can update max_idx_row[j]
202bfa7851aSJames Wright   max_idx_row[j] = MaxEntryRow(A, N, j);
203bfa7851aSJames Wright }
204bfa7851aSJames Wright 
205bfa7851aSJames Wright ///@brief Multiply matrix A on the LEFT side by a transposed rotation matrix R^T
206bfa7851aSJames Wright ///       This matrix performs a rotation in the i,j plane by angle θ  (where
207bfa7851aSJames Wright ///       the arguments "s" and "c" refer to cos(θ) and sin(θ), respectively).
208bfa7851aSJames Wright /// @verbatim
209bfa7851aSJames Wright ///   A'_uv = Σ_w  R_wu * A_wv
210bfa7851aSJames Wright /// @endverbatim
211bfa7851aSJames Wright ///
212bfa7851aSJames Wright /// @param[in] *A matrix
213bfa7851aSJames Wright /// @param[in] i row index
214bfa7851aSJames Wright /// @param[in] j column index
215bfa7851aSJames Wright CEED_QFUNCTION_HELPER void ApplyRotLeft(CeedScalar *A, CeedInt N, CeedInt i, CeedInt j, CeedScalar *rotmat_cst) {
216bfa7851aSJames Wright   // Recall that c = cos(θ) and s = sin(θ)
217bfa7851aSJames Wright   for (CeedInt v = 0; v < N; v++) {
218bfa7851aSJames Wright     CeedScalar Aiv = A[i * N + v];
219bfa7851aSJames Wright     A[i * N + v]   = rotmat_cst[0] * A[i * N + v] - rotmat_cst[1] * A[j * N + v];
220bfa7851aSJames Wright     A[j * N + v]   = rotmat_cst[1] * Aiv + rotmat_cst[0] * A[j * N + v];
221bfa7851aSJames Wright   }
222bfa7851aSJames Wright }
223bfa7851aSJames Wright 
224bfa7851aSJames Wright /// @brief Sort the rows in evec according to the numbers in v (also sorted)
225bfa7851aSJames Wright ///
226bfa7851aSJames Wright /// @param[inout] *eval vector containing the keys used for sorting
227bfa7851aSJames Wright /// @param[inout] *evec matrix whose rows will be sorted according to v
228bfa7851aSJames Wright /// @param[in]    n  size of the vector and matrix
229bfa7851aSJames Wright /// @param[in]    s  sort decreasing order?
230bfa7851aSJames Wright CEED_QFUNCTION_HELPER void SortRows(CeedScalar *eval, CeedScalar *evec, CeedInt N, SortCriteria sort_criteria) {
231bfa7851aSJames Wright   if (sort_criteria == SORT_NONE) return;
232bfa7851aSJames Wright 
233bfa7851aSJames Wright   for (CeedInt i = 0; i < N - 1; i++) {
234bfa7851aSJames Wright     CeedInt i_max = i;
235bfa7851aSJames Wright     for (CeedInt j = i + 1; j < N; j++) {
236bfa7851aSJames Wright       // find the "maximum" element in the array starting at position i+1
237bfa7851aSJames Wright       switch (sort_criteria) {
238bfa7851aSJames Wright         case SORT_DECREASING_EVALS:
239bfa7851aSJames Wright           if (eval[j] > eval[i_max]) i_max = j;
240bfa7851aSJames Wright           break;
241bfa7851aSJames Wright         case SORT_INCREASING_EVALS:
242bfa7851aSJames Wright           if (eval[j] < eval[i_max]) i_max = j;
243bfa7851aSJames Wright           break;
244bfa7851aSJames Wright         case SORT_DECREASING_ABS_EVALS:
245bfa7851aSJames Wright           if (fabs(eval[j]) > fabs(eval[i_max])) i_max = j;
246bfa7851aSJames Wright           break;
247bfa7851aSJames Wright         case SORT_INCREASING_ABS_EVALS:
248bfa7851aSJames Wright           if (fabs(eval[j]) < fabs(eval[i_max])) i_max = j;
249bfa7851aSJames Wright           break;
250bfa7851aSJames Wright         default:
251bfa7851aSJames Wright           break;
252bfa7851aSJames Wright       }
253bfa7851aSJames Wright     }
254bfa7851aSJames Wright     SwapScalar(&eval[i], &eval[i_max]);
255bfa7851aSJames Wright     for (CeedInt k = 0; k < N; k++) SwapScalar(&evec[i * N + k], &evec[i_max * N + k]);
256bfa7851aSJames Wright   }
257bfa7851aSJames Wright }
258bfa7851aSJames Wright 
259bfa7851aSJames Wright /// @brief Calculate all the eigenvalues and eigevectors of a symmetric matrix
260bfa7851aSJames Wright ///        using the Jacobi eigenvalue algorithm:
261bfa7851aSJames Wright ///        https://en.wikipedia.org/wiki/Jacobi_eigenvalue_algorithm
262bfa7851aSJames Wright /// @returns The number of Jacobi iterations attempted, which should be > 0.
263bfa7851aSJames Wright ///          If the return value is not strictly > 0 then convergence failed.
264bfa7851aSJames Wright /// @note  To reduce the computation time further, set calc_evecs=false.
265bfa7851aSJames Wright ///        Additionally, note that the output evecs should be normalized. It
266bfa7851aSJames Wright ///        simply takes the Identity matrix and performs (isometric) rotations
267bfa7851aSJames Wright ///        on it, so divergence from normalized is due to finite-precision
268bfa7851aSJames Wright ///        arithmetic of the rotations.
269bfa7851aSJames Wright //
270bfa7851aSJames Wright // @param[in]  A              the matrix you wish to diagonalize (size NxN)
271bfa7851aSJames Wright // @param[in]  N              size of the matrix
272bfa7851aSJames Wright // @param[out] eval           store the eigenvalues here (size N)
273bfa7851aSJames Wright // @param[out] evec           store the eigenvectors here (in rows, size NxN)
2747df379d9SJames Wright // @param[out] max_idx_row    work vector of size N
275bfa7851aSJames Wright // @param[in]  sort_criteria  sort results?
276bfa7851aSJames Wright // @param[in]  calc_evecs     calculate the eigenvectors?
277bfa7851aSJames Wright // @param[in]  max_num_sweeps maximum number of iterations = max_num_sweeps * number of off-diagonals (N*(N-1)/2)
278bfa7851aSJames Wright CEED_QFUNCTION_HELPER CeedInt Diagonalize(CeedScalar *A, CeedInt N, CeedScalar *eval, CeedScalar *evec, CeedInt *max_idx_row,
279bfa7851aSJames Wright                                           SortCriteria sort_criteria, bool calc_evec, const CeedInt max_num_sweeps) {
280bfa7851aSJames Wright   CeedScalar rotmat_cst[3] = {0.};  // cos(θ), sin(θ), and tan(θ),
281bfa7851aSJames Wright 
282bfa7851aSJames Wright   if (calc_evec)
283bfa7851aSJames Wright     for (CeedInt i = 0; i < N; i++)
284bfa7851aSJames Wright       for (CeedInt j = 0; j < N; j++) evec[i * N + j] = (i == j) ? 1.0 : 0.0;  // Set evec equal to the identity matrix
285bfa7851aSJames Wright 
286bfa7851aSJames Wright   for (CeedInt i = 0; i < N - 1; i++) max_idx_row[i] = MaxEntryRow(A, N, i);
287bfa7851aSJames Wright 
288bfa7851aSJames Wright   // -- Iteration --
289bfa7851aSJames Wright   CeedInt n_iters;
290bfa7851aSJames Wright   CeedInt max_num_iters = max_num_sweeps * N * (N - 1) / 2;
291bfa7851aSJames Wright   for (n_iters = 1; n_iters <= max_num_iters; n_iters++) {
292bfa7851aSJames Wright     CeedInt i, j;
293bfa7851aSJames Wright     MaxEntry(A, N, max_idx_row, &i, &j);
294bfa7851aSJames Wright 
295bfa7851aSJames Wright     // If A[i][j] is small compared to A[i][i] and A[j][j], set it to 0.
296bfa7851aSJames Wright     if ((A[i * N + i] + A[i * N + j] == A[i * N + i]) && (A[j * N + j] + A[i * N + j] == A[j * N + j])) {
297bfa7851aSJames Wright       A[i * N + j]   = 0.0;
298bfa7851aSJames Wright       max_idx_row[i] = MaxEntryRow(A, N, i);
299bfa7851aSJames Wright     }
300bfa7851aSJames Wright 
301bfa7851aSJames Wright     if (A[i * N + j] == 0.0) break;
302bfa7851aSJames Wright 
303bfa7851aSJames Wright     CalcRot(A, N, i, j, rotmat_cst);                // Calculate the parameters of the rotation matrix.
304bfa7851aSJames Wright     ApplyRot(A, N, i, j, max_idx_row, rotmat_cst);  // Apply this rotation to the A matrix.
305bfa7851aSJames Wright     if (calc_evec) ApplyRotLeft(evec, N, i, j, rotmat_cst);
306bfa7851aSJames Wright   }
307bfa7851aSJames Wright 
308bfa7851aSJames Wright   for (CeedInt i = 0; i < N; i++) eval[i] = A[i * N + i];
309bfa7851aSJames Wright 
310bfa7851aSJames Wright   // Optional: Sort results by eigenvalue.
311bfa7851aSJames Wright   SortRows(eval, evec, N, sort_criteria);
312bfa7851aSJames Wright 
313bfa7851aSJames Wright   if ((n_iters > max_num_iters) && (N > 1))  // If we exceeded max_num_iters,
314bfa7851aSJames Wright     return 0;                                // indicate an error occured.
315bfa7851aSJames Wright 
316bfa7851aSJames Wright   return n_iters;
317bfa7851aSJames Wright }
318bfa7851aSJames Wright 
319bfa7851aSJames Wright // @brief Interface to Diagonalize for 3x3 systems
320bfa7851aSJames Wright CEED_QFUNCTION_HELPER CeedInt Diagonalize3(CeedScalar A[3][3], CeedScalar eval[3], CeedScalar evec[3][3], CeedInt max_idx_row[3],
321bfa7851aSJames Wright                                            SortCriteria sort_criteria, bool calc_evec, const CeedInt max_num_sweeps) {
322bfa7851aSJames Wright   return Diagonalize((CeedScalar *)A, 3, (CeedScalar *)eval, (CeedScalar *)evec, (CeedInt *)max_idx_row, sort_criteria, calc_evec, max_num_sweeps);
323bfa7851aSJames Wright }
324