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