xref: /petsc/src/mat/tutorials/ex9.c (revision 5f80ce2ab25dff0f4601e710601cbbcecf323266)
1c4762a1bSJed Brown 
2c4762a1bSJed Brown static char help[] = "Tests MatCreateComposite()\n\n";
3c4762a1bSJed Brown 
4c4762a1bSJed Brown /*T
5c4762a1bSJed Brown    Concepts: Mat^composite matrices
6c4762a1bSJed Brown    Processors: n
7c4762a1bSJed Brown T*/
8c4762a1bSJed Brown 
9c4762a1bSJed Brown /*
10c4762a1bSJed Brown   Include "petscmat.h" so that we can use matrices.
11c4762a1bSJed Brown   automatically includes:
12c4762a1bSJed Brown      petscsys.h       - base PETSc routines   petscvec.h    - vectors
13c4762a1bSJed Brown      petscmat.h    - matrices
14c4762a1bSJed Brown      petscis.h     - index sets            petscviewer.h - viewers
15c4762a1bSJed Brown */
16c4762a1bSJed Brown #include <petscmat.h>
17c4762a1bSJed Brown 
18c4762a1bSJed Brown int main(int argc,char **args)
19c4762a1bSJed Brown {
20c4762a1bSJed Brown   Mat              *A,B;           /* matrix */
21c4762a1bSJed Brown   PetscErrorCode   ierr;
22c4762a1bSJed Brown   Vec              x,y,v,v2,z,z2;
23c4762a1bSJed Brown   PetscReal        rnorm;
24c4762a1bSJed Brown   PetscInt         n = 20;         /* size of the matrix */
25c4762a1bSJed Brown   PetscInt         nmat = 3;       /* number of matrices */
26c4762a1bSJed Brown   PetscInt         i;
27c4762a1bSJed Brown   PetscRandom      rctx;
28c4762a1bSJed Brown   MatCompositeType type;
29c4762a1bSJed Brown   PetscScalar      scalings[5]={2,3,4,5,6};
30c4762a1bSJed Brown 
31c4762a1bSJed Brown   ierr = PetscInitialize(&argc,&args,(char*)0,help);if (ierr) return ierr;
32*5f80ce2aSJacob Faibussowitsch   CHKERRQ(PetscOptionsGetInt(NULL,NULL,"-n",&n,NULL));
33*5f80ce2aSJacob Faibussowitsch   CHKERRQ(PetscOptionsGetInt(NULL,NULL,"-nmat",&nmat,NULL));
34c4762a1bSJed Brown 
35c4762a1bSJed Brown   /*
36c4762a1bSJed Brown      Create random matrices
37c4762a1bSJed Brown   */
38*5f80ce2aSJacob Faibussowitsch   CHKERRQ(PetscMalloc1(nmat+3,&A));
39*5f80ce2aSJacob Faibussowitsch   CHKERRQ(PetscRandomCreate(PETSC_COMM_WORLD,&rctx));
40*5f80ce2aSJacob Faibussowitsch   CHKERRQ(MatCreateAIJ(PETSC_COMM_WORLD,PETSC_DECIDE,PETSC_DECIDE,n,n/2,3,NULL,3,NULL,&A[0]));
41c4762a1bSJed Brown   for (i = 1; i < nmat+1; i++) {
42*5f80ce2aSJacob Faibussowitsch     CHKERRQ(MatCreateAIJ(PETSC_COMM_WORLD,PETSC_DECIDE,PETSC_DECIDE,n,n,3,NULL,3,NULL,&A[i]));
43c4762a1bSJed Brown   }
44*5f80ce2aSJacob Faibussowitsch   CHKERRQ(MatCreateAIJ(PETSC_COMM_WORLD,PETSC_DECIDE,PETSC_DECIDE,n/2,n,3,NULL,3,NULL,&A[nmat+1]));
45c4762a1bSJed Brown   for (i = 0; i < nmat+2; i++) {
46*5f80ce2aSJacob Faibussowitsch     CHKERRQ(MatSetRandom(A[i],rctx));
47c4762a1bSJed Brown   }
48c4762a1bSJed Brown 
49*5f80ce2aSJacob Faibussowitsch   CHKERRQ(MatCreateVecs(A[1],&x,&y));
50*5f80ce2aSJacob Faibussowitsch   CHKERRQ(VecDuplicate(y,&z));
51*5f80ce2aSJacob Faibussowitsch   CHKERRQ(VecDuplicate(z,&z2));
52*5f80ce2aSJacob Faibussowitsch   CHKERRQ(MatCreateVecs(A[0],&v,NULL));
53*5f80ce2aSJacob Faibussowitsch   CHKERRQ(VecDuplicate(v,&v2));
54c4762a1bSJed Brown 
55c4762a1bSJed Brown   /* Test MatMult of an ADDITIVE MatComposite B made up of A[1],A[2],A[3] with separate scalings */
56c4762a1bSJed Brown 
57c4762a1bSJed Brown   /* Do MatMult with A[1],A[2],A[3] by hand and store the result in z */
58*5f80ce2aSJacob Faibussowitsch   CHKERRQ(VecSet(x,1.0));
59*5f80ce2aSJacob Faibussowitsch   CHKERRQ(MatMult(A[1],x,z));
60*5f80ce2aSJacob Faibussowitsch   CHKERRQ(VecScale(z,scalings[1]));
61c4762a1bSJed Brown   for (i = 2; i < nmat+1; i++) {
62*5f80ce2aSJacob Faibussowitsch     CHKERRQ(MatMult(A[i],x,z2));
63*5f80ce2aSJacob Faibussowitsch     CHKERRQ(VecAXPY(z,scalings[i],z2));
64c4762a1bSJed Brown   }
65c4762a1bSJed Brown 
66c4762a1bSJed Brown   /* Do MatMult using MatComposite and store the result in y */
67*5f80ce2aSJacob Faibussowitsch   CHKERRQ(VecSet(y,0.0));
68*5f80ce2aSJacob Faibussowitsch   CHKERRQ(MatCreateComposite(PETSC_COMM_WORLD,nmat,A+1,&B));
69*5f80ce2aSJacob Faibussowitsch   CHKERRQ(MatSetFromOptions(B));
70*5f80ce2aSJacob Faibussowitsch   CHKERRQ(MatCompositeSetScalings(B,&scalings[1]));
71*5f80ce2aSJacob Faibussowitsch   CHKERRQ(MatMultAdd(B,x,y,y));
72c4762a1bSJed Brown 
73c4762a1bSJed Brown   /* Diff y and z */
74*5f80ce2aSJacob Faibussowitsch   CHKERRQ(VecAXPY(y,-1.0,z));
75*5f80ce2aSJacob Faibussowitsch   CHKERRQ(VecNorm(y,NORM_2,&rnorm));
76c4762a1bSJed Brown   if (rnorm > 10000.0*PETSC_MACHINE_EPSILON) {
77*5f80ce2aSJacob Faibussowitsch     CHKERRQ(PetscPrintf(PETSC_COMM_WORLD,"Error with composite add %g\n",(double)rnorm));
78c4762a1bSJed Brown   }
79c4762a1bSJed Brown 
80c4762a1bSJed Brown   /* Test MatCompositeMerge on ADDITIVE MatComposite */
81*5f80ce2aSJacob Faibussowitsch   CHKERRQ(MatCompositeSetMatStructure(B,DIFFERENT_NONZERO_PATTERN)); /* default */
82*5f80ce2aSJacob Faibussowitsch   CHKERRQ(MatCompositeMerge(B));
83*5f80ce2aSJacob Faibussowitsch   CHKERRQ(MatMult(B,x,y));
84*5f80ce2aSJacob Faibussowitsch   CHKERRQ(MatDestroy(&B));
85*5f80ce2aSJacob Faibussowitsch   CHKERRQ(VecAXPY(y,-1.0,z));
86*5f80ce2aSJacob Faibussowitsch   CHKERRQ(VecNorm(y,NORM_2,&rnorm));
87c4762a1bSJed Brown   if (rnorm > 10000.0*PETSC_MACHINE_EPSILON) {
88*5f80ce2aSJacob Faibussowitsch     CHKERRQ(PetscPrintf(PETSC_COMM_WORLD,"Error with composite add after merge %g\n",(double)rnorm));
89c4762a1bSJed Brown   }
90c4762a1bSJed Brown 
91c4762a1bSJed Brown   /*
92c4762a1bSJed Brown      Test n x n/2 multiplicative composite B made up of A[0],A[1],A[2] with separate scalings
93c4762a1bSJed Brown   */
94c4762a1bSJed Brown 
95c4762a1bSJed Brown   /* Do MatMult with A[0],A[1],A[2] by hand and store the result in z */
96*5f80ce2aSJacob Faibussowitsch   CHKERRQ(VecSet(v,1.0));
97*5f80ce2aSJacob Faibussowitsch   CHKERRQ(MatMult(A[0],v,z));
98*5f80ce2aSJacob Faibussowitsch   CHKERRQ(VecScale(z,scalings[0]));
99c4762a1bSJed Brown   for (i = 1; i < nmat; i++) {
100*5f80ce2aSJacob Faibussowitsch     CHKERRQ(MatMult(A[i],z,y));
101*5f80ce2aSJacob Faibussowitsch     CHKERRQ(VecScale(y,scalings[i]));
102*5f80ce2aSJacob Faibussowitsch     CHKERRQ(VecCopy(y,z));
103c4762a1bSJed Brown   }
104c4762a1bSJed Brown 
105c4762a1bSJed Brown   /* Do MatMult using MatComposite and store the result in y */
106*5f80ce2aSJacob Faibussowitsch   CHKERRQ(MatCreateComposite(PETSC_COMM_WORLD,nmat,A,&B));
107*5f80ce2aSJacob Faibussowitsch   CHKERRQ(MatCompositeSetType(B,MAT_COMPOSITE_MULTIPLICATIVE));
108*5f80ce2aSJacob Faibussowitsch   CHKERRQ(MatCompositeSetMergeType(B,MAT_COMPOSITE_MERGE_LEFT));
109*5f80ce2aSJacob Faibussowitsch   CHKERRQ(MatSetFromOptions(B));
110*5f80ce2aSJacob Faibussowitsch   CHKERRQ(MatCompositeSetScalings(B,&scalings[0]));
111*5f80ce2aSJacob Faibussowitsch   CHKERRQ(MatAssemblyBegin(B,MAT_FINAL_ASSEMBLY));
112*5f80ce2aSJacob Faibussowitsch   CHKERRQ(MatAssemblyEnd(B,MAT_FINAL_ASSEMBLY)); /* do MatCompositeMerge() if -mat_composite_merge 1 */
113*5f80ce2aSJacob Faibussowitsch   CHKERRQ(MatMult(B,v,y));
114*5f80ce2aSJacob Faibussowitsch   CHKERRQ(MatDestroy(&B));
115c4762a1bSJed Brown 
116c4762a1bSJed Brown   /* Diff y and z */
117*5f80ce2aSJacob Faibussowitsch   CHKERRQ(VecAXPY(y,-1.0,z));
118*5f80ce2aSJacob Faibussowitsch   CHKERRQ(VecNorm(y,NORM_2,&rnorm));
119c4762a1bSJed Brown   if (rnorm > 10000.0*PETSC_MACHINE_EPSILON) {
120*5f80ce2aSJacob Faibussowitsch     CHKERRQ(PetscPrintf(PETSC_COMM_WORLD,"Error with composite multiplicative %g\n",(double)rnorm));
121c4762a1bSJed Brown   }
122c4762a1bSJed Brown 
123c4762a1bSJed Brown   /*
124c4762a1bSJed Brown      Test n/2 x n multiplicative composite B made up of A[2], A[3], A[4] without separate scalings
125c4762a1bSJed Brown   */
126*5f80ce2aSJacob Faibussowitsch   CHKERRQ(VecSet(x,1.0));
127*5f80ce2aSJacob Faibussowitsch   CHKERRQ(MatMult(A[2],x,z));
128c4762a1bSJed Brown   for (i = 3; i < nmat+1; i++) {
129*5f80ce2aSJacob Faibussowitsch     CHKERRQ(MatMult(A[i],z,y));
130*5f80ce2aSJacob Faibussowitsch     CHKERRQ(VecCopy(y,z));
131c4762a1bSJed Brown   }
132*5f80ce2aSJacob Faibussowitsch   CHKERRQ(MatMult(A[nmat+1],z,v));
133c4762a1bSJed Brown 
134*5f80ce2aSJacob Faibussowitsch   CHKERRQ(MatCreateComposite(PETSC_COMM_WORLD,nmat,A+2,&B));
135*5f80ce2aSJacob Faibussowitsch   CHKERRQ(MatCompositeSetType(B,MAT_COMPOSITE_MULTIPLICATIVE));
136*5f80ce2aSJacob Faibussowitsch   CHKERRQ(MatSetFromOptions(B));
137*5f80ce2aSJacob Faibussowitsch   CHKERRQ(MatAssemblyBegin(B,MAT_FINAL_ASSEMBLY));
138*5f80ce2aSJacob Faibussowitsch   CHKERRQ(MatAssemblyEnd(B,MAT_FINAL_ASSEMBLY)); /* do MatCompositeMerge() if -mat_composite_merge 1 */
139*5f80ce2aSJacob Faibussowitsch   CHKERRQ(MatMult(B,x,v2));
140*5f80ce2aSJacob Faibussowitsch   CHKERRQ(MatDestroy(&B));
141c4762a1bSJed Brown 
142*5f80ce2aSJacob Faibussowitsch   CHKERRQ(VecAXPY(v2,-1.0,v));
143*5f80ce2aSJacob Faibussowitsch   CHKERRQ(VecNorm(v2,NORM_2,&rnorm));
144c4762a1bSJed Brown   if (rnorm > 10000.0*PETSC_MACHINE_EPSILON) {
145*5f80ce2aSJacob Faibussowitsch     CHKERRQ(PetscPrintf(PETSC_COMM_WORLD,"Error with composite multiplicative %g\n",(double)rnorm));
146c4762a1bSJed Brown   }
147c4762a1bSJed Brown 
148c4762a1bSJed Brown   /*
149c4762a1bSJed Brown      Test get functions
150c4762a1bSJed Brown   */
151*5f80ce2aSJacob Faibussowitsch   CHKERRQ(MatCreateComposite(PETSC_COMM_WORLD,nmat,A,&B));
152*5f80ce2aSJacob Faibussowitsch   CHKERRQ(MatCompositeGetNumberMat(B,&n));
153c4762a1bSJed Brown   if (nmat != n) {
154*5f80ce2aSJacob Faibussowitsch     CHKERRQ(PetscPrintf(PETSC_COMM_WORLD,"Error with GetNumberMat %" PetscInt_FMT " != %" PetscInt_FMT "\n",nmat,n));
155c4762a1bSJed Brown   }
156*5f80ce2aSJacob Faibussowitsch   CHKERRQ(MatCompositeGetMat(B,0,&A[nmat+2]));
157c4762a1bSJed Brown   if (A[0] != A[nmat+2]) {
158*5f80ce2aSJacob Faibussowitsch     CHKERRQ(PetscPrintf(PETSC_COMM_WORLD,"Error with GetMat\n"));
159c4762a1bSJed Brown   }
160*5f80ce2aSJacob Faibussowitsch   CHKERRQ(MatCompositeGetType(B,&type));
161c4762a1bSJed Brown   if (type != MAT_COMPOSITE_ADDITIVE) {
162*5f80ce2aSJacob Faibussowitsch     CHKERRQ(PetscPrintf(PETSC_COMM_WORLD,"Error with GetType\n"));
163c4762a1bSJed Brown   }
164*5f80ce2aSJacob Faibussowitsch   CHKERRQ(MatDestroy(&B));
165c4762a1bSJed Brown 
166c4762a1bSJed Brown   /*
167c4762a1bSJed Brown      Free work space.  All PETSc objects should be destroyed when they
168c4762a1bSJed Brown      are no longer needed.
169c4762a1bSJed Brown   */
170*5f80ce2aSJacob Faibussowitsch   CHKERRQ(VecDestroy(&x));
171*5f80ce2aSJacob Faibussowitsch   CHKERRQ(VecDestroy(&y));
172*5f80ce2aSJacob Faibussowitsch   CHKERRQ(VecDestroy(&v));
173*5f80ce2aSJacob Faibussowitsch   CHKERRQ(VecDestroy(&v2));
174*5f80ce2aSJacob Faibussowitsch   CHKERRQ(VecDestroy(&z));
175*5f80ce2aSJacob Faibussowitsch   CHKERRQ(VecDestroy(&z2));
176*5f80ce2aSJacob Faibussowitsch   CHKERRQ(PetscRandomDestroy(&rctx));
177c4762a1bSJed Brown   for (i = 0; i < nmat+2; i++) {
178*5f80ce2aSJacob Faibussowitsch     CHKERRQ(MatDestroy(&A[i]));
179c4762a1bSJed Brown   }
180*5f80ce2aSJacob Faibussowitsch   CHKERRQ(PetscFree(A));
181c4762a1bSJed Brown 
182c4762a1bSJed Brown   ierr = PetscFinalize();
183c4762a1bSJed Brown   return ierr;
184c4762a1bSJed Brown }
185c4762a1bSJed Brown 
186c4762a1bSJed Brown /*TEST
187c4762a1bSJed Brown 
188c4762a1bSJed Brown    test:
189c4762a1bSJed Brown       nsize: 2
190c4762a1bSJed Brown       requires: double
191c4762a1bSJed Brown       args: -mat_composite_merge {{0 1}shared output} -mat_composite_merge_mvctx {{0 1}shared output}
192c4762a1bSJed Brown 
193c4762a1bSJed Brown TEST*/
194