xref: /petsc/src/mat/tests/ex241.c (revision c7a4214aa78cb41fbd20979609c6a6680968e7d6)
1*c7a4214aSPierre Jolivet static char help[] = "Tests MATHTOOL\n\n";
2*c7a4214aSPierre Jolivet 
3*c7a4214aSPierre Jolivet #include <petscmat.h>
4*c7a4214aSPierre Jolivet 
5*c7a4214aSPierre Jolivet static PetscScalar GenEntry(PetscInt sdim,PetscInt i,PetscInt j,void *ctx)
6*c7a4214aSPierre Jolivet {
7*c7a4214aSPierre Jolivet   PetscInt  d;
8*c7a4214aSPierre Jolivet   PetscReal diff = 0.0,*coords = (PetscReal*)(ctx);
9*c7a4214aSPierre Jolivet 
10*c7a4214aSPierre Jolivet   PetscFunctionBeginUser;
11*c7a4214aSPierre Jolivet   for (d = 0; d < sdim; d++) { diff += (coords[i*sdim+d] - coords[j*sdim+d]) * (coords[i*sdim+d] - coords[j*sdim+d]); }
12*c7a4214aSPierre Jolivet   PetscFunctionReturn(1.0/(1.0e-2 + PetscSqrtReal(diff)));
13*c7a4214aSPierre Jolivet }
14*c7a4214aSPierre Jolivet 
15*c7a4214aSPierre Jolivet static PetscScalar GenEntryRectangular(PetscInt sdim,PetscInt i,PetscInt j,void *ctx)
16*c7a4214aSPierre Jolivet {
17*c7a4214aSPierre Jolivet   PetscInt  d;
18*c7a4214aSPierre Jolivet   PetscReal diff = 0.0,**coords = (PetscReal**)(ctx);
19*c7a4214aSPierre Jolivet 
20*c7a4214aSPierre Jolivet   PetscFunctionBeginUser;
21*c7a4214aSPierre Jolivet   for (d = 0; d < sdim; d++) { diff += (coords[0][i*sdim+d] - coords[1][j*sdim+d]) * (coords[0][i*sdim+d] - coords[1][j*sdim+d]); }
22*c7a4214aSPierre Jolivet   PetscFunctionReturn(1.0/(1.0e-2 + PetscSqrtReal(diff)));
23*c7a4214aSPierre Jolivet }
24*c7a4214aSPierre Jolivet 
25*c7a4214aSPierre Jolivet int main(int argc,char **argv)
26*c7a4214aSPierre Jolivet {
27*c7a4214aSPierre Jolivet   Mat            A,AT,D,B,P,R,RT;
28*c7a4214aSPierre Jolivet   PetscInt       m = 100,dim = 3,M,K = 10,begin,n = 0,N;
29*c7a4214aSPierre Jolivet   PetscMPIInt    size;
30*c7a4214aSPierre Jolivet   PetscScalar    *ptr;
31*c7a4214aSPierre Jolivet   PetscReal      *coords,*gcoords,*scoords,*gscoords,*(ctx[2]),norm,epsilon;
32*c7a4214aSPierre Jolivet   MatHtoolKernel kernel = GenEntry;
33*c7a4214aSPierre Jolivet   PetscBool      flg,sym = PETSC_FALSE;
34*c7a4214aSPierre Jolivet   PetscRandom    rdm;
35*c7a4214aSPierre Jolivet   PetscErrorCode ierr;
36*c7a4214aSPierre Jolivet 
37*c7a4214aSPierre Jolivet   ierr = PetscInitialize(&argc,&argv,(char*)NULL,help);if (ierr) return ierr;
38*c7a4214aSPierre Jolivet   ierr = PetscOptionsGetInt(NULL,NULL,"-m_local",&m,NULL);CHKERRQ(ierr);
39*c7a4214aSPierre Jolivet   ierr = PetscOptionsGetInt(NULL,NULL,"-n_local",&n,NULL);CHKERRQ(ierr);
40*c7a4214aSPierre Jolivet   ierr = PetscOptionsGetInt(NULL,NULL,"-dim",&dim,NULL);CHKERRQ(ierr);
41*c7a4214aSPierre Jolivet   ierr = PetscOptionsGetInt(NULL,NULL,"-K",&K,NULL);CHKERRQ(ierr);
42*c7a4214aSPierre Jolivet   ierr = PetscOptionsGetBool(NULL,NULL,"-symmetric",&sym,NULL);CHKERRQ(ierr);
43*c7a4214aSPierre Jolivet   ierr = PetscOptionsGetReal(NULL,NULL,"-mat_htool_epsilon",&epsilon,NULL);CHKERRQ(ierr);
44*c7a4214aSPierre Jolivet   ierr = MPI_Comm_size(PETSC_COMM_WORLD,&size);CHKERRMPI(ierr);
45*c7a4214aSPierre Jolivet   M = size*m;
46*c7a4214aSPierre Jolivet   ierr = PetscOptionsGetInt(NULL,NULL,"-M",&M,NULL);CHKERRQ(ierr);
47*c7a4214aSPierre Jolivet   ierr = PetscMalloc1(m*dim,&coords);CHKERRQ(ierr);
48*c7a4214aSPierre Jolivet   ierr = PetscRandomCreate(PETSC_COMM_WORLD,&rdm);CHKERRQ(ierr);
49*c7a4214aSPierre Jolivet   ierr = PetscRandomGetValuesReal(rdm,m*dim,coords);CHKERRQ(ierr);
50*c7a4214aSPierre Jolivet   ierr = PetscCalloc1(M*dim,&gcoords);CHKERRQ(ierr);
51*c7a4214aSPierre Jolivet   ierr = MatCreateDense(PETSC_COMM_WORLD,m,PETSC_DECIDE,M,K,NULL,&B);CHKERRQ(ierr);
52*c7a4214aSPierre Jolivet   ierr = MatAssemblyBegin(B,MAT_FINAL_ASSEMBLY);CHKERRQ(ierr);
53*c7a4214aSPierre Jolivet   ierr = MatAssemblyEnd(B,MAT_FINAL_ASSEMBLY);CHKERRQ(ierr);
54*c7a4214aSPierre Jolivet   ierr = MatSetRandom(B,rdm);CHKERRQ(ierr);
55*c7a4214aSPierre Jolivet   ierr = MatGetOwnershipRange(B,&begin,NULL);CHKERRQ(ierr);
56*c7a4214aSPierre Jolivet   ierr = PetscArraycpy(gcoords+begin*dim,coords,m*dim);CHKERRQ(ierr);
57*c7a4214aSPierre Jolivet   ierr = MPIU_Allreduce(MPI_IN_PLACE,gcoords,M*dim,MPIU_REAL,MPI_SUM,PETSC_COMM_WORLD);CHKERRMPI(ierr);
58*c7a4214aSPierre Jolivet   ierr = MatCreateHtoolFromKernel(PETSC_COMM_WORLD,m,m,M,M,dim,coords,coords,kernel,gcoords,&A);CHKERRQ(ierr);
59*c7a4214aSPierre Jolivet   ierr = MatSetOption(A,MAT_SYMMETRIC,sym);CHKERRQ(ierr);
60*c7a4214aSPierre Jolivet   ierr = MatSetFromOptions(A);CHKERRQ(ierr);
61*c7a4214aSPierre Jolivet   ierr = MatAssemblyBegin(A,MAT_FINAL_ASSEMBLY);CHKERRQ(ierr);
62*c7a4214aSPierre Jolivet   ierr = MatAssemblyEnd(A,MAT_FINAL_ASSEMBLY);CHKERRQ(ierr);
63*c7a4214aSPierre Jolivet   ierr = MatViewFromOptions(A,NULL,"-A_view");CHKERRQ(ierr);
64*c7a4214aSPierre Jolivet   if (PetscAbsReal(epsilon) >= PETSC_SMALL) { /* when there is compression, it is more difficult to check against MATDENSE, so just compare symmetric and nonsymmetric assemblies */
65*c7a4214aSPierre Jolivet     PetscReal relative;
66*c7a4214aSPierre Jolivet     ierr = MatDestroy(&B);CHKERRQ(ierr);
67*c7a4214aSPierre Jolivet     ierr = MatCreateHtoolFromKernel(PETSC_COMM_WORLD,m,m,M,M,dim,coords,coords,kernel,gcoords,&B);CHKERRQ(ierr);
68*c7a4214aSPierre Jolivet     ierr = MatSetOption(B,MAT_SYMMETRIC,(PetscBool)!sym);CHKERRQ(ierr);
69*c7a4214aSPierre Jolivet     ierr = MatSetFromOptions(B);CHKERRQ(ierr);
70*c7a4214aSPierre Jolivet     ierr = MatAssemblyBegin(B,MAT_FINAL_ASSEMBLY);CHKERRQ(ierr);
71*c7a4214aSPierre Jolivet     ierr = MatAssemblyEnd(B,MAT_FINAL_ASSEMBLY);CHKERRQ(ierr);
72*c7a4214aSPierre Jolivet     ierr = MatViewFromOptions(B,NULL,"-B_view");CHKERRQ(ierr);
73*c7a4214aSPierre Jolivet     ierr = MatConvert(A,MATDENSE,MAT_INITIAL_MATRIX,&P);CHKERRQ(ierr);
74*c7a4214aSPierre Jolivet     ierr = MatNorm(P,NORM_FROBENIUS,&relative);CHKERRQ(ierr);
75*c7a4214aSPierre Jolivet     ierr = MatConvert(B,MATDENSE,MAT_INITIAL_MATRIX,&R);CHKERRQ(ierr);
76*c7a4214aSPierre Jolivet     ierr = MatAXPY(R,-1.0,P,SAME_NONZERO_PATTERN);CHKERRQ(ierr);
77*c7a4214aSPierre Jolivet     ierr = MatNorm(R,NORM_INFINITY,&norm);CHKERRQ(ierr);
78*c7a4214aSPierre Jolivet     if (PetscAbsReal(norm/relative) > epsilon) SETERRQ2(PETSC_COMM_WORLD,PETSC_ERR_PLIB,"||A(!symmetric)-A(symmetric)|| = %g (> %g)",(double)PetscAbsReal(norm/relative),(double)epsilon);
79*c7a4214aSPierre Jolivet     ierr = MatDestroy(&B);CHKERRQ(ierr);
80*c7a4214aSPierre Jolivet     ierr = MatDestroy(&R);CHKERRQ(ierr);
81*c7a4214aSPierre Jolivet     ierr = MatDestroy(&P);CHKERRQ(ierr);
82*c7a4214aSPierre Jolivet   } else {
83*c7a4214aSPierre Jolivet     ierr = MatConvert(A,MATDENSE,MAT_INITIAL_MATRIX,&D);CHKERRQ(ierr);
84*c7a4214aSPierre Jolivet     ierr = MatViewFromOptions(D,NULL,"-D_view");CHKERRQ(ierr);
85*c7a4214aSPierre Jolivet     ierr = MatMultEqual(A,D,10,&flg);CHKERRQ(ierr);
86*c7a4214aSPierre Jolivet     if (!flg) SETERRQ(PETSC_COMM_WORLD,PETSC_ERR_PLIB,"Ax != Dx");
87*c7a4214aSPierre Jolivet     ierr = MatMultAddEqual(A,D,10,&flg);CHKERRQ(ierr);
88*c7a4214aSPierre Jolivet     if (!flg) SETERRQ(PETSC_COMM_WORLD,PETSC_ERR_PLIB,"y+Ax != y+Dx");
89*c7a4214aSPierre Jolivet     ierr = MatGetOwnershipRange(B,&begin,NULL);CHKERRQ(ierr);
90*c7a4214aSPierre Jolivet     ierr = MatDenseGetArrayWrite(D,&ptr);CHKERRQ(ierr);
91*c7a4214aSPierre Jolivet     for (PetscInt i = 0; i < m; ++i)
92*c7a4214aSPierre Jolivet         for (PetscInt j = 0; j < M; ++j) ptr[i + j*m] = GenEntry(dim,begin+i,j,gcoords);
93*c7a4214aSPierre Jolivet     ierr = MatDenseRestoreArrayWrite(D,&ptr);CHKERRQ(ierr);
94*c7a4214aSPierre Jolivet     ierr = MatMultEqual(A,D,10,&flg);CHKERRQ(ierr);
95*c7a4214aSPierre Jolivet     if (!flg) SETERRQ(PETSC_COMM_WORLD,PETSC_ERR_PLIB,"Ax != Dx");
96*c7a4214aSPierre Jolivet     ierr = MatTranspose(D,MAT_INPLACE_MATRIX,&D);CHKERRQ(ierr);
97*c7a4214aSPierre Jolivet     ierr = MatTranspose(A,MAT_INITIAL_MATRIX,&AT);CHKERRQ(ierr);
98*c7a4214aSPierre Jolivet     ierr = MatMultEqual(AT,D,10,&flg);CHKERRQ(ierr);
99*c7a4214aSPierre Jolivet     if (!flg) SETERRQ(PETSC_COMM_WORLD,PETSC_ERR_PLIB,"A^Tx != D^Tx");
100*c7a4214aSPierre Jolivet     ierr = MatTranspose(A,MAT_REUSE_MATRIX,&AT);CHKERRQ(ierr);
101*c7a4214aSPierre Jolivet     ierr = MatMultEqual(AT,D,10,&flg);CHKERRQ(ierr);
102*c7a4214aSPierre Jolivet     if (!flg) SETERRQ(PETSC_COMM_WORLD,PETSC_ERR_PLIB,"A^Tx != D^Tx");
103*c7a4214aSPierre Jolivet     ierr = MatAXPY(D,-1.0,AT,SAME_NONZERO_PATTERN);CHKERRQ(ierr);
104*c7a4214aSPierre Jolivet     ierr = MatNorm(D,NORM_INFINITY,&norm);CHKERRQ(ierr);
105*c7a4214aSPierre Jolivet     if (PetscAbsReal(norm) > PETSC_SMALL) SETERRQ2(PETSC_COMM_WORLD,PETSC_ERR_PLIB,"||A-D|| = %g (> %g)",(double)norm,(double)PETSC_SMALL);
106*c7a4214aSPierre Jolivet     ierr = MatDestroy(&AT);CHKERRQ(ierr);
107*c7a4214aSPierre Jolivet     ierr = MatDestroy(&D);CHKERRQ(ierr);
108*c7a4214aSPierre Jolivet     ierr = MatMatMult(A,B,MAT_INITIAL_MATRIX,PETSC_DEFAULT,&P);CHKERRQ(ierr);
109*c7a4214aSPierre Jolivet     ierr = MatAssemblyBegin(P,MAT_FINAL_ASSEMBLY);CHKERRQ(ierr);
110*c7a4214aSPierre Jolivet     ierr = MatAssemblyEnd(P,MAT_FINAL_ASSEMBLY);CHKERRQ(ierr);
111*c7a4214aSPierre Jolivet     ierr = MatMatMultEqual(A,B,P,10,&flg);CHKERRQ(ierr);
112*c7a4214aSPierre Jolivet     if (!flg) SETERRQ(PETSC_COMM_WORLD,PETSC_ERR_PLIB,"ABx != Px");
113*c7a4214aSPierre Jolivet     ierr = MatDestroy(&B);CHKERRQ(ierr);
114*c7a4214aSPierre Jolivet     ierr = MatDestroy(&P);CHKERRQ(ierr);
115*c7a4214aSPierre Jolivet     if (n) {
116*c7a4214aSPierre Jolivet       ierr = PetscMalloc1(n*dim,&scoords);CHKERRQ(ierr);
117*c7a4214aSPierre Jolivet       ierr = PetscRandomGetValuesReal(rdm,n*dim,scoords);CHKERRQ(ierr);
118*c7a4214aSPierre Jolivet       N = n;
119*c7a4214aSPierre Jolivet       ierr = MPIU_Allreduce(MPI_IN_PLACE,&N,1,MPIU_INT,MPI_SUM,PETSC_COMM_WORLD);CHKERRMPI(ierr);
120*c7a4214aSPierre Jolivet       ierr = PetscCalloc1(N*dim,&gscoords);CHKERRQ(ierr);
121*c7a4214aSPierre Jolivet       ierr = MPI_Exscan(&n,&begin,1,MPIU_INT,MPI_SUM,PETSC_COMM_WORLD);CHKERRMPI(ierr);
122*c7a4214aSPierre Jolivet       ierr = PetscArraycpy(gscoords+begin*dim,scoords,n*dim);CHKERRQ(ierr);
123*c7a4214aSPierre Jolivet       ierr = MPIU_Allreduce(MPI_IN_PLACE,gscoords,N*dim,MPIU_REAL,MPI_SUM,PETSC_COMM_WORLD);CHKERRMPI(ierr);
124*c7a4214aSPierre Jolivet       kernel = GenEntryRectangular;
125*c7a4214aSPierre Jolivet       ctx[0] = gcoords;
126*c7a4214aSPierre Jolivet       ctx[1] = gscoords;
127*c7a4214aSPierre Jolivet       ierr = MatCreateHtoolFromKernel(PETSC_COMM_WORLD,m,n,M,N,dim,coords,scoords,kernel,ctx,&R);CHKERRQ(ierr);
128*c7a4214aSPierre Jolivet       ierr = MatSetFromOptions(R);CHKERRQ(ierr);
129*c7a4214aSPierre Jolivet       ierr = MatAssemblyBegin(R,MAT_FINAL_ASSEMBLY);CHKERRQ(ierr);
130*c7a4214aSPierre Jolivet       ierr = MatAssemblyEnd(R,MAT_FINAL_ASSEMBLY);CHKERRQ(ierr);
131*c7a4214aSPierre Jolivet       ierr = MatViewFromOptions(R,NULL,"-R_view");CHKERRQ(ierr);
132*c7a4214aSPierre Jolivet       ierr = MatConvert(R,MATDENSE,MAT_INITIAL_MATRIX,&D);CHKERRQ(ierr);
133*c7a4214aSPierre Jolivet       ierr = MatViewFromOptions(D,NULL,"-D_view");CHKERRQ(ierr);
134*c7a4214aSPierre Jolivet       ierr = MatMultEqual(R,D,10,&flg);CHKERRQ(ierr);
135*c7a4214aSPierre Jolivet       if (!flg) SETERRQ(PETSC_COMM_WORLD,PETSC_ERR_PLIB,"Rx != Dx");
136*c7a4214aSPierre Jolivet       ierr = MatTranspose(D,MAT_INPLACE_MATRIX,&D);CHKERRQ(ierr);
137*c7a4214aSPierre Jolivet       ierr = MatTranspose(R,MAT_INITIAL_MATRIX,&RT);CHKERRQ(ierr);
138*c7a4214aSPierre Jolivet       ierr = MatMultEqual(RT,D,10,&flg);CHKERRQ(ierr);
139*c7a4214aSPierre Jolivet       if (!flg) SETERRQ(PETSC_COMM_WORLD,PETSC_ERR_PLIB,"R^Tx != D^Tx");
140*c7a4214aSPierre Jolivet       ierr = MatTranspose(R,MAT_REUSE_MATRIX,&RT);CHKERRQ(ierr);
141*c7a4214aSPierre Jolivet       ierr = MatMultEqual(RT,D,10,&flg);CHKERRQ(ierr);
142*c7a4214aSPierre Jolivet       if (!flg) SETERRQ(PETSC_COMM_WORLD,PETSC_ERR_PLIB,"R^Tx != D^Tx");
143*c7a4214aSPierre Jolivet       ierr = MatDestroy(&RT);CHKERRQ(ierr);
144*c7a4214aSPierre Jolivet       ierr = MatDestroy(&D);CHKERRQ(ierr);
145*c7a4214aSPierre Jolivet       ierr = MatCreateDense(PETSC_COMM_WORLD,n,PETSC_DECIDE,PETSC_DETERMINE,K,NULL,&B);CHKERRQ(ierr);
146*c7a4214aSPierre Jolivet       ierr = MatAssemblyBegin(B,MAT_FINAL_ASSEMBLY);CHKERRQ(ierr);
147*c7a4214aSPierre Jolivet       ierr = MatAssemblyEnd(B,MAT_FINAL_ASSEMBLY);CHKERRQ(ierr);
148*c7a4214aSPierre Jolivet       ierr = MatSetRandom(B,rdm);CHKERRQ(ierr);
149*c7a4214aSPierre Jolivet       ierr = MatMatMult(R,B,MAT_INITIAL_MATRIX,PETSC_DEFAULT,&P);CHKERRQ(ierr);
150*c7a4214aSPierre Jolivet       ierr = MatAssemblyBegin(P,MAT_FINAL_ASSEMBLY);CHKERRQ(ierr);
151*c7a4214aSPierre Jolivet       ierr = MatAssemblyEnd(P,MAT_FINAL_ASSEMBLY);CHKERRQ(ierr);
152*c7a4214aSPierre Jolivet       ierr = MatMatMultEqual(R,B,P,10,&flg);CHKERRQ(ierr);
153*c7a4214aSPierre Jolivet       if (!flg) SETERRQ(PETSC_COMM_WORLD,PETSC_ERR_PLIB,"RBx != Px");
154*c7a4214aSPierre Jolivet       ierr = MatDestroy(&B);CHKERRQ(ierr);
155*c7a4214aSPierre Jolivet       ierr = MatDestroy(&P);CHKERRQ(ierr);
156*c7a4214aSPierre Jolivet       ierr = MatDestroy(&R);CHKERRQ(ierr);
157*c7a4214aSPierre Jolivet       ierr = PetscFree(gscoords);CHKERRQ(ierr);
158*c7a4214aSPierre Jolivet       ierr = PetscFree(scoords);CHKERRQ(ierr);
159*c7a4214aSPierre Jolivet     }
160*c7a4214aSPierre Jolivet   }
161*c7a4214aSPierre Jolivet   ierr = PetscRandomDestroy(&rdm);CHKERRQ(ierr);
162*c7a4214aSPierre Jolivet   ierr = MatDestroy(&A);CHKERRQ(ierr);
163*c7a4214aSPierre Jolivet   ierr = PetscFree(gcoords);CHKERRQ(ierr);
164*c7a4214aSPierre Jolivet   ierr = PetscFree(coords);CHKERRQ(ierr);
165*c7a4214aSPierre Jolivet   ierr = PetscFinalize();
166*c7a4214aSPierre Jolivet   return ierr;
167*c7a4214aSPierre Jolivet }
168*c7a4214aSPierre Jolivet 
169*c7a4214aSPierre Jolivet /*TEST
170*c7a4214aSPierre Jolivet 
171*c7a4214aSPierre Jolivet    build:
172*c7a4214aSPierre Jolivet       requires: htool
173*c7a4214aSPierre Jolivet 
174*c7a4214aSPierre Jolivet    test:
175*c7a4214aSPierre Jolivet       requires: htool
176*c7a4214aSPierre Jolivet       suffix: 1
177*c7a4214aSPierre Jolivet       nsize: 4
178*c7a4214aSPierre Jolivet       args: -m_local 80 -n_local 25 -mat_htool_epsilon 1.0e-11 -symmetric {{false true}shared output}
179*c7a4214aSPierre Jolivet       output_file: output/ex101.out
180*c7a4214aSPierre Jolivet 
181*c7a4214aSPierre Jolivet    test:
182*c7a4214aSPierre Jolivet       requires: htool
183*c7a4214aSPierre Jolivet       suffix: 2
184*c7a4214aSPierre Jolivet       nsize: 4
185*c7a4214aSPierre Jolivet       args: -m_local 120 -mat_htool_epsilon 1.0e-2 -mat_htool_compressor {{sympartialACA fullACA SVD}shared output}
186*c7a4214aSPierre Jolivet       output_file: output/ex101.out
187*c7a4214aSPierre Jolivet 
188*c7a4214aSPierre Jolivet TEST*/
189