1c4762a1bSJed Brown static char help[] = "Illustrate how to do one symbolic factorization and multiple numeric factorizations using same matrix structure. \n\n"; 2c4762a1bSJed Brown 3c4762a1bSJed Brown #include <petscmat.h> 4c4762a1bSJed Brown 5c4762a1bSJed Brown int main(int argc,char **args) 6c4762a1bSJed Brown { 7dc6ed827SStefano Zampini PetscInt i,rstart,rend,N=10,num_numfac=5,col[3],k; 8c4762a1bSJed Brown Mat A[5],F; 9c4762a1bSJed Brown Vec u,x,b; 10c4762a1bSJed Brown PetscErrorCode ierr; 11c4762a1bSJed Brown PetscMPIInt rank; 12c4762a1bSJed Brown PetscScalar value[3]; 13c4762a1bSJed Brown PetscReal norm,tol=100*PETSC_MACHINE_EPSILON; 14c4762a1bSJed Brown IS perm,iperm; 15c4762a1bSJed Brown MatFactorInfo info; 16dc6ed827SStefano Zampini MatFactorType facttype = MAT_FACTOR_LU; 17dc6ed827SStefano Zampini char solvertype[64]; 18dc6ed827SStefano Zampini char factortype[64]; 19c4762a1bSJed Brown 20c4762a1bSJed Brown ierr = PetscInitialize(&argc,&args,(char*)0,help);if (ierr) return ierr; 21*5f80ce2aSJacob Faibussowitsch CHKERRMPI(MPI_Comm_rank(PETSC_COMM_WORLD, &rank)); 22c4762a1bSJed Brown 23c4762a1bSJed Brown /* Create and assemble matrices, all have same data structure */ 24c4762a1bSJed Brown for (k=0; k<num_numfac; k++) { 25*5f80ce2aSJacob Faibussowitsch CHKERRQ(MatCreate(PETSC_COMM_WORLD,&A[k])); 26*5f80ce2aSJacob Faibussowitsch CHKERRQ(MatSetSizes(A[k],PETSC_DECIDE,PETSC_DECIDE,N,N)); 27*5f80ce2aSJacob Faibussowitsch CHKERRQ(MatSetFromOptions(A[k])); 28*5f80ce2aSJacob Faibussowitsch CHKERRQ(MatSetUp(A[k])); 29*5f80ce2aSJacob Faibussowitsch CHKERRQ(MatGetOwnershipRange(A[k],&rstart,&rend)); 30c4762a1bSJed Brown 31dc6ed827SStefano Zampini value[0] = -1.0*(k+1); 32dc6ed827SStefano Zampini value[1] = 2.0*(k+1); 33dc6ed827SStefano Zampini value[2] = -1.0*(k+1); 34c4762a1bSJed Brown for (i=rstart; i<rend; i++) { 35c4762a1bSJed Brown col[0] = i-1; col[1] = i; col[2] = i+1; 36c4762a1bSJed Brown if (i == 0) { 37*5f80ce2aSJacob Faibussowitsch CHKERRQ(MatSetValues(A[k],1,&i,2,col+1,value+1,INSERT_VALUES)); 38c4762a1bSJed Brown } else if (i == N-1) { 39*5f80ce2aSJacob Faibussowitsch CHKERRQ(MatSetValues(A[k],1,&i,2,col,value,INSERT_VALUES)); 40c4762a1bSJed Brown } else { 41*5f80ce2aSJacob Faibussowitsch CHKERRQ(MatSetValues(A[k],1,&i,3,col,value,INSERT_VALUES)); 42c4762a1bSJed Brown } 43c4762a1bSJed Brown } 44*5f80ce2aSJacob Faibussowitsch CHKERRQ(MatAssemblyBegin(A[k],MAT_FINAL_ASSEMBLY)); 45*5f80ce2aSJacob Faibussowitsch CHKERRQ(MatAssemblyEnd(A[k],MAT_FINAL_ASSEMBLY)); 46*5f80ce2aSJacob Faibussowitsch CHKERRQ(MatSetOption(A[k],MAT_NEW_NONZERO_LOCATION_ERR,PETSC_TRUE)); 47c4762a1bSJed Brown } 48c4762a1bSJed Brown 49c4762a1bSJed Brown /* Create vectors */ 50*5f80ce2aSJacob Faibussowitsch CHKERRQ(MatCreateVecs(A[0],&x,&b)); 51*5f80ce2aSJacob Faibussowitsch CHKERRQ(VecDuplicate(x,&u)); 52c4762a1bSJed Brown 53c4762a1bSJed Brown /* Set rhs vector b */ 54*5f80ce2aSJacob Faibussowitsch CHKERRQ(VecSet(b,1.0)); 55c4762a1bSJed Brown 56c4762a1bSJed Brown /* Get a symbolic factor F from A[0] */ 57*5f80ce2aSJacob Faibussowitsch CHKERRQ(PetscStrncpy(solvertype,"petsc",sizeof(solvertype))); 58*5f80ce2aSJacob Faibussowitsch CHKERRQ(PetscOptionsGetString(NULL, NULL, "-mat_solver_type",solvertype,sizeof(solvertype),NULL)); 59*5f80ce2aSJacob Faibussowitsch CHKERRQ(PetscOptionsGetEnum(NULL,NULL,"-mat_factor_type",MatFactorTypes,(PetscEnum*)&facttype,NULL)); 60c4762a1bSJed Brown 61*5f80ce2aSJacob Faibussowitsch CHKERRQ(MatGetFactor(A[0],solvertype,facttype,&F)); 62c4762a1bSJed Brown /* test mumps options */ 63dc6ed827SStefano Zampini #if defined(PETSC_HAVE_MUMPS) 64*5f80ce2aSJacob Faibussowitsch CHKERRQ(MatMumpsSetIcntl(F,7,5)); 65c4762a1bSJed Brown #endif 66*5f80ce2aSJacob Faibussowitsch CHKERRQ(PetscStrncpy(factortype,MatFactorTypes[facttype],sizeof(factortype))); 67*5f80ce2aSJacob Faibussowitsch CHKERRQ(PetscStrtoupper(solvertype)); 68*5f80ce2aSJacob Faibussowitsch CHKERRQ(PetscStrtoupper(factortype)); 69*5f80ce2aSJacob Faibussowitsch CHKERRQ(PetscPrintf(PETSC_COMM_WORLD," %s %s:\n",solvertype,factortype)); 70c4762a1bSJed Brown 71*5f80ce2aSJacob Faibussowitsch CHKERRQ(MatFactorInfoInitialize(&info)); 72c4762a1bSJed Brown info.fill = 5.0; 73*5f80ce2aSJacob Faibussowitsch CHKERRQ(MatGetOrdering(A[0],MATORDERINGNATURAL,&perm,&iperm)); 74dc6ed827SStefano Zampini switch (facttype) { 75dc6ed827SStefano Zampini case MAT_FACTOR_LU: 76*5f80ce2aSJacob Faibussowitsch CHKERRQ(MatLUFactorSymbolic(F,A[0],perm,iperm,&info)); 77dc6ed827SStefano Zampini break; 78dc6ed827SStefano Zampini case MAT_FACTOR_ILU: 79*5f80ce2aSJacob Faibussowitsch CHKERRQ(MatILUFactorSymbolic(F,A[0],perm,iperm,&info)); 80dc6ed827SStefano Zampini break; 81dc6ed827SStefano Zampini case MAT_FACTOR_ICC: 82*5f80ce2aSJacob Faibussowitsch CHKERRQ(MatICCFactorSymbolic(F,A[0],perm,&info)); 83dc6ed827SStefano Zampini break; 84dc6ed827SStefano Zampini case MAT_FACTOR_CHOLESKY: 85*5f80ce2aSJacob Faibussowitsch CHKERRQ(MatCholeskyFactorSymbolic(F,A[0],perm,&info)); 86dc6ed827SStefano Zampini break; 87dc6ed827SStefano Zampini default: 8898921bdaSJacob Faibussowitsch SETERRQ(PETSC_COMM_WORLD,PETSC_ERR_SUP,"Not for factor type %s",factortype); 89dc6ed827SStefano Zampini } 90c4762a1bSJed Brown 91c4762a1bSJed Brown /* Compute numeric factors using same F, then solve */ 92c4762a1bSJed Brown for (k = 0; k < num_numfac; k++) { 93dc6ed827SStefano Zampini switch (facttype) { 94dc6ed827SStefano Zampini case MAT_FACTOR_LU: 95dc6ed827SStefano Zampini case MAT_FACTOR_ILU: 96*5f80ce2aSJacob Faibussowitsch CHKERRQ(MatLUFactorNumeric(F,A[k],&info)); 97dc6ed827SStefano Zampini break; 98dc6ed827SStefano Zampini case MAT_FACTOR_ICC: 99dc6ed827SStefano Zampini case MAT_FACTOR_CHOLESKY: 100*5f80ce2aSJacob Faibussowitsch CHKERRQ(MatCholeskyFactorNumeric(F,A[k],&info)); 101dc6ed827SStefano Zampini break; 102dc6ed827SStefano Zampini default: 10398921bdaSJacob Faibussowitsch SETERRQ(PETSC_COMM_WORLD,PETSC_ERR_SUP,"Not for factor type %s",factortype); 104dc6ed827SStefano Zampini } 105c4762a1bSJed Brown 106c4762a1bSJed Brown /* Solve A[k] * x = b */ 107*5f80ce2aSJacob Faibussowitsch CHKERRQ(MatSolve(F,b,x)); 108c4762a1bSJed Brown 109c4762a1bSJed Brown /* Check the residual */ 110*5f80ce2aSJacob Faibussowitsch CHKERRQ(MatMult(A[k],x,u)); 111*5f80ce2aSJacob Faibussowitsch CHKERRQ(VecAXPY(u,-1.0,b)); 112*5f80ce2aSJacob Faibussowitsch CHKERRQ(VecNorm(u,NORM_INFINITY,&norm)); 113c4762a1bSJed Brown if (norm > tol) { 114*5f80ce2aSJacob Faibussowitsch CHKERRQ(PetscPrintf(PETSC_COMM_WORLD,"%" PetscInt_FMT "-the %s numfact and solve: residual %g\n",k,factortype,(double)norm)); 115c4762a1bSJed Brown } 116c4762a1bSJed Brown } 117c4762a1bSJed Brown 118c4762a1bSJed Brown /* Free data structures */ 119c4762a1bSJed Brown for (k=0; k<num_numfac; k++) { 120*5f80ce2aSJacob Faibussowitsch CHKERRQ(MatDestroy(&A[k])); 121c4762a1bSJed Brown } 122*5f80ce2aSJacob Faibussowitsch CHKERRQ(MatDestroy(&F)); 123*5f80ce2aSJacob Faibussowitsch CHKERRQ(ISDestroy(&perm)); 124*5f80ce2aSJacob Faibussowitsch CHKERRQ(ISDestroy(&iperm)); 125*5f80ce2aSJacob Faibussowitsch CHKERRQ(VecDestroy(&x)); 126*5f80ce2aSJacob Faibussowitsch CHKERRQ(VecDestroy(&b)); 127*5f80ce2aSJacob Faibussowitsch CHKERRQ(VecDestroy(&u)); 128c4762a1bSJed Brown ierr = PetscFinalize(); 129c4762a1bSJed Brown return ierr; 130c4762a1bSJed Brown } 131c4762a1bSJed Brown 132c4762a1bSJed Brown /*TEST 133c4762a1bSJed Brown 134c4762a1bSJed Brown test: 135c4762a1bSJed Brown 136c4762a1bSJed Brown test: 137c4762a1bSJed Brown suffix: 2 138c4762a1bSJed Brown args: -mat_solver_type superlu 139c4762a1bSJed Brown requires: superlu 140c4762a1bSJed Brown 141c4762a1bSJed Brown test: 142c4762a1bSJed Brown suffix: 3 143c4762a1bSJed Brown nsize: 2 144c4762a1bSJed Brown requires: mumps 145c4762a1bSJed Brown args: -mat_solver_type mumps 146c4762a1bSJed Brown 147dc6ed827SStefano Zampini test: 148dc6ed827SStefano Zampini suffix: 4 149dc6ed827SStefano Zampini args: -mat_solver_type cusparse -mat_type aijcusparse -mat_factor_type {{lu cholesky ilu icc}separate output} 150dc6ed827SStefano Zampini requires: cuda 151dc6ed827SStefano Zampini 152c4762a1bSJed Brown TEST*/ 153