xref: /petsc/src/mat/tests/ex128.c (revision d71ae5a4db6382e7f06317b8d368875286fe9008)
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