xref: /petsc/src/mat/tests/ex128.c (revision 28b400f66ebc7ae0049166a2294dfcd3df27e64b)
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 
13c4762a1bSJed Brown int main(int argc,char **args)
14c4762a1bSJed Brown {
15c4762a1bSJed Brown   Mat            C,sC,sA;
16c4762a1bSJed Brown   PetscInt       i,j,m = 5,n = 5,Ii,J,lf = 0;
17c4762a1bSJed Brown   PetscErrorCode ierr;
18c4762a1bSJed Brown   PetscBool      CHOLESKY=PETSC_FALSE,TRIANGULAR=PETSC_FALSE,flg;
19c4762a1bSJed Brown   PetscScalar    v;
20c4762a1bSJed Brown   IS             row,col;
21c4762a1bSJed Brown   MatFactorInfo  info;
22c4762a1bSJed Brown   Vec            x,y,b,ytmp;
23c4762a1bSJed Brown   PetscReal      norm2,tol = 100*PETSC_MACHINE_EPSILON;
24c4762a1bSJed Brown   PetscRandom    rdm;
25c4762a1bSJed Brown   PetscMPIInt    size;
26c4762a1bSJed Brown 
27c4762a1bSJed Brown   ierr = PetscInitialize(&argc,&args,(char*)0,help);if (ierr) return ierr;
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(MatCreate(PETSC_COMM_SELF,&C));
355f80ce2aSJacob Faibussowitsch   CHKERRQ(MatSetSizes(C,m*n,m*n,m*n,m*n));
365f80ce2aSJacob Faibussowitsch   CHKERRQ(MatSetFromOptions(C));
375f80ce2aSJacob Faibussowitsch   CHKERRQ(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++) {
42c4762a1bSJed Brown       v = -1.0;  Ii = j + n*i;
435f80ce2aSJacob Faibussowitsch       J = Ii - n; if (J>=0)  CHKERRQ(MatSetValues(C,1,&Ii,1,&J,&v,INSERT_VALUES));
445f80ce2aSJacob Faibussowitsch       J = Ii + n; if (J<m*n) CHKERRQ(MatSetValues(C,1,&Ii,1,&J,&v,INSERT_VALUES));
455f80ce2aSJacob Faibussowitsch       J = Ii - 1; if (J>=0)  CHKERRQ(MatSetValues(C,1,&Ii,1,&J,&v,INSERT_VALUES));
465f80ce2aSJacob Faibussowitsch       J = Ii + 1; if (J<m*n) CHKERRQ(MatSetValues(C,1,&Ii,1,&J,&v,INSERT_VALUES));
475f80ce2aSJacob Faibussowitsch       v = 4.0; CHKERRQ(MatSetValues(C,1,&Ii,1,&Ii,&v,INSERT_VALUES));
48c4762a1bSJed Brown     }
49c4762a1bSJed Brown   }
505f80ce2aSJacob Faibussowitsch   CHKERRQ(MatAssemblyBegin(C,MAT_FINAL_ASSEMBLY));
515f80ce2aSJacob Faibussowitsch   CHKERRQ(MatAssemblyEnd(C,MAT_FINAL_ASSEMBLY));
52c4762a1bSJed Brown 
535f80ce2aSJacob Faibussowitsch   CHKERRQ(MatIsSymmetric(C,0.0,&flg));
54*28b400f6SJacob Faibussowitsch   PetscCheck(flg,PETSC_COMM_SELF,PETSC_ERR_SUP,"C is non-symmetric");
555f80ce2aSJacob Faibussowitsch   CHKERRQ(MatConvert(C,MATSEQSBAIJ,MAT_INITIAL_MATRIX,&sC));
56c4762a1bSJed Brown 
57c4762a1bSJed Brown   /* Create vectors for error checking */
585f80ce2aSJacob Faibussowitsch   CHKERRQ(MatCreateVecs(C,&x,&b));
595f80ce2aSJacob Faibussowitsch   CHKERRQ(VecDuplicate(x,&y));
605f80ce2aSJacob Faibussowitsch   CHKERRQ(VecDuplicate(x,&ytmp));
615f80ce2aSJacob Faibussowitsch   CHKERRQ(PetscRandomCreate(PETSC_COMM_SELF,&rdm));
625f80ce2aSJacob Faibussowitsch   CHKERRQ(PetscRandomSetFromOptions(rdm));
635f80ce2aSJacob Faibussowitsch   CHKERRQ(VecSetRandom(x,rdm));
645f80ce2aSJacob Faibussowitsch   CHKERRQ(MatMult(C,x,b));
65c4762a1bSJed Brown 
665f80ce2aSJacob Faibussowitsch   CHKERRQ(MatGetOrdering(C,MATORDERINGNATURAL,&row,&col));
67c4762a1bSJed Brown 
68c4762a1bSJed Brown   /* Compute CHOLESKY or ICC factor sA */
695f80ce2aSJacob Faibussowitsch   CHKERRQ(MatFactorInfoInitialize(&info));
70c4762a1bSJed Brown 
71c4762a1bSJed Brown   info.fill          = 1.0;
72c4762a1bSJed Brown   info.diagonal_fill = 0;
73c4762a1bSJed Brown   info.zeropivot     = 0.0;
74c4762a1bSJed Brown 
755f80ce2aSJacob Faibussowitsch   CHKERRQ(PetscOptionsHasName(NULL,NULL,"-cholesky",&CHOLESKY));
76c4762a1bSJed Brown   if (CHOLESKY) {
775f80ce2aSJacob Faibussowitsch     CHKERRQ(PetscPrintf(PETSC_COMM_SELF,"Test CHOLESKY...\n"));
785f80ce2aSJacob Faibussowitsch     CHKERRQ(MatGetFactor(sC,MATSOLVERPETSC,MAT_FACTOR_CHOLESKY,&sA));
795f80ce2aSJacob Faibussowitsch     CHKERRQ(MatCholeskyFactorSymbolic(sA,sC,row,&info));
80c4762a1bSJed Brown   } else {
815f80ce2aSJacob Faibussowitsch     CHKERRQ(PetscPrintf(PETSC_COMM_SELF,"Test ICC...\n"));
82c4762a1bSJed Brown     info.levels = lf;
83c4762a1bSJed Brown 
845f80ce2aSJacob Faibussowitsch     CHKERRQ(MatGetFactor(sC,MATSOLVERPETSC,MAT_FACTOR_ICC,&sA));
855f80ce2aSJacob Faibussowitsch     CHKERRQ(MatICCFactorSymbolic(sA,sC,row,&info));
86c4762a1bSJed Brown   }
875f80ce2aSJacob Faibussowitsch   CHKERRQ(MatCholeskyFactorNumeric(sA,sC,&info));
88c4762a1bSJed Brown 
89c4762a1bSJed Brown   /* test MatForwardSolve() and MatBackwardSolve() with matrix reordering on aij matrix C */
90c4762a1bSJed Brown   if (CHOLESKY) {
915f80ce2aSJacob Faibussowitsch     CHKERRQ(PetscOptionsHasName(NULL,NULL,"-triangular_solve",&TRIANGULAR));
92c4762a1bSJed Brown     if (TRIANGULAR) {
935f80ce2aSJacob Faibussowitsch       CHKERRQ(PetscPrintf(PETSC_COMM_SELF,"Test MatForwardSolve...\n"));
945f80ce2aSJacob Faibussowitsch       CHKERRQ(MatForwardSolve(sA,b,ytmp));
955f80ce2aSJacob Faibussowitsch       CHKERRQ(PetscPrintf(PETSC_COMM_SELF,"Test MatBackwardSolve...\n"));
965f80ce2aSJacob Faibussowitsch       CHKERRQ(MatBackwardSolve(sA,ytmp,y));
975f80ce2aSJacob Faibussowitsch       CHKERRQ(VecAXPY(y,-1.0,x));
985f80ce2aSJacob Faibussowitsch       CHKERRQ(VecNorm(y,NORM_2,&norm2));
99c4762a1bSJed Brown       if (norm2 > tol) {
1005f80ce2aSJacob Faibussowitsch         CHKERRQ(PetscPrintf(PETSC_COMM_SELF,"MatForwardSolve and BackwardSolve: Norm of error=%g\n",(double)norm2));
101c4762a1bSJed Brown       }
102c4762a1bSJed Brown     }
103c4762a1bSJed Brown   }
104c4762a1bSJed Brown 
1055f80ce2aSJacob Faibussowitsch   CHKERRQ(MatSolve(sA,b,y));
1065f80ce2aSJacob Faibussowitsch   CHKERRQ(MatDestroy(&sC));
1075f80ce2aSJacob Faibussowitsch   CHKERRQ(MatDestroy(&sA));
1085f80ce2aSJacob Faibussowitsch   CHKERRQ(VecAXPY(y,-1.0,x));
1095f80ce2aSJacob Faibussowitsch   CHKERRQ(VecNorm(y,NORM_2,&norm2));
110c4762a1bSJed Brown   if (lf == -1 && norm2 > tol) {
1115f80ce2aSJacob Faibussowitsch     CHKERRQ(PetscPrintf(PETSC_COMM_SELF, " reordered SEQAIJ:   Cholesky/ICC levels %" PetscInt_FMT ", residual %g\n",lf,(double)norm2));
112c4762a1bSJed Brown   }
113c4762a1bSJed Brown 
114c4762a1bSJed Brown   /* Free data structures */
1155f80ce2aSJacob Faibussowitsch   CHKERRQ(MatDestroy(&C));
1165f80ce2aSJacob Faibussowitsch   CHKERRQ(ISDestroy(&row));
1175f80ce2aSJacob Faibussowitsch   CHKERRQ(ISDestroy(&col));
1185f80ce2aSJacob Faibussowitsch   CHKERRQ(PetscRandomDestroy(&rdm));
1195f80ce2aSJacob Faibussowitsch   CHKERRQ(VecDestroy(&x));
1205f80ce2aSJacob Faibussowitsch   CHKERRQ(VecDestroy(&y));
1215f80ce2aSJacob Faibussowitsch   CHKERRQ(VecDestroy(&ytmp));
1225f80ce2aSJacob Faibussowitsch   CHKERRQ(VecDestroy(&b));
123c4762a1bSJed Brown   ierr = PetscFinalize();
124c4762a1bSJed Brown   return ierr;
125c4762a1bSJed Brown }
126c4762a1bSJed Brown 
127c4762a1bSJed Brown /*TEST
128c4762a1bSJed Brown 
129c4762a1bSJed Brown    test:
130c4762a1bSJed Brown       output_file: output/ex128.out
131c4762a1bSJed Brown 
132c4762a1bSJed Brown    test:
133c4762a1bSJed Brown       suffix: 2
134c4762a1bSJed Brown       args: -cholesky -triangular_solve
135c4762a1bSJed Brown 
136c4762a1bSJed Brown TEST*/
137