xref: /petsc/src/mat/tests/ex118.c (revision 48a46eb9bd028bec07ec0f396b1a3abb43f14558)
1c4762a1bSJed Brown static char help[] = "Test LAPACK routine DSTEBZ() and DTEIN().  \n\n";
2c4762a1bSJed Brown 
3c4762a1bSJed Brown #include <petscmat.h>
4c4762a1bSJed Brown #include <petscblaslapack.h>
5c4762a1bSJed Brown 
6c4762a1bSJed Brown extern PetscErrorCode CkEigenSolutions(PetscInt, Mat, PetscInt, PetscInt, PetscScalar *, Vec *, PetscReal *);
7c4762a1bSJed Brown 
89371c9d4SSatish Balay int main(int argc, char **args) {
9c4762a1bSJed Brown #if defined(PETSC_USE_COMPLEX) || defined(PETSC_MISSING_LAPACK_STEBZ) || defined(PETSC_MISSING_LAPACK_STEIN)
10327415f7SBarry Smith   PetscFunctionBeginUser;
119566063dSJacob Faibussowitsch   PetscCall(PetscInitialize(&argc, &args, (char *)0, help));
12c4762a1bSJed Brown   SETERRQ(PETSC_COMM_WORLD, PETSC_ERR_SUP_SYS, "This example requires LAPACK routines dstebz and stien and real numbers");
13c4762a1bSJed Brown #else
14c4762a1bSJed Brown   PetscReal   *work, tols[2];
15c4762a1bSJed Brown   PetscInt     i, j;
16c4762a1bSJed Brown   PetscBLASInt n, il = 1, iu = 5, *iblock, *isplit, *iwork, nevs, *ifail, cklvl = 2;
17c4762a1bSJed Brown   PetscMPIInt  size;
18c4762a1bSJed Brown   PetscBool    flg;
19c4762a1bSJed Brown   Vec         *evecs;
20c4762a1bSJed Brown   PetscScalar *evecs_array, *D, *E, *evals;
21c4762a1bSJed Brown   Mat          T;
22c4762a1bSJed Brown   PetscReal    vl = 0.0, vu = 4.0, tol = 1000 * PETSC_MACHINE_EPSILON;
23c4762a1bSJed Brown   PetscBLASInt nsplit, info;
24c4762a1bSJed Brown 
25327415f7SBarry Smith   PetscFunctionBeginUser;
269566063dSJacob Faibussowitsch   PetscCall(PetscInitialize(&argc, &args, (char *)0, help));
279566063dSJacob Faibussowitsch   PetscCallMPI(MPI_Comm_size(PETSC_COMM_WORLD, &size));
28be096a46SBarry Smith   PetscCheck(size == 1, PETSC_COMM_WORLD, PETSC_ERR_WRONG_MPI_SIZE, "This is a uniprocessor example only!");
29c4762a1bSJed Brown 
30c4762a1bSJed Brown   n    = 100;
31c4762a1bSJed Brown   nevs = iu - il;
329566063dSJacob Faibussowitsch   PetscCall(PetscMalloc1(3 * n + 1, &D));
33c4762a1bSJed Brown   E     = D + n;
34c4762a1bSJed Brown   evals = E + n;
359566063dSJacob Faibussowitsch   PetscCall(PetscMalloc1(5 * n + 1, &work));
369566063dSJacob Faibussowitsch   PetscCall(PetscMalloc1(3 * n + 1, &iwork));
379566063dSJacob Faibussowitsch   PetscCall(PetscMalloc1(3 * n + 1, &iblock));
38c4762a1bSJed Brown   isplit = iblock + n;
39c4762a1bSJed Brown 
40c4762a1bSJed Brown   /* Set symmetric tridiagonal matrix */
41c4762a1bSJed Brown   for (i = 0; i < n; i++) {
42c4762a1bSJed Brown     D[i] = 2.0;
43c4762a1bSJed Brown     E[i] = 1.0;
44c4762a1bSJed Brown   }
45c4762a1bSJed Brown 
46c4762a1bSJed Brown   /* Solve eigenvalue problem: A*evec = eval*evec */
479566063dSJacob Faibussowitsch   PetscCall(PetscPrintf(PETSC_COMM_SELF, " LAPACKstebz_: compute %d eigenvalues...\n", nevs));
48c4762a1bSJed Brown   LAPACKstebz_("I", "E", &n, &vl, &vu, &il, &iu, &tol, (PetscReal *)D, (PetscReal *)E, &nevs, &nsplit, (PetscReal *)evals, iblock, isplit, work, iwork, &info);
4928b400f6SJacob Faibussowitsch   PetscCheck(!info, PETSC_COMM_SELF, PETSC_ERR_USER, "LAPACKstebz_ fails. info %d", info);
50c4762a1bSJed Brown 
519566063dSJacob Faibussowitsch   PetscCall(PetscPrintf(PETSC_COMM_SELF, " LAPACKstein_: compute %d found eigenvectors...\n", nevs));
529566063dSJacob Faibussowitsch   PetscCall(PetscMalloc1(n * nevs, &evecs_array));
539566063dSJacob Faibussowitsch   PetscCall(PetscMalloc1(nevs, &ifail));
54c4762a1bSJed Brown   LAPACKstein_(&n, (PetscReal *)D, (PetscReal *)E, &nevs, (PetscReal *)evals, iblock, isplit, evecs_array, &n, work, iwork, ifail, &info);
5528b400f6SJacob Faibussowitsch   PetscCheck(!info, PETSC_COMM_SELF, PETSC_ERR_USER, "LAPACKstein_ fails. info %d", info);
56c4762a1bSJed Brown   /* View evals */
579566063dSJacob Faibussowitsch   PetscCall(PetscOptionsHasName(NULL, NULL, "-eig_view", &flg));
58c4762a1bSJed Brown   if (flg) {
599566063dSJacob Faibussowitsch     PetscCall(PetscPrintf(PETSC_COMM_SELF, " %d evals: \n", nevs));
609566063dSJacob Faibussowitsch     for (i = 0; i < nevs; i++) PetscCall(PetscPrintf(PETSC_COMM_SELF, "%" PetscInt_FMT "  %g\n", i, (double)evals[i]));
61c4762a1bSJed Brown   }
62c4762a1bSJed Brown 
63c4762a1bSJed Brown   /* Check residuals and orthogonality */
649566063dSJacob Faibussowitsch   PetscCall(MatCreate(PETSC_COMM_SELF, &T));
659566063dSJacob Faibussowitsch   PetscCall(MatSetSizes(T, PETSC_DECIDE, PETSC_DECIDE, n, n));
669566063dSJacob Faibussowitsch   PetscCall(MatSetType(T, MATSBAIJ));
679566063dSJacob Faibussowitsch   PetscCall(MatSetFromOptions(T));
689566063dSJacob Faibussowitsch   PetscCall(MatSetUp(T));
69c4762a1bSJed Brown   for (i = 0; i < n; i++) {
709566063dSJacob Faibussowitsch     PetscCall(MatSetValues(T, 1, &i, 1, &i, &D[i], INSERT_VALUES));
71c4762a1bSJed Brown     if (i != n - 1) {
72c4762a1bSJed Brown       j = i + 1;
739566063dSJacob Faibussowitsch       PetscCall(MatSetValues(T, 1, &i, 1, &j, &E[i], INSERT_VALUES));
74c4762a1bSJed Brown     }
75c4762a1bSJed Brown   }
769566063dSJacob Faibussowitsch   PetscCall(MatAssemblyBegin(T, MAT_FINAL_ASSEMBLY));
779566063dSJacob Faibussowitsch   PetscCall(MatAssemblyEnd(T, MAT_FINAL_ASSEMBLY));
78c4762a1bSJed Brown 
799566063dSJacob Faibussowitsch   PetscCall(PetscMalloc1(nevs + 1, &evecs));
80c4762a1bSJed Brown   for (i = 0; i < nevs; i++) {
819566063dSJacob Faibussowitsch     PetscCall(VecCreate(PETSC_COMM_SELF, &evecs[i]));
829566063dSJacob Faibussowitsch     PetscCall(VecSetSizes(evecs[i], PETSC_DECIDE, n));
839566063dSJacob Faibussowitsch     PetscCall(VecSetFromOptions(evecs[i]));
849566063dSJacob Faibussowitsch     PetscCall(VecPlaceArray(evecs[i], evecs_array + i * n));
85c4762a1bSJed Brown   }
86c4762a1bSJed Brown 
879371c9d4SSatish Balay   tols[0] = 1.e-8;
889371c9d4SSatish Balay   tols[1] = 1.e-8;
899566063dSJacob Faibussowitsch   PetscCall(CkEigenSolutions(cklvl, T, il - 1, iu - 1, evals, evecs, tols));
90c4762a1bSJed Brown 
91*48a46eb9SPierre Jolivet   for (i = 0; i < nevs; i++) PetscCall(VecResetArray(evecs[i]));
92c4762a1bSJed Brown 
93c4762a1bSJed Brown   /* free space */
94c4762a1bSJed Brown 
959566063dSJacob Faibussowitsch   PetscCall(MatDestroy(&T));
96c4762a1bSJed Brown 
979566063dSJacob Faibussowitsch   for (i = 0; i < nevs; i++) PetscCall(VecDestroy(&evecs[i]));
989566063dSJacob Faibussowitsch   PetscCall(PetscFree(evecs));
999566063dSJacob Faibussowitsch   PetscCall(PetscFree(D));
1009566063dSJacob Faibussowitsch   PetscCall(PetscFree(work));
1019566063dSJacob Faibussowitsch   PetscCall(PetscFree(iwork));
1029566063dSJacob Faibussowitsch   PetscCall(PetscFree(iblock));
1039566063dSJacob Faibussowitsch   PetscCall(PetscFree(evecs_array));
1049566063dSJacob Faibussowitsch   PetscCall(PetscFree(ifail));
1059566063dSJacob Faibussowitsch   PetscCall(PetscFinalize());
106b122ec5aSJacob Faibussowitsch   return 0;
107c4762a1bSJed Brown #endif
108c4762a1bSJed Brown }
109c4762a1bSJed Brown /*------------------------------------------------
110c4762a1bSJed Brown   Check the accuracy of the eigen solution
111c4762a1bSJed Brown   ----------------------------------------------- */
112c4762a1bSJed Brown /*
113c4762a1bSJed Brown   input:
114c4762a1bSJed Brown      cklvl      - check level:
115c4762a1bSJed Brown                     1: check residual
116c4762a1bSJed Brown                     2: 1 and check B-orthogonality locally
117c4762a1bSJed Brown      A          - matrix
118c4762a1bSJed Brown      il,iu      - lower and upper index bound of eigenvalues
119c4762a1bSJed Brown      eval, evec - eigenvalues and eigenvectors stored in this process
120c4762a1bSJed Brown      tols[0]    - reporting tol_res: || A * evec[i] - eval[i]*evec[i] ||
121c4762a1bSJed Brown      tols[1]    - reporting tol_orth: evec[i]^T*evec[j] - delta_ij
122c4762a1bSJed Brown */
123c4762a1bSJed Brown #undef DEBUG_CkEigenSolutions
1249371c9d4SSatish Balay PetscErrorCode CkEigenSolutions(PetscInt cklvl, Mat A, PetscInt il, PetscInt iu, PetscScalar *eval, Vec *evec, PetscReal *tols) {
125c4762a1bSJed Brown   PetscInt    ierr, i, j, nev;
126c4762a1bSJed Brown   Vec         vt1, vt2; /* tmp vectors */
127c4762a1bSJed Brown   PetscReal   norm, norm_max;
128c4762a1bSJed Brown   PetscScalar dot, tmp;
129c4762a1bSJed Brown   PetscReal   dot_max;
130c4762a1bSJed Brown 
131c4762a1bSJed Brown   PetscFunctionBegin;
132c4762a1bSJed Brown   nev = iu - il;
133c4762a1bSJed Brown   if (nev <= 0) PetscFunctionReturn(0);
134c4762a1bSJed Brown 
1359566063dSJacob Faibussowitsch   PetscCall(VecDuplicate(evec[0], &vt1));
1369566063dSJacob Faibussowitsch   PetscCall(VecDuplicate(evec[0], &vt2));
137c4762a1bSJed Brown 
138c4762a1bSJed Brown   switch (cklvl) {
139c4762a1bSJed Brown   case 2:
140c4762a1bSJed Brown     dot_max = 0.0;
141c4762a1bSJed Brown     for (i = il; i < iu; i++) {
1429566063dSJacob Faibussowitsch       PetscCall(VecCopy(evec[i], vt1));
143c4762a1bSJed Brown       for (j = il; j < iu; j++) {
1449566063dSJacob Faibussowitsch         PetscCall(VecDot(evec[j], vt1, &dot));
145c4762a1bSJed Brown         if (j == i) {
146c4762a1bSJed Brown           dot = PetscAbsScalar(dot - (PetscScalar)1.0);
147c4762a1bSJed Brown         } else {
148c4762a1bSJed Brown           dot = PetscAbsScalar(dot);
149c4762a1bSJed Brown         }
150c4762a1bSJed Brown         if (PetscAbsScalar(dot) > dot_max) dot_max = PetscAbsScalar(dot);
151c4762a1bSJed Brown #if defined(DEBUG_CkEigenSolutions)
152c4762a1bSJed Brown         if (dot > tols[1]) {
1539566063dSJacob Faibussowitsch           PetscCall(VecNorm(evec[i], NORM_INFINITY, &norm));
1549566063dSJacob Faibussowitsch           PetscCall(PetscPrintf(PETSC_COMM_SELF, "|delta(%d,%d)|: %g, norm: %d\n", i, j, (double)dot, (double)norm));
155c4762a1bSJed Brown         }
156c4762a1bSJed Brown #endif
157c4762a1bSJed Brown       }
158c4762a1bSJed Brown     }
1599566063dSJacob Faibussowitsch     PetscCall(PetscPrintf(PETSC_COMM_SELF, "    max|(x_j^T*x_i) - delta_ji|: %g\n", (double)dot_max));
160c4762a1bSJed Brown 
161c4762a1bSJed Brown   case 1:
162c4762a1bSJed Brown     norm_max = 0.0;
163c4762a1bSJed Brown     for (i = il; i < iu; i++) {
1649566063dSJacob Faibussowitsch       PetscCall(MatMult(A, evec[i], vt1));
1659566063dSJacob Faibussowitsch       PetscCall(VecCopy(evec[i], vt2));
166c4762a1bSJed Brown       tmp = -eval[i];
1679566063dSJacob Faibussowitsch       PetscCall(VecAXPY(vt1, tmp, vt2));
1689566063dSJacob Faibussowitsch       PetscCall(VecNorm(vt1, NORM_INFINITY, &norm));
169c4762a1bSJed Brown       norm = PetscAbsReal(norm);
170c4762a1bSJed Brown       if (norm > norm_max) norm_max = norm;
171c4762a1bSJed Brown #if defined(DEBUG_CkEigenSolutions)
172*48a46eb9SPierre Jolivet       if (norm > tols[0]) PetscCall(PetscPrintf(PETSC_COMM_SELF, "  residual violation: %d, resi: %g\n", i, norm));
173c4762a1bSJed Brown #endif
174c4762a1bSJed Brown     }
1759566063dSJacob Faibussowitsch     PetscCall(PetscPrintf(PETSC_COMM_SELF, "    max_resi:                    %g\n", (double)norm_max));
176c4762a1bSJed Brown     break;
1779371c9d4SSatish Balay   default: PetscCall(PetscPrintf(PETSC_COMM_SELF, "Error: cklvl=%d is not supported \n", cklvl));
178c4762a1bSJed Brown   }
179c4762a1bSJed Brown 
1809566063dSJacob Faibussowitsch   PetscCall(VecDestroy(&vt2));
1819566063dSJacob Faibussowitsch   PetscCall(VecDestroy(&vt1));
182c4762a1bSJed Brown   PetscFunctionReturn(0);
183c4762a1bSJed Brown }
184