xref: /petsc/src/mat/tutorials/ex2.c (revision 9566063d113dddea24716c546802770db7481bc0)
1c4762a1bSJed Brown static char help[] = "testing SeqDense matrices with an LDA (leading dimension of the user-allocated arrray) larger than M.\n";
2c4762a1bSJed Brown /*
3c4762a1bSJed Brown  * Example code testing SeqDense matrices with an LDA (leading dimension
4c4762a1bSJed Brown  * of the user-allocated arrray) larger than M.
5c4762a1bSJed Brown  * This example tests the functionality of MatSetValues(), MatMult(),
6c4762a1bSJed Brown  * and MatMultTranspose().
7c4762a1bSJed Brown  */
8c4762a1bSJed Brown 
9c4762a1bSJed Brown #include <petscmat.h>
10c4762a1bSJed Brown 
11c4762a1bSJed Brown int main(int argc,char **argv)
12c4762a1bSJed Brown {
13c4762a1bSJed Brown   Mat            A,A11,A12,A21,A22;
14c4762a1bSJed Brown   Vec            X,X1,X2,Y,Z,Z1,Z2;
15c4762a1bSJed Brown   PetscScalar    *a,*b,*x,*y,*z,v,one=1;
16c4762a1bSJed Brown   PetscReal      nrm;
17c4762a1bSJed Brown   PetscInt       size=8,size1=6,size2=2, i,j;
18c4762a1bSJed Brown   PetscRandom    rnd;
19c4762a1bSJed Brown 
20*9566063dSJacob Faibussowitsch   PetscCall(PetscInitialize(&argc,&argv,0,help));
21*9566063dSJacob Faibussowitsch   PetscCall(PetscRandomCreate(PETSC_COMM_SELF,&rnd));
22c4762a1bSJed Brown 
23c4762a1bSJed Brown   /*
24c4762a1bSJed Brown    * Create matrix and three vectors: these are all normal
25c4762a1bSJed Brown    */
26*9566063dSJacob Faibussowitsch   PetscCall(PetscMalloc1(size*size,&a));
27*9566063dSJacob Faibussowitsch   PetscCall(PetscMalloc1(size*size,&b));
28c4762a1bSJed Brown   for (i=0; i<size; i++) {
29c4762a1bSJed Brown     for (j=0; j<size; j++) {
30*9566063dSJacob Faibussowitsch       PetscCall(PetscRandomGetValue(rnd,&a[i+j*size]));
31c4762a1bSJed Brown       b[i+j*size] = a[i+j*size];
32c4762a1bSJed Brown     }
33c4762a1bSJed Brown   }
34*9566063dSJacob Faibussowitsch   PetscCall(MatCreate(PETSC_COMM_SELF,&A));
35*9566063dSJacob Faibussowitsch   PetscCall(MatSetSizes(A,size,size,size,size));
36*9566063dSJacob Faibussowitsch   PetscCall(MatSetType(A,MATSEQDENSE));
37*9566063dSJacob Faibussowitsch   PetscCall(MatSeqDenseSetPreallocation(A,a));
38*9566063dSJacob Faibussowitsch   PetscCall(MatAssemblyBegin(A,MAT_FINAL_ASSEMBLY));
39*9566063dSJacob Faibussowitsch   PetscCall(MatAssemblyEnd(A,MAT_FINAL_ASSEMBLY));
40c4762a1bSJed Brown 
41*9566063dSJacob Faibussowitsch   PetscCall(PetscMalloc1(size,&x));
42c4762a1bSJed Brown   for (i=0; i<size; i++) {
43c4762a1bSJed Brown     x[i] = one;
44c4762a1bSJed Brown   }
45*9566063dSJacob Faibussowitsch   PetscCall(VecCreateSeqWithArray(PETSC_COMM_SELF,1,size,x,&X));
46*9566063dSJacob Faibussowitsch   PetscCall(VecAssemblyBegin(X));
47*9566063dSJacob Faibussowitsch   PetscCall(VecAssemblyEnd(X));
48c4762a1bSJed Brown 
49*9566063dSJacob Faibussowitsch   PetscCall(PetscMalloc1(size,&y));
50*9566063dSJacob Faibussowitsch   PetscCall(VecCreateSeqWithArray(PETSC_COMM_SELF,1,size,y,&Y));
51*9566063dSJacob Faibussowitsch   PetscCall(VecAssemblyBegin(Y));
52*9566063dSJacob Faibussowitsch   PetscCall(VecAssemblyEnd(Y));
53c4762a1bSJed Brown 
54*9566063dSJacob Faibussowitsch   PetscCall(PetscMalloc1(size,&z));
55*9566063dSJacob Faibussowitsch   PetscCall(VecCreateSeqWithArray(PETSC_COMM_SELF,1,size,z,&Z));
56*9566063dSJacob Faibussowitsch   PetscCall(VecAssemblyBegin(Z));
57*9566063dSJacob Faibussowitsch   PetscCall(VecAssemblyEnd(Z));
58c4762a1bSJed Brown 
59c4762a1bSJed Brown   /*
60c4762a1bSJed Brown    * Now create submatrices and subvectors
61c4762a1bSJed Brown    */
62*9566063dSJacob Faibussowitsch   PetscCall(MatCreate(PETSC_COMM_SELF,&A11));
63*9566063dSJacob Faibussowitsch   PetscCall(MatSetSizes(A11,size1,size1,size1,size1));
64*9566063dSJacob Faibussowitsch   PetscCall(MatSetType(A11,MATSEQDENSE));
65*9566063dSJacob Faibussowitsch   PetscCall(MatSeqDenseSetPreallocation(A11,b));
66*9566063dSJacob Faibussowitsch   PetscCall(MatDenseSetLDA(A11,size));
67*9566063dSJacob Faibussowitsch   PetscCall(MatAssemblyBegin(A11,MAT_FINAL_ASSEMBLY));
68*9566063dSJacob Faibussowitsch   PetscCall(MatAssemblyEnd(A11,MAT_FINAL_ASSEMBLY));
69c4762a1bSJed Brown 
70*9566063dSJacob Faibussowitsch   PetscCall(MatCreate(PETSC_COMM_SELF,&A12));
71*9566063dSJacob Faibussowitsch   PetscCall(MatSetSizes(A12,size1,size2,size1,size2));
72*9566063dSJacob Faibussowitsch   PetscCall(MatSetType(A12,MATSEQDENSE));
73*9566063dSJacob Faibussowitsch   PetscCall(MatSeqDenseSetPreallocation(A12,b+size1*size));
74*9566063dSJacob Faibussowitsch   PetscCall(MatDenseSetLDA(A12,size));
75*9566063dSJacob Faibussowitsch   PetscCall(MatAssemblyBegin(A12,MAT_FINAL_ASSEMBLY));
76*9566063dSJacob Faibussowitsch   PetscCall(MatAssemblyEnd(A12,MAT_FINAL_ASSEMBLY));
77c4762a1bSJed Brown 
78*9566063dSJacob Faibussowitsch   PetscCall(MatCreate(PETSC_COMM_SELF,&A21));
79*9566063dSJacob Faibussowitsch   PetscCall(MatSetSizes(A21,size2,size1,size2,size1));
80*9566063dSJacob Faibussowitsch   PetscCall(MatSetType(A21,MATSEQDENSE));
81*9566063dSJacob Faibussowitsch   PetscCall(MatSeqDenseSetPreallocation(A21,b+size1));
82*9566063dSJacob Faibussowitsch   PetscCall(MatDenseSetLDA(A21,size));
83*9566063dSJacob Faibussowitsch   PetscCall(MatAssemblyBegin(A21,MAT_FINAL_ASSEMBLY));
84*9566063dSJacob Faibussowitsch   PetscCall(MatAssemblyEnd(A21,MAT_FINAL_ASSEMBLY));
85c4762a1bSJed Brown 
86*9566063dSJacob Faibussowitsch   PetscCall(MatCreate(PETSC_COMM_SELF,&A22));
87*9566063dSJacob Faibussowitsch   PetscCall(MatSetSizes(A22,size2,size2,size2,size2));
88*9566063dSJacob Faibussowitsch   PetscCall(MatSetType(A22,MATSEQDENSE));
89*9566063dSJacob Faibussowitsch   PetscCall(MatSeqDenseSetPreallocation(A22,b+size1*size+size1));
90*9566063dSJacob Faibussowitsch   PetscCall(MatDenseSetLDA(A22,size));
91*9566063dSJacob Faibussowitsch   PetscCall(MatAssemblyBegin(A22,MAT_FINAL_ASSEMBLY));
92*9566063dSJacob Faibussowitsch   PetscCall(MatAssemblyEnd(A22,MAT_FINAL_ASSEMBLY));
93c4762a1bSJed Brown 
94*9566063dSJacob Faibussowitsch   PetscCall(VecCreateSeqWithArray(PETSC_COMM_SELF,1,size1,x,&X1));
95*9566063dSJacob Faibussowitsch   PetscCall(VecCreateSeqWithArray(PETSC_COMM_SELF,1,size2,x+size1,&X2));
96*9566063dSJacob Faibussowitsch   PetscCall(VecCreateSeqWithArray(PETSC_COMM_SELF,1,size1,z,&Z1));
97*9566063dSJacob Faibussowitsch   PetscCall(VecCreateSeqWithArray(PETSC_COMM_SELF,1,size2,z+size1,&Z2));
98c4762a1bSJed Brown 
99c4762a1bSJed Brown   /*
100c4762a1bSJed Brown    * Now multiple matrix times input in two ways;
101c4762a1bSJed Brown    * compare the results
102c4762a1bSJed Brown    */
103*9566063dSJacob Faibussowitsch   PetscCall(MatMult(A,X,Y));
104*9566063dSJacob Faibussowitsch   PetscCall(MatMult(A11,X1,Z1));
105*9566063dSJacob Faibussowitsch   PetscCall(MatMultAdd(A12,X2,Z1,Z1));
106*9566063dSJacob Faibussowitsch   PetscCall(MatMult(A22,X2,Z2));
107*9566063dSJacob Faibussowitsch   PetscCall(MatMultAdd(A21,X1,Z2,Z2));
108*9566063dSJacob Faibussowitsch   PetscCall(VecAXPY(Z,-1.0,Y));
109*9566063dSJacob Faibussowitsch   PetscCall(VecNorm(Z,NORM_2,&nrm));
110c4762a1bSJed Brown   if (nrm > 100.0*PETSC_MACHINE_EPSILON) {
111*9566063dSJacob Faibussowitsch     PetscCall(PetscPrintf(PETSC_COMM_WORLD,"Test1; error norm=%g\n",(double)nrm));
112c4762a1bSJed Brown   }
113c4762a1bSJed Brown 
114c4762a1bSJed Brown   /*
115c4762a1bSJed Brown    * Next test: change both matrices
116c4762a1bSJed Brown    */
117*9566063dSJacob Faibussowitsch   PetscCall(PetscRandomGetValue(rnd,&v));
118c4762a1bSJed Brown   i    = 1;
119c4762a1bSJed Brown   j    = size-2;
120*9566063dSJacob Faibussowitsch   PetscCall(MatSetValues(A,1,&i,1,&j,&v,INSERT_VALUES));
121c4762a1bSJed Brown   j   -= size1;
122*9566063dSJacob Faibussowitsch   PetscCall(MatSetValues(A12,1,&i,1,&j,&v,INSERT_VALUES));
123*9566063dSJacob Faibussowitsch   PetscCall(PetscRandomGetValue(rnd,&v));
124c4762a1bSJed Brown   i    = j = size1+1;
125*9566063dSJacob Faibussowitsch   PetscCall(MatSetValues(A,1,&i,1,&j,&v,INSERT_VALUES));
126c4762a1bSJed Brown   i     =j = 1;
127*9566063dSJacob Faibussowitsch   PetscCall(MatSetValues(A22,1,&i,1,&j,&v,INSERT_VALUES));
128*9566063dSJacob Faibussowitsch   PetscCall(MatAssemblyBegin(A,MAT_FINAL_ASSEMBLY));
129*9566063dSJacob Faibussowitsch   PetscCall(MatAssemblyEnd(A,MAT_FINAL_ASSEMBLY));
130*9566063dSJacob Faibussowitsch   PetscCall(MatAssemblyBegin(A12,MAT_FINAL_ASSEMBLY));
131*9566063dSJacob Faibussowitsch   PetscCall(MatAssemblyEnd(A12,MAT_FINAL_ASSEMBLY));
132*9566063dSJacob Faibussowitsch   PetscCall(MatAssemblyBegin(A22,MAT_FINAL_ASSEMBLY));
133*9566063dSJacob Faibussowitsch   PetscCall(MatAssemblyEnd(A22,MAT_FINAL_ASSEMBLY));
134c4762a1bSJed Brown 
135*9566063dSJacob Faibussowitsch   PetscCall(MatMult(A,X,Y));
136*9566063dSJacob Faibussowitsch   PetscCall(MatMult(A11,X1,Z1));
137*9566063dSJacob Faibussowitsch   PetscCall(MatMultAdd(A12,X2,Z1,Z1));
138*9566063dSJacob Faibussowitsch   PetscCall(MatMult(A22,X2,Z2));
139*9566063dSJacob Faibussowitsch   PetscCall(MatMultAdd(A21,X1,Z2,Z2));
140*9566063dSJacob Faibussowitsch   PetscCall(VecAXPY(Z,-1.0,Y));
141*9566063dSJacob Faibussowitsch   PetscCall(VecNorm(Z,NORM_2,&nrm));
142c4762a1bSJed Brown   if (nrm > 100.0*PETSC_MACHINE_EPSILON) {
143*9566063dSJacob Faibussowitsch     PetscCall(PetscPrintf(PETSC_COMM_WORLD,"Test2; error norm=%g\n",(double)nrm));
144c4762a1bSJed Brown   }
145c4762a1bSJed Brown 
146c4762a1bSJed Brown   /*
147c4762a1bSJed Brown    * Transpose product
148c4762a1bSJed Brown    */
149*9566063dSJacob Faibussowitsch   PetscCall(MatMultTranspose(A,X,Y));
150*9566063dSJacob Faibussowitsch   PetscCall(MatMultTranspose(A11,X1,Z1));
151*9566063dSJacob Faibussowitsch   PetscCall(MatMultTransposeAdd(A21,X2,Z1,Z1));
152*9566063dSJacob Faibussowitsch   PetscCall(MatMultTranspose(A22,X2,Z2));
153*9566063dSJacob Faibussowitsch   PetscCall(MatMultTransposeAdd(A12,X1,Z2,Z2));
154*9566063dSJacob Faibussowitsch   PetscCall(VecAXPY(Z,-1.0,Y));
155*9566063dSJacob Faibussowitsch   PetscCall(VecNorm(Z,NORM_2,&nrm));
156c4762a1bSJed Brown   if (nrm > 100.0*PETSC_MACHINE_EPSILON) {
157*9566063dSJacob Faibussowitsch     PetscCall(PetscPrintf(PETSC_COMM_WORLD,"Test3; error norm=%g\n",(double)nrm));
158c4762a1bSJed Brown   }
159*9566063dSJacob Faibussowitsch   PetscCall(PetscFree(a));
160*9566063dSJacob Faibussowitsch   PetscCall(PetscFree(b));
161*9566063dSJacob Faibussowitsch   PetscCall(PetscFree(x));
162*9566063dSJacob Faibussowitsch   PetscCall(PetscFree(y));
163*9566063dSJacob Faibussowitsch   PetscCall(PetscFree(z));
164*9566063dSJacob Faibussowitsch   PetscCall(MatDestroy(&A));
165*9566063dSJacob Faibussowitsch   PetscCall(MatDestroy(&A11));
166*9566063dSJacob Faibussowitsch   PetscCall(MatDestroy(&A12));
167*9566063dSJacob Faibussowitsch   PetscCall(MatDestroy(&A21));
168*9566063dSJacob Faibussowitsch   PetscCall(MatDestroy(&A22));
169c4762a1bSJed Brown 
170*9566063dSJacob Faibussowitsch   PetscCall(VecDestroy(&X));
171*9566063dSJacob Faibussowitsch   PetscCall(VecDestroy(&Y));
172*9566063dSJacob Faibussowitsch   PetscCall(VecDestroy(&Z));
173c4762a1bSJed Brown 
174*9566063dSJacob Faibussowitsch   PetscCall(VecDestroy(&X1));
175*9566063dSJacob Faibussowitsch   PetscCall(VecDestroy(&X2));
176*9566063dSJacob Faibussowitsch   PetscCall(VecDestroy(&Z1));
177*9566063dSJacob Faibussowitsch   PetscCall(VecDestroy(&Z2));
178*9566063dSJacob Faibussowitsch   PetscCall(PetscRandomDestroy(&rnd));
179*9566063dSJacob Faibussowitsch   PetscCall(PetscFinalize());
180b122ec5aSJacob Faibussowitsch   return 0;
181c4762a1bSJed Brown }
182c4762a1bSJed Brown 
183c4762a1bSJed Brown /*TEST
184c4762a1bSJed Brown 
185c4762a1bSJed Brown    test:
186c4762a1bSJed Brown 
187c4762a1bSJed Brown TEST*/
188