xref: /petsc/src/mat/tests/ex88.c (revision 5f80ce2ab25dff0f4601e710601cbbcecf323266)
1c4762a1bSJed Brown 
2c4762a1bSJed Brown static char help[] = "Tests MatShift(), MatScale(), and MatDiagonalScale() for SHELL and NEST matrices\n\n";
3c4762a1bSJed Brown 
4c4762a1bSJed Brown #include <petscmat.h>
5c4762a1bSJed Brown 
6c4762a1bSJed Brown typedef struct _n_User *User;
7c4762a1bSJed Brown struct _n_User {
8c4762a1bSJed Brown   Mat B;
9c4762a1bSJed Brown };
10c4762a1bSJed Brown 
11c4762a1bSJed Brown static PetscErrorCode MatView_User(Mat A,PetscViewer viewer)
12c4762a1bSJed Brown {
13c4762a1bSJed Brown   User           user;
14c4762a1bSJed Brown 
15c4762a1bSJed Brown   PetscFunctionBegin;
16*5f80ce2aSJacob Faibussowitsch   CHKERRQ(MatShellGetContext(A,&user));
17*5f80ce2aSJacob Faibussowitsch   CHKERRQ(MatView(user->B,viewer));
18c4762a1bSJed Brown   PetscFunctionReturn(0);
19c4762a1bSJed Brown }
20c4762a1bSJed Brown 
21c4762a1bSJed Brown static PetscErrorCode MatMult_User(Mat A,Vec X,Vec Y)
22c4762a1bSJed Brown {
23c4762a1bSJed Brown   User           user;
24c4762a1bSJed Brown 
25c4762a1bSJed Brown   PetscFunctionBegin;
26*5f80ce2aSJacob Faibussowitsch   CHKERRQ(MatShellGetContext(A,&user));
27*5f80ce2aSJacob Faibussowitsch   CHKERRQ(MatMult(user->B,X,Y));
28c4762a1bSJed Brown   PetscFunctionReturn(0);
29c4762a1bSJed Brown }
30c4762a1bSJed Brown 
31c4762a1bSJed Brown static PetscErrorCode MatMultTranspose_User(Mat A,Vec X,Vec Y)
32c4762a1bSJed Brown {
33c4762a1bSJed Brown   User           user;
34c4762a1bSJed Brown 
35c4762a1bSJed Brown   PetscFunctionBegin;
36*5f80ce2aSJacob Faibussowitsch   CHKERRQ(MatShellGetContext(A,&user));
37*5f80ce2aSJacob Faibussowitsch   CHKERRQ(MatMultTranspose(user->B,X,Y));
38c4762a1bSJed Brown   PetscFunctionReturn(0);
39c4762a1bSJed Brown }
40c4762a1bSJed Brown 
41c4762a1bSJed Brown static PetscErrorCode MatGetDiagonal_User(Mat A,Vec X)
42c4762a1bSJed Brown {
43c4762a1bSJed Brown   User           user;
44c4762a1bSJed Brown 
45c4762a1bSJed Brown   PetscFunctionBegin;
46*5f80ce2aSJacob Faibussowitsch   CHKERRQ(MatShellGetContext(A,&user));
47*5f80ce2aSJacob Faibussowitsch   CHKERRQ(MatGetDiagonal(user->B,X));
48c4762a1bSJed Brown   PetscFunctionReturn(0);
49c4762a1bSJed Brown }
50c4762a1bSJed Brown 
51c4762a1bSJed Brown static PetscErrorCode TestMatrix(Mat A,Vec X,Vec Y,Vec Z)
52c4762a1bSJed Brown {
53c4762a1bSJed Brown   Vec            W1,W2,diff;
54c4762a1bSJed Brown   Mat            E;
55c4762a1bSJed Brown   const char     *mattypename;
56c4762a1bSJed Brown   PetscViewer    viewer = PETSC_VIEWER_STDOUT_WORLD;
57c4762a1bSJed Brown   PetscScalar    diag[2]     = { 2.9678190300000000e+08, 1.4173141580000000e+09};
58c4762a1bSJed Brown   PetscScalar    multadd[2]  = {-6.8966198500000000e+08,-2.0310609940000000e+09};
59c4762a1bSJed Brown   PetscScalar    multtadd[2] = {-9.1052873900000000e+08,-1.8101942400000000e+09};
60c4762a1bSJed Brown   PetscReal      nrm;
61c4762a1bSJed Brown 
62c4762a1bSJed Brown   PetscFunctionBegin;
63*5f80ce2aSJacob Faibussowitsch   CHKERRQ(PetscObjectGetType((PetscObject)A,&mattypename));
64*5f80ce2aSJacob Faibussowitsch   CHKERRQ(PetscViewerASCIIPrintf(viewer,"\nMatrix of type: %s\n",mattypename));
65*5f80ce2aSJacob Faibussowitsch   CHKERRQ(VecDuplicate(X,&W1));
66*5f80ce2aSJacob Faibussowitsch   CHKERRQ(VecDuplicate(X,&W2));
67*5f80ce2aSJacob Faibussowitsch   CHKERRQ(MatScale(A,31));
68*5f80ce2aSJacob Faibussowitsch   CHKERRQ(MatShift(A,37));
69*5f80ce2aSJacob Faibussowitsch   CHKERRQ(MatDiagonalScale(A,X,Y));
70*5f80ce2aSJacob Faibussowitsch   CHKERRQ(MatScale(A,41));
71*5f80ce2aSJacob Faibussowitsch   CHKERRQ(MatDiagonalScale(A,Y,Z));
72*5f80ce2aSJacob Faibussowitsch   CHKERRQ(MatComputeOperator(A,MATDENSE,&E));
73c4762a1bSJed Brown 
74*5f80ce2aSJacob Faibussowitsch   CHKERRQ(MatView(E,viewer));
75*5f80ce2aSJacob Faibussowitsch   CHKERRQ(PetscViewerASCIIPrintf(viewer,"Testing MatMult + MatMultTranspose\n"));
76*5f80ce2aSJacob Faibussowitsch   CHKERRQ(MatMult(A,Z,W1));
77*5f80ce2aSJacob Faibussowitsch   CHKERRQ(MatMultTranspose(A,W1,W2));
78*5f80ce2aSJacob Faibussowitsch   CHKERRQ(VecView(W2,viewer));
79c4762a1bSJed Brown 
80*5f80ce2aSJacob Faibussowitsch   CHKERRQ(PetscViewerASCIIPrintf(viewer,"Testing MatMultAdd\n"));
81*5f80ce2aSJacob Faibussowitsch   CHKERRQ(VecCreateSeqWithArray(PETSC_COMM_SELF,1,2,multadd,&diff));
82*5f80ce2aSJacob Faibussowitsch   CHKERRQ(VecSet(W1,-1.0));
83*5f80ce2aSJacob Faibussowitsch   CHKERRQ(MatMultAdd(A,W1,W1,W2));
84*5f80ce2aSJacob Faibussowitsch   CHKERRQ(VecView(W2,viewer));
85*5f80ce2aSJacob Faibussowitsch   CHKERRQ(VecAXPY(W2,-1.0,diff));
86*5f80ce2aSJacob Faibussowitsch   CHKERRQ(VecNorm(W2,NORM_2,&nrm));
87c4762a1bSJed Brown #if defined(PETSC_USE_REAL_DOUBLE) || defined(PETSC_USE_REAL___FLOAT128)
882c71b3e2SJacob Faibussowitsch   PetscCheckFalse(nrm > PETSC_SMALL,PETSC_COMM_SELF,PETSC_ERR_PLIB,"MatMultAdd(A,x,x,y) produces incorrect result");
89c4762a1bSJed Brown #endif
90c4762a1bSJed Brown 
91*5f80ce2aSJacob Faibussowitsch   CHKERRQ(VecSet(W2,-1.0));
92*5f80ce2aSJacob Faibussowitsch   CHKERRQ(MatMultAdd(A,W1,W2,W2));
93*5f80ce2aSJacob Faibussowitsch   CHKERRQ(VecView(W2,viewer));
94*5f80ce2aSJacob Faibussowitsch   CHKERRQ(VecAXPY(W2,-1.0,diff));
95*5f80ce2aSJacob Faibussowitsch   CHKERRQ(VecNorm(W2,NORM_2,&nrm));
96c4762a1bSJed Brown #if defined(PETSC_USE_REAL_DOUBLE) || defined(PETSC_USE_REAL___FLOAT128)
972c71b3e2SJacob Faibussowitsch   PetscCheckFalse(nrm > PETSC_SMALL,PETSC_COMM_SELF,PETSC_ERR_PLIB,"MatMultAdd(A,x,y,y) produces incorrect result");
98c4762a1bSJed Brown #endif
99*5f80ce2aSJacob Faibussowitsch   CHKERRQ(VecDestroy(&diff));
100c4762a1bSJed Brown 
101*5f80ce2aSJacob Faibussowitsch   CHKERRQ(PetscViewerASCIIPrintf(viewer,"Testing MatMultTransposeAdd\n"));
102*5f80ce2aSJacob Faibussowitsch   CHKERRQ(VecCreateSeqWithArray(PETSC_COMM_SELF,1,2,multtadd,&diff));
103c4762a1bSJed Brown 
104*5f80ce2aSJacob Faibussowitsch   CHKERRQ(VecSet(W1,-1.0));
105*5f80ce2aSJacob Faibussowitsch   CHKERRQ(MatMultTransposeAdd(A,W1,W1,W2));
106*5f80ce2aSJacob Faibussowitsch   CHKERRQ(VecView(W2,viewer));
107*5f80ce2aSJacob Faibussowitsch   CHKERRQ(VecAXPY(W2,-1.0,diff));
108*5f80ce2aSJacob Faibussowitsch   CHKERRQ(VecNorm(W2,NORM_2,&nrm));
109c4762a1bSJed Brown #if defined(PETSC_USE_REAL_DOUBLE) || defined(PETSC_USE_REAL___FLOAT128)
1102c71b3e2SJacob Faibussowitsch   PetscCheckFalse(nrm > PETSC_SMALL,PETSC_COMM_SELF,PETSC_ERR_PLIB,"MatMultTransposeAdd(A,x,x,y) produces incorrect result");
111c4762a1bSJed Brown #endif
112c4762a1bSJed Brown 
113*5f80ce2aSJacob Faibussowitsch   CHKERRQ(VecSet(W2,-1.0));
114*5f80ce2aSJacob Faibussowitsch   CHKERRQ(MatMultTransposeAdd(A,W1,W2,W2));
115*5f80ce2aSJacob Faibussowitsch   CHKERRQ(VecView(W2,viewer));
116*5f80ce2aSJacob Faibussowitsch   CHKERRQ(VecAXPY(W2,-1.0,diff));
117*5f80ce2aSJacob Faibussowitsch   CHKERRQ(VecNorm(W2,NORM_2,&nrm));
118c4762a1bSJed Brown #if defined(PETSC_USE_REAL_DOUBLE) || defined(PETSC_USE_REAL___FLOAT128)
1192c71b3e2SJacob Faibussowitsch   PetscCheckFalse(nrm > PETSC_SMALL,PETSC_COMM_SELF,PETSC_ERR_PLIB,"MatMultTransposeAdd(A,x,y,y) produces incorrect result");
120c4762a1bSJed Brown #endif
121*5f80ce2aSJacob Faibussowitsch   CHKERRQ(VecDestroy(&diff));
122c4762a1bSJed Brown 
123*5f80ce2aSJacob Faibussowitsch   CHKERRQ(PetscViewerASCIIPrintf(viewer,"Testing MatGetDiagonal\n"));
124*5f80ce2aSJacob Faibussowitsch   CHKERRQ(MatGetDiagonal(A,W2));
125*5f80ce2aSJacob Faibussowitsch   CHKERRQ(VecView(W2,viewer));
126*5f80ce2aSJacob Faibussowitsch   CHKERRQ(VecCreateSeqWithArray(PETSC_COMM_SELF,1,2,diag,&diff));
127*5f80ce2aSJacob Faibussowitsch   CHKERRQ(VecAXPY(diff,-1.0,W2));
128*5f80ce2aSJacob Faibussowitsch   CHKERRQ(VecNorm(diff,NORM_2,&nrm));
1292c71b3e2SJacob Faibussowitsch   PetscCheckFalse(nrm > PETSC_SMALL,PETSC_COMM_SELF,PETSC_ERR_PLIB,"MatGetDiagonal() produces incorrect result");
130*5f80ce2aSJacob Faibussowitsch   CHKERRQ(VecDestroy(&diff));
131c4762a1bSJed Brown 
132c4762a1bSJed Brown   /* MATSHELL does not support MatDiagonalSet after MatScale */
133c4762a1bSJed Brown   if (strncmp(mattypename, "shell", 5)) {
134*5f80ce2aSJacob Faibussowitsch     CHKERRQ(MatDiagonalSet(A,X,INSERT_VALUES));
135*5f80ce2aSJacob Faibussowitsch     CHKERRQ(MatGetDiagonal(A,W1));
136*5f80ce2aSJacob Faibussowitsch     CHKERRQ(VecView(W1,viewer));
137c4762a1bSJed Brown   } else {
138*5f80ce2aSJacob Faibussowitsch     CHKERRQ(PetscViewerASCIIPrintf(viewer,"MatDiagonalSet not tested on MATSHELL\n"));
139c4762a1bSJed Brown   }
140c4762a1bSJed Brown 
141*5f80ce2aSJacob Faibussowitsch   CHKERRQ(MatDestroy(&E));
142*5f80ce2aSJacob Faibussowitsch   CHKERRQ(VecDestroy(&W1));
143*5f80ce2aSJacob Faibussowitsch   CHKERRQ(VecDestroy(&W2));
144c4762a1bSJed Brown   PetscFunctionReturn(0);
145c4762a1bSJed Brown }
146c4762a1bSJed Brown 
147c4762a1bSJed Brown int main(int argc,char **args)
148c4762a1bSJed Brown {
149c4762a1bSJed Brown   const PetscScalar xvals[] = {11,13},yvals[] = {17,19},zvals[] = {23,29};
150c4762a1bSJed Brown   const PetscInt    inds[]  = {0,1};
151c4762a1bSJed Brown   PetscScalar       avals[] = {2,3,5,7};
152c4762a1bSJed Brown   Mat               A,S,D[4],N;
153c4762a1bSJed Brown   Vec               X,Y,Z;
154c4762a1bSJed Brown   User              user;
155c4762a1bSJed Brown   PetscInt          i;
156c4762a1bSJed Brown   PetscErrorCode    ierr;
157c4762a1bSJed Brown 
158c4762a1bSJed Brown   ierr = PetscInitialize(&argc,&args,(char*)0,help);if (ierr) return ierr;
159*5f80ce2aSJacob Faibussowitsch   CHKERRQ(MatCreateSeqAIJ(PETSC_COMM_WORLD,2,2,2,NULL,&A));
160*5f80ce2aSJacob Faibussowitsch   CHKERRQ(MatSetUp(A));
161*5f80ce2aSJacob Faibussowitsch   CHKERRQ(MatSetValues(A,2,inds,2,inds,avals,INSERT_VALUES));
162*5f80ce2aSJacob Faibussowitsch   CHKERRQ(VecCreateSeq(PETSC_COMM_WORLD,2,&X));
163*5f80ce2aSJacob Faibussowitsch   CHKERRQ(VecDuplicate(X,&Y));
164*5f80ce2aSJacob Faibussowitsch   CHKERRQ(VecDuplicate(X,&Z));
165*5f80ce2aSJacob Faibussowitsch   CHKERRQ(VecSetValues(X,2,inds,xvals,INSERT_VALUES));
166*5f80ce2aSJacob Faibussowitsch   CHKERRQ(VecSetValues(Y,2,inds,yvals,INSERT_VALUES));
167*5f80ce2aSJacob Faibussowitsch   CHKERRQ(VecSetValues(Z,2,inds,zvals,INSERT_VALUES));
168*5f80ce2aSJacob Faibussowitsch   CHKERRQ(MatAssemblyBegin(A,MAT_FINAL_ASSEMBLY));
169*5f80ce2aSJacob Faibussowitsch   CHKERRQ(MatAssemblyEnd(A,MAT_FINAL_ASSEMBLY));
170*5f80ce2aSJacob Faibussowitsch   CHKERRQ(VecAssemblyBegin(X));
171*5f80ce2aSJacob Faibussowitsch   CHKERRQ(VecAssemblyBegin(Y));
172*5f80ce2aSJacob Faibussowitsch   CHKERRQ(VecAssemblyBegin(Z));
173*5f80ce2aSJacob Faibussowitsch   CHKERRQ(VecAssemblyEnd(X));
174*5f80ce2aSJacob Faibussowitsch   CHKERRQ(VecAssemblyEnd(Y));
175*5f80ce2aSJacob Faibussowitsch   CHKERRQ(VecAssemblyEnd(Z));
176c4762a1bSJed Brown 
177*5f80ce2aSJacob Faibussowitsch   CHKERRQ(PetscNew(&user));
178c4762a1bSJed Brown   user->B = A;
179c4762a1bSJed Brown 
180*5f80ce2aSJacob Faibussowitsch   CHKERRQ(MatCreateShell(PETSC_COMM_WORLD,2,2,2,2,user,&S));
181*5f80ce2aSJacob Faibussowitsch   CHKERRQ(MatSetUp(S));
182*5f80ce2aSJacob Faibussowitsch   CHKERRQ(MatShellSetOperation(S,MATOP_VIEW,(void (*)(void))MatView_User));
183*5f80ce2aSJacob Faibussowitsch   CHKERRQ(MatShellSetOperation(S,MATOP_MULT,(void (*)(void))MatMult_User));
184*5f80ce2aSJacob Faibussowitsch   CHKERRQ(MatShellSetOperation(S,MATOP_MULT_TRANSPOSE,(void (*)(void))MatMultTranspose_User));
185*5f80ce2aSJacob Faibussowitsch   CHKERRQ(MatShellSetOperation(S,MATOP_GET_DIAGONAL,(void (*)(void))MatGetDiagonal_User));
186c4762a1bSJed Brown 
187c4762a1bSJed Brown   for (i=0; i<4; i++) {
188*5f80ce2aSJacob Faibussowitsch     CHKERRQ(MatCreateSeqDense(PETSC_COMM_WORLD,1,1,&avals[i],&D[i]));
189c4762a1bSJed Brown   }
190*5f80ce2aSJacob Faibussowitsch   CHKERRQ(MatCreateNest(PETSC_COMM_WORLD,2,NULL,2,NULL,D,&N));
191*5f80ce2aSJacob Faibussowitsch   CHKERRQ(MatSetUp(N));
192c4762a1bSJed Brown 
193*5f80ce2aSJacob Faibussowitsch   CHKERRQ(TestMatrix(S,X,Y,Z));
194*5f80ce2aSJacob Faibussowitsch   CHKERRQ(TestMatrix(A,X,Y,Z));
195*5f80ce2aSJacob Faibussowitsch   CHKERRQ(TestMatrix(N,X,Y,Z));
196c4762a1bSJed Brown 
197*5f80ce2aSJacob Faibussowitsch   for (i=0; i<4; i++) CHKERRQ(MatDestroy(&D[i]));
198*5f80ce2aSJacob Faibussowitsch   CHKERRQ(MatDestroy(&A));
199*5f80ce2aSJacob Faibussowitsch   CHKERRQ(MatDestroy(&S));
200*5f80ce2aSJacob Faibussowitsch   CHKERRQ(MatDestroy(&N));
201*5f80ce2aSJacob Faibussowitsch   CHKERRQ(VecDestroy(&X));
202*5f80ce2aSJacob Faibussowitsch   CHKERRQ(VecDestroy(&Y));
203*5f80ce2aSJacob Faibussowitsch   CHKERRQ(VecDestroy(&Z));
204*5f80ce2aSJacob Faibussowitsch   CHKERRQ(PetscFree(user));
205c4762a1bSJed Brown   ierr = PetscFinalize();
206c4762a1bSJed Brown   return ierr;
207c4762a1bSJed Brown }
208c4762a1bSJed Brown 
209c4762a1bSJed Brown /*TEST
210c4762a1bSJed Brown 
211c4762a1bSJed Brown    test:
212c4762a1bSJed Brown 
213c4762a1bSJed Brown TEST*/
214