1c4762a1bSJed Brown 2c4762a1bSJed Brown static char help[] = "Tests ILU and ICC factorization with and without matrix ordering on seqsbaij format. Modified from ex30.c\n\ 3c4762a1bSJed Brown Input parameters are:\n\ 4c4762a1bSJed Brown -lf <level> : level of fill for ILU (default is 0)\n\ 5c4762a1bSJed Brown -lu : use full LU or Cholesky factorization\n\ 6c4762a1bSJed Brown -m <value>,-n <value> : grid dimensions\n\ 7c4762a1bSJed Brown Note that most users should employ the KSP interface to the\n\ 8c4762a1bSJed Brown linear solvers instead of using the factorization routines\n\ 9c4762a1bSJed Brown directly.\n\n"; 10c4762a1bSJed Brown 11c4762a1bSJed Brown #include <petscmat.h> 12c4762a1bSJed Brown 13*d71ae5a4SJacob Faibussowitsch int main(int argc, char **args) 14*d71ae5a4SJacob Faibussowitsch { 15c4762a1bSJed Brown Mat C, sC, sA; 16c4762a1bSJed Brown PetscInt i, j, m = 5, n = 5, Ii, J, lf = 0; 17c4762a1bSJed Brown PetscBool CHOLESKY = PETSC_FALSE, TRIANGULAR = PETSC_FALSE, flg; 18c4762a1bSJed Brown PetscScalar v; 19c4762a1bSJed Brown IS row, col; 20c4762a1bSJed Brown MatFactorInfo info; 21c4762a1bSJed Brown Vec x, y, b, ytmp; 22c4762a1bSJed Brown PetscReal norm2, tol = 100 * PETSC_MACHINE_EPSILON; 23c4762a1bSJed Brown PetscRandom rdm; 24c4762a1bSJed Brown PetscMPIInt size; 25c4762a1bSJed Brown 26327415f7SBarry Smith PetscFunctionBeginUser; 279566063dSJacob Faibussowitsch PetscCall(PetscInitialize(&argc, &args, (char *)0, help)); 289566063dSJacob Faibussowitsch PetscCallMPI(MPI_Comm_size(PETSC_COMM_WORLD, &size)); 29be096a46SBarry Smith PetscCheck(size == 1, PETSC_COMM_WORLD, PETSC_ERR_WRONG_MPI_SIZE, "This is a uniprocessor example only!"); 309566063dSJacob Faibussowitsch PetscCall(PetscOptionsGetInt(NULL, NULL, "-m", &m, NULL)); 319566063dSJacob Faibussowitsch PetscCall(PetscOptionsGetInt(NULL, NULL, "-n", &n, NULL)); 329566063dSJacob Faibussowitsch PetscCall(PetscOptionsGetInt(NULL, NULL, "-lf", &lf, NULL)); 33c4762a1bSJed Brown 349566063dSJacob Faibussowitsch PetscCall(MatCreate(PETSC_COMM_SELF, &C)); 359566063dSJacob Faibussowitsch PetscCall(MatSetSizes(C, m * n, m * n, m * n, m * n)); 369566063dSJacob Faibussowitsch PetscCall(MatSetFromOptions(C)); 379566063dSJacob Faibussowitsch PetscCall(MatSetUp(C)); 38c4762a1bSJed Brown 39c4762a1bSJed Brown /* Create matrix C in seqaij format and sC in seqsbaij. (This is five-point stencil with some extra elements) */ 40c4762a1bSJed Brown for (i = 0; i < m; i++) { 41c4762a1bSJed Brown for (j = 0; j < n; j++) { 429371c9d4SSatish Balay v = -1.0; 439371c9d4SSatish Balay Ii = j + n * i; 449371c9d4SSatish Balay J = Ii - n; 459371c9d4SSatish Balay if (J >= 0) PetscCall(MatSetValues(C, 1, &Ii, 1, &J, &v, INSERT_VALUES)); 469371c9d4SSatish Balay J = Ii + n; 479371c9d4SSatish Balay if (J < m * n) PetscCall(MatSetValues(C, 1, &Ii, 1, &J, &v, INSERT_VALUES)); 489371c9d4SSatish Balay J = Ii - 1; 499371c9d4SSatish Balay if (J >= 0) PetscCall(MatSetValues(C, 1, &Ii, 1, &J, &v, INSERT_VALUES)); 509371c9d4SSatish Balay J = Ii + 1; 519371c9d4SSatish Balay if (J < m * n) PetscCall(MatSetValues(C, 1, &Ii, 1, &J, &v, INSERT_VALUES)); 529371c9d4SSatish Balay v = 4.0; 539371c9d4SSatish Balay PetscCall(MatSetValues(C, 1, &Ii, 1, &Ii, &v, INSERT_VALUES)); 54c4762a1bSJed Brown } 55c4762a1bSJed Brown } 569566063dSJacob Faibussowitsch PetscCall(MatAssemblyBegin(C, MAT_FINAL_ASSEMBLY)); 579566063dSJacob Faibussowitsch PetscCall(MatAssemblyEnd(C, MAT_FINAL_ASSEMBLY)); 58c4762a1bSJed Brown 599566063dSJacob Faibussowitsch PetscCall(MatIsSymmetric(C, 0.0, &flg)); 6028b400f6SJacob Faibussowitsch PetscCheck(flg, PETSC_COMM_SELF, PETSC_ERR_SUP, "C is non-symmetric"); 619566063dSJacob Faibussowitsch PetscCall(MatConvert(C, MATSEQSBAIJ, MAT_INITIAL_MATRIX, &sC)); 62c4762a1bSJed Brown 63c4762a1bSJed Brown /* Create vectors for error checking */ 649566063dSJacob Faibussowitsch PetscCall(MatCreateVecs(C, &x, &b)); 659566063dSJacob Faibussowitsch PetscCall(VecDuplicate(x, &y)); 669566063dSJacob Faibussowitsch PetscCall(VecDuplicate(x, &ytmp)); 679566063dSJacob Faibussowitsch PetscCall(PetscRandomCreate(PETSC_COMM_SELF, &rdm)); 689566063dSJacob Faibussowitsch PetscCall(PetscRandomSetFromOptions(rdm)); 699566063dSJacob Faibussowitsch PetscCall(VecSetRandom(x, rdm)); 709566063dSJacob Faibussowitsch PetscCall(MatMult(C, x, b)); 71c4762a1bSJed Brown 729566063dSJacob Faibussowitsch PetscCall(MatGetOrdering(C, MATORDERINGNATURAL, &row, &col)); 73c4762a1bSJed Brown 74c4762a1bSJed Brown /* Compute CHOLESKY or ICC factor sA */ 759566063dSJacob Faibussowitsch PetscCall(MatFactorInfoInitialize(&info)); 76c4762a1bSJed Brown 77c4762a1bSJed Brown info.fill = 1.0; 78c4762a1bSJed Brown info.diagonal_fill = 0; 79c4762a1bSJed Brown info.zeropivot = 0.0; 80c4762a1bSJed Brown 819566063dSJacob Faibussowitsch PetscCall(PetscOptionsHasName(NULL, NULL, "-cholesky", &CHOLESKY)); 82c4762a1bSJed Brown if (CHOLESKY) { 839566063dSJacob Faibussowitsch PetscCall(PetscPrintf(PETSC_COMM_SELF, "Test CHOLESKY...\n")); 849566063dSJacob Faibussowitsch PetscCall(MatGetFactor(sC, MATSOLVERPETSC, MAT_FACTOR_CHOLESKY, &sA)); 859566063dSJacob Faibussowitsch PetscCall(MatCholeskyFactorSymbolic(sA, sC, row, &info)); 86c4762a1bSJed Brown } else { 879566063dSJacob Faibussowitsch PetscCall(PetscPrintf(PETSC_COMM_SELF, "Test ICC...\n")); 88c4762a1bSJed Brown info.levels = lf; 89c4762a1bSJed Brown 909566063dSJacob Faibussowitsch PetscCall(MatGetFactor(sC, MATSOLVERPETSC, MAT_FACTOR_ICC, &sA)); 919566063dSJacob Faibussowitsch PetscCall(MatICCFactorSymbolic(sA, sC, row, &info)); 92c4762a1bSJed Brown } 939566063dSJacob Faibussowitsch PetscCall(MatCholeskyFactorNumeric(sA, sC, &info)); 94c4762a1bSJed Brown 95c4762a1bSJed Brown /* test MatForwardSolve() and MatBackwardSolve() with matrix reordering on aij matrix C */ 96c4762a1bSJed Brown if (CHOLESKY) { 979566063dSJacob Faibussowitsch PetscCall(PetscOptionsHasName(NULL, NULL, "-triangular_solve", &TRIANGULAR)); 98c4762a1bSJed Brown if (TRIANGULAR) { 999566063dSJacob Faibussowitsch PetscCall(PetscPrintf(PETSC_COMM_SELF, "Test MatForwardSolve...\n")); 1009566063dSJacob Faibussowitsch PetscCall(MatForwardSolve(sA, b, ytmp)); 1019566063dSJacob Faibussowitsch PetscCall(PetscPrintf(PETSC_COMM_SELF, "Test MatBackwardSolve...\n")); 1029566063dSJacob Faibussowitsch PetscCall(MatBackwardSolve(sA, ytmp, y)); 1039566063dSJacob Faibussowitsch PetscCall(VecAXPY(y, -1.0, x)); 1049566063dSJacob Faibussowitsch PetscCall(VecNorm(y, NORM_2, &norm2)); 10548a46eb9SPierre Jolivet if (norm2 > tol) PetscCall(PetscPrintf(PETSC_COMM_SELF, "MatForwardSolve and BackwardSolve: Norm of error=%g\n", (double)norm2)); 106c4762a1bSJed Brown } 107c4762a1bSJed Brown } 108c4762a1bSJed Brown 1099566063dSJacob Faibussowitsch PetscCall(MatSolve(sA, b, y)); 1109566063dSJacob Faibussowitsch PetscCall(MatDestroy(&sC)); 1119566063dSJacob Faibussowitsch PetscCall(MatDestroy(&sA)); 1129566063dSJacob Faibussowitsch PetscCall(VecAXPY(y, -1.0, x)); 1139566063dSJacob Faibussowitsch PetscCall(VecNorm(y, NORM_2, &norm2)); 11448a46eb9SPierre Jolivet if (lf == -1 && norm2 > tol) PetscCall(PetscPrintf(PETSC_COMM_SELF, " reordered SEQAIJ: Cholesky/ICC levels %" PetscInt_FMT ", residual %g\n", lf, (double)norm2)); 115c4762a1bSJed Brown 116c4762a1bSJed Brown /* Free data structures */ 1179566063dSJacob Faibussowitsch PetscCall(MatDestroy(&C)); 1189566063dSJacob Faibussowitsch PetscCall(ISDestroy(&row)); 1199566063dSJacob Faibussowitsch PetscCall(ISDestroy(&col)); 1209566063dSJacob Faibussowitsch PetscCall(PetscRandomDestroy(&rdm)); 1219566063dSJacob Faibussowitsch PetscCall(VecDestroy(&x)); 1229566063dSJacob Faibussowitsch PetscCall(VecDestroy(&y)); 1239566063dSJacob Faibussowitsch PetscCall(VecDestroy(&ytmp)); 1249566063dSJacob Faibussowitsch PetscCall(VecDestroy(&b)); 1259566063dSJacob Faibussowitsch PetscCall(PetscFinalize()); 126b122ec5aSJacob Faibussowitsch return 0; 127c4762a1bSJed Brown } 128c4762a1bSJed Brown 129c4762a1bSJed Brown /*TEST 130c4762a1bSJed Brown 131c4762a1bSJed Brown test: 132c4762a1bSJed Brown output_file: output/ex128.out 133c4762a1bSJed Brown 134c4762a1bSJed Brown test: 135c4762a1bSJed Brown suffix: 2 136c4762a1bSJed Brown args: -cholesky -triangular_solve 137c4762a1bSJed Brown 138c4762a1bSJed Brown TEST*/ 139