xref: /petsc/src/mat/tests/ex28.c (revision 5f80ce2ab25dff0f4601e710601cbbcecf323266)
1c4762a1bSJed Brown static char help[] = "Illustrate how to do one symbolic factorization and multiple numeric factorizations using same matrix structure. \n\n";
2c4762a1bSJed Brown 
3c4762a1bSJed Brown #include <petscmat.h>
4c4762a1bSJed Brown 
5c4762a1bSJed Brown int main(int argc,char **args)
6c4762a1bSJed Brown {
7dc6ed827SStefano Zampini   PetscInt       i,rstart,rend,N=10,num_numfac=5,col[3],k;
8c4762a1bSJed Brown   Mat            A[5],F;
9c4762a1bSJed Brown   Vec            u,x,b;
10c4762a1bSJed Brown   PetscErrorCode ierr;
11c4762a1bSJed Brown   PetscMPIInt    rank;
12c4762a1bSJed Brown   PetscScalar    value[3];
13c4762a1bSJed Brown   PetscReal      norm,tol=100*PETSC_MACHINE_EPSILON;
14c4762a1bSJed Brown   IS             perm,iperm;
15c4762a1bSJed Brown   MatFactorInfo  info;
16dc6ed827SStefano Zampini   MatFactorType  facttype = MAT_FACTOR_LU;
17dc6ed827SStefano Zampini   char           solvertype[64];
18dc6ed827SStefano Zampini   char           factortype[64];
19c4762a1bSJed Brown 
20c4762a1bSJed Brown   ierr = PetscInitialize(&argc,&args,(char*)0,help);if (ierr) return ierr;
21*5f80ce2aSJacob Faibussowitsch   CHKERRMPI(MPI_Comm_rank(PETSC_COMM_WORLD, &rank));
22c4762a1bSJed Brown 
23c4762a1bSJed Brown   /* Create and assemble matrices, all have same data structure */
24c4762a1bSJed Brown   for (k=0; k<num_numfac; k++) {
25*5f80ce2aSJacob Faibussowitsch     CHKERRQ(MatCreate(PETSC_COMM_WORLD,&A[k]));
26*5f80ce2aSJacob Faibussowitsch     CHKERRQ(MatSetSizes(A[k],PETSC_DECIDE,PETSC_DECIDE,N,N));
27*5f80ce2aSJacob Faibussowitsch     CHKERRQ(MatSetFromOptions(A[k]));
28*5f80ce2aSJacob Faibussowitsch     CHKERRQ(MatSetUp(A[k]));
29*5f80ce2aSJacob Faibussowitsch     CHKERRQ(MatGetOwnershipRange(A[k],&rstart,&rend));
30c4762a1bSJed Brown 
31dc6ed827SStefano Zampini     value[0] = -1.0*(k+1);
32dc6ed827SStefano Zampini     value[1] =  2.0*(k+1);
33dc6ed827SStefano Zampini     value[2] = -1.0*(k+1);
34c4762a1bSJed Brown     for (i=rstart; i<rend; i++) {
35c4762a1bSJed Brown       col[0] = i-1; col[1] = i; col[2] = i+1;
36c4762a1bSJed Brown       if (i == 0) {
37*5f80ce2aSJacob Faibussowitsch         CHKERRQ(MatSetValues(A[k],1,&i,2,col+1,value+1,INSERT_VALUES));
38c4762a1bSJed Brown       } else if (i == N-1) {
39*5f80ce2aSJacob Faibussowitsch         CHKERRQ(MatSetValues(A[k],1,&i,2,col,value,INSERT_VALUES));
40c4762a1bSJed Brown       } else {
41*5f80ce2aSJacob Faibussowitsch         CHKERRQ(MatSetValues(A[k],1,&i,3,col,value,INSERT_VALUES));
42c4762a1bSJed Brown       }
43c4762a1bSJed Brown     }
44*5f80ce2aSJacob Faibussowitsch     CHKERRQ(MatAssemblyBegin(A[k],MAT_FINAL_ASSEMBLY));
45*5f80ce2aSJacob Faibussowitsch     CHKERRQ(MatAssemblyEnd(A[k],MAT_FINAL_ASSEMBLY));
46*5f80ce2aSJacob Faibussowitsch     CHKERRQ(MatSetOption(A[k],MAT_NEW_NONZERO_LOCATION_ERR,PETSC_TRUE));
47c4762a1bSJed Brown   }
48c4762a1bSJed Brown 
49c4762a1bSJed Brown   /* Create vectors */
50*5f80ce2aSJacob Faibussowitsch   CHKERRQ(MatCreateVecs(A[0],&x,&b));
51*5f80ce2aSJacob Faibussowitsch   CHKERRQ(VecDuplicate(x,&u));
52c4762a1bSJed Brown 
53c4762a1bSJed Brown   /* Set rhs vector b */
54*5f80ce2aSJacob Faibussowitsch   CHKERRQ(VecSet(b,1.0));
55c4762a1bSJed Brown 
56c4762a1bSJed Brown   /* Get a symbolic factor F from A[0] */
57*5f80ce2aSJacob Faibussowitsch   CHKERRQ(PetscStrncpy(solvertype,"petsc",sizeof(solvertype)));
58*5f80ce2aSJacob Faibussowitsch   CHKERRQ(PetscOptionsGetString(NULL, NULL, "-mat_solver_type",solvertype,sizeof(solvertype),NULL));
59*5f80ce2aSJacob Faibussowitsch   CHKERRQ(PetscOptionsGetEnum(NULL,NULL,"-mat_factor_type",MatFactorTypes,(PetscEnum*)&facttype,NULL));
60c4762a1bSJed Brown 
61*5f80ce2aSJacob Faibussowitsch   CHKERRQ(MatGetFactor(A[0],solvertype,facttype,&F));
62c4762a1bSJed Brown   /* test mumps options */
63dc6ed827SStefano Zampini #if defined(PETSC_HAVE_MUMPS)
64*5f80ce2aSJacob Faibussowitsch   CHKERRQ(MatMumpsSetIcntl(F,7,5));
65c4762a1bSJed Brown #endif
66*5f80ce2aSJacob Faibussowitsch   CHKERRQ(PetscStrncpy(factortype,MatFactorTypes[facttype],sizeof(factortype)));
67*5f80ce2aSJacob Faibussowitsch   CHKERRQ(PetscStrtoupper(solvertype));
68*5f80ce2aSJacob Faibussowitsch   CHKERRQ(PetscStrtoupper(factortype));
69*5f80ce2aSJacob Faibussowitsch   CHKERRQ(PetscPrintf(PETSC_COMM_WORLD," %s %s:\n",solvertype,factortype));
70c4762a1bSJed Brown 
71*5f80ce2aSJacob Faibussowitsch   CHKERRQ(MatFactorInfoInitialize(&info));
72c4762a1bSJed Brown   info.fill = 5.0;
73*5f80ce2aSJacob Faibussowitsch   CHKERRQ(MatGetOrdering(A[0],MATORDERINGNATURAL,&perm,&iperm));
74dc6ed827SStefano Zampini   switch (facttype) {
75dc6ed827SStefano Zampini   case MAT_FACTOR_LU:
76*5f80ce2aSJacob Faibussowitsch     CHKERRQ(MatLUFactorSymbolic(F,A[0],perm,iperm,&info));
77dc6ed827SStefano Zampini     break;
78dc6ed827SStefano Zampini   case MAT_FACTOR_ILU:
79*5f80ce2aSJacob Faibussowitsch     CHKERRQ(MatILUFactorSymbolic(F,A[0],perm,iperm,&info));
80dc6ed827SStefano Zampini     break;
81dc6ed827SStefano Zampini   case MAT_FACTOR_ICC:
82*5f80ce2aSJacob Faibussowitsch     CHKERRQ(MatICCFactorSymbolic(F,A[0],perm,&info));
83dc6ed827SStefano Zampini     break;
84dc6ed827SStefano Zampini   case MAT_FACTOR_CHOLESKY:
85*5f80ce2aSJacob Faibussowitsch     CHKERRQ(MatCholeskyFactorSymbolic(F,A[0],perm,&info));
86dc6ed827SStefano Zampini     break;
87dc6ed827SStefano Zampini   default:
8898921bdaSJacob Faibussowitsch     SETERRQ(PETSC_COMM_WORLD,PETSC_ERR_SUP,"Not for factor type %s",factortype);
89dc6ed827SStefano Zampini   }
90c4762a1bSJed Brown 
91c4762a1bSJed Brown   /* Compute numeric factors using same F, then solve */
92c4762a1bSJed Brown   for (k = 0; k < num_numfac; k++) {
93dc6ed827SStefano Zampini     switch (facttype) {
94dc6ed827SStefano Zampini     case MAT_FACTOR_LU:
95dc6ed827SStefano Zampini     case MAT_FACTOR_ILU:
96*5f80ce2aSJacob Faibussowitsch       CHKERRQ(MatLUFactorNumeric(F,A[k],&info));
97dc6ed827SStefano Zampini       break;
98dc6ed827SStefano Zampini     case MAT_FACTOR_ICC:
99dc6ed827SStefano Zampini     case MAT_FACTOR_CHOLESKY:
100*5f80ce2aSJacob Faibussowitsch       CHKERRQ(MatCholeskyFactorNumeric(F,A[k],&info));
101dc6ed827SStefano Zampini       break;
102dc6ed827SStefano Zampini     default:
10398921bdaSJacob Faibussowitsch       SETERRQ(PETSC_COMM_WORLD,PETSC_ERR_SUP,"Not for factor type %s",factortype);
104dc6ed827SStefano Zampini     }
105c4762a1bSJed Brown 
106c4762a1bSJed Brown     /* Solve A[k] * x = b */
107*5f80ce2aSJacob Faibussowitsch     CHKERRQ(MatSolve(F,b,x));
108c4762a1bSJed Brown 
109c4762a1bSJed Brown     /* Check the residual */
110*5f80ce2aSJacob Faibussowitsch     CHKERRQ(MatMult(A[k],x,u));
111*5f80ce2aSJacob Faibussowitsch     CHKERRQ(VecAXPY(u,-1.0,b));
112*5f80ce2aSJacob Faibussowitsch     CHKERRQ(VecNorm(u,NORM_INFINITY,&norm));
113c4762a1bSJed Brown     if (norm > tol) {
114*5f80ce2aSJacob Faibussowitsch       CHKERRQ(PetscPrintf(PETSC_COMM_WORLD,"%" PetscInt_FMT "-the %s numfact and solve: residual %g\n",k,factortype,(double)norm));
115c4762a1bSJed Brown     }
116c4762a1bSJed Brown   }
117c4762a1bSJed Brown 
118c4762a1bSJed Brown   /* Free data structures */
119c4762a1bSJed Brown   for (k=0; k<num_numfac; k++) {
120*5f80ce2aSJacob Faibussowitsch     CHKERRQ(MatDestroy(&A[k]));
121c4762a1bSJed Brown   }
122*5f80ce2aSJacob Faibussowitsch   CHKERRQ(MatDestroy(&F));
123*5f80ce2aSJacob Faibussowitsch   CHKERRQ(ISDestroy(&perm));
124*5f80ce2aSJacob Faibussowitsch   CHKERRQ(ISDestroy(&iperm));
125*5f80ce2aSJacob Faibussowitsch   CHKERRQ(VecDestroy(&x));
126*5f80ce2aSJacob Faibussowitsch   CHKERRQ(VecDestroy(&b));
127*5f80ce2aSJacob Faibussowitsch   CHKERRQ(VecDestroy(&u));
128c4762a1bSJed Brown   ierr = PetscFinalize();
129c4762a1bSJed Brown   return ierr;
130c4762a1bSJed Brown }
131c4762a1bSJed Brown 
132c4762a1bSJed Brown /*TEST
133c4762a1bSJed Brown 
134c4762a1bSJed Brown    test:
135c4762a1bSJed Brown 
136c4762a1bSJed Brown    test:
137c4762a1bSJed Brown       suffix: 2
138c4762a1bSJed Brown       args: -mat_solver_type superlu
139c4762a1bSJed Brown       requires: superlu
140c4762a1bSJed Brown 
141c4762a1bSJed Brown    test:
142c4762a1bSJed Brown       suffix: 3
143c4762a1bSJed Brown       nsize: 2
144c4762a1bSJed Brown       requires: mumps
145c4762a1bSJed Brown       args: -mat_solver_type mumps
146c4762a1bSJed Brown 
147dc6ed827SStefano Zampini    test:
148dc6ed827SStefano Zampini       suffix: 4
149dc6ed827SStefano Zampini       args: -mat_solver_type cusparse -mat_type aijcusparse -mat_factor_type {{lu cholesky ilu icc}separate output}
150dc6ed827SStefano Zampini       requires: cuda
151dc6ed827SStefano Zampini 
152c4762a1bSJed Brown TEST*/
153