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