xref: /petsc/src/mat/tests/ex129.c (revision 327415f76d85372a4417cf1aaa14db707d4d6c04)
1c4762a1bSJed Brown 
2c4762a1bSJed Brown /*
3c4762a1bSJed Brown   Laplacian in 3D. Use for testing MatSolve routines.
4c4762a1bSJed Brown   Modeled by the partial differential equation
5c4762a1bSJed Brown 
6c4762a1bSJed Brown    - Laplacian u = 1,0 < x,y,z < 1,
7c4762a1bSJed Brown 
8c4762a1bSJed Brown    with boundary conditions
9c4762a1bSJed Brown    u = 1 for x = 0, x = 1, y = 0, y = 1, z = 0, z = 1.
10c4762a1bSJed Brown */
11c4762a1bSJed Brown 
12c4762a1bSJed Brown static char help[] = "This example is for testing different MatSolve routines :MatSolve(), MatSolveAdd(), MatSolveTranspose(), MatSolveTransposeAdd(), and MatMatSolve().\n\
13c4762a1bSJed Brown Example usage: ./ex129 -mat_type aij -dof 2\n\n";
14c4762a1bSJed Brown 
15c4762a1bSJed Brown #include <petscdm.h>
16c4762a1bSJed Brown #include <petscdmda.h>
17c4762a1bSJed Brown 
18c4762a1bSJed Brown extern PetscErrorCode ComputeMatrix(DM,Mat);
19c4762a1bSJed Brown extern PetscErrorCode ComputeRHS(DM,Vec);
20c4762a1bSJed Brown extern PetscErrorCode ComputeRHSMatrix(PetscInt,PetscInt,Mat*);
21c4762a1bSJed Brown 
22c4762a1bSJed Brown int main(int argc,char **args)
23c4762a1bSJed Brown {
24c4762a1bSJed Brown   PetscMPIInt    size;
25c4762a1bSJed Brown   Vec            x,b,y,b1;
26c4762a1bSJed Brown   DM             da;
27c4762a1bSJed Brown   Mat            A,F,RHS,X,C1;
28c4762a1bSJed Brown   MatFactorInfo  info;
29c4762a1bSJed Brown   IS             perm,iperm;
30c4762a1bSJed Brown   PetscInt       dof =1,M=8,m,n,nrhs;
31c4762a1bSJed Brown   PetscScalar    one = 1.0;
32c4762a1bSJed Brown   PetscReal      norm,tol = 1000*PETSC_MACHINE_EPSILON;
33c4762a1bSJed Brown   PetscBool      InplaceLU=PETSC_FALSE;
34c4762a1bSJed Brown 
35*327415f7SBarry Smith   PetscFunctionBeginUser;
369566063dSJacob Faibussowitsch   PetscCall(PetscInitialize(&argc,&args,(char*)0,help));
379566063dSJacob Faibussowitsch   PetscCallMPI(MPI_Comm_size(PETSC_COMM_WORLD,&size));
38be096a46SBarry Smith   PetscCheck(size == 1,PETSC_COMM_WORLD,PETSC_ERR_WRONG_MPI_SIZE,"This is a uniprocessor example only");
399566063dSJacob Faibussowitsch   PetscCall(PetscOptionsGetInt(NULL,NULL,"-dof",&dof,NULL));
409566063dSJacob Faibussowitsch   PetscCall(PetscOptionsGetInt(NULL,NULL,"-M",&M,NULL));
41c4762a1bSJed Brown 
429566063dSJacob Faibussowitsch   PetscCall(DMDACreate(PETSC_COMM_WORLD,&da));
439566063dSJacob Faibussowitsch   PetscCall(DMSetDimension(da,3));
449566063dSJacob Faibussowitsch   PetscCall(DMDASetBoundaryType(da,DM_BOUNDARY_NONE,DM_BOUNDARY_NONE,DM_BOUNDARY_NONE));
459566063dSJacob Faibussowitsch   PetscCall(DMDASetStencilType(da,DMDA_STENCIL_STAR));
469566063dSJacob Faibussowitsch   PetscCall(DMDASetSizes(da,M,M,M));
479566063dSJacob Faibussowitsch   PetscCall(DMDASetNumProcs(da,PETSC_DECIDE,PETSC_DECIDE,PETSC_DECIDE));
489566063dSJacob Faibussowitsch   PetscCall(DMDASetDof(da,dof));
499566063dSJacob Faibussowitsch   PetscCall(DMDASetStencilWidth(da,1));
509566063dSJacob Faibussowitsch   PetscCall(DMDASetOwnershipRanges(da,NULL,NULL,NULL));
519566063dSJacob Faibussowitsch   PetscCall(DMSetMatType(da,MATBAIJ));
529566063dSJacob Faibussowitsch   PetscCall(DMSetFromOptions(da));
539566063dSJacob Faibussowitsch   PetscCall(DMSetUp(da));
54c4762a1bSJed Brown 
559566063dSJacob Faibussowitsch   PetscCall(DMCreateGlobalVector(da,&x));
569566063dSJacob Faibussowitsch   PetscCall(DMCreateGlobalVector(da,&b));
579566063dSJacob Faibussowitsch   PetscCall(VecDuplicate(b,&y));
589566063dSJacob Faibussowitsch   PetscCall(ComputeRHS(da,b));
599566063dSJacob Faibussowitsch   PetscCall(VecSet(y,one));
609566063dSJacob Faibussowitsch   PetscCall(DMCreateMatrix(da,&A));
619566063dSJacob Faibussowitsch   PetscCall(ComputeMatrix(da,A));
629566063dSJacob Faibussowitsch   PetscCall(MatGetSize(A,&m,&n));
63c4762a1bSJed Brown   nrhs = 2;
649566063dSJacob Faibussowitsch   PetscCall(PetscOptionsGetInt(NULL,NULL,"-nrhs",&nrhs,NULL));
659566063dSJacob Faibussowitsch   PetscCall(ComputeRHSMatrix(m,nrhs,&RHS));
669566063dSJacob Faibussowitsch   PetscCall(MatDuplicate(RHS,MAT_DO_NOT_COPY_VALUES,&X));
67c4762a1bSJed Brown 
689566063dSJacob Faibussowitsch   PetscCall(MatGetOrdering(A,MATORDERINGND,&perm,&iperm));
69c4762a1bSJed Brown 
709566063dSJacob Faibussowitsch   PetscCall(PetscOptionsGetBool(NULL,NULL,"-inplacelu",&InplaceLU,NULL));
719566063dSJacob Faibussowitsch   PetscCall(MatFactorInfoInitialize(&info));
72c4762a1bSJed Brown   if (!InplaceLU) {
739566063dSJacob Faibussowitsch     PetscCall(MatGetFactor(A,MATSOLVERPETSC,MAT_FACTOR_LU,&F));
74c4762a1bSJed Brown     info.fill = 5.0;
759566063dSJacob Faibussowitsch     PetscCall(MatLUFactorSymbolic(F,A,perm,iperm,&info));
769566063dSJacob Faibussowitsch     PetscCall(MatLUFactorNumeric(F,A,&info));
77c4762a1bSJed Brown   } else { /* Test inplace factorization */
789566063dSJacob Faibussowitsch     PetscCall(MatDuplicate(A,MAT_COPY_VALUES,&F));
799566063dSJacob Faibussowitsch     PetscCall(MatLUFactor(F,perm,iperm,&info));
80c4762a1bSJed Brown   }
81c4762a1bSJed Brown 
829566063dSJacob Faibussowitsch   PetscCall(VecDuplicate(y,&b1));
83c4762a1bSJed Brown 
84c4762a1bSJed Brown   /* MatSolve */
859566063dSJacob Faibussowitsch   PetscCall(MatSolve(F,b,x));
869566063dSJacob Faibussowitsch   PetscCall(MatMult(A,x,b1));
879566063dSJacob Faibussowitsch   PetscCall(VecAXPY(b1,-1.0,b));
889566063dSJacob Faibussowitsch   PetscCall(VecNorm(b1,NORM_2,&norm));
89c4762a1bSJed Brown   if (norm > tol) {
909566063dSJacob Faibussowitsch     PetscCall(PetscPrintf(PETSC_COMM_WORLD,"MatSolve              : Error of norm %g\n",(double)norm));
91c4762a1bSJed Brown   }
92c4762a1bSJed Brown 
93c4762a1bSJed Brown   /* MatSolveTranspose */
949566063dSJacob Faibussowitsch   PetscCall(MatSolveTranspose(F,b,x));
959566063dSJacob Faibussowitsch   PetscCall(MatMultTranspose(A,x,b1));
969566063dSJacob Faibussowitsch   PetscCall(VecAXPY(b1,-1.0,b));
979566063dSJacob Faibussowitsch   PetscCall(VecNorm(b1,NORM_2,&norm));
98c4762a1bSJed Brown   if (norm > tol) {
999566063dSJacob Faibussowitsch     PetscCall(PetscPrintf(PETSC_COMM_WORLD,"MatSolveTranspose     : Error of norm %g\n",(double)norm));
100c4762a1bSJed Brown   }
101c4762a1bSJed Brown 
102c4762a1bSJed Brown   /* MatSolveAdd */
1039566063dSJacob Faibussowitsch   PetscCall(MatSolveAdd(F,b,y,x));
1049566063dSJacob Faibussowitsch   PetscCall(MatMult(A,y,b1));
1059566063dSJacob Faibussowitsch   PetscCall(VecScale(b1,-1.0));
1069566063dSJacob Faibussowitsch   PetscCall(MatMultAdd(A,x,b1,b1));
1079566063dSJacob Faibussowitsch   PetscCall(VecAXPY(b1,-1.0,b));
1089566063dSJacob Faibussowitsch   PetscCall(VecNorm(b1,NORM_2,&norm));
109c4762a1bSJed Brown   if (norm > tol) {
1109566063dSJacob Faibussowitsch     PetscCall(PetscPrintf(PETSC_COMM_WORLD,"MatSolveAdd           : Error of norm %g\n",(double)norm));
111c4762a1bSJed Brown   }
112c4762a1bSJed Brown 
113c4762a1bSJed Brown   /* MatSolveTransposeAdd */
1149566063dSJacob Faibussowitsch   PetscCall(MatSolveTransposeAdd(F,b,y,x));
1159566063dSJacob Faibussowitsch   PetscCall(MatMultTranspose(A,y,b1));
1169566063dSJacob Faibussowitsch   PetscCall(VecScale(b1,-1.0));
1179566063dSJacob Faibussowitsch   PetscCall(MatMultTransposeAdd(A,x,b1,b1));
1189566063dSJacob Faibussowitsch   PetscCall(VecAXPY(b1,-1.0,b));
1199566063dSJacob Faibussowitsch   PetscCall(VecNorm(b1,NORM_2,&norm));
120c4762a1bSJed Brown   if (norm > tol) {
1219566063dSJacob Faibussowitsch     PetscCall(PetscPrintf(PETSC_COMM_WORLD,"MatSolveTransposeAdd  : Error of norm %g\n",(double)norm));
122c4762a1bSJed Brown   }
123c4762a1bSJed Brown 
124c4762a1bSJed Brown   /* MatMatSolve */
1259566063dSJacob Faibussowitsch   PetscCall(MatMatSolve(F,RHS,X));
1269566063dSJacob Faibussowitsch   PetscCall(MatMatMult(A,X,MAT_INITIAL_MATRIX,2.0,&C1));
1279566063dSJacob Faibussowitsch   PetscCall(MatAXPY(C1,-1.0,RHS,SAME_NONZERO_PATTERN));
1289566063dSJacob Faibussowitsch   PetscCall(MatNorm(C1,NORM_FROBENIUS,&norm));
129c4762a1bSJed Brown   if (norm > tol) {
1309566063dSJacob Faibussowitsch     PetscCall(PetscPrintf(PETSC_COMM_WORLD,"MatMatSolve           : Error of norm %g\n",(double)norm));
131c4762a1bSJed Brown   }
132c4762a1bSJed Brown 
1339566063dSJacob Faibussowitsch   PetscCall(VecDestroy(&x));
1349566063dSJacob Faibussowitsch   PetscCall(VecDestroy(&b));
1359566063dSJacob Faibussowitsch   PetscCall(VecDestroy(&b1));
1369566063dSJacob Faibussowitsch   PetscCall(VecDestroy(&y));
1379566063dSJacob Faibussowitsch   PetscCall(MatDestroy(&A));
1389566063dSJacob Faibussowitsch   PetscCall(MatDestroy(&F));
1399566063dSJacob Faibussowitsch   PetscCall(MatDestroy(&RHS));
1409566063dSJacob Faibussowitsch   PetscCall(MatDestroy(&C1));
1419566063dSJacob Faibussowitsch   PetscCall(MatDestroy(&X));
1429566063dSJacob Faibussowitsch   PetscCall(ISDestroy(&perm));
1439566063dSJacob Faibussowitsch   PetscCall(ISDestroy(&iperm));
1449566063dSJacob Faibussowitsch   PetscCall(DMDestroy(&da));
1459566063dSJacob Faibussowitsch   PetscCall(PetscFinalize());
146b122ec5aSJacob Faibussowitsch   return 0;
147c4762a1bSJed Brown }
148c4762a1bSJed Brown 
149c4762a1bSJed Brown PetscErrorCode ComputeRHS(DM da,Vec b)
150c4762a1bSJed Brown {
151c4762a1bSJed Brown   PetscInt       mx,my,mz;
152c4762a1bSJed Brown   PetscScalar    h;
153c4762a1bSJed Brown 
154c4762a1bSJed Brown   PetscFunctionBegin;
1559566063dSJacob Faibussowitsch   PetscCall(DMDAGetInfo(da,0,&mx,&my,&mz,0,0,0,0,0,0,0,0,0));
156c4762a1bSJed Brown   h    = 1.0/((mx-1)*(my-1)*(mz-1));
1579566063dSJacob Faibussowitsch   PetscCall(VecSet(b,h));
158c4762a1bSJed Brown   PetscFunctionReturn(0);
159c4762a1bSJed Brown }
160c4762a1bSJed Brown 
161c4762a1bSJed Brown PetscErrorCode ComputeRHSMatrix(PetscInt m,PetscInt nrhs,Mat *C)
162c4762a1bSJed Brown {
163c4762a1bSJed Brown   PetscRandom    rand;
164c4762a1bSJed Brown   Mat            RHS;
165c4762a1bSJed Brown   PetscScalar    *array,rval;
166c4762a1bSJed Brown   PetscInt       i,k;
167c4762a1bSJed Brown 
168c4762a1bSJed Brown   PetscFunctionBegin;
1699566063dSJacob Faibussowitsch   PetscCall(MatCreate(PETSC_COMM_WORLD,&RHS));
1709566063dSJacob Faibussowitsch   PetscCall(MatSetSizes(RHS,m,PETSC_DECIDE,PETSC_DECIDE,nrhs));
1719566063dSJacob Faibussowitsch   PetscCall(MatSetType(RHS,MATSEQDENSE));
1729566063dSJacob Faibussowitsch   PetscCall(MatSetUp(RHS));
173c4762a1bSJed Brown 
1749566063dSJacob Faibussowitsch   PetscCall(PetscRandomCreate(PETSC_COMM_WORLD,&rand));
1759566063dSJacob Faibussowitsch   PetscCall(PetscRandomSetFromOptions(rand));
1769566063dSJacob Faibussowitsch   PetscCall(MatDenseGetArray(RHS,&array));
177c4762a1bSJed Brown   for (i=0; i<m; i++) {
1789566063dSJacob Faibussowitsch     PetscCall(PetscRandomGetValue(rand,&rval));
179c4762a1bSJed Brown     array[i] = rval;
180c4762a1bSJed Brown   }
181c4762a1bSJed Brown   if (nrhs > 1) {
182c4762a1bSJed Brown     for (k=1; k<nrhs; k++) {
183c4762a1bSJed Brown       for (i=0; i<m; i++) {
184c4762a1bSJed Brown         array[m*k+i] = array[i];
185c4762a1bSJed Brown       }
186c4762a1bSJed Brown     }
187c4762a1bSJed Brown   }
1889566063dSJacob Faibussowitsch   PetscCall(MatDenseRestoreArray(RHS,&array));
1899566063dSJacob Faibussowitsch   PetscCall(MatAssemblyBegin(RHS,MAT_FINAL_ASSEMBLY));
1909566063dSJacob Faibussowitsch   PetscCall(MatAssemblyEnd(RHS,MAT_FINAL_ASSEMBLY));
191c4762a1bSJed Brown   *C   = RHS;
1929566063dSJacob Faibussowitsch   PetscCall(PetscRandomDestroy(&rand));
193c4762a1bSJed Brown   PetscFunctionReturn(0);
194c4762a1bSJed Brown }
195c4762a1bSJed Brown 
196c4762a1bSJed Brown PetscErrorCode ComputeMatrix(DM da,Mat B)
197c4762a1bSJed Brown {
198c4762a1bSJed Brown   PetscInt       i,j,k,mx,my,mz,xm,ym,zm,xs,ys,zs,dof,k1,k2,k3;
199c4762a1bSJed Brown   PetscScalar    *v,*v_neighbor,Hx,Hy,Hz,HxHydHz,HyHzdHx,HxHzdHy,r1,r2;
200c4762a1bSJed Brown   MatStencil     row,col;
201c4762a1bSJed Brown   PetscRandom    rand;
202c4762a1bSJed Brown 
203c4762a1bSJed Brown   PetscFunctionBegin;
2049566063dSJacob Faibussowitsch   PetscCall(PetscRandomCreate(PETSC_COMM_WORLD,&rand));
2059566063dSJacob Faibussowitsch   PetscCall(PetscRandomSetSeed(rand,1));
2069566063dSJacob Faibussowitsch   PetscCall(PetscRandomSetInterval(rand,-.001,.001));
2079566063dSJacob Faibussowitsch   PetscCall(PetscRandomSetFromOptions(rand));
208c4762a1bSJed Brown 
2099566063dSJacob Faibussowitsch   PetscCall(DMDAGetInfo(da,0,&mx,&my,&mz,0,0,0,&dof,0,0,0,0,0));
210c4762a1bSJed Brown   /* For simplicity, this example only works on mx=my=mz */
211e00437b9SBarry Smith   PetscCheck(mx == my && mx == mz,PETSC_COMM_SELF,PETSC_ERR_SUP,"This example only works with mx %" PetscInt_FMT " = my %" PetscInt_FMT " = mz %" PetscInt_FMT,mx,my,mz);
212c4762a1bSJed Brown 
213c4762a1bSJed Brown   Hx      = 1.0 / (PetscReal)(mx-1); Hy = 1.0 / (PetscReal)(my-1); Hz = 1.0 / (PetscReal)(mz-1);
214c4762a1bSJed Brown   HxHydHz = Hx*Hy/Hz; HxHzdHy = Hx*Hz/Hy; HyHzdHx = Hy*Hz/Hx;
215c4762a1bSJed Brown 
2169566063dSJacob Faibussowitsch   PetscCall(PetscMalloc1(2*dof*dof+1,&v));
217c4762a1bSJed Brown   v_neighbor = v + dof*dof;
2189566063dSJacob Faibussowitsch   PetscCall(PetscArrayzero(v,2*dof*dof+1));
219c4762a1bSJed Brown   k3         = 0;
220c4762a1bSJed Brown   for (k1=0; k1<dof; k1++) {
221c4762a1bSJed Brown     for (k2=0; k2<dof; k2++) {
222c4762a1bSJed Brown       if (k1 == k2) {
223c4762a1bSJed Brown         v[k3]          = 2.0*(HxHydHz + HxHzdHy + HyHzdHx);
224c4762a1bSJed Brown         v_neighbor[k3] = -HxHydHz;
225c4762a1bSJed Brown       } else {
2269566063dSJacob Faibussowitsch         PetscCall(PetscRandomGetValue(rand,&r1));
2279566063dSJacob Faibussowitsch         PetscCall(PetscRandomGetValue(rand,&r2));
228c4762a1bSJed Brown 
229c4762a1bSJed Brown         v[k3]          = r1;
230c4762a1bSJed Brown         v_neighbor[k3] = r2;
231c4762a1bSJed Brown       }
232c4762a1bSJed Brown       k3++;
233c4762a1bSJed Brown     }
234c4762a1bSJed Brown   }
2359566063dSJacob Faibussowitsch   PetscCall(DMDAGetCorners(da,&xs,&ys,&zs,&xm,&ym,&zm));
236c4762a1bSJed Brown 
237c4762a1bSJed Brown   for (k=zs; k<zs+zm; k++) {
238c4762a1bSJed Brown     for (j=ys; j<ys+ym; j++) {
239c4762a1bSJed Brown       for (i=xs; i<xs+xm; i++) {
240c4762a1bSJed Brown         row.i = i; row.j = j; row.k = k;
241a5b23f4aSJose E. Roman         if (i==0 || j==0 || k==0 || i==mx-1 || j==my-1 || k==mz-1) { /* boundary points */
2429566063dSJacob Faibussowitsch           PetscCall(MatSetValuesBlockedStencil(B,1,&row,1,&row,v,INSERT_VALUES));
243c4762a1bSJed Brown         } else { /* interior points */
244c4762a1bSJed Brown           /* center */
245c4762a1bSJed Brown           col.i = i; col.j = j; col.k = k;
2469566063dSJacob Faibussowitsch           PetscCall(MatSetValuesBlockedStencil(B,1,&row,1,&col,v,INSERT_VALUES));
247c4762a1bSJed Brown 
248c4762a1bSJed Brown           /* x neighbors */
249c4762a1bSJed Brown           col.i = i-1; col.j = j; col.k = k;
2509566063dSJacob Faibussowitsch           PetscCall(MatSetValuesBlockedStencil(B,1,&row,1,&col,v_neighbor,INSERT_VALUES));
251c4762a1bSJed Brown           col.i = i+1; col.j = j; col.k = k;
2529566063dSJacob Faibussowitsch           PetscCall(MatSetValuesBlockedStencil(B,1,&row,1,&col,v_neighbor,INSERT_VALUES));
253c4762a1bSJed Brown 
254c4762a1bSJed Brown           /* y neighbors */
255c4762a1bSJed Brown           col.i = i; col.j = j-1; col.k = k;
2569566063dSJacob Faibussowitsch           PetscCall(MatSetValuesBlockedStencil(B,1,&row,1,&col,v_neighbor,INSERT_VALUES));
257c4762a1bSJed Brown           col.i = i; col.j = j+1; col.k = k;
2589566063dSJacob Faibussowitsch           PetscCall(MatSetValuesBlockedStencil(B,1,&row,1,&col,v_neighbor,INSERT_VALUES));
259c4762a1bSJed Brown 
260c4762a1bSJed Brown           /* z neighbors */
261c4762a1bSJed Brown           col.i = i; col.j = j; col.k = k-1;
2629566063dSJacob Faibussowitsch           PetscCall(MatSetValuesBlockedStencil(B,1,&row,1,&col,v_neighbor,INSERT_VALUES));
263c4762a1bSJed Brown           col.i = i; col.j = j; col.k = k+1;
2649566063dSJacob Faibussowitsch           PetscCall(MatSetValuesBlockedStencil(B,1,&row,1,&col,v_neighbor,INSERT_VALUES));
265c4762a1bSJed Brown         }
266c4762a1bSJed Brown       }
267c4762a1bSJed Brown     }
268c4762a1bSJed Brown   }
2699566063dSJacob Faibussowitsch   PetscCall(MatAssemblyBegin(B,MAT_FINAL_ASSEMBLY));
2709566063dSJacob Faibussowitsch   PetscCall(MatAssemblyEnd(B,MAT_FINAL_ASSEMBLY));
2719566063dSJacob Faibussowitsch   PetscCall(PetscFree(v));
2729566063dSJacob Faibussowitsch   PetscCall(PetscRandomDestroy(&rand));
273c4762a1bSJed Brown   PetscFunctionReturn(0);
274c4762a1bSJed Brown }
275c4762a1bSJed Brown 
276c4762a1bSJed Brown /*TEST
277c4762a1bSJed Brown 
278c4762a1bSJed Brown    test:
279c4762a1bSJed Brown       args: -dm_mat_type aij -dof 1
280c4762a1bSJed Brown       output_file: output/ex129.out
281c4762a1bSJed Brown 
282c4762a1bSJed Brown    test:
283c4762a1bSJed Brown       suffix: 2
284c4762a1bSJed Brown       args: -dm_mat_type aij -dof 1 -inplacelu
285c4762a1bSJed Brown       output_file: output/ex129.out
286c4762a1bSJed Brown 
287c4762a1bSJed Brown TEST*/
288