xref: /petsc/src/mat/tests/ex128.c (revision 732aec7a18f2199fb53bb9a2f3aef439a834ce31)
1c4762a1bSJed Brown static char help[] = "Tests ILU and ICC factorization with and without matrix ordering on seqsbaij format. Modified from ex30.c\n\
2c4762a1bSJed Brown   Input parameters are:\n\
3c4762a1bSJed Brown   -lf <level> : level of fill for ILU (default is 0)\n\
4c4762a1bSJed Brown   -lu : use full LU or Cholesky factorization\n\
5c4762a1bSJed Brown   -m <value>,-n <value> : grid dimensions\n\
6c4762a1bSJed Brown Note that most users should employ the KSP interface to the\n\
7c4762a1bSJed Brown linear solvers instead of using the factorization routines\n\
8c4762a1bSJed Brown directly.\n\n";
9c4762a1bSJed Brown 
10c4762a1bSJed Brown #include <petscmat.h>
11c4762a1bSJed Brown 
main(int argc,char ** args)12d71ae5a4SJacob Faibussowitsch int main(int argc, char **args)
13d71ae5a4SJacob Faibussowitsch {
14c4762a1bSJed Brown   Mat           C, sC, sA;
15c4762a1bSJed Brown   PetscInt      i, j, m = 5, n = 5, Ii, J, lf = 0;
16c4762a1bSJed Brown   PetscBool     CHOLESKY = PETSC_FALSE, TRIANGULAR = PETSC_FALSE, flg;
17c4762a1bSJed Brown   PetscScalar   v;
18c4762a1bSJed Brown   IS            row, col;
19c4762a1bSJed Brown   MatFactorInfo info;
20c4762a1bSJed Brown   Vec           x, y, b, ytmp;
21c4762a1bSJed Brown   PetscReal     norm2, tol = 100 * PETSC_MACHINE_EPSILON;
22c4762a1bSJed Brown   PetscRandom   rdm;
23c4762a1bSJed Brown   PetscMPIInt   size;
24c4762a1bSJed Brown 
25327415f7SBarry Smith   PetscFunctionBeginUser;
26*c8025a54SPierre Jolivet   PetscCall(PetscInitialize(&argc, &args, NULL, 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!");
299566063dSJacob Faibussowitsch   PetscCall(PetscOptionsGetInt(NULL, NULL, "-m", &m, NULL));
309566063dSJacob Faibussowitsch   PetscCall(PetscOptionsGetInt(NULL, NULL, "-n", &n, NULL));
319566063dSJacob Faibussowitsch   PetscCall(PetscOptionsGetInt(NULL, NULL, "-lf", &lf, NULL));
32c4762a1bSJed Brown 
339566063dSJacob Faibussowitsch   PetscCall(MatCreate(PETSC_COMM_SELF, &C));
349566063dSJacob Faibussowitsch   PetscCall(MatSetSizes(C, m * n, m * n, m * n, m * n));
359566063dSJacob Faibussowitsch   PetscCall(MatSetFromOptions(C));
369566063dSJacob Faibussowitsch   PetscCall(MatSetUp(C));
37c4762a1bSJed Brown 
38c4762a1bSJed Brown   /* Create matrix C in seqaij format and sC in seqsbaij. (This is five-point stencil with some extra elements) */
39c4762a1bSJed Brown   for (i = 0; i < m; i++) {
40c4762a1bSJed Brown     for (j = 0; j < n; j++) {
419371c9d4SSatish Balay       v  = -1.0;
429371c9d4SSatish Balay       Ii = j + n * i;
439371c9d4SSatish Balay       J  = Ii - n;
449371c9d4SSatish Balay       if (J >= 0) PetscCall(MatSetValues(C, 1, &Ii, 1, &J, &v, INSERT_VALUES));
459371c9d4SSatish Balay       J = Ii + n;
469371c9d4SSatish Balay       if (J < m * n) PetscCall(MatSetValues(C, 1, &Ii, 1, &J, &v, INSERT_VALUES));
479371c9d4SSatish Balay       J = Ii - 1;
489371c9d4SSatish Balay       if (J >= 0) PetscCall(MatSetValues(C, 1, &Ii, 1, &J, &v, INSERT_VALUES));
499371c9d4SSatish Balay       J = Ii + 1;
509371c9d4SSatish Balay       if (J < m * n) PetscCall(MatSetValues(C, 1, &Ii, 1, &J, &v, INSERT_VALUES));
519371c9d4SSatish Balay       v = 4.0;
529371c9d4SSatish Balay       PetscCall(MatSetValues(C, 1, &Ii, 1, &Ii, &v, INSERT_VALUES));
53c4762a1bSJed Brown     }
54c4762a1bSJed Brown   }
559566063dSJacob Faibussowitsch   PetscCall(MatAssemblyBegin(C, MAT_FINAL_ASSEMBLY));
569566063dSJacob Faibussowitsch   PetscCall(MatAssemblyEnd(C, MAT_FINAL_ASSEMBLY));
57c4762a1bSJed Brown 
589566063dSJacob Faibussowitsch   PetscCall(MatIsSymmetric(C, 0.0, &flg));
5928b400f6SJacob Faibussowitsch   PetscCheck(flg, PETSC_COMM_SELF, PETSC_ERR_SUP, "C is non-symmetric");
609566063dSJacob Faibussowitsch   PetscCall(MatConvert(C, MATSEQSBAIJ, MAT_INITIAL_MATRIX, &sC));
61c4762a1bSJed Brown 
62c4762a1bSJed Brown   /* Create vectors for error checking */
639566063dSJacob Faibussowitsch   PetscCall(MatCreateVecs(C, &x, &b));
649566063dSJacob Faibussowitsch   PetscCall(VecDuplicate(x, &y));
659566063dSJacob Faibussowitsch   PetscCall(VecDuplicate(x, &ytmp));
669566063dSJacob Faibussowitsch   PetscCall(PetscRandomCreate(PETSC_COMM_SELF, &rdm));
679566063dSJacob Faibussowitsch   PetscCall(PetscRandomSetFromOptions(rdm));
689566063dSJacob Faibussowitsch   PetscCall(VecSetRandom(x, rdm));
699566063dSJacob Faibussowitsch   PetscCall(MatMult(C, x, b));
70c4762a1bSJed Brown 
719566063dSJacob Faibussowitsch   PetscCall(MatGetOrdering(C, MATORDERINGNATURAL, &row, &col));
72c4762a1bSJed Brown 
73c4762a1bSJed Brown   /* Compute CHOLESKY or ICC factor sA */
749566063dSJacob Faibussowitsch   PetscCall(MatFactorInfoInitialize(&info));
75c4762a1bSJed Brown 
76c4762a1bSJed Brown   info.fill          = 1.0;
77c4762a1bSJed Brown   info.diagonal_fill = 0;
78c4762a1bSJed Brown   info.zeropivot     = 0.0;
79c4762a1bSJed Brown 
809566063dSJacob Faibussowitsch   PetscCall(PetscOptionsHasName(NULL, NULL, "-cholesky", &CHOLESKY));
81c4762a1bSJed Brown   if (CHOLESKY) {
829566063dSJacob Faibussowitsch     PetscCall(PetscPrintf(PETSC_COMM_SELF, "Test CHOLESKY...\n"));
839566063dSJacob Faibussowitsch     PetscCall(MatGetFactor(sC, MATSOLVERPETSC, MAT_FACTOR_CHOLESKY, &sA));
849566063dSJacob Faibussowitsch     PetscCall(MatCholeskyFactorSymbolic(sA, sC, row, &info));
85c4762a1bSJed Brown   } else {
869566063dSJacob Faibussowitsch     PetscCall(PetscPrintf(PETSC_COMM_SELF, "Test ICC...\n"));
87c4762a1bSJed Brown     info.levels = lf;
88c4762a1bSJed Brown 
899566063dSJacob Faibussowitsch     PetscCall(MatGetFactor(sC, MATSOLVERPETSC, MAT_FACTOR_ICC, &sA));
909566063dSJacob Faibussowitsch     PetscCall(MatICCFactorSymbolic(sA, sC, row, &info));
91c4762a1bSJed Brown   }
929566063dSJacob Faibussowitsch   PetscCall(MatCholeskyFactorNumeric(sA, sC, &info));
93c4762a1bSJed Brown 
94c4762a1bSJed Brown   /* test MatForwardSolve() and MatBackwardSolve() with matrix reordering on aij matrix C */
95c4762a1bSJed Brown   if (CHOLESKY) {
969566063dSJacob Faibussowitsch     PetscCall(PetscOptionsHasName(NULL, NULL, "-triangular_solve", &TRIANGULAR));
97c4762a1bSJed Brown     if (TRIANGULAR) {
989566063dSJacob Faibussowitsch       PetscCall(PetscPrintf(PETSC_COMM_SELF, "Test MatForwardSolve...\n"));
999566063dSJacob Faibussowitsch       PetscCall(MatForwardSolve(sA, b, ytmp));
1009566063dSJacob Faibussowitsch       PetscCall(PetscPrintf(PETSC_COMM_SELF, "Test MatBackwardSolve...\n"));
1019566063dSJacob Faibussowitsch       PetscCall(MatBackwardSolve(sA, ytmp, y));
1029566063dSJacob Faibussowitsch       PetscCall(VecAXPY(y, -1.0, x));
1039566063dSJacob Faibussowitsch       PetscCall(VecNorm(y, NORM_2, &norm2));
10448a46eb9SPierre Jolivet       if (norm2 > tol) PetscCall(PetscPrintf(PETSC_COMM_SELF, "MatForwardSolve and BackwardSolve: Norm of error=%g\n", (double)norm2));
105c4762a1bSJed Brown     }
106c4762a1bSJed Brown   }
107c4762a1bSJed Brown 
1089566063dSJacob Faibussowitsch   PetscCall(MatSolve(sA, b, y));
1099566063dSJacob Faibussowitsch   PetscCall(MatDestroy(&sC));
1109566063dSJacob Faibussowitsch   PetscCall(MatDestroy(&sA));
1119566063dSJacob Faibussowitsch   PetscCall(VecAXPY(y, -1.0, x));
1129566063dSJacob Faibussowitsch   PetscCall(VecNorm(y, NORM_2, &norm2));
11348a46eb9SPierre Jolivet   if (lf == -1 && norm2 > tol) PetscCall(PetscPrintf(PETSC_COMM_SELF, " reordered SEQAIJ:   Cholesky/ICC levels %" PetscInt_FMT ", residual %g\n", lf, (double)norm2));
114c4762a1bSJed Brown 
115c4762a1bSJed Brown   /* Free data structures */
1169566063dSJacob Faibussowitsch   PetscCall(MatDestroy(&C));
1179566063dSJacob Faibussowitsch   PetscCall(ISDestroy(&row));
1189566063dSJacob Faibussowitsch   PetscCall(ISDestroy(&col));
1199566063dSJacob Faibussowitsch   PetscCall(PetscRandomDestroy(&rdm));
1209566063dSJacob Faibussowitsch   PetscCall(VecDestroy(&x));
1219566063dSJacob Faibussowitsch   PetscCall(VecDestroy(&y));
1229566063dSJacob Faibussowitsch   PetscCall(VecDestroy(&ytmp));
1239566063dSJacob Faibussowitsch   PetscCall(VecDestroy(&b));
1249566063dSJacob Faibussowitsch   PetscCall(PetscFinalize());
125b122ec5aSJacob Faibussowitsch   return 0;
126c4762a1bSJed Brown }
127c4762a1bSJed Brown 
128c4762a1bSJed Brown /*TEST
129c4762a1bSJed Brown 
130c4762a1bSJed Brown    test:
131c4762a1bSJed Brown       output_file: output/ex128.out
132c4762a1bSJed Brown 
133c4762a1bSJed Brown    test:
134c4762a1bSJed Brown       suffix: 2
135c4762a1bSJed Brown       args: -cholesky -triangular_solve
136c4762a1bSJed Brown 
137c4762a1bSJed Brown TEST*/
138