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; 21ffc4695bSBarry Smith ierr = MPI_Comm_rank(PETSC_COMM_WORLD, &rank);CHKERRMPI(ierr); 22c4762a1bSJed Brown 23c4762a1bSJed Brown /* Create and assemble matrices, all have same data structure */ 24c4762a1bSJed Brown for (k=0; k<num_numfac; k++) { 25c4762a1bSJed Brown ierr = MatCreate(PETSC_COMM_WORLD,&A[k]);CHKERRQ(ierr); 26c4762a1bSJed Brown ierr = MatSetSizes(A[k],PETSC_DECIDE,PETSC_DECIDE,N,N);CHKERRQ(ierr); 27c4762a1bSJed Brown ierr = MatSetFromOptions(A[k]);CHKERRQ(ierr); 28c4762a1bSJed Brown ierr = MatSetUp(A[k]);CHKERRQ(ierr); 29c4762a1bSJed Brown ierr = MatGetOwnershipRange(A[k],&rstart,&rend);CHKERRQ(ierr); 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) { 37c4762a1bSJed Brown ierr = MatSetValues(A[k],1,&i,2,col+1,value+1,INSERT_VALUES);CHKERRQ(ierr); 38c4762a1bSJed Brown } else if (i == N-1) { 39c4762a1bSJed Brown ierr = MatSetValues(A[k],1,&i,2,col,value,INSERT_VALUES);CHKERRQ(ierr); 40c4762a1bSJed Brown } else { 41c4762a1bSJed Brown ierr = MatSetValues(A[k],1,&i,3,col,value,INSERT_VALUES);CHKERRQ(ierr); 42c4762a1bSJed Brown } 43c4762a1bSJed Brown } 44c4762a1bSJed Brown ierr = MatAssemblyBegin(A[k],MAT_FINAL_ASSEMBLY);CHKERRQ(ierr); 45c4762a1bSJed Brown ierr = MatAssemblyEnd(A[k],MAT_FINAL_ASSEMBLY);CHKERRQ(ierr); 46c4762a1bSJed Brown ierr = MatSetOption(A[k],MAT_NEW_NONZERO_LOCATION_ERR,PETSC_TRUE);CHKERRQ(ierr); 47c4762a1bSJed Brown } 48c4762a1bSJed Brown 49c4762a1bSJed Brown /* Create vectors */ 50c4762a1bSJed Brown ierr = MatCreateVecs(A[0],&x,&b);CHKERRQ(ierr); 51c4762a1bSJed Brown ierr = VecDuplicate(x,&u);CHKERRQ(ierr); 52c4762a1bSJed Brown 53c4762a1bSJed Brown /* Set rhs vector b */ 54c4762a1bSJed Brown ierr = VecSet(b,1.0);CHKERRQ(ierr); 55c4762a1bSJed Brown 56c4762a1bSJed Brown /* Get a symbolic factor F from A[0] */ 57dc6ed827SStefano Zampini ierr = PetscStrncpy(solvertype,"petsc",sizeof(solvertype));CHKERRQ(ierr); 58dc6ed827SStefano Zampini ierr = PetscOptionsGetString(NULL, NULL, "-mat_solver_type",solvertype,sizeof(solvertype),NULL);CHKERRQ(ierr); 59dc6ed827SStefano Zampini ierr = PetscOptionsGetEnum(NULL,NULL,"-mat_factor_type",MatFactorTypes,(PetscEnum*)&facttype,NULL);CHKERRQ(ierr); 60c4762a1bSJed Brown 61dc6ed827SStefano Zampini ierr = MatGetFactor(A[0],solvertype,facttype,&F);CHKERRQ(ierr); 62c4762a1bSJed Brown /* test mumps options */ 63dc6ed827SStefano Zampini #if defined(PETSC_HAVE_MUMPS) 64dc6ed827SStefano Zampini ierr = MatMumpsSetIcntl(F,7,5);CHKERRQ(ierr); 65c4762a1bSJed Brown #endif 66dc6ed827SStefano Zampini ierr = PetscStrncpy(factortype,MatFactorTypes[facttype],sizeof(factortype));CHKERRQ(ierr); 67dc6ed827SStefano Zampini ierr = PetscStrtoupper(solvertype);CHKERRQ(ierr); 68dc6ed827SStefano Zampini ierr = PetscStrtoupper(factortype);CHKERRQ(ierr); 69dc6ed827SStefano Zampini ierr = PetscPrintf(PETSC_COMM_WORLD," %s %s:\n",solvertype,factortype);CHKERRQ(ierr); 70c4762a1bSJed Brown 71c4762a1bSJed Brown ierr = MatFactorInfoInitialize(&info);CHKERRQ(ierr); 72c4762a1bSJed Brown info.fill = 5.0; 73c4762a1bSJed Brown ierr = MatGetOrdering(A[0],MATORDERINGNATURAL,&perm,&iperm);CHKERRQ(ierr); 74dc6ed827SStefano Zampini switch (facttype) { 75dc6ed827SStefano Zampini case MAT_FACTOR_LU: 76c4762a1bSJed Brown ierr = MatLUFactorSymbolic(F,A[0],perm,iperm,&info);CHKERRQ(ierr); 77dc6ed827SStefano Zampini break; 78dc6ed827SStefano Zampini case MAT_FACTOR_ILU: 79dc6ed827SStefano Zampini ierr = MatILUFactorSymbolic(F,A[0],perm,iperm,&info);CHKERRQ(ierr); 80dc6ed827SStefano Zampini break; 81dc6ed827SStefano Zampini case MAT_FACTOR_ICC: 82dc6ed827SStefano Zampini ierr = MatICCFactorSymbolic(F,A[0],perm,&info);CHKERRQ(ierr); 83dc6ed827SStefano Zampini break; 84dc6ed827SStefano Zampini case MAT_FACTOR_CHOLESKY: 85dc6ed827SStefano Zampini ierr = MatCholeskyFactorSymbolic(F,A[0],perm,&info);CHKERRQ(ierr); 86dc6ed827SStefano Zampini break; 87dc6ed827SStefano Zampini default: 88*98921bdaSJacob 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: 96c4762a1bSJed Brown ierr = MatLUFactorNumeric(F,A[k],&info);CHKERRQ(ierr); 97dc6ed827SStefano Zampini break; 98dc6ed827SStefano Zampini case MAT_FACTOR_ICC: 99dc6ed827SStefano Zampini case MAT_FACTOR_CHOLESKY: 100dc6ed827SStefano Zampini ierr = MatCholeskyFactorNumeric(F,A[k],&info);CHKERRQ(ierr); 101dc6ed827SStefano Zampini break; 102dc6ed827SStefano Zampini default: 103*98921bdaSJacob 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 */ 107c4762a1bSJed Brown ierr = MatSolve(F,b,x);CHKERRQ(ierr); 108c4762a1bSJed Brown 109c4762a1bSJed Brown /* Check the residual */ 110c4762a1bSJed Brown ierr = MatMult(A[k],x,u);CHKERRQ(ierr); 111c4762a1bSJed Brown ierr = VecAXPY(u,-1.0,b);CHKERRQ(ierr); 112c4762a1bSJed Brown ierr = VecNorm(u,NORM_INFINITY,&norm);CHKERRQ(ierr); 113c4762a1bSJed Brown if (norm > tol) { 1148fffc762SJacob Faibussowitsch ierr = PetscPrintf(PETSC_COMM_WORLD,"%" PetscInt_FMT "-the %s numfact and solve: residual %g\n",k,factortype,(double)norm);CHKERRQ(ierr); 115c4762a1bSJed Brown } 116c4762a1bSJed Brown } 117c4762a1bSJed Brown 118c4762a1bSJed Brown /* Free data structures */ 119c4762a1bSJed Brown for (k=0; k<num_numfac; k++) { 120c4762a1bSJed Brown ierr = MatDestroy(&A[k]);CHKERRQ(ierr); 121c4762a1bSJed Brown } 122c4762a1bSJed Brown ierr = MatDestroy(&F);CHKERRQ(ierr); 123c4762a1bSJed Brown ierr = ISDestroy(&perm);CHKERRQ(ierr); 124c4762a1bSJed Brown ierr = ISDestroy(&iperm);CHKERRQ(ierr); 125c4762a1bSJed Brown ierr = VecDestroy(&x);CHKERRQ(ierr); 126c4762a1bSJed Brown ierr = VecDestroy(&b);CHKERRQ(ierr); 127c4762a1bSJed Brown ierr = VecDestroy(&u);CHKERRQ(ierr); 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