xref: /petsc/src/mat/tests/ex28.c (revision 327415f76d85372a4417cf1aaa14db707d4d6c04)
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   PetscMPIInt    rank;
11c4762a1bSJed Brown   PetscScalar    value[3];
12c4762a1bSJed Brown   PetscReal      norm,tol=100*PETSC_MACHINE_EPSILON;
13c4762a1bSJed Brown   IS             perm,iperm;
14c4762a1bSJed Brown   MatFactorInfo  info;
15dc6ed827SStefano Zampini   MatFactorType  facttype = MAT_FACTOR_LU;
16dc6ed827SStefano Zampini   char           solvertype[64];
17dc6ed827SStefano Zampini   char           factortype[64];
18c4762a1bSJed Brown 
19*327415f7SBarry Smith   PetscFunctionBeginUser;
209566063dSJacob Faibussowitsch   PetscCall(PetscInitialize(&argc,&args,(char*)0,help));
219566063dSJacob Faibussowitsch   PetscCallMPI(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++) {
259566063dSJacob Faibussowitsch     PetscCall(MatCreate(PETSC_COMM_WORLD,&A[k]));
269566063dSJacob Faibussowitsch     PetscCall(MatSetSizes(A[k],PETSC_DECIDE,PETSC_DECIDE,N,N));
279566063dSJacob Faibussowitsch     PetscCall(MatSetFromOptions(A[k]));
289566063dSJacob Faibussowitsch     PetscCall(MatSetUp(A[k]));
299566063dSJacob Faibussowitsch     PetscCall(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) {
379566063dSJacob Faibussowitsch         PetscCall(MatSetValues(A[k],1,&i,2,col+1,value+1,INSERT_VALUES));
38c4762a1bSJed Brown       } else if (i == N-1) {
399566063dSJacob Faibussowitsch         PetscCall(MatSetValues(A[k],1,&i,2,col,value,INSERT_VALUES));
40c4762a1bSJed Brown       } else {
419566063dSJacob Faibussowitsch         PetscCall(MatSetValues(A[k],1,&i,3,col,value,INSERT_VALUES));
42c4762a1bSJed Brown       }
43c4762a1bSJed Brown     }
449566063dSJacob Faibussowitsch     PetscCall(MatAssemblyBegin(A[k],MAT_FINAL_ASSEMBLY));
459566063dSJacob Faibussowitsch     PetscCall(MatAssemblyEnd(A[k],MAT_FINAL_ASSEMBLY));
469566063dSJacob Faibussowitsch     PetscCall(MatSetOption(A[k],MAT_NEW_NONZERO_LOCATION_ERR,PETSC_TRUE));
47c4762a1bSJed Brown   }
48c4762a1bSJed Brown 
49c4762a1bSJed Brown   /* Create vectors */
509566063dSJacob Faibussowitsch   PetscCall(MatCreateVecs(A[0],&x,&b));
519566063dSJacob Faibussowitsch   PetscCall(VecDuplicate(x,&u));
52c4762a1bSJed Brown 
53c4762a1bSJed Brown   /* Set rhs vector b */
549566063dSJacob Faibussowitsch   PetscCall(VecSet(b,1.0));
55c4762a1bSJed Brown 
56c4762a1bSJed Brown   /* Get a symbolic factor F from A[0] */
579566063dSJacob Faibussowitsch   PetscCall(PetscStrncpy(solvertype,"petsc",sizeof(solvertype)));
589566063dSJacob Faibussowitsch   PetscCall(PetscOptionsGetString(NULL, NULL, "-mat_solver_type",solvertype,sizeof(solvertype),NULL));
599566063dSJacob Faibussowitsch   PetscCall(PetscOptionsGetEnum(NULL,NULL,"-mat_factor_type",MatFactorTypes,(PetscEnum*)&facttype,NULL));
60c4762a1bSJed Brown 
619566063dSJacob Faibussowitsch   PetscCall(MatGetFactor(A[0],solvertype,facttype,&F));
62c4762a1bSJed Brown   /* test mumps options */
63dc6ed827SStefano Zampini #if defined(PETSC_HAVE_MUMPS)
649566063dSJacob Faibussowitsch   PetscCall(MatMumpsSetIcntl(F,7,5));
65c4762a1bSJed Brown #endif
669566063dSJacob Faibussowitsch   PetscCall(PetscStrncpy(factortype,MatFactorTypes[facttype],sizeof(factortype)));
679566063dSJacob Faibussowitsch   PetscCall(PetscStrtoupper(solvertype));
689566063dSJacob Faibussowitsch   PetscCall(PetscStrtoupper(factortype));
699566063dSJacob Faibussowitsch   PetscCall(PetscPrintf(PETSC_COMM_WORLD," %s %s:\n",solvertype,factortype));
70c4762a1bSJed Brown 
719566063dSJacob Faibussowitsch   PetscCall(MatFactorInfoInitialize(&info));
72c4762a1bSJed Brown   info.fill = 5.0;
739566063dSJacob Faibussowitsch   PetscCall(MatGetOrdering(A[0],MATORDERINGNATURAL,&perm,&iperm));
74dc6ed827SStefano Zampini   switch (facttype) {
75dc6ed827SStefano Zampini   case MAT_FACTOR_LU:
769566063dSJacob Faibussowitsch     PetscCall(MatLUFactorSymbolic(F,A[0],perm,iperm,&info));
77dc6ed827SStefano Zampini     break;
78dc6ed827SStefano Zampini   case MAT_FACTOR_ILU:
799566063dSJacob Faibussowitsch     PetscCall(MatILUFactorSymbolic(F,A[0],perm,iperm,&info));
80dc6ed827SStefano Zampini     break;
81dc6ed827SStefano Zampini   case MAT_FACTOR_ICC:
829566063dSJacob Faibussowitsch     PetscCall(MatICCFactorSymbolic(F,A[0],perm,&info));
83dc6ed827SStefano Zampini     break;
84dc6ed827SStefano Zampini   case MAT_FACTOR_CHOLESKY:
859566063dSJacob Faibussowitsch     PetscCall(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:
969566063dSJacob Faibussowitsch       PetscCall(MatLUFactorNumeric(F,A[k],&info));
97dc6ed827SStefano Zampini       break;
98dc6ed827SStefano Zampini     case MAT_FACTOR_ICC:
99dc6ed827SStefano Zampini     case MAT_FACTOR_CHOLESKY:
1009566063dSJacob Faibussowitsch       PetscCall(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 */
1079566063dSJacob Faibussowitsch     PetscCall(MatSolve(F,b,x));
108c4762a1bSJed Brown 
109c4762a1bSJed Brown     /* Check the residual */
1109566063dSJacob Faibussowitsch     PetscCall(MatMult(A[k],x,u));
1119566063dSJacob Faibussowitsch     PetscCall(VecAXPY(u,-1.0,b));
1129566063dSJacob Faibussowitsch     PetscCall(VecNorm(u,NORM_INFINITY,&norm));
113c4762a1bSJed Brown     if (norm > tol) {
1149566063dSJacob Faibussowitsch       PetscCall(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++) {
1209566063dSJacob Faibussowitsch     PetscCall(MatDestroy(&A[k]));
121c4762a1bSJed Brown   }
1229566063dSJacob Faibussowitsch   PetscCall(MatDestroy(&F));
1239566063dSJacob Faibussowitsch   PetscCall(ISDestroy(&perm));
1249566063dSJacob Faibussowitsch   PetscCall(ISDestroy(&iperm));
1259566063dSJacob Faibussowitsch   PetscCall(VecDestroy(&x));
1269566063dSJacob Faibussowitsch   PetscCall(VecDestroy(&b));
1279566063dSJacob Faibussowitsch   PetscCall(VecDestroy(&u));
1289566063dSJacob Faibussowitsch   PetscCall(PetscFinalize());
129b122ec5aSJacob Faibussowitsch   return 0;
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