1 static char help[] = "Tests MATHTOOL\n\n"; 2 3 #include <petscmat.h> 4 5 static PetscErrorCode GenEntries(PetscInt sdim,PetscInt M,PetscInt N,const PetscInt *J,const PetscInt *K,PetscScalar *ptr,void *ctx) 6 { 7 PetscInt d,j,k; 8 PetscReal diff = 0.0,*coords = (PetscReal*)(ctx); 9 10 PetscFunctionBeginUser; 11 for (j = 0; j < M; j++) { 12 for (k = 0; k < N; k++) { 13 diff = 0.0; 14 for (d = 0; d < sdim; d++) diff += (coords[J[j]*sdim+d] - coords[K[k]*sdim+d]) * (coords[J[j]*sdim+d] - coords[K[k]*sdim+d]); 15 ptr[j+M*k] = 1.0/(1.0e-2 + PetscSqrtReal(diff)); 16 } 17 } 18 PetscFunctionReturn(0); 19 } 20 21 static PetscErrorCode GenEntriesRectangular(PetscInt sdim,PetscInt M,PetscInt N,const PetscInt *J,const PetscInt *K,PetscScalar *ptr,void *ctx) 22 { 23 PetscInt d,j,k; 24 PetscReal diff = 0.0,**coords = (PetscReal**)(ctx); 25 26 PetscFunctionBeginUser; 27 for (j = 0; j < M; j++) { 28 for (k = 0; k < N; k++) { 29 diff = 0.0; 30 for (d = 0; d < sdim; d++) diff += (coords[0][J[j]*sdim+d] - coords[1][K[k]*sdim+d]) * (coords[0][J[j]*sdim+d] - coords[1][K[k]*sdim+d]); 31 ptr[j+M*k] = 1.0/(1.0e-2 + PetscSqrtReal(diff)); 32 } 33 } 34 PetscFunctionReturn(0); 35 } 36 37 int main(int argc,char **argv) 38 { 39 Mat A,AT,D,B,P,R,RT; 40 PetscInt m = 100,dim = 3,M,K = 10,begin,n = 0,N; 41 PetscMPIInt size; 42 PetscScalar *ptr; 43 PetscReal *coords,*gcoords,*scoords,*gscoords,*(ctx[2]),norm,epsilon; 44 MatHtoolKernel kernel = GenEntries; 45 PetscBool flg,sym = PETSC_FALSE; 46 PetscRandom rdm; 47 IS iss,ist; 48 Vec right,left,perm; 49 PetscErrorCode ierr; 50 51 ierr = PetscInitialize(&argc,&argv,(char*)NULL,help);if (ierr) return ierr; 52 ierr = PetscOptionsGetInt(NULL,NULL,"-m_local",&m,NULL);CHKERRQ(ierr); 53 ierr = PetscOptionsGetInt(NULL,NULL,"-n_local",&n,NULL);CHKERRQ(ierr); 54 ierr = PetscOptionsGetInt(NULL,NULL,"-dim",&dim,NULL);CHKERRQ(ierr); 55 ierr = PetscOptionsGetInt(NULL,NULL,"-K",&K,NULL);CHKERRQ(ierr); 56 ierr = PetscOptionsGetBool(NULL,NULL,"-symmetric",&sym,NULL);CHKERRQ(ierr); 57 ierr = PetscOptionsGetReal(NULL,NULL,"-mat_htool_epsilon",&epsilon,NULL);CHKERRQ(ierr); 58 ierr = MPI_Comm_size(PETSC_COMM_WORLD,&size);CHKERRMPI(ierr); 59 M = size*m; 60 ierr = PetscOptionsGetInt(NULL,NULL,"-M",&M,NULL);CHKERRQ(ierr); 61 ierr = PetscMalloc1(m*dim,&coords);CHKERRQ(ierr); 62 ierr = PetscRandomCreate(PETSC_COMM_WORLD,&rdm);CHKERRQ(ierr); 63 ierr = PetscRandomGetValuesReal(rdm,m*dim,coords);CHKERRQ(ierr); 64 ierr = PetscCalloc1(M*dim,&gcoords);CHKERRQ(ierr); 65 ierr = MatCreateDense(PETSC_COMM_WORLD,m,PETSC_DECIDE,M,K,NULL,&B);CHKERRQ(ierr); 66 ierr = MatAssemblyBegin(B,MAT_FINAL_ASSEMBLY);CHKERRQ(ierr); 67 ierr = MatAssemblyEnd(B,MAT_FINAL_ASSEMBLY);CHKERRQ(ierr); 68 ierr = MatSetRandom(B,rdm);CHKERRQ(ierr); 69 ierr = MatGetOwnershipRange(B,&begin,NULL);CHKERRQ(ierr); 70 ierr = PetscArraycpy(gcoords+begin*dim,coords,m*dim);CHKERRQ(ierr); 71 ierr = MPIU_Allreduce(MPI_IN_PLACE,gcoords,M*dim,MPIU_REAL,MPI_SUM,PETSC_COMM_WORLD);CHKERRMPI(ierr); 72 ierr = MatCreateHtoolFromKernel(PETSC_COMM_WORLD,m,m,M,M,dim,coords,coords,kernel,gcoords,&A);CHKERRQ(ierr); 73 ierr = MatSetOption(A,MAT_SYMMETRIC,sym);CHKERRQ(ierr); 74 ierr = MatSetFromOptions(A);CHKERRQ(ierr); 75 ierr = MatAssemblyBegin(A,MAT_FINAL_ASSEMBLY);CHKERRQ(ierr); 76 ierr = MatAssemblyEnd(A,MAT_FINAL_ASSEMBLY);CHKERRQ(ierr); 77 ierr = MatViewFromOptions(A,NULL,"-A_view");CHKERRQ(ierr); 78 ierr = MatCreateVecs(A,&right,&left);CHKERRQ(ierr); 79 ierr = VecSetRandom(right,rdm);CHKERRQ(ierr); 80 ierr = MatMult(A,right,left);CHKERRQ(ierr); 81 ierr = MatHtoolGetPermutationSource(A,&iss);CHKERRQ(ierr); 82 ierr = MatHtoolGetPermutationTarget(A,&ist);CHKERRQ(ierr); 83 ierr = VecDuplicate(left,&perm);CHKERRQ(ierr); 84 ierr = VecCopy(left,perm);CHKERRQ(ierr); 85 ierr = VecPermute(perm,ist,PETSC_FALSE);CHKERRQ(ierr); 86 ierr = VecPermute(right,iss,PETSC_FALSE);CHKERRQ(ierr); 87 ierr = MatHtoolUsePermutation(A,PETSC_FALSE);CHKERRQ(ierr); 88 ierr = MatMult(A,right,left);CHKERRQ(ierr); 89 ierr = VecAXPY(left,-1.0,perm);CHKERRQ(ierr); 90 ierr = VecNorm(left,NORM_INFINITY,&norm);CHKERRQ(ierr); 91 if (PetscAbsReal(norm) > PETSC_SMALL) SETERRQ2(PETSC_COMM_WORLD,PETSC_ERR_PLIB,"||y(with permutation)-y(without permutation)|| = %g (> %g)",(double)PetscAbsReal(norm),(double)PETSC_SMALL); 92 ierr = MatHtoolUsePermutation(A,PETSC_TRUE);CHKERRQ(ierr); 93 ierr = VecDestroy(&perm);CHKERRQ(ierr); 94 ierr = VecDestroy(&left);CHKERRQ(ierr); 95 ierr = VecDestroy(&right);CHKERRQ(ierr); 96 ierr = ISDestroy(&ist);CHKERRQ(ierr); 97 ierr = ISDestroy(&iss);CHKERRQ(ierr); 98 if (PetscAbsReal(epsilon) >= PETSC_SMALL) { /* when there is compression, it is more difficult to check against MATDENSE, so just compare symmetric and nonsymmetric assemblies */ 99 PetscReal relative; 100 ierr = MatDestroy(&B);CHKERRQ(ierr); 101 ierr = MatCreateHtoolFromKernel(PETSC_COMM_WORLD,m,m,M,M,dim,coords,coords,kernel,gcoords,&B);CHKERRQ(ierr); 102 ierr = MatSetOption(B,MAT_SYMMETRIC,(PetscBool)!sym);CHKERRQ(ierr); 103 ierr = MatSetFromOptions(B);CHKERRQ(ierr); 104 ierr = MatAssemblyBegin(B,MAT_FINAL_ASSEMBLY);CHKERRQ(ierr); 105 ierr = MatAssemblyEnd(B,MAT_FINAL_ASSEMBLY);CHKERRQ(ierr); 106 ierr = MatViewFromOptions(B,NULL,"-B_view");CHKERRQ(ierr); 107 ierr = MatConvert(A,MATDENSE,MAT_INITIAL_MATRIX,&P);CHKERRQ(ierr); 108 ierr = MatNorm(P,NORM_FROBENIUS,&relative);CHKERRQ(ierr); 109 ierr = MatConvert(B,MATDENSE,MAT_INITIAL_MATRIX,&R);CHKERRQ(ierr); 110 ierr = MatAXPY(R,-1.0,P,SAME_NONZERO_PATTERN);CHKERRQ(ierr); 111 ierr = MatNorm(R,NORM_INFINITY,&norm);CHKERRQ(ierr); 112 if (PetscAbsReal(norm/relative) > epsilon) SETERRQ2(PETSC_COMM_WORLD,PETSC_ERR_PLIB,"||A(!symmetric)-A(symmetric)|| = %g (> %g)",(double)PetscAbsReal(norm/relative),(double)epsilon); 113 ierr = MatDestroy(&B);CHKERRQ(ierr); 114 ierr = MatDestroy(&R);CHKERRQ(ierr); 115 ierr = MatDestroy(&P);CHKERRQ(ierr); 116 } else { 117 ierr = MatConvert(A,MATDENSE,MAT_INITIAL_MATRIX,&D);CHKERRQ(ierr); 118 ierr = MatViewFromOptions(D,NULL,"-D_view");CHKERRQ(ierr); 119 ierr = MatMultEqual(A,D,10,&flg);CHKERRQ(ierr); 120 if (!flg) SETERRQ(PETSC_COMM_WORLD,PETSC_ERR_PLIB,"Ax != Dx"); 121 ierr = MatMultAddEqual(A,D,10,&flg);CHKERRQ(ierr); 122 if (!flg) SETERRQ(PETSC_COMM_WORLD,PETSC_ERR_PLIB,"y+Ax != y+Dx"); 123 ierr = MatGetOwnershipRange(B,&begin,NULL);CHKERRQ(ierr); 124 ierr = MatDenseGetArrayWrite(D,&ptr);CHKERRQ(ierr); 125 for (PetscInt i = begin; i < m+begin; ++i) 126 for (PetscInt j = 0; j < M; ++j) GenEntries(dim,1,1,&i,&j,ptr+i-begin+j*m,gcoords); 127 ierr = MatDenseRestoreArrayWrite(D,&ptr);CHKERRQ(ierr); 128 ierr = MatMultEqual(A,D,10,&flg);CHKERRQ(ierr); 129 if (!flg) SETERRQ(PETSC_COMM_WORLD,PETSC_ERR_PLIB,"Ax != Dx"); 130 ierr = MatTranspose(D,MAT_INPLACE_MATRIX,&D);CHKERRQ(ierr); 131 ierr = MatTranspose(A,MAT_INITIAL_MATRIX,&AT);CHKERRQ(ierr); 132 ierr = MatMultEqual(AT,D,10,&flg);CHKERRQ(ierr); 133 if (!flg) SETERRQ(PETSC_COMM_WORLD,PETSC_ERR_PLIB,"A^Tx != D^Tx"); 134 ierr = MatTranspose(A,MAT_REUSE_MATRIX,&AT);CHKERRQ(ierr); 135 ierr = MatMultEqual(AT,D,10,&flg);CHKERRQ(ierr); 136 if (!flg) SETERRQ(PETSC_COMM_WORLD,PETSC_ERR_PLIB,"A^Tx != D^Tx"); 137 ierr = MatAXPY(D,-1.0,AT,SAME_NONZERO_PATTERN);CHKERRQ(ierr); 138 ierr = MatNorm(D,NORM_INFINITY,&norm);CHKERRQ(ierr); 139 if (PetscAbsReal(norm) > PETSC_SMALL) SETERRQ2(PETSC_COMM_WORLD,PETSC_ERR_PLIB,"||A-D|| = %g (> %g)",(double)norm,(double)PETSC_SMALL); 140 ierr = MatDestroy(&AT);CHKERRQ(ierr); 141 ierr = MatDestroy(&D);CHKERRQ(ierr); 142 ierr = MatMatMult(A,B,MAT_INITIAL_MATRIX,PETSC_DEFAULT,&P);CHKERRQ(ierr); 143 ierr = MatAssemblyBegin(P,MAT_FINAL_ASSEMBLY);CHKERRQ(ierr); 144 ierr = MatAssemblyEnd(P,MAT_FINAL_ASSEMBLY);CHKERRQ(ierr); 145 ierr = MatMatMultEqual(A,B,P,10,&flg);CHKERRQ(ierr); 146 if (!flg) SETERRQ(PETSC_COMM_WORLD,PETSC_ERR_PLIB,"ABx != Px"); 147 ierr = MatDestroy(&B);CHKERRQ(ierr); 148 ierr = MatDestroy(&P);CHKERRQ(ierr); 149 if (n) { 150 ierr = PetscMalloc1(n*dim,&scoords);CHKERRQ(ierr); 151 ierr = PetscRandomGetValuesReal(rdm,n*dim,scoords);CHKERRQ(ierr); 152 N = n; 153 ierr = MPIU_Allreduce(MPI_IN_PLACE,&N,1,MPIU_INT,MPI_SUM,PETSC_COMM_WORLD);CHKERRMPI(ierr); 154 ierr = PetscCalloc1(N*dim,&gscoords);CHKERRQ(ierr); 155 ierr = MPI_Exscan(&n,&begin,1,MPIU_INT,MPI_SUM,PETSC_COMM_WORLD);CHKERRMPI(ierr); 156 ierr = PetscArraycpy(gscoords+begin*dim,scoords,n*dim);CHKERRQ(ierr); 157 ierr = MPIU_Allreduce(MPI_IN_PLACE,gscoords,N*dim,MPIU_REAL,MPI_SUM,PETSC_COMM_WORLD);CHKERRMPI(ierr); 158 kernel = GenEntriesRectangular; 159 ctx[0] = gcoords; 160 ctx[1] = gscoords; 161 ierr = MatCreateHtoolFromKernel(PETSC_COMM_WORLD,m,n,M,N,dim,coords,scoords,kernel,ctx,&R);CHKERRQ(ierr); 162 ierr = MatSetFromOptions(R);CHKERRQ(ierr); 163 ierr = MatAssemblyBegin(R,MAT_FINAL_ASSEMBLY);CHKERRQ(ierr); 164 ierr = MatAssemblyEnd(R,MAT_FINAL_ASSEMBLY);CHKERRQ(ierr); 165 ierr = MatViewFromOptions(R,NULL,"-R_view");CHKERRQ(ierr); 166 ierr = MatConvert(R,MATDENSE,MAT_INITIAL_MATRIX,&D);CHKERRQ(ierr); 167 ierr = MatViewFromOptions(D,NULL,"-D_view");CHKERRQ(ierr); 168 ierr = MatMultEqual(R,D,10,&flg);CHKERRQ(ierr); 169 if (!flg) SETERRQ(PETSC_COMM_WORLD,PETSC_ERR_PLIB,"Rx != Dx"); 170 ierr = MatTranspose(D,MAT_INPLACE_MATRIX,&D);CHKERRQ(ierr); 171 ierr = MatTranspose(R,MAT_INITIAL_MATRIX,&RT);CHKERRQ(ierr); 172 ierr = MatMultEqual(RT,D,10,&flg);CHKERRQ(ierr); 173 if (!flg) SETERRQ(PETSC_COMM_WORLD,PETSC_ERR_PLIB,"R^Tx != D^Tx"); 174 ierr = MatTranspose(R,MAT_REUSE_MATRIX,&RT);CHKERRQ(ierr); 175 ierr = MatMultEqual(RT,D,10,&flg);CHKERRQ(ierr); 176 if (!flg) SETERRQ(PETSC_COMM_WORLD,PETSC_ERR_PLIB,"R^Tx != D^Tx"); 177 ierr = MatDestroy(&RT);CHKERRQ(ierr); 178 ierr = MatDestroy(&D);CHKERRQ(ierr); 179 ierr = MatCreateDense(PETSC_COMM_WORLD,n,PETSC_DECIDE,PETSC_DETERMINE,K,NULL,&B);CHKERRQ(ierr); 180 ierr = MatAssemblyBegin(B,MAT_FINAL_ASSEMBLY);CHKERRQ(ierr); 181 ierr = MatAssemblyEnd(B,MAT_FINAL_ASSEMBLY);CHKERRQ(ierr); 182 ierr = MatSetRandom(B,rdm);CHKERRQ(ierr); 183 ierr = MatMatMult(R,B,MAT_INITIAL_MATRIX,PETSC_DEFAULT,&P);CHKERRQ(ierr); 184 ierr = MatAssemblyBegin(P,MAT_FINAL_ASSEMBLY);CHKERRQ(ierr); 185 ierr = MatAssemblyEnd(P,MAT_FINAL_ASSEMBLY);CHKERRQ(ierr); 186 ierr = MatMatMultEqual(R,B,P,10,&flg);CHKERRQ(ierr); 187 if (!flg) SETERRQ(PETSC_COMM_WORLD,PETSC_ERR_PLIB,"RBx != Px"); 188 ierr = MatDestroy(&B);CHKERRQ(ierr); 189 ierr = MatDestroy(&P);CHKERRQ(ierr); 190 ierr = MatCreateVecs(R,&right,&left);CHKERRQ(ierr); 191 ierr = VecSetRandom(right,rdm);CHKERRQ(ierr); 192 ierr = MatMult(R,right,left);CHKERRQ(ierr); 193 ierr = MatHtoolGetPermutationSource(R,&iss);CHKERRQ(ierr); 194 ierr = MatHtoolGetPermutationTarget(R,&ist);CHKERRQ(ierr); 195 ierr = VecDuplicate(left,&perm);CHKERRQ(ierr); 196 ierr = VecCopy(left,perm);CHKERRQ(ierr); 197 ierr = VecPermute(perm,ist,PETSC_FALSE);CHKERRQ(ierr); 198 ierr = VecPermute(right,iss,PETSC_FALSE);CHKERRQ(ierr); 199 ierr = MatHtoolUsePermutation(R,PETSC_FALSE);CHKERRQ(ierr); 200 ierr = MatMult(R,right,left);CHKERRQ(ierr); 201 ierr = VecAXPY(left,-1.0,perm);CHKERRQ(ierr); 202 ierr = VecNorm(left,NORM_INFINITY,&norm);CHKERRQ(ierr); 203 if (PetscAbsReal(norm) > PETSC_SMALL) SETERRQ2(PETSC_COMM_WORLD,PETSC_ERR_PLIB,"||y(with permutation)-y(without permutation)|| = %g (> %g)",(double)PetscAbsReal(norm),(double)PETSC_SMALL); 204 ierr = MatHtoolUsePermutation(R,PETSC_TRUE);CHKERRQ(ierr); 205 ierr = VecDestroy(&perm);CHKERRQ(ierr); 206 ierr = VecDestroy(&left);CHKERRQ(ierr); 207 ierr = VecDestroy(&right);CHKERRQ(ierr); 208 ierr = ISDestroy(&ist);CHKERRQ(ierr); 209 ierr = ISDestroy(&iss);CHKERRQ(ierr); 210 ierr = MatDestroy(&R);CHKERRQ(ierr); 211 ierr = PetscFree(gscoords);CHKERRQ(ierr); 212 ierr = PetscFree(scoords);CHKERRQ(ierr); 213 } 214 } 215 ierr = PetscRandomDestroy(&rdm);CHKERRQ(ierr); 216 ierr = MatDestroy(&A);CHKERRQ(ierr); 217 ierr = PetscFree(gcoords);CHKERRQ(ierr); 218 ierr = PetscFree(coords);CHKERRQ(ierr); 219 ierr = PetscFinalize(); 220 return ierr; 221 } 222 223 /*TEST 224 225 build: 226 requires: htool 227 228 test: 229 requires: htool 230 suffix: 1 231 nsize: 4 232 args: -m_local 80 -n_local 25 -mat_htool_epsilon 1.0e-11 -symmetric {{false true}shared output} 233 output_file: output/ex101.out 234 235 test: 236 requires: htool 237 suffix: 2 238 nsize: 4 239 args: -m_local 120 -mat_htool_epsilon 1.0e-2 -mat_htool_compressor {{sympartialACA fullACA SVD}shared output} -mat_htool_clustering {{PCARegular PCAGeometric BoundingBox1Regular BoundingBox1Geometric}shared output} 240 output_file: output/ex101.out 241 242 TEST*/ 243