xref: /petsc/src/mat/tests/ex30.c (revision b122ec5aa1bd4469eb4e0673542fb7de3f411254)
1c4762a1bSJed Brown 
2c4762a1bSJed Brown static char help[] = "Tests ILU and ICC factorization with and without matrix ordering on seqaij format, and illustrates drawing of matrix sparsity structure with MatView().\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 
13c4762a1bSJed Brown int main(int argc,char **args)
14c4762a1bSJed Brown {
15c4762a1bSJed Brown   Mat            C,A;
16c4762a1bSJed Brown   PetscInt       i,j,m = 5,n = 5,Ii,J,lf = 0;
17c4762a1bSJed Brown   PetscBool      LU=PETSC_FALSE,CHOLESKY,TRIANGULAR=PETSC_FALSE,MATDSPL=PETSC_FALSE,flg,matordering;
18c4762a1bSJed Brown   PetscScalar    v;
19c4762a1bSJed Brown   IS             row,col;
20c4762a1bSJed Brown   PetscViewer    viewer1,viewer2;
21c4762a1bSJed Brown   MatFactorInfo  info;
22c4762a1bSJed Brown   Vec            x,y,b,ytmp;
23c4762a1bSJed Brown   PetscReal      norm2,norm2_inplace, tol = 100.*PETSC_MACHINE_EPSILON;
24c4762a1bSJed Brown   PetscRandom    rdm;
25c4762a1bSJed Brown   PetscMPIInt    size;
26c4762a1bSJed Brown 
27*b122ec5aSJacob Faibussowitsch   CHKERRQ(PetscInitialize(&argc,&args,(char*)0,help));
285f80ce2aSJacob Faibussowitsch   CHKERRMPI(MPI_Comm_size(PETSC_COMM_WORLD,&size));
292c71b3e2SJacob Faibussowitsch   PetscCheckFalse(size != 1,PETSC_COMM_WORLD,PETSC_ERR_WRONG_MPI_SIZE,"This is a uniprocessor example only!");
305f80ce2aSJacob Faibussowitsch   CHKERRQ(PetscOptionsGetInt(NULL,NULL,"-m",&m,NULL));
315f80ce2aSJacob Faibussowitsch   CHKERRQ(PetscOptionsGetInt(NULL,NULL,"-n",&n,NULL));
325f80ce2aSJacob Faibussowitsch   CHKERRQ(PetscOptionsGetInt(NULL,NULL,"-lf",&lf,NULL));
33c4762a1bSJed Brown 
345f80ce2aSJacob Faibussowitsch   CHKERRQ(PetscViewerDrawOpen(PETSC_COMM_SELF,0,0,0,0,400,400,&viewer1));
355f80ce2aSJacob Faibussowitsch   CHKERRQ(PetscViewerDrawOpen(PETSC_COMM_SELF,0,0,400,0,400,400,&viewer2));
36c4762a1bSJed Brown 
375f80ce2aSJacob Faibussowitsch   CHKERRQ(MatCreate(PETSC_COMM_SELF,&C));
385f80ce2aSJacob Faibussowitsch   CHKERRQ(MatSetSizes(C,m*n,m*n,m*n,m*n));
395f80ce2aSJacob Faibussowitsch   CHKERRQ(MatSetFromOptions(C));
405f80ce2aSJacob Faibussowitsch   CHKERRQ(MatSetUp(C));
41c4762a1bSJed Brown 
42c4762a1bSJed Brown   /* Create matrix C in seqaij format and sC in seqsbaij. (This is five-point stencil with some extra elements) */
43c4762a1bSJed Brown   for (i=0; i<m; i++) {
44c4762a1bSJed Brown     for (j=0; j<n; j++) {
45c4762a1bSJed Brown       v = -1.0;  Ii = j + n*i;
465f80ce2aSJacob Faibussowitsch       J = Ii - n; if (J>=0)  CHKERRQ(MatSetValues(C,1,&Ii,1,&J,&v,INSERT_VALUES));
475f80ce2aSJacob Faibussowitsch       J = Ii + n; if (J<m*n) CHKERRQ(MatSetValues(C,1,&Ii,1,&J,&v,INSERT_VALUES));
485f80ce2aSJacob Faibussowitsch       J = Ii - 1; if (J>=0)  CHKERRQ(MatSetValues(C,1,&Ii,1,&J,&v,INSERT_VALUES));
495f80ce2aSJacob Faibussowitsch       J = Ii + 1; if (J<m*n) CHKERRQ(MatSetValues(C,1,&Ii,1,&J,&v,INSERT_VALUES));
505f80ce2aSJacob Faibussowitsch       v = 4.0; CHKERRQ(MatSetValues(C,1,&Ii,1,&Ii,&v,INSERT_VALUES));
51c4762a1bSJed Brown     }
52c4762a1bSJed Brown   }
535f80ce2aSJacob Faibussowitsch   CHKERRQ(MatAssemblyBegin(C,MAT_FINAL_ASSEMBLY));
545f80ce2aSJacob Faibussowitsch   CHKERRQ(MatAssemblyEnd(C,MAT_FINAL_ASSEMBLY));
55c4762a1bSJed Brown 
565f80ce2aSJacob Faibussowitsch   CHKERRQ(MatIsSymmetric(C,0.0,&flg));
5728b400f6SJacob Faibussowitsch   PetscCheck(flg,PETSC_COMM_SELF,PETSC_ERR_SUP,"C is non-symmetric");
58c4762a1bSJed Brown 
59c4762a1bSJed Brown   /* Create vectors for error checking */
605f80ce2aSJacob Faibussowitsch   CHKERRQ(MatCreateVecs(C,&x,&b));
615f80ce2aSJacob Faibussowitsch   CHKERRQ(VecDuplicate(x,&y));
625f80ce2aSJacob Faibussowitsch   CHKERRQ(VecDuplicate(x,&ytmp));
635f80ce2aSJacob Faibussowitsch   CHKERRQ(PetscRandomCreate(PETSC_COMM_SELF,&rdm));
645f80ce2aSJacob Faibussowitsch   CHKERRQ(PetscRandomSetFromOptions(rdm));
655f80ce2aSJacob Faibussowitsch   CHKERRQ(VecSetRandom(x,rdm));
665f80ce2aSJacob Faibussowitsch   CHKERRQ(MatMult(C,x,b));
67c4762a1bSJed Brown 
685f80ce2aSJacob Faibussowitsch   CHKERRQ(PetscOptionsHasName(NULL,NULL,"-mat_ordering",&matordering));
69c4762a1bSJed Brown   if (matordering) {
705f80ce2aSJacob Faibussowitsch     CHKERRQ(MatGetOrdering(C,MATORDERINGRCM,&row,&col));
71c4762a1bSJed Brown   } else {
725f80ce2aSJacob Faibussowitsch     CHKERRQ(MatGetOrdering(C,MATORDERINGNATURAL,&row,&col));
73c4762a1bSJed Brown   }
74c4762a1bSJed Brown 
755f80ce2aSJacob Faibussowitsch   CHKERRQ(PetscOptionsHasName(NULL,NULL,"-display_matrices",&MATDSPL));
76c4762a1bSJed Brown   if (MATDSPL) {
77c4762a1bSJed Brown     printf("original matrix:\n");
785f80ce2aSJacob Faibussowitsch     CHKERRQ(PetscViewerPushFormat(PETSC_VIEWER_STDOUT_SELF,PETSC_VIEWER_ASCII_INFO));
795f80ce2aSJacob Faibussowitsch     CHKERRQ(MatView(C,PETSC_VIEWER_STDOUT_SELF));
805f80ce2aSJacob Faibussowitsch     CHKERRQ(PetscViewerPopFormat(PETSC_VIEWER_STDOUT_SELF));
815f80ce2aSJacob Faibussowitsch     CHKERRQ(MatView(C,PETSC_VIEWER_STDOUT_SELF));
825f80ce2aSJacob Faibussowitsch     CHKERRQ(MatView(C,viewer1));
83c4762a1bSJed Brown   }
84c4762a1bSJed Brown 
85c4762a1bSJed Brown   /* Compute LU or ILU factor A */
865f80ce2aSJacob Faibussowitsch   CHKERRQ(MatFactorInfoInitialize(&info));
87c4762a1bSJed Brown 
88c4762a1bSJed Brown   info.fill          = 1.0;
89c4762a1bSJed Brown   info.diagonal_fill = 0;
90c4762a1bSJed Brown   info.zeropivot     = 0.0;
91c4762a1bSJed Brown 
925f80ce2aSJacob Faibussowitsch   CHKERRQ(PetscOptionsHasName(NULL,NULL,"-lu",&LU));
93c4762a1bSJed Brown   if (LU) {
94c4762a1bSJed Brown     printf("Test LU...\n");
955f80ce2aSJacob Faibussowitsch     CHKERRQ(MatGetFactor(C,MATSOLVERPETSC,MAT_FACTOR_LU,&A));
965f80ce2aSJacob Faibussowitsch     CHKERRQ(MatLUFactorSymbolic(A,C,row,col,&info));
97c4762a1bSJed Brown   } else {
98c4762a1bSJed Brown     printf("Test ILU...\n");
99c4762a1bSJed Brown     info.levels = lf;
100c4762a1bSJed Brown 
1015f80ce2aSJacob Faibussowitsch     CHKERRQ(MatGetFactor(C,MATSOLVERPETSC,MAT_FACTOR_ILU,&A));
1025f80ce2aSJacob Faibussowitsch     CHKERRQ(MatILUFactorSymbolic(A,C,row,col,&info));
103c4762a1bSJed Brown   }
1045f80ce2aSJacob Faibussowitsch   CHKERRQ(MatLUFactorNumeric(A,C,&info));
105c4762a1bSJed Brown 
106c4762a1bSJed Brown   /* Solve A*y = b, then check the error */
1075f80ce2aSJacob Faibussowitsch   CHKERRQ(MatSolve(A,b,y));
1085f80ce2aSJacob Faibussowitsch   CHKERRQ(VecAXPY(y,-1.0,x));
1095f80ce2aSJacob Faibussowitsch   CHKERRQ(VecNorm(y,NORM_2,&norm2));
1105f80ce2aSJacob Faibussowitsch   CHKERRQ(MatDestroy(&A));
111c4762a1bSJed Brown 
112c4762a1bSJed Brown   /* Test in-place ILU(0) and compare it with the out-place ILU(0) */
113c4762a1bSJed Brown   if (!LU && lf==0) {
1145f80ce2aSJacob Faibussowitsch     CHKERRQ(MatDuplicate(C,MAT_COPY_VALUES,&A));
1155f80ce2aSJacob Faibussowitsch     CHKERRQ(MatILUFactor(A,row,col,&info));
116c4762a1bSJed Brown     /*
117c4762a1bSJed Brown     printf("In-place factored matrix:\n");
1185f80ce2aSJacob Faibussowitsch     CHKERRQ(MatView(C,PETSC_VIEWER_STDOUT_SELF));
119c4762a1bSJed Brown     */
1205f80ce2aSJacob Faibussowitsch     CHKERRQ(MatSolve(A,b,y));
1215f80ce2aSJacob Faibussowitsch     CHKERRQ(VecAXPY(y,-1.0,x));
1225f80ce2aSJacob Faibussowitsch     CHKERRQ(VecNorm(y,NORM_2,&norm2_inplace));
1232c71b3e2SJacob Faibussowitsch     PetscCheckFalse(PetscAbs(norm2 - norm2_inplace) > tol,PETSC_COMM_SELF,PETSC_ERR_PLIB,"ILU(0) %g and in-place ILU(0) %g give different residuals",(double)norm2,(double)norm2_inplace);
1245f80ce2aSJacob Faibussowitsch     CHKERRQ(MatDestroy(&A));
125c4762a1bSJed Brown   }
126c4762a1bSJed Brown 
127c4762a1bSJed Brown   /* Test Cholesky and ICC on seqaij matrix with matrix reordering on aij matrix C */
128c4762a1bSJed Brown   CHOLESKY = LU;
129c4762a1bSJed Brown   if (CHOLESKY) {
130c4762a1bSJed Brown     printf("Test Cholesky...\n");
131c4762a1bSJed Brown     lf   = -1;
1325f80ce2aSJacob Faibussowitsch     CHKERRQ(MatGetFactor(C,MATSOLVERPETSC,MAT_FACTOR_CHOLESKY,&A));
1335f80ce2aSJacob Faibussowitsch     CHKERRQ(MatCholeskyFactorSymbolic(A,C,row,&info));
134c4762a1bSJed Brown   } else {
135c4762a1bSJed Brown     printf("Test ICC...\n");
136c4762a1bSJed Brown     info.levels        = lf;
137c4762a1bSJed Brown     info.fill          = 1.0;
138c4762a1bSJed Brown     info.diagonal_fill = 0;
139c4762a1bSJed Brown     info.zeropivot     = 0.0;
140c4762a1bSJed Brown 
1415f80ce2aSJacob Faibussowitsch     CHKERRQ(MatGetFactor(C,MATSOLVERPETSC,MAT_FACTOR_ICC,&A));
1425f80ce2aSJacob Faibussowitsch     CHKERRQ(MatICCFactorSymbolic(A,C,row,&info));
143c4762a1bSJed Brown   }
1445f80ce2aSJacob Faibussowitsch   CHKERRQ(MatCholeskyFactorNumeric(A,C,&info));
145c4762a1bSJed Brown 
146c4762a1bSJed Brown   /* test MatForwardSolve() and MatBackwardSolve() with matrix reordering on aij matrix C */
147c4762a1bSJed Brown   if (lf == -1) {
1485f80ce2aSJacob Faibussowitsch     CHKERRQ(PetscOptionsHasName(NULL,NULL,"-triangular_solve",&TRIANGULAR));
149c4762a1bSJed Brown     if (TRIANGULAR) {
150c4762a1bSJed Brown       printf("Test MatForwardSolve...\n");
1515f80ce2aSJacob Faibussowitsch       CHKERRQ(MatForwardSolve(A,b,ytmp));
152c4762a1bSJed Brown       printf("Test MatBackwardSolve...\n");
1535f80ce2aSJacob Faibussowitsch       CHKERRQ(MatBackwardSolve(A,ytmp,y));
1545f80ce2aSJacob Faibussowitsch       CHKERRQ(VecAXPY(y,-1.0,x));
1555f80ce2aSJacob Faibussowitsch       CHKERRQ(VecNorm(y,NORM_2,&norm2));
156c4762a1bSJed Brown       if (norm2 > tol) {
1575f80ce2aSJacob Faibussowitsch         CHKERRQ(PetscPrintf(PETSC_COMM_SELF,"MatForwardSolve and BackwardSolve: Norm of error=%g\n",(double)norm2));
158c4762a1bSJed Brown       }
159c4762a1bSJed Brown     }
160c4762a1bSJed Brown   }
161c4762a1bSJed Brown 
1625f80ce2aSJacob Faibussowitsch   CHKERRQ(MatSolve(A,b,y));
1635f80ce2aSJacob Faibussowitsch   CHKERRQ(MatDestroy(&A));
1645f80ce2aSJacob Faibussowitsch   CHKERRQ(VecAXPY(y,-1.0,x));
1655f80ce2aSJacob Faibussowitsch   CHKERRQ(VecNorm(y,NORM_2,&norm2));
166c4762a1bSJed Brown   if (lf == -1 && norm2 > tol) {
1675f80ce2aSJacob Faibussowitsch     CHKERRQ(PetscPrintf(PETSC_COMM_SELF, " reordered SEQAIJ:   Cholesky/ICC levels %" PetscInt_FMT ", residual %g\n",lf,(double)norm2));
168c4762a1bSJed Brown   }
169c4762a1bSJed Brown 
170c4762a1bSJed Brown   /* Test in-place ICC(0) and compare it with the out-place ICC(0) */
171c4762a1bSJed Brown   if (!CHOLESKY && lf==0 && !matordering) {
1725f80ce2aSJacob Faibussowitsch     CHKERRQ(MatConvert(C,MATSBAIJ,MAT_INITIAL_MATRIX,&A));
1735f80ce2aSJacob Faibussowitsch     CHKERRQ(MatICCFactor(A,row,&info));
174c4762a1bSJed Brown     /*
175c4762a1bSJed Brown     printf("In-place factored matrix:\n");
1765f80ce2aSJacob Faibussowitsch     CHKERRQ(MatView(A,PETSC_VIEWER_STDOUT_SELF));
177c4762a1bSJed Brown     */
1785f80ce2aSJacob Faibussowitsch     CHKERRQ(MatSolve(A,b,y));
1795f80ce2aSJacob Faibussowitsch     CHKERRQ(VecAXPY(y,-1.0,x));
1805f80ce2aSJacob Faibussowitsch     CHKERRQ(VecNorm(y,NORM_2,&norm2_inplace));
1812c71b3e2SJacob Faibussowitsch     PetscCheckFalse(PetscAbs(norm2 - norm2_inplace) > tol,PETSC_COMM_SELF,PETSC_ERR_PLIB,"ICC(0) %g and in-place ICC(0) %g give different residuals",(double)norm2,(double)norm2_inplace);
1825f80ce2aSJacob Faibussowitsch     CHKERRQ(MatDestroy(&A));
183c4762a1bSJed Brown   }
184c4762a1bSJed Brown 
185c4762a1bSJed Brown   /* Free data structures */
1865f80ce2aSJacob Faibussowitsch   CHKERRQ(ISDestroy(&row));
1875f80ce2aSJacob Faibussowitsch   CHKERRQ(ISDestroy(&col));
1885f80ce2aSJacob Faibussowitsch   CHKERRQ(MatDestroy(&C));
1895f80ce2aSJacob Faibussowitsch   CHKERRQ(PetscViewerDestroy(&viewer1));
1905f80ce2aSJacob Faibussowitsch   CHKERRQ(PetscViewerDestroy(&viewer2));
1915f80ce2aSJacob Faibussowitsch   CHKERRQ(PetscRandomDestroy(&rdm));
1925f80ce2aSJacob Faibussowitsch   CHKERRQ(VecDestroy(&x));
1935f80ce2aSJacob Faibussowitsch   CHKERRQ(VecDestroy(&y));
1945f80ce2aSJacob Faibussowitsch   CHKERRQ(VecDestroy(&ytmp));
1955f80ce2aSJacob Faibussowitsch   CHKERRQ(VecDestroy(&b));
196*b122ec5aSJacob Faibussowitsch   CHKERRQ(PetscFinalize());
197*b122ec5aSJacob Faibussowitsch   return 0;
198c4762a1bSJed Brown }
199c4762a1bSJed Brown 
200c4762a1bSJed Brown /*TEST
201c4762a1bSJed Brown 
202c4762a1bSJed Brown    test:
203c4762a1bSJed Brown       args: -mat_ordering -display_matrices -nox
204c4762a1bSJed Brown       filter: grep -v "MPI processes"
205c4762a1bSJed Brown 
206c4762a1bSJed Brown    test:
207c4762a1bSJed Brown       suffix: 2
208c4762a1bSJed Brown       args: -mat_ordering -display_matrices -nox -lu
209c4762a1bSJed Brown 
210c4762a1bSJed Brown    test:
211c4762a1bSJed Brown       suffix: 3
212c4762a1bSJed Brown       args: -mat_ordering -lu -triangular_solve
213c4762a1bSJed Brown 
214c4762a1bSJed Brown    test:
215c4762a1bSJed Brown       suffix: 4
216c4762a1bSJed Brown 
217c4762a1bSJed Brown    test:
218c4762a1bSJed Brown       suffix: 5
219c4762a1bSJed Brown       args: -lu
220c4762a1bSJed Brown 
221c4762a1bSJed Brown    test:
222c4762a1bSJed Brown       suffix: 6
223c4762a1bSJed Brown       args: -lu -triangular_solve
224c4762a1bSJed Brown       output_file: output/ex30_3.out
225c4762a1bSJed Brown 
226c4762a1bSJed Brown TEST*/
227