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