xref: /petsc/src/mat/tests/ex195.c (revision 9566063d113dddea24716c546802770db7481bc0)
1c4762a1bSJed Brown /*
2c4762a1bSJed Brown  * ex195.c
3c4762a1bSJed Brown  *
4c4762a1bSJed Brown  *  Created on: Aug 24, 2015
5c4762a1bSJed Brown  *      Author: Fande Kong <fdkong.jd@gmail.com>
6c4762a1bSJed Brown  */
7c4762a1bSJed Brown 
8c4762a1bSJed Brown static char help[] = " Demonstrate the use of MatConvert_Nest_AIJ\n";
9c4762a1bSJed Brown 
10c4762a1bSJed Brown #include <petscmat.h>
11c4762a1bSJed Brown 
12c4762a1bSJed Brown int main(int argc,char **args)
13c4762a1bSJed Brown {
14c20d7725SJed Brown   Mat                 A1,A2,A3,A4,A5,B,C,C1,nest;
15c4762a1bSJed Brown   Mat                 mata[4];
16c4762a1bSJed Brown   Mat                 aij;
17c4762a1bSJed Brown   MPI_Comm            comm;
18c4762a1bSJed Brown   PetscInt            m,M,n,istart,iend,ii,i,J,j,K=10;
19c4762a1bSJed Brown   PetscScalar         v;
20c4762a1bSJed Brown   PetscMPIInt         size;
21c20d7725SJed Brown   PetscBool           equal;
22c4762a1bSJed Brown 
23*9566063dSJacob Faibussowitsch   PetscCall(PetscInitialize(&argc,&args,(char*)0,help));
24c4762a1bSJed Brown   comm = PETSC_COMM_WORLD;
25*9566063dSJacob Faibussowitsch   PetscCallMPI(MPI_Comm_size(comm,&size));
26c20d7725SJed Brown 
27c4762a1bSJed Brown   /*
28c4762a1bSJed Brown      Assemble the matrix for the five point stencil, YET AGAIN
29c4762a1bSJed Brown   */
30*9566063dSJacob Faibussowitsch   PetscCall(MatCreate(comm,&A1));
31c4762a1bSJed Brown   m=2,n=2;
32*9566063dSJacob Faibussowitsch   PetscCall(MatSetSizes(A1,PETSC_DECIDE,PETSC_DECIDE,m*n,m*n));
33*9566063dSJacob Faibussowitsch   PetscCall(MatSetFromOptions(A1));
34*9566063dSJacob Faibussowitsch   PetscCall(MatSetUp(A1));
35*9566063dSJacob Faibussowitsch   PetscCall(MatGetOwnershipRange(A1,&istart,&iend));
36c4762a1bSJed Brown   for (ii=istart; ii<iend; ii++) {
37c4762a1bSJed Brown     v = -1.0; i = ii/n; j = ii - i*n;
38*9566063dSJacob Faibussowitsch     if (i>0)   {J = ii - n; PetscCall(MatSetValues(A1,1,&ii,1,&J,&v,INSERT_VALUES));}
39*9566063dSJacob Faibussowitsch     if (i<m-1) {J = ii + n; PetscCall(MatSetValues(A1,1,&ii,1,&J,&v,INSERT_VALUES));}
40*9566063dSJacob Faibussowitsch     if (j>0)   {J = ii - 1; PetscCall(MatSetValues(A1,1,&ii,1,&J,&v,INSERT_VALUES));}
41*9566063dSJacob Faibussowitsch     if (j<n-1) {J = ii + 1; PetscCall(MatSetValues(A1,1,&ii,1,&J,&v,INSERT_VALUES));}
42*9566063dSJacob Faibussowitsch     v = 4.0; PetscCall(MatSetValues(A1,1,&ii,1,&ii,&v,INSERT_VALUES));
43c4762a1bSJed Brown   }
44*9566063dSJacob Faibussowitsch   PetscCall(MatAssemblyBegin(A1,MAT_FINAL_ASSEMBLY));
45*9566063dSJacob Faibussowitsch   PetscCall(MatAssemblyEnd(A1,MAT_FINAL_ASSEMBLY));
46*9566063dSJacob Faibussowitsch   PetscCall(MatView(A1,PETSC_VIEWER_STDOUT_WORLD));
47c20d7725SJed Brown 
48*9566063dSJacob Faibussowitsch   PetscCall(MatDuplicate(A1,MAT_COPY_VALUES,&A2));
49*9566063dSJacob Faibussowitsch   PetscCall(MatDuplicate(A1,MAT_COPY_VALUES,&A3));
50*9566063dSJacob Faibussowitsch   PetscCall(MatDuplicate(A1,MAT_COPY_VALUES,&A4));
51c20d7725SJed Brown 
52c4762a1bSJed Brown   /*create a nest matrix */
53*9566063dSJacob Faibussowitsch   PetscCall(MatCreate(comm,&nest));
54*9566063dSJacob Faibussowitsch   PetscCall(MatSetType(nest,MATNEST));
55c4762a1bSJed Brown   mata[0]=A1,mata[1]=A2,mata[2]=A3,mata[3]=A4;
56*9566063dSJacob Faibussowitsch   PetscCall(MatNestSetSubMats(nest,2,NULL,2,NULL,mata));
57*9566063dSJacob Faibussowitsch   PetscCall(MatSetUp(nest));
58*9566063dSJacob Faibussowitsch   PetscCall(MatConvert(nest,MATAIJ,MAT_INITIAL_MATRIX,&aij));
59*9566063dSJacob Faibussowitsch   PetscCall(MatView(aij,PETSC_VIEWER_STDOUT_WORLD));
60c20d7725SJed Brown 
61c20d7725SJed Brown   /* create a dense matrix */
62*9566063dSJacob Faibussowitsch   PetscCall(MatGetSize(nest,&M,NULL));
63*9566063dSJacob Faibussowitsch   PetscCall(MatGetLocalSize(nest,&m,NULL));
64*9566063dSJacob Faibussowitsch   PetscCall(MatCreateDense(comm,m,PETSC_DECIDE,M,K,NULL,&B));
65*9566063dSJacob Faibussowitsch   PetscCall(MatSetRandom(B,PETSC_NULL));
66*9566063dSJacob Faibussowitsch   PetscCall(MatAssemblyBegin(B,MAT_FINAL_ASSEMBLY));
67*9566063dSJacob Faibussowitsch   PetscCall(MatAssemblyEnd(B,MAT_FINAL_ASSEMBLY));
68c20d7725SJed Brown 
69c20d7725SJed Brown   /* C = nest*B_dense */
70*9566063dSJacob Faibussowitsch   PetscCall(MatMatMult(nest,B,MAT_INITIAL_MATRIX,PETSC_DEFAULT,&C));
71*9566063dSJacob Faibussowitsch   PetscCall(MatMatMult(nest,B,MAT_REUSE_MATRIX,PETSC_DEFAULT,&C));
72*9566063dSJacob Faibussowitsch   PetscCall(MatMatMultEqual(nest,B,C,10,&equal));
7328b400f6SJacob Faibussowitsch   PetscCheck(equal,PETSC_COMM_WORLD,PETSC_ERR_PLIB,"Error in C != nest*B_dense");
743fbca975SStefano Zampini 
753fbca975SStefano Zampini   /* Test B = nest*C, reuse C and B with MatProductCreateWithMat() */
763fbca975SStefano Zampini   /* C has been obtained from nest*B. Clear internal data structures related to factors to prevent circular references */
77*9566063dSJacob Faibussowitsch   PetscCall(MatProductClear(C));
78*9566063dSJacob Faibussowitsch   PetscCall(MatProductCreateWithMat(nest,C,NULL,B));
79*9566063dSJacob Faibussowitsch   PetscCall(MatProductSetType(B,MATPRODUCT_AB));
80*9566063dSJacob Faibussowitsch   PetscCall(MatProductSetFromOptions(B));
81*9566063dSJacob Faibussowitsch   PetscCall(MatProductSymbolic(B));
82*9566063dSJacob Faibussowitsch   PetscCall(MatProductNumeric(B));
83*9566063dSJacob Faibussowitsch   PetscCall(MatMatMultEqual(nest,C,B,10,&equal));
8428b400f6SJacob Faibussowitsch   PetscCheck(equal,PETSC_COMM_WORLD,PETSC_ERR_PLIB,"Error in B != nest*C_dense");
85*9566063dSJacob Faibussowitsch   PetscCall(MatConvert(nest,MATAIJ,MAT_INPLACE_MATRIX,&nest));
86*9566063dSJacob Faibussowitsch   PetscCall(MatEqual(nest,aij,&equal));
8728b400f6SJacob Faibussowitsch   PetscCheck(equal,PETSC_COMM_WORLD,PETSC_ERR_PLIB,"Error in aij != nest");
88*9566063dSJacob Faibussowitsch   PetscCall(MatDestroy(&nest));
89c20d7725SJed Brown 
90c20d7725SJed Brown   if (size > 1) { /* Do not know why this test fails for size = 1 */
91*9566063dSJacob Faibussowitsch     PetscCall(MatCreateTranspose(A1,&A5)); /* A1 is symmetric */
92c20d7725SJed Brown     mata[0] = A5;
93*9566063dSJacob Faibussowitsch     PetscCall(MatCreate(comm,&nest));
94*9566063dSJacob Faibussowitsch     PetscCall(MatSetType(nest,MATNEST));
95*9566063dSJacob Faibussowitsch     PetscCall(MatNestSetSubMats(nest,2,NULL,2,NULL,mata));
96*9566063dSJacob Faibussowitsch     PetscCall(MatSetUp(nest));
97*9566063dSJacob Faibussowitsch     PetscCall(MatMatMult(nest,B,MAT_INITIAL_MATRIX,PETSC_DEFAULT,&C1));
98*9566063dSJacob Faibussowitsch     PetscCall(MatMatMult(nest,B,MAT_REUSE_MATRIX,PETSC_DEFAULT,&C1));
99c20d7725SJed Brown 
100*9566063dSJacob Faibussowitsch     PetscCall(MatMatMultEqual(nest,B,C1,10,&equal));
10128b400f6SJacob Faibussowitsch     PetscCheck(equal,PETSC_COMM_WORLD,PETSC_ERR_PLIB,"Error in C1 != C");
102*9566063dSJacob Faibussowitsch     PetscCall(MatDestroy(&C1));
103*9566063dSJacob Faibussowitsch     PetscCall(MatDestroy(&A5));
104*9566063dSJacob Faibussowitsch     PetscCall(MatDestroy(&nest));
105c20d7725SJed Brown   }
106c20d7725SJed Brown 
107*9566063dSJacob Faibussowitsch   PetscCall(MatDestroy(&C));
108*9566063dSJacob Faibussowitsch   PetscCall(MatDestroy(&B));
109*9566063dSJacob Faibussowitsch   PetscCall(MatDestroy(&aij));
110*9566063dSJacob Faibussowitsch   PetscCall(MatDestroy(&A1));
111*9566063dSJacob Faibussowitsch   PetscCall(MatDestroy(&A2));
112*9566063dSJacob Faibussowitsch   PetscCall(MatDestroy(&A3));
113*9566063dSJacob Faibussowitsch   PetscCall(MatDestroy(&A4));
114*9566063dSJacob Faibussowitsch   PetscCall(PetscFinalize());
115b122ec5aSJacob Faibussowitsch   return 0;
116c4762a1bSJed Brown }
117c4762a1bSJed Brown 
118c4762a1bSJed Brown /*TEST
119c4762a1bSJed Brown 
120c4762a1bSJed Brown    test:
121c4762a1bSJed Brown       nsize: 2
122c4762a1bSJed Brown 
1233fbca975SStefano Zampini    test:
1243fbca975SStefano Zampini       suffix: 2
1253fbca975SStefano Zampini 
126c4762a1bSJed Brown TEST*/
127