xref: /petsc/src/mat/tests/ex111.c (revision d0609ced746bc51b019815ca91d747429db24893)
1c4762a1bSJed Brown 
2c4762a1bSJed Brown static char help[] ="Tests sequential and parallel MatMatMatMult() and MatPtAP(). Modified from ex96.c \n\
3c4762a1bSJed Brown   -Mx <xg>, where <xg> = number of coarse grid points in the x-direction\n\
4c4762a1bSJed Brown   -My <yg>, where <yg> = number of coarse grid points in the y-direction\n\
5c4762a1bSJed Brown   -Mz <zg>, where <zg> = number of coarse grid points in the z-direction\n\
6c4762a1bSJed Brown   -Npx <npx>, where <npx> = number of processors in the x-direction\n\
7c4762a1bSJed Brown   -Npy <npy>, where <npy> = number of processors in the y-direction\n\
8c4762a1bSJed Brown   -Npz <npz>, where <npz> = number of processors in the z-direction\n\n";
9c4762a1bSJed Brown 
10c4762a1bSJed Brown /*
11c4762a1bSJed Brown     Example of usage: mpiexec -n 3 ./ex41 -Mx 10 -My 10 -Mz 10
12c4762a1bSJed Brown */
13c4762a1bSJed Brown 
14c4762a1bSJed Brown #include <petscdm.h>
15c4762a1bSJed Brown #include <petscdmda.h>
16c4762a1bSJed Brown 
17c4762a1bSJed Brown /* User-defined application contexts */
18c4762a1bSJed Brown typedef struct {
19c4762a1bSJed Brown   PetscInt mx,my,mz;            /* number grid points in x, y and z direction */
20c4762a1bSJed Brown   Vec      localX,localF;       /* local vectors with ghost region */
21c4762a1bSJed Brown   DM       da;
22c4762a1bSJed Brown   Vec      x,b,r;               /* global vectors */
23c4762a1bSJed Brown   Mat      J;                   /* Jacobian on grid */
24c4762a1bSJed Brown } GridCtx;
25c4762a1bSJed Brown typedef struct {
26c4762a1bSJed Brown   GridCtx  fine;
27c4762a1bSJed Brown   GridCtx  coarse;
28c4762a1bSJed Brown   PetscInt ratio;
29c4762a1bSJed Brown   Mat      Ii;                  /* interpolation from coarse to fine */
30c4762a1bSJed Brown } AppCtx;
31c4762a1bSJed Brown 
32c4762a1bSJed Brown #define COARSE_LEVEL 0
33c4762a1bSJed Brown #define FINE_LEVEL   1
34c4762a1bSJed Brown 
35c4762a1bSJed Brown /*
36c4762a1bSJed Brown       Mm_ratio - ration of grid lines between fine and coarse grids.
37c4762a1bSJed Brown */
38c4762a1bSJed Brown int main(int argc,char **argv)
39c4762a1bSJed Brown {
40c4762a1bSJed Brown   AppCtx         user;
41c4762a1bSJed Brown   PetscMPIInt    size,rank;
42c4762a1bSJed Brown   PetscInt       m,n,M,N,i,nrows;
43c4762a1bSJed Brown   PetscScalar    one = 1.0;
44c4762a1bSJed Brown   PetscReal      fill=2.0;
45c20d7725SJed Brown   Mat            A,P,R,C,PtAP,D;
46c4762a1bSJed Brown   PetscScalar    *array;
47c4762a1bSJed Brown   PetscRandom    rdm;
48c4762a1bSJed Brown   PetscBool      Test_3D=PETSC_FALSE,flg;
49c4762a1bSJed Brown   const PetscInt *ia,*ja;
50c4762a1bSJed Brown 
519566063dSJacob Faibussowitsch   PetscCall(PetscInitialize(&argc,&argv,NULL,help));
529566063dSJacob Faibussowitsch   PetscCallMPI(MPI_Comm_size(PETSC_COMM_WORLD,&size));
539566063dSJacob Faibussowitsch   PetscCallMPI(MPI_Comm_rank(PETSC_COMM_WORLD,&rank));
54c4762a1bSJed Brown 
55c4762a1bSJed Brown   /* Get size of fine grids and coarse grids */
56c4762a1bSJed Brown   user.ratio     = 2;
57c4762a1bSJed Brown   user.coarse.mx = 4; user.coarse.my = 4; user.coarse.mz = 4;
58c4762a1bSJed Brown 
599566063dSJacob Faibussowitsch   PetscCall(PetscOptionsGetInt(NULL,NULL,"-Mx",&user.coarse.mx,NULL));
609566063dSJacob Faibussowitsch   PetscCall(PetscOptionsGetInt(NULL,NULL,"-My",&user.coarse.my,NULL));
619566063dSJacob Faibussowitsch   PetscCall(PetscOptionsGetInt(NULL,NULL,"-Mz",&user.coarse.mz,NULL));
629566063dSJacob Faibussowitsch   PetscCall(PetscOptionsGetInt(NULL,NULL,"-ratio",&user.ratio,NULL));
63c4762a1bSJed Brown   if (user.coarse.mz) Test_3D = PETSC_TRUE;
64c4762a1bSJed Brown 
65c4762a1bSJed Brown   user.fine.mx = user.ratio*(user.coarse.mx-1)+1;
66c4762a1bSJed Brown   user.fine.my = user.ratio*(user.coarse.my-1)+1;
67c4762a1bSJed Brown   user.fine.mz = user.ratio*(user.coarse.mz-1)+1;
68c4762a1bSJed Brown 
69dd400576SPatrick Sanan   if (rank == 0) {
70c4762a1bSJed Brown     if (!Test_3D) {
719566063dSJacob Faibussowitsch       PetscCall(PetscPrintf(PETSC_COMM_SELF,"coarse grids: %" PetscInt_FMT " %" PetscInt_FMT "; fine grids: %" PetscInt_FMT " %" PetscInt_FMT "\n",user.coarse.mx,user.coarse.my,user.fine.mx,user.fine.my));
72c4762a1bSJed Brown     } else {
739566063dSJacob Faibussowitsch       PetscCall(PetscPrintf(PETSC_COMM_SELF,"coarse grids: %" PetscInt_FMT " %" PetscInt_FMT " %" PetscInt_FMT "; fine grids: %" PetscInt_FMT " %" PetscInt_FMT " %" PetscInt_FMT "\n",user.coarse.mx,user.coarse.my,user.coarse.mz,user.fine.mx,user.fine.my,user.fine.mz));
74c4762a1bSJed Brown     }
75c4762a1bSJed Brown   }
76c4762a1bSJed Brown 
77c4762a1bSJed Brown   /* Set up distributed array for fine grid */
78c4762a1bSJed Brown   if (!Test_3D) {
799566063dSJacob Faibussowitsch     PetscCall(DMDACreate2d(PETSC_COMM_WORLD, DM_BOUNDARY_NONE, DM_BOUNDARY_NONE,DMDA_STENCIL_STAR,user.fine.mx,user.fine.my,PETSC_DECIDE,PETSC_DECIDE,1,1,NULL,NULL,&user.fine.da));
80c4762a1bSJed Brown   } else {
81*d0609cedSBarry Smith     PetscCall(DMDACreate3d(PETSC_COMM_WORLD,DM_BOUNDARY_NONE,DM_BOUNDARY_NONE,DM_BOUNDARY_NONE,DMDA_STENCIL_STAR,user.fine.mx,user.fine.my,user.fine.mz,PETSC_DECIDE,PETSC_DECIDE,PETSC_DECIDE,
82*d0609cedSBarry Smith                            1,1,NULL,NULL,NULL,&user.fine.da));
83c4762a1bSJed Brown   }
849566063dSJacob Faibussowitsch   PetscCall(DMSetFromOptions(user.fine.da));
859566063dSJacob Faibussowitsch   PetscCall(DMSetUp(user.fine.da));
86c4762a1bSJed Brown 
87c4762a1bSJed Brown   /* Create and set A at fine grids */
889566063dSJacob Faibussowitsch   PetscCall(DMSetMatType(user.fine.da,MATAIJ));
899566063dSJacob Faibussowitsch   PetscCall(DMCreateMatrix(user.fine.da,&A));
909566063dSJacob Faibussowitsch   PetscCall(MatGetLocalSize(A,&m,&n));
919566063dSJacob Faibussowitsch   PetscCall(MatGetSize(A,&M,&N));
92c4762a1bSJed Brown 
93c4762a1bSJed Brown   /* set val=one to A (replace with random values!) */
949566063dSJacob Faibussowitsch   PetscCall(PetscRandomCreate(PETSC_COMM_WORLD,&rdm));
959566063dSJacob Faibussowitsch   PetscCall(PetscRandomSetFromOptions(rdm));
96c4762a1bSJed Brown   if (size == 1) {
979566063dSJacob Faibussowitsch     PetscCall(MatGetRowIJ(A,0,PETSC_FALSE,PETSC_FALSE,&nrows,&ia,&ja,&flg));
98c4762a1bSJed Brown     if (flg) {
999566063dSJacob Faibussowitsch       PetscCall(MatSeqAIJGetArray(A,&array));
100c4762a1bSJed Brown       for (i=0; i<ia[nrows]; i++) array[i] = one;
1019566063dSJacob Faibussowitsch       PetscCall(MatSeqAIJRestoreArray(A,&array));
102c4762a1bSJed Brown     }
1039566063dSJacob Faibussowitsch     PetscCall(MatRestoreRowIJ(A,0,PETSC_FALSE,PETSC_FALSE,&nrows,&ia,&ja,&flg));
104c4762a1bSJed Brown   } else {
105c4762a1bSJed Brown     Mat AA,AB;
1069566063dSJacob Faibussowitsch     PetscCall(MatMPIAIJGetSeqAIJ(A,&AA,&AB,NULL));
1079566063dSJacob Faibussowitsch     PetscCall(MatGetRowIJ(AA,0,PETSC_FALSE,PETSC_FALSE,&nrows,&ia,&ja,&flg));
108c4762a1bSJed Brown     if (flg) {
1099566063dSJacob Faibussowitsch       PetscCall(MatSeqAIJGetArray(AA,&array));
110c4762a1bSJed Brown       for (i=0; i<ia[nrows]; i++) array[i] = one;
1119566063dSJacob Faibussowitsch       PetscCall(MatSeqAIJRestoreArray(AA,&array));
112c4762a1bSJed Brown     }
1139566063dSJacob Faibussowitsch     PetscCall(MatRestoreRowIJ(AA,0,PETSC_FALSE,PETSC_FALSE,&nrows,&ia,&ja,&flg));
1149566063dSJacob Faibussowitsch     PetscCall(MatGetRowIJ(AB,0,PETSC_FALSE,PETSC_FALSE,&nrows,&ia,&ja,&flg));
115c4762a1bSJed Brown     if (flg) {
1169566063dSJacob Faibussowitsch       PetscCall(MatSeqAIJGetArray(AB,&array));
117c4762a1bSJed Brown       for (i=0; i<ia[nrows]; i++) array[i] = one;
1189566063dSJacob Faibussowitsch       PetscCall(MatSeqAIJRestoreArray(AB,&array));
119c4762a1bSJed Brown     }
1209566063dSJacob Faibussowitsch     PetscCall(MatRestoreRowIJ(AB,0,PETSC_FALSE,PETSC_FALSE,&nrows,&ia,&ja,&flg));
121c4762a1bSJed Brown   }
122c4762a1bSJed Brown   /* Set up distributed array for coarse grid */
123c4762a1bSJed Brown   if (!Test_3D) {
1249566063dSJacob Faibussowitsch     PetscCall(DMDACreate2d(PETSC_COMM_WORLD, DM_BOUNDARY_NONE, DM_BOUNDARY_NONE,DMDA_STENCIL_STAR,user.coarse.mx,user.coarse.my,PETSC_DECIDE,PETSC_DECIDE,1,1,NULL,NULL,&user.coarse.da));
125c4762a1bSJed Brown   } else {
1269566063dSJacob Faibussowitsch     PetscCall(DMDACreate3d(PETSC_COMM_WORLD,DM_BOUNDARY_NONE,DM_BOUNDARY_NONE,DM_BOUNDARY_NONE,DMDA_STENCIL_STAR,user.coarse.mx,user.coarse.my,user.coarse.mz,PETSC_DECIDE,PETSC_DECIDE,PETSC_DECIDE,1,1,NULL,NULL,NULL,&user.coarse.da));
127c4762a1bSJed Brown   }
1289566063dSJacob Faibussowitsch   PetscCall(DMSetFromOptions(user.coarse.da));
1299566063dSJacob Faibussowitsch   PetscCall(DMSetUp(user.coarse.da));
130c4762a1bSJed Brown 
131c4762a1bSJed Brown   /* Create interpolation between the fine and coarse grids */
1329566063dSJacob Faibussowitsch   PetscCall(DMCreateInterpolation(user.coarse.da,user.fine.da,&P,NULL));
133c4762a1bSJed Brown 
134c4762a1bSJed Brown   /* Get R = P^T */
1359566063dSJacob Faibussowitsch   PetscCall(MatTranspose(P,MAT_INITIAL_MATRIX,&R));
136c4762a1bSJed Brown 
137c4762a1bSJed Brown   /* C = R*A*P */
138c20d7725SJed Brown   /* Developer's API */
1399566063dSJacob Faibussowitsch   PetscCall(MatProductCreate(R,A,P,&D));
1409566063dSJacob Faibussowitsch   PetscCall(MatProductSetType(D,MATPRODUCT_ABC));
1419566063dSJacob Faibussowitsch   PetscCall(MatProductSetFromOptions(D));
1429566063dSJacob Faibussowitsch   PetscCall(MatProductSymbolic(D));
1439566063dSJacob Faibussowitsch   PetscCall(MatProductNumeric(D));
1449566063dSJacob Faibussowitsch   PetscCall(MatProductNumeric(D)); /* Test reuse symbolic D */
145c20d7725SJed Brown 
146c20d7725SJed Brown   /* User's API */
147c20d7725SJed Brown   { /* Test MatMatMatMult_Basic() */
148c20d7725SJed Brown     Mat Adense,Cdense;
1499566063dSJacob Faibussowitsch     PetscCall(MatConvert(A,MATDENSE,MAT_INITIAL_MATRIX,&Adense));
1509566063dSJacob Faibussowitsch     PetscCall(MatMatMatMult(R,Adense,P,MAT_INITIAL_MATRIX,fill,&Cdense));
1519566063dSJacob Faibussowitsch     PetscCall(MatMatMatMult(R,Adense,P,MAT_REUSE_MATRIX,fill,&Cdense));
152c20d7725SJed Brown 
1539566063dSJacob Faibussowitsch     PetscCall(MatMultEqual(D,Cdense,10,&flg));
15428b400f6SJacob Faibussowitsch     PetscCheck(flg,PETSC_COMM_WORLD,PETSC_ERR_PLIB,"D*v != Cdense*v");
1559566063dSJacob Faibussowitsch     PetscCall(MatDestroy(&Adense));
1569566063dSJacob Faibussowitsch     PetscCall(MatDestroy(&Cdense));
157c20d7725SJed Brown   }
158c20d7725SJed Brown 
1599566063dSJacob Faibussowitsch   PetscCall(MatMatMatMult(R,A,P,MAT_INITIAL_MATRIX,fill,&C));
1609566063dSJacob Faibussowitsch   PetscCall(MatMatMatMult(R,A,P,MAT_REUSE_MATRIX,fill,&C));
1619566063dSJacob Faibussowitsch   PetscCall(MatProductClear(C));
162c4762a1bSJed Brown 
163c20d7725SJed Brown   /* Test D == C */
1649566063dSJacob Faibussowitsch   PetscCall(MatEqual(D,C,&flg));
16528b400f6SJacob Faibussowitsch   PetscCheck(flg,PETSC_COMM_WORLD,PETSC_ERR_PLIB,"D != C");
166c20d7725SJed Brown 
167c4762a1bSJed Brown   /* Test C == PtAP */
1689566063dSJacob Faibussowitsch   PetscCall(MatPtAP(A,P,MAT_INITIAL_MATRIX,fill,&PtAP));
1699566063dSJacob Faibussowitsch   PetscCall(MatPtAP(A,P,MAT_REUSE_MATRIX,fill,&PtAP));
1709566063dSJacob Faibussowitsch   PetscCall(MatEqual(C,PtAP,&flg));
17128b400f6SJacob Faibussowitsch   PetscCheck(flg,PETSC_COMM_WORLD,PETSC_ERR_PLIB,"C != PtAP");
1729566063dSJacob Faibussowitsch   PetscCall(MatDestroy(&PtAP));
173c4762a1bSJed Brown 
174c4762a1bSJed Brown   /* Clean up */
1759566063dSJacob Faibussowitsch   PetscCall(MatDestroy(&A));
1769566063dSJacob Faibussowitsch   PetscCall(PetscRandomDestroy(&rdm));
1779566063dSJacob Faibussowitsch   PetscCall(DMDestroy(&user.fine.da));
1789566063dSJacob Faibussowitsch   PetscCall(DMDestroy(&user.coarse.da));
1799566063dSJacob Faibussowitsch   PetscCall(MatDestroy(&P));
1809566063dSJacob Faibussowitsch   PetscCall(MatDestroy(&R));
1819566063dSJacob Faibussowitsch   PetscCall(MatDestroy(&C));
1829566063dSJacob Faibussowitsch   PetscCall(MatDestroy(&D));
1839566063dSJacob Faibussowitsch   PetscCall(PetscFinalize());
184b122ec5aSJacob Faibussowitsch   return 0;
185c4762a1bSJed Brown }
186c4762a1bSJed Brown 
187c4762a1bSJed Brown /*TEST
188c4762a1bSJed Brown 
189c4762a1bSJed Brown    test:
190c4762a1bSJed Brown 
191c4762a1bSJed Brown    test:
192c4762a1bSJed Brown       suffix: 2
193c4762a1bSJed Brown       nsize: 2
194c4762a1bSJed Brown       args: -matmatmatmult_via scalable
195c4762a1bSJed Brown 
196c4762a1bSJed Brown    test:
197c4762a1bSJed Brown       suffix: 3
198c4762a1bSJed Brown       nsize: 2
199c4762a1bSJed Brown       args: -matmatmatmult_via nonscalable
200c4762a1bSJed Brown       output_file: output/ex111_1.out
201c4762a1bSJed Brown 
202c4762a1bSJed Brown TEST*/
203