xref: /petsc/src/mat/tests/ex28.c (revision 8fffc7623b428232ccbb2ec708553adbd8d47aa1)
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;
21ffc4695bSBarry Smith   ierr = MPI_Comm_rank(PETSC_COMM_WORLD, &rank);CHKERRMPI(ierr);
22c4762a1bSJed Brown 
23c4762a1bSJed Brown   /* Create and assemble matrices, all have same data structure */
24c4762a1bSJed Brown   for (k=0; k<num_numfac; k++) {
25c4762a1bSJed Brown     ierr = MatCreate(PETSC_COMM_WORLD,&A[k]);CHKERRQ(ierr);
26c4762a1bSJed Brown     ierr = MatSetSizes(A[k],PETSC_DECIDE,PETSC_DECIDE,N,N);CHKERRQ(ierr);
27c4762a1bSJed Brown     ierr = MatSetFromOptions(A[k]);CHKERRQ(ierr);
28c4762a1bSJed Brown     ierr = MatSetUp(A[k]);CHKERRQ(ierr);
29c4762a1bSJed Brown     ierr = MatGetOwnershipRange(A[k],&rstart,&rend);CHKERRQ(ierr);
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) {
37c4762a1bSJed Brown         ierr = MatSetValues(A[k],1,&i,2,col+1,value+1,INSERT_VALUES);CHKERRQ(ierr);
38c4762a1bSJed Brown       } else if (i == N-1) {
39c4762a1bSJed Brown         ierr = MatSetValues(A[k],1,&i,2,col,value,INSERT_VALUES);CHKERRQ(ierr);
40c4762a1bSJed Brown       } else {
41c4762a1bSJed Brown         ierr = MatSetValues(A[k],1,&i,3,col,value,INSERT_VALUES);CHKERRQ(ierr);
42c4762a1bSJed Brown       }
43c4762a1bSJed Brown     }
44c4762a1bSJed Brown     ierr = MatAssemblyBegin(A[k],MAT_FINAL_ASSEMBLY);CHKERRQ(ierr);
45c4762a1bSJed Brown     ierr = MatAssemblyEnd(A[k],MAT_FINAL_ASSEMBLY);CHKERRQ(ierr);
46c4762a1bSJed Brown     ierr = MatSetOption(A[k],MAT_NEW_NONZERO_LOCATION_ERR,PETSC_TRUE);CHKERRQ(ierr);
47c4762a1bSJed Brown   }
48c4762a1bSJed Brown 
49c4762a1bSJed Brown   /* Create vectors */
50c4762a1bSJed Brown   ierr = MatCreateVecs(A[0],&x,&b);CHKERRQ(ierr);
51c4762a1bSJed Brown   ierr = VecDuplicate(x,&u);CHKERRQ(ierr);
52c4762a1bSJed Brown 
53c4762a1bSJed Brown   /* Set rhs vector b */
54c4762a1bSJed Brown   ierr = VecSet(b,1.0);CHKERRQ(ierr);
55c4762a1bSJed Brown 
56c4762a1bSJed Brown   /* Get a symbolic factor F from A[0] */
57dc6ed827SStefano Zampini   ierr = PetscStrncpy(solvertype,"petsc",sizeof(solvertype));CHKERRQ(ierr);
58dc6ed827SStefano Zampini   ierr = PetscOptionsGetString(NULL, NULL, "-mat_solver_type",solvertype,sizeof(solvertype),NULL);CHKERRQ(ierr);
59dc6ed827SStefano Zampini   ierr = PetscOptionsGetEnum(NULL,NULL,"-mat_factor_type",MatFactorTypes,(PetscEnum*)&facttype,NULL);CHKERRQ(ierr);
60c4762a1bSJed Brown 
61dc6ed827SStefano Zampini   ierr = MatGetFactor(A[0],solvertype,facttype,&F);CHKERRQ(ierr);
62c4762a1bSJed Brown   /* test mumps options */
63dc6ed827SStefano Zampini #if defined(PETSC_HAVE_MUMPS)
64dc6ed827SStefano Zampini   ierr = MatMumpsSetIcntl(F,7,5);CHKERRQ(ierr);
65c4762a1bSJed Brown #endif
66dc6ed827SStefano Zampini   ierr = PetscStrncpy(factortype,MatFactorTypes[facttype],sizeof(factortype));CHKERRQ(ierr);
67dc6ed827SStefano Zampini   ierr = PetscStrtoupper(solvertype);CHKERRQ(ierr);
68dc6ed827SStefano Zampini   ierr = PetscStrtoupper(factortype);CHKERRQ(ierr);
69dc6ed827SStefano Zampini   ierr = PetscPrintf(PETSC_COMM_WORLD," %s %s:\n",solvertype,factortype);CHKERRQ(ierr);
70c4762a1bSJed Brown 
71c4762a1bSJed Brown   ierr = MatFactorInfoInitialize(&info);CHKERRQ(ierr);
72c4762a1bSJed Brown   info.fill = 5.0;
73c4762a1bSJed Brown   ierr = MatGetOrdering(A[0],MATORDERINGNATURAL,&perm,&iperm);CHKERRQ(ierr);
74dc6ed827SStefano Zampini   switch (facttype) {
75dc6ed827SStefano Zampini   case MAT_FACTOR_LU:
76c4762a1bSJed Brown     ierr = MatLUFactorSymbolic(F,A[0],perm,iperm,&info);CHKERRQ(ierr);
77dc6ed827SStefano Zampini     break;
78dc6ed827SStefano Zampini   case MAT_FACTOR_ILU:
79dc6ed827SStefano Zampini     ierr = MatILUFactorSymbolic(F,A[0],perm,iperm,&info);CHKERRQ(ierr);
80dc6ed827SStefano Zampini     break;
81dc6ed827SStefano Zampini   case MAT_FACTOR_ICC:
82dc6ed827SStefano Zampini     ierr = MatICCFactorSymbolic(F,A[0],perm,&info);CHKERRQ(ierr);
83dc6ed827SStefano Zampini     break;
84dc6ed827SStefano Zampini   case MAT_FACTOR_CHOLESKY:
85dc6ed827SStefano Zampini     ierr = MatCholeskyFactorSymbolic(F,A[0],perm,&info);CHKERRQ(ierr);
86dc6ed827SStefano Zampini     break;
87dc6ed827SStefano Zampini   default:
88dc6ed827SStefano Zampini     SETERRQ1(PETSC_COMM_WORLD,PETSC_ERR_SUP,"Not for factor type %s\n",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:
96c4762a1bSJed Brown       ierr = MatLUFactorNumeric(F,A[k],&info);CHKERRQ(ierr);
97dc6ed827SStefano Zampini       break;
98dc6ed827SStefano Zampini     case MAT_FACTOR_ICC:
99dc6ed827SStefano Zampini     case MAT_FACTOR_CHOLESKY:
100dc6ed827SStefano Zampini       ierr = MatCholeskyFactorNumeric(F,A[k],&info);CHKERRQ(ierr);
101dc6ed827SStefano Zampini       break;
102dc6ed827SStefano Zampini     default:
103dc6ed827SStefano Zampini       SETERRQ1(PETSC_COMM_WORLD,PETSC_ERR_SUP,"Not for factor type %s\n",factortype);
104dc6ed827SStefano Zampini     }
105c4762a1bSJed Brown 
106c4762a1bSJed Brown     /* Solve A[k] * x = b */
107c4762a1bSJed Brown     ierr = MatSolve(F,b,x);CHKERRQ(ierr);
108c4762a1bSJed Brown 
109c4762a1bSJed Brown     /* Check the residual */
110c4762a1bSJed Brown     ierr = MatMult(A[k],x,u);CHKERRQ(ierr);
111c4762a1bSJed Brown     ierr = VecAXPY(u,-1.0,b);CHKERRQ(ierr);
112c4762a1bSJed Brown     ierr = VecNorm(u,NORM_INFINITY,&norm);CHKERRQ(ierr);
113c4762a1bSJed Brown     if (norm > tol) {
114*8fffc762SJacob Faibussowitsch       ierr = PetscPrintf(PETSC_COMM_WORLD,"%" PetscInt_FMT "-the %s numfact and solve: residual %g\n",k,factortype,(double)norm);CHKERRQ(ierr);
115c4762a1bSJed Brown     }
116c4762a1bSJed Brown   }
117c4762a1bSJed Brown 
118c4762a1bSJed Brown   /* Free data structures */
119c4762a1bSJed Brown   for (k=0; k<num_numfac; k++) {
120c4762a1bSJed Brown     ierr = MatDestroy(&A[k]);CHKERRQ(ierr);
121c4762a1bSJed Brown   }
122c4762a1bSJed Brown   ierr = MatDestroy(&F);CHKERRQ(ierr);
123c4762a1bSJed Brown   ierr = ISDestroy(&perm);CHKERRQ(ierr);
124c4762a1bSJed Brown   ierr = ISDestroy(&iperm);CHKERRQ(ierr);
125c4762a1bSJed Brown   ierr = VecDestroy(&x);CHKERRQ(ierr);
126c4762a1bSJed Brown   ierr = VecDestroy(&b);CHKERRQ(ierr);
127c4762a1bSJed Brown   ierr = VecDestroy(&u);CHKERRQ(ierr);
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