1c4762a1bSJed Brown static char help[] = "Tests MatSolve(), MatSolveTranspose() and MatMatSolve() with SEQDENSE\n"; 2c4762a1bSJed Brown 3c4762a1bSJed Brown #include <petscmat.h> 4c4762a1bSJed Brown 5c4762a1bSJed Brown int main(int argc,char **args) 6c4762a1bSJed Brown { 7c4762a1bSJed Brown Mat A,RHS,C,F,X; 8c4762a1bSJed Brown Vec u,x,b; 9c4762a1bSJed Brown PetscErrorCode ierr; 10c4762a1bSJed Brown PetscMPIInt size; 11c4762a1bSJed Brown PetscInt m,n,nsolve,nrhs; 12c4762a1bSJed Brown PetscReal norm,tol=PETSC_SQRT_MACHINE_EPSILON; 13c4762a1bSJed Brown PetscRandom rand; 14c4762a1bSJed Brown PetscBool data_provided,herm,symm,hpd; 15c4762a1bSJed Brown MatFactorType ftyp; 16c4762a1bSJed Brown PetscViewer fd; 17c4762a1bSJed Brown char file[PETSC_MAX_PATH_LEN]; 18c4762a1bSJed Brown 19c4762a1bSJed Brown ierr = PetscInitialize(&argc,&args,(char*)0,help);if (ierr) return ierr; 20*5f80ce2aSJacob Faibussowitsch CHKERRMPI(MPI_Comm_size(PETSC_COMM_WORLD, &size)); 212c71b3e2SJacob Faibussowitsch PetscCheckFalse(size > 1,PETSC_COMM_WORLD,PETSC_ERR_WRONG_MPI_SIZE,"This is a uniprocessor test"); 22c4762a1bSJed Brown /* Determine which type of solver we want to test for */ 23c4762a1bSJed Brown herm = PETSC_FALSE; 24c4762a1bSJed Brown symm = PETSC_FALSE; 25c4762a1bSJed Brown hpd = PETSC_FALSE; 26*5f80ce2aSJacob Faibussowitsch CHKERRQ(PetscOptionsGetBool(NULL,NULL,"-symmetric_solve",&symm,NULL)); 27*5f80ce2aSJacob Faibussowitsch CHKERRQ(PetscOptionsGetBool(NULL,NULL,"-hermitian_solve",&herm,NULL)); 28*5f80ce2aSJacob Faibussowitsch CHKERRQ(PetscOptionsGetBool(NULL,NULL,"-hpd_solve",&hpd,NULL)); 29c4762a1bSJed Brown 30c4762a1bSJed Brown /* Determine file from which we read the matrix A */ 31c4762a1bSJed Brown ftyp = MAT_FACTOR_LU; 32*5f80ce2aSJacob Faibussowitsch CHKERRQ(PetscOptionsGetString(NULL,NULL,"-f",file,sizeof(file),&data_provided)); 33c4762a1bSJed Brown if (!data_provided) { /* get matrices from PETSc distribution */ 34*5f80ce2aSJacob Faibussowitsch CHKERRQ(PetscStrcpy(file,"${PETSC_DIR}/share/petsc/datafiles/matrices/")); 35c4762a1bSJed Brown if (hpd) { 36c4762a1bSJed Brown #if defined(PETSC_USE_COMPLEX) 37*5f80ce2aSJacob Faibussowitsch CHKERRQ(PetscStrcat(file,"hpd-complex-")); 38c4762a1bSJed Brown #else 39*5f80ce2aSJacob Faibussowitsch CHKERRQ(PetscStrcat(file,"spd-real-")); 40c4762a1bSJed Brown #endif 41c4762a1bSJed Brown ftyp = MAT_FACTOR_CHOLESKY; 42c4762a1bSJed Brown } else { 43c4762a1bSJed Brown #if defined(PETSC_USE_COMPLEX) 44*5f80ce2aSJacob Faibussowitsch CHKERRQ(PetscStrcat(file,"nh-complex-")); 45c4762a1bSJed Brown #else 46*5f80ce2aSJacob Faibussowitsch CHKERRQ(PetscStrcat(file,"ns-real-")); 47c4762a1bSJed Brown #endif 48c4762a1bSJed Brown } 49c4762a1bSJed Brown #if defined(PETSC_USE_64BIT_INDICES) 50*5f80ce2aSJacob Faibussowitsch CHKERRQ(PetscStrcat(file,"int64-")); 51c4762a1bSJed Brown #else 52*5f80ce2aSJacob Faibussowitsch CHKERRQ(PetscStrcat(file,"int32-")); 53c4762a1bSJed Brown #endif 54c4762a1bSJed Brown #if defined(PETSC_USE_REAL_SINGLE) 55*5f80ce2aSJacob Faibussowitsch CHKERRQ(PetscStrcat(file,"float32")); 56c4762a1bSJed Brown #else 57*5f80ce2aSJacob Faibussowitsch CHKERRQ(PetscStrcat(file,"float64")); 58c4762a1bSJed Brown #endif 59c4762a1bSJed Brown } 60c4762a1bSJed Brown 61c4762a1bSJed Brown /* Load matrix A */ 62c4762a1bSJed Brown #if defined(PETSC_USE_REAL___FLOAT128) 63*5f80ce2aSJacob Faibussowitsch CHKERRQ(PetscOptionsInsertString(NULL,"-binary_read_double")); 64c4762a1bSJed Brown #endif 65*5f80ce2aSJacob Faibussowitsch CHKERRQ(PetscViewerBinaryOpen(PETSC_COMM_WORLD,file,FILE_MODE_READ,&fd)); 66*5f80ce2aSJacob Faibussowitsch CHKERRQ(MatCreate(PETSC_COMM_WORLD,&A)); 67*5f80ce2aSJacob Faibussowitsch CHKERRQ(MatLoad(A,fd)); 68*5f80ce2aSJacob Faibussowitsch CHKERRQ(PetscViewerDestroy(&fd)); 69*5f80ce2aSJacob Faibussowitsch CHKERRQ(MatConvert(A,MATSEQDENSE,MAT_INPLACE_MATRIX,&A)); 70*5f80ce2aSJacob Faibussowitsch CHKERRQ(MatGetSize(A,&m,&n)); 712c71b3e2SJacob Faibussowitsch PetscCheckFalse(m != n,PETSC_COMM_SELF,PETSC_ERR_ARG_SIZ, "This example is not intended for rectangular matrices (%" PetscInt_FMT ", %" PetscInt_FMT ")", m, n); 72c4762a1bSJed Brown 73a5b23f4aSJose E. Roman /* Create dense matrix C and X; C holds true solution with identical columns */ 74c4762a1bSJed Brown nrhs = 2; 75*5f80ce2aSJacob Faibussowitsch CHKERRQ(PetscOptionsGetInt(NULL,NULL,"-nrhs",&nrhs,NULL)); 76*5f80ce2aSJacob Faibussowitsch CHKERRQ(MatCreate(PETSC_COMM_WORLD,&C)); 77*5f80ce2aSJacob Faibussowitsch CHKERRQ(MatSetSizes(C,m,PETSC_DECIDE,PETSC_DECIDE,nrhs)); 78*5f80ce2aSJacob Faibussowitsch CHKERRQ(MatSetType(C,MATDENSE)); 79*5f80ce2aSJacob Faibussowitsch CHKERRQ(MatSetFromOptions(C)); 80*5f80ce2aSJacob Faibussowitsch CHKERRQ(MatSetUp(C)); 81c4762a1bSJed Brown 82*5f80ce2aSJacob Faibussowitsch CHKERRQ(PetscRandomCreate(PETSC_COMM_WORLD,&rand)); 83*5f80ce2aSJacob Faibussowitsch CHKERRQ(PetscRandomSetFromOptions(rand)); 84*5f80ce2aSJacob Faibussowitsch CHKERRQ(MatSetRandom(C,rand)); 85*5f80ce2aSJacob Faibussowitsch CHKERRQ(MatDuplicate(C,MAT_DO_NOT_COPY_VALUES,&X)); 86*5f80ce2aSJacob Faibussowitsch CHKERRQ(MatDuplicate(C,MAT_DO_NOT_COPY_VALUES,&RHS)); 87c4762a1bSJed Brown 88c4762a1bSJed Brown /* Create vectors */ 89*5f80ce2aSJacob Faibussowitsch CHKERRQ(VecCreate(PETSC_COMM_WORLD,&x)); 90*5f80ce2aSJacob Faibussowitsch CHKERRQ(VecSetSizes(x,n,PETSC_DECIDE)); 91*5f80ce2aSJacob Faibussowitsch CHKERRQ(VecSetFromOptions(x)); 92*5f80ce2aSJacob Faibussowitsch CHKERRQ(VecDuplicate(x,&b)); 93*5f80ce2aSJacob Faibussowitsch CHKERRQ(VecDuplicate(x,&u)); /* save the true solution */ 94c4762a1bSJed Brown 95c4762a1bSJed Brown /* make a symmetric matrix */ 96c4762a1bSJed Brown if (symm) { 97c4762a1bSJed Brown Mat AT; 98c4762a1bSJed Brown 99*5f80ce2aSJacob Faibussowitsch CHKERRQ(MatTranspose(A,MAT_INITIAL_MATRIX,&AT)); 100*5f80ce2aSJacob Faibussowitsch CHKERRQ(MatAXPY(A,1.0,AT,SAME_NONZERO_PATTERN)); 101*5f80ce2aSJacob Faibussowitsch CHKERRQ(MatDestroy(&AT)); 102c4762a1bSJed Brown ftyp = MAT_FACTOR_CHOLESKY; 103c4762a1bSJed Brown } 104c4762a1bSJed Brown /* make an hermitian matrix */ 105c4762a1bSJed Brown if (herm) { 106c4762a1bSJed Brown Mat AH; 107c4762a1bSJed Brown 108*5f80ce2aSJacob Faibussowitsch CHKERRQ(MatHermitianTranspose(A,MAT_INITIAL_MATRIX,&AH)); 109*5f80ce2aSJacob Faibussowitsch CHKERRQ(MatAXPY(A,1.0,AH,SAME_NONZERO_PATTERN)); 110*5f80ce2aSJacob Faibussowitsch CHKERRQ(MatDestroy(&AH)); 111c4762a1bSJed Brown ftyp = MAT_FACTOR_CHOLESKY; 112c4762a1bSJed Brown } 113*5f80ce2aSJacob Faibussowitsch CHKERRQ(PetscObjectSetName((PetscObject)A,"A")); 114*5f80ce2aSJacob Faibussowitsch CHKERRQ(MatViewFromOptions(A,NULL,"-amat_view")); 115c4762a1bSJed Brown 116*5f80ce2aSJacob Faibussowitsch CHKERRQ(MatDuplicate(A,MAT_COPY_VALUES,&F)); 117*5f80ce2aSJacob Faibussowitsch CHKERRQ(MatSetOption(F,MAT_SYMMETRIC,symm)); 118c4762a1bSJed Brown /* it seems that the SPD concept in PETSc extends naturally to Hermitian Positive definitess */ 119*5f80ce2aSJacob Faibussowitsch CHKERRQ(MatSetOption(F,MAT_HERMITIAN,(PetscBool)(hpd || herm))); 120*5f80ce2aSJacob Faibussowitsch CHKERRQ(MatSetOption(F,MAT_SPD,hpd)); 1214396437dSToby Isaac { 1224396437dSToby Isaac PetscInt iftyp = ftyp; 123*5f80ce2aSJacob Faibussowitsch CHKERRQ(PetscOptionsGetEList(NULL,NULL,"-ftype",MatFactorTypes,MAT_FACTOR_NUM_TYPES,&iftyp,NULL)); 1244396437dSToby Isaac ftyp = (MatFactorType) iftyp; 1254396437dSToby Isaac } 126c4762a1bSJed Brown if (ftyp == MAT_FACTOR_LU) { 127*5f80ce2aSJacob Faibussowitsch CHKERRQ(MatLUFactor(F,NULL,NULL,NULL)); 1284396437dSToby Isaac } else if (ftyp == MAT_FACTOR_CHOLESKY) { 129*5f80ce2aSJacob Faibussowitsch CHKERRQ(MatCholeskyFactor(F,NULL,NULL)); 1304396437dSToby Isaac } else if (ftyp == MAT_FACTOR_QR) { 131*5f80ce2aSJacob Faibussowitsch CHKERRQ(MatQRFactor(F,NULL,NULL)); 13298921bdaSJacob Faibussowitsch } else SETERRQ(PETSC_COMM_WORLD, PETSC_ERR_SUP, "Factorization %s not supported in this example", MatFactorTypes[ftyp]); 133c4762a1bSJed Brown 134c4762a1bSJed Brown for (nsolve = 0; nsolve < 2; nsolve++) { 135*5f80ce2aSJacob Faibussowitsch CHKERRQ(VecSetRandom(x,rand)); 136*5f80ce2aSJacob Faibussowitsch CHKERRQ(VecCopy(x,u)); 137c4762a1bSJed Brown if (nsolve) { 138*5f80ce2aSJacob Faibussowitsch CHKERRQ(MatMult(A,x,b)); 139*5f80ce2aSJacob Faibussowitsch CHKERRQ(MatSolve(F,b,x)); 140c4762a1bSJed Brown } else { 141*5f80ce2aSJacob Faibussowitsch CHKERRQ(MatMultTranspose(A,x,b)); 142*5f80ce2aSJacob Faibussowitsch CHKERRQ(MatSolveTranspose(F,b,x)); 143c4762a1bSJed Brown } 144c4762a1bSJed Brown /* Check the error */ 145*5f80ce2aSJacob Faibussowitsch CHKERRQ(VecAXPY(u,-1.0,x)); /* u <- (-1.0)x + u */ 146*5f80ce2aSJacob Faibussowitsch CHKERRQ(VecNorm(u,NORM_2,&norm)); 147c4762a1bSJed Brown if (norm > tol) { 148c4762a1bSJed Brown PetscReal resi; 149c4762a1bSJed Brown if (nsolve) { 150*5f80ce2aSJacob Faibussowitsch CHKERRQ(MatMult(A,x,u)); /* u = A*x */ 151c4762a1bSJed Brown } else { 152*5f80ce2aSJacob Faibussowitsch CHKERRQ(MatMultTranspose(A,x,u)); /* u = A*x */ 153c4762a1bSJed Brown } 154*5f80ce2aSJacob Faibussowitsch CHKERRQ(VecAXPY(u,-1.0,b)); /* u <- (-1.0)b + u */ 155*5f80ce2aSJacob Faibussowitsch CHKERRQ(VecNorm(u,NORM_2,&resi)); 156c4762a1bSJed Brown if (nsolve) { 157*5f80ce2aSJacob Faibussowitsch CHKERRQ(PetscPrintf(PETSC_COMM_SELF,"MatSolve error: Norm of error %g, residual %g\n",(double)norm,(double)resi)); 158c4762a1bSJed Brown } else { 159*5f80ce2aSJacob Faibussowitsch CHKERRQ(PetscPrintf(PETSC_COMM_SELF,"MatSolveTranspose error: Norm of error %g, residual %g\n",(double)norm,(double)resi)); 160c4762a1bSJed Brown } 161c4762a1bSJed Brown } 162c4762a1bSJed Brown } 163*5f80ce2aSJacob Faibussowitsch CHKERRQ(MatMatMult(A,C,MAT_REUSE_MATRIX,2.0,&RHS)); 164*5f80ce2aSJacob Faibussowitsch CHKERRQ(MatMatSolve(F,RHS,X)); 165c4762a1bSJed Brown 166c4762a1bSJed Brown /* Check the error */ 167*5f80ce2aSJacob Faibussowitsch CHKERRQ(MatAXPY(X,-1.0,C,SAME_NONZERO_PATTERN)); 168*5f80ce2aSJacob Faibussowitsch CHKERRQ(MatNorm(X,NORM_FROBENIUS,&norm)); 169c4762a1bSJed Brown if (norm > tol) { 170*5f80ce2aSJacob Faibussowitsch CHKERRQ(PetscPrintf(PETSC_COMM_SELF,"MatMatSolve: Norm of error %g\n",(double)norm)); 171c4762a1bSJed Brown } 172c4762a1bSJed Brown 173c4762a1bSJed Brown /* Free data structures */ 174*5f80ce2aSJacob Faibussowitsch CHKERRQ(MatDestroy(&A)); 175*5f80ce2aSJacob Faibussowitsch CHKERRQ(MatDestroy(&C)); 176*5f80ce2aSJacob Faibussowitsch CHKERRQ(MatDestroy(&F)); 177*5f80ce2aSJacob Faibussowitsch CHKERRQ(MatDestroy(&X)); 178*5f80ce2aSJacob Faibussowitsch CHKERRQ(MatDestroy(&RHS)); 179*5f80ce2aSJacob Faibussowitsch CHKERRQ(PetscRandomDestroy(&rand)); 180*5f80ce2aSJacob Faibussowitsch CHKERRQ(VecDestroy(&x)); 181*5f80ce2aSJacob Faibussowitsch CHKERRQ(VecDestroy(&b)); 182*5f80ce2aSJacob Faibussowitsch CHKERRQ(VecDestroy(&u)); 183c4762a1bSJed Brown ierr = PetscFinalize(); 184c4762a1bSJed Brown return ierr; 185c4762a1bSJed Brown } 186c4762a1bSJed Brown 187c4762a1bSJed Brown /*TEST 188c4762a1bSJed Brown 189c4762a1bSJed Brown testset: 190c4762a1bSJed Brown output_file: output/ex215.out 191c4762a1bSJed Brown test: 192c4762a1bSJed Brown suffix: ns 193c4762a1bSJed Brown test: 194c4762a1bSJed Brown suffix: sym 195c4762a1bSJed Brown args: -symmetric_solve 196c4762a1bSJed Brown test: 197c4762a1bSJed Brown suffix: herm 198c4762a1bSJed Brown args: -hermitian_solve 199c4762a1bSJed Brown test: 200c4762a1bSJed Brown suffix: hpd 201c4762a1bSJed Brown args: -hpd_solve 2024396437dSToby Isaac test: 2034396437dSToby Isaac suffix: qr 2044396437dSToby Isaac args: -ftype qr 205c4762a1bSJed Brown 206c4762a1bSJed Brown TEST*/ 207