1c4762a1bSJed Brown 2c4762a1bSJed Brown static char help[] = "Tests ILU and ICC factorization with and without matrix ordering on seqaij format, and illustrates drawing of matrix sparsity structure with MatView().\n\ 3c4762a1bSJed Brown Input parameters are:\n\ 4c4762a1bSJed Brown -lf <level> : level of fill for ILU (default is 0)\n\ 5c4762a1bSJed Brown -lu : use full LU or Cholesky factorization\n\ 6c4762a1bSJed Brown -m <value>,-n <value> : grid dimensions\n\ 7c4762a1bSJed Brown Note that most users should employ the KSP interface to the\n\ 8c4762a1bSJed Brown linear solvers instead of using the factorization routines\n\ 9c4762a1bSJed Brown directly.\n\n"; 10c4762a1bSJed Brown 11c4762a1bSJed Brown #include <petscmat.h> 12c4762a1bSJed Brown 13c4762a1bSJed Brown int main(int argc,char **args) 14c4762a1bSJed Brown { 15c4762a1bSJed Brown Mat C,A; 16c4762a1bSJed Brown PetscInt i,j,m = 5,n = 5,Ii,J,lf = 0; 17c4762a1bSJed Brown PetscBool LU=PETSC_FALSE,CHOLESKY,TRIANGULAR=PETSC_FALSE,MATDSPL=PETSC_FALSE,flg,matordering; 18c4762a1bSJed Brown PetscScalar v; 19c4762a1bSJed Brown IS row,col; 20c4762a1bSJed Brown PetscViewer viewer1,viewer2; 21c4762a1bSJed Brown MatFactorInfo info; 22c4762a1bSJed Brown Vec x,y,b,ytmp; 23c4762a1bSJed Brown PetscReal norm2,norm2_inplace, tol = 100.*PETSC_MACHINE_EPSILON; 24c4762a1bSJed Brown PetscRandom rdm; 25c4762a1bSJed Brown PetscMPIInt size; 26c4762a1bSJed Brown 27*b122ec5aSJacob Faibussowitsch CHKERRQ(PetscInitialize(&argc,&args,(char*)0,help)); 285f80ce2aSJacob Faibussowitsch CHKERRMPI(MPI_Comm_size(PETSC_COMM_WORLD,&size)); 292c71b3e2SJacob Faibussowitsch PetscCheckFalse(size != 1,PETSC_COMM_WORLD,PETSC_ERR_WRONG_MPI_SIZE,"This is a uniprocessor example only!"); 305f80ce2aSJacob Faibussowitsch CHKERRQ(PetscOptionsGetInt(NULL,NULL,"-m",&m,NULL)); 315f80ce2aSJacob Faibussowitsch CHKERRQ(PetscOptionsGetInt(NULL,NULL,"-n",&n,NULL)); 325f80ce2aSJacob Faibussowitsch CHKERRQ(PetscOptionsGetInt(NULL,NULL,"-lf",&lf,NULL)); 33c4762a1bSJed Brown 345f80ce2aSJacob Faibussowitsch CHKERRQ(PetscViewerDrawOpen(PETSC_COMM_SELF,0,0,0,0,400,400,&viewer1)); 355f80ce2aSJacob Faibussowitsch CHKERRQ(PetscViewerDrawOpen(PETSC_COMM_SELF,0,0,400,0,400,400,&viewer2)); 36c4762a1bSJed Brown 375f80ce2aSJacob Faibussowitsch CHKERRQ(MatCreate(PETSC_COMM_SELF,&C)); 385f80ce2aSJacob Faibussowitsch CHKERRQ(MatSetSizes(C,m*n,m*n,m*n,m*n)); 395f80ce2aSJacob Faibussowitsch CHKERRQ(MatSetFromOptions(C)); 405f80ce2aSJacob Faibussowitsch CHKERRQ(MatSetUp(C)); 41c4762a1bSJed Brown 42c4762a1bSJed Brown /* Create matrix C in seqaij format and sC in seqsbaij. (This is five-point stencil with some extra elements) */ 43c4762a1bSJed Brown for (i=0; i<m; i++) { 44c4762a1bSJed Brown for (j=0; j<n; j++) { 45c4762a1bSJed Brown v = -1.0; Ii = j + n*i; 465f80ce2aSJacob Faibussowitsch J = Ii - n; if (J>=0) CHKERRQ(MatSetValues(C,1,&Ii,1,&J,&v,INSERT_VALUES)); 475f80ce2aSJacob Faibussowitsch J = Ii + n; if (J<m*n) CHKERRQ(MatSetValues(C,1,&Ii,1,&J,&v,INSERT_VALUES)); 485f80ce2aSJacob Faibussowitsch J = Ii - 1; if (J>=0) CHKERRQ(MatSetValues(C,1,&Ii,1,&J,&v,INSERT_VALUES)); 495f80ce2aSJacob Faibussowitsch J = Ii + 1; if (J<m*n) CHKERRQ(MatSetValues(C,1,&Ii,1,&J,&v,INSERT_VALUES)); 505f80ce2aSJacob Faibussowitsch v = 4.0; CHKERRQ(MatSetValues(C,1,&Ii,1,&Ii,&v,INSERT_VALUES)); 51c4762a1bSJed Brown } 52c4762a1bSJed Brown } 535f80ce2aSJacob Faibussowitsch CHKERRQ(MatAssemblyBegin(C,MAT_FINAL_ASSEMBLY)); 545f80ce2aSJacob Faibussowitsch CHKERRQ(MatAssemblyEnd(C,MAT_FINAL_ASSEMBLY)); 55c4762a1bSJed Brown 565f80ce2aSJacob Faibussowitsch CHKERRQ(MatIsSymmetric(C,0.0,&flg)); 5728b400f6SJacob Faibussowitsch PetscCheck(flg,PETSC_COMM_SELF,PETSC_ERR_SUP,"C is non-symmetric"); 58c4762a1bSJed Brown 59c4762a1bSJed Brown /* Create vectors for error checking */ 605f80ce2aSJacob Faibussowitsch CHKERRQ(MatCreateVecs(C,&x,&b)); 615f80ce2aSJacob Faibussowitsch CHKERRQ(VecDuplicate(x,&y)); 625f80ce2aSJacob Faibussowitsch CHKERRQ(VecDuplicate(x,&ytmp)); 635f80ce2aSJacob Faibussowitsch CHKERRQ(PetscRandomCreate(PETSC_COMM_SELF,&rdm)); 645f80ce2aSJacob Faibussowitsch CHKERRQ(PetscRandomSetFromOptions(rdm)); 655f80ce2aSJacob Faibussowitsch CHKERRQ(VecSetRandom(x,rdm)); 665f80ce2aSJacob Faibussowitsch CHKERRQ(MatMult(C,x,b)); 67c4762a1bSJed Brown 685f80ce2aSJacob Faibussowitsch CHKERRQ(PetscOptionsHasName(NULL,NULL,"-mat_ordering",&matordering)); 69c4762a1bSJed Brown if (matordering) { 705f80ce2aSJacob Faibussowitsch CHKERRQ(MatGetOrdering(C,MATORDERINGRCM,&row,&col)); 71c4762a1bSJed Brown } else { 725f80ce2aSJacob Faibussowitsch CHKERRQ(MatGetOrdering(C,MATORDERINGNATURAL,&row,&col)); 73c4762a1bSJed Brown } 74c4762a1bSJed Brown 755f80ce2aSJacob Faibussowitsch CHKERRQ(PetscOptionsHasName(NULL,NULL,"-display_matrices",&MATDSPL)); 76c4762a1bSJed Brown if (MATDSPL) { 77c4762a1bSJed Brown printf("original matrix:\n"); 785f80ce2aSJacob Faibussowitsch CHKERRQ(PetscViewerPushFormat(PETSC_VIEWER_STDOUT_SELF,PETSC_VIEWER_ASCII_INFO)); 795f80ce2aSJacob Faibussowitsch CHKERRQ(MatView(C,PETSC_VIEWER_STDOUT_SELF)); 805f80ce2aSJacob Faibussowitsch CHKERRQ(PetscViewerPopFormat(PETSC_VIEWER_STDOUT_SELF)); 815f80ce2aSJacob Faibussowitsch CHKERRQ(MatView(C,PETSC_VIEWER_STDOUT_SELF)); 825f80ce2aSJacob Faibussowitsch CHKERRQ(MatView(C,viewer1)); 83c4762a1bSJed Brown } 84c4762a1bSJed Brown 85c4762a1bSJed Brown /* Compute LU or ILU factor A */ 865f80ce2aSJacob Faibussowitsch CHKERRQ(MatFactorInfoInitialize(&info)); 87c4762a1bSJed Brown 88c4762a1bSJed Brown info.fill = 1.0; 89c4762a1bSJed Brown info.diagonal_fill = 0; 90c4762a1bSJed Brown info.zeropivot = 0.0; 91c4762a1bSJed Brown 925f80ce2aSJacob Faibussowitsch CHKERRQ(PetscOptionsHasName(NULL,NULL,"-lu",&LU)); 93c4762a1bSJed Brown if (LU) { 94c4762a1bSJed Brown printf("Test LU...\n"); 955f80ce2aSJacob Faibussowitsch CHKERRQ(MatGetFactor(C,MATSOLVERPETSC,MAT_FACTOR_LU,&A)); 965f80ce2aSJacob Faibussowitsch CHKERRQ(MatLUFactorSymbolic(A,C,row,col,&info)); 97c4762a1bSJed Brown } else { 98c4762a1bSJed Brown printf("Test ILU...\n"); 99c4762a1bSJed Brown info.levels = lf; 100c4762a1bSJed Brown 1015f80ce2aSJacob Faibussowitsch CHKERRQ(MatGetFactor(C,MATSOLVERPETSC,MAT_FACTOR_ILU,&A)); 1025f80ce2aSJacob Faibussowitsch CHKERRQ(MatILUFactorSymbolic(A,C,row,col,&info)); 103c4762a1bSJed Brown } 1045f80ce2aSJacob Faibussowitsch CHKERRQ(MatLUFactorNumeric(A,C,&info)); 105c4762a1bSJed Brown 106c4762a1bSJed Brown /* Solve A*y = b, then check the error */ 1075f80ce2aSJacob Faibussowitsch CHKERRQ(MatSolve(A,b,y)); 1085f80ce2aSJacob Faibussowitsch CHKERRQ(VecAXPY(y,-1.0,x)); 1095f80ce2aSJacob Faibussowitsch CHKERRQ(VecNorm(y,NORM_2,&norm2)); 1105f80ce2aSJacob Faibussowitsch CHKERRQ(MatDestroy(&A)); 111c4762a1bSJed Brown 112c4762a1bSJed Brown /* Test in-place ILU(0) and compare it with the out-place ILU(0) */ 113c4762a1bSJed Brown if (!LU && lf==0) { 1145f80ce2aSJacob Faibussowitsch CHKERRQ(MatDuplicate(C,MAT_COPY_VALUES,&A)); 1155f80ce2aSJacob Faibussowitsch CHKERRQ(MatILUFactor(A,row,col,&info)); 116c4762a1bSJed Brown /* 117c4762a1bSJed Brown printf("In-place factored matrix:\n"); 1185f80ce2aSJacob Faibussowitsch CHKERRQ(MatView(C,PETSC_VIEWER_STDOUT_SELF)); 119c4762a1bSJed Brown */ 1205f80ce2aSJacob Faibussowitsch CHKERRQ(MatSolve(A,b,y)); 1215f80ce2aSJacob Faibussowitsch CHKERRQ(VecAXPY(y,-1.0,x)); 1225f80ce2aSJacob Faibussowitsch CHKERRQ(VecNorm(y,NORM_2,&norm2_inplace)); 1232c71b3e2SJacob Faibussowitsch PetscCheckFalse(PetscAbs(norm2 - norm2_inplace) > tol,PETSC_COMM_SELF,PETSC_ERR_PLIB,"ILU(0) %g and in-place ILU(0) %g give different residuals",(double)norm2,(double)norm2_inplace); 1245f80ce2aSJacob Faibussowitsch CHKERRQ(MatDestroy(&A)); 125c4762a1bSJed Brown } 126c4762a1bSJed Brown 127c4762a1bSJed Brown /* Test Cholesky and ICC on seqaij matrix with matrix reordering on aij matrix C */ 128c4762a1bSJed Brown CHOLESKY = LU; 129c4762a1bSJed Brown if (CHOLESKY) { 130c4762a1bSJed Brown printf("Test Cholesky...\n"); 131c4762a1bSJed Brown lf = -1; 1325f80ce2aSJacob Faibussowitsch CHKERRQ(MatGetFactor(C,MATSOLVERPETSC,MAT_FACTOR_CHOLESKY,&A)); 1335f80ce2aSJacob Faibussowitsch CHKERRQ(MatCholeskyFactorSymbolic(A,C,row,&info)); 134c4762a1bSJed Brown } else { 135c4762a1bSJed Brown printf("Test ICC...\n"); 136c4762a1bSJed Brown info.levels = lf; 137c4762a1bSJed Brown info.fill = 1.0; 138c4762a1bSJed Brown info.diagonal_fill = 0; 139c4762a1bSJed Brown info.zeropivot = 0.0; 140c4762a1bSJed Brown 1415f80ce2aSJacob Faibussowitsch CHKERRQ(MatGetFactor(C,MATSOLVERPETSC,MAT_FACTOR_ICC,&A)); 1425f80ce2aSJacob Faibussowitsch CHKERRQ(MatICCFactorSymbolic(A,C,row,&info)); 143c4762a1bSJed Brown } 1445f80ce2aSJacob Faibussowitsch CHKERRQ(MatCholeskyFactorNumeric(A,C,&info)); 145c4762a1bSJed Brown 146c4762a1bSJed Brown /* test MatForwardSolve() and MatBackwardSolve() with matrix reordering on aij matrix C */ 147c4762a1bSJed Brown if (lf == -1) { 1485f80ce2aSJacob Faibussowitsch CHKERRQ(PetscOptionsHasName(NULL,NULL,"-triangular_solve",&TRIANGULAR)); 149c4762a1bSJed Brown if (TRIANGULAR) { 150c4762a1bSJed Brown printf("Test MatForwardSolve...\n"); 1515f80ce2aSJacob Faibussowitsch CHKERRQ(MatForwardSolve(A,b,ytmp)); 152c4762a1bSJed Brown printf("Test MatBackwardSolve...\n"); 1535f80ce2aSJacob Faibussowitsch CHKERRQ(MatBackwardSolve(A,ytmp,y)); 1545f80ce2aSJacob Faibussowitsch CHKERRQ(VecAXPY(y,-1.0,x)); 1555f80ce2aSJacob Faibussowitsch CHKERRQ(VecNorm(y,NORM_2,&norm2)); 156c4762a1bSJed Brown if (norm2 > tol) { 1575f80ce2aSJacob Faibussowitsch CHKERRQ(PetscPrintf(PETSC_COMM_SELF,"MatForwardSolve and BackwardSolve: Norm of error=%g\n",(double)norm2)); 158c4762a1bSJed Brown } 159c4762a1bSJed Brown } 160c4762a1bSJed Brown } 161c4762a1bSJed Brown 1625f80ce2aSJacob Faibussowitsch CHKERRQ(MatSolve(A,b,y)); 1635f80ce2aSJacob Faibussowitsch CHKERRQ(MatDestroy(&A)); 1645f80ce2aSJacob Faibussowitsch CHKERRQ(VecAXPY(y,-1.0,x)); 1655f80ce2aSJacob Faibussowitsch CHKERRQ(VecNorm(y,NORM_2,&norm2)); 166c4762a1bSJed Brown if (lf == -1 && norm2 > tol) { 1675f80ce2aSJacob Faibussowitsch CHKERRQ(PetscPrintf(PETSC_COMM_SELF, " reordered SEQAIJ: Cholesky/ICC levels %" PetscInt_FMT ", residual %g\n",lf,(double)norm2)); 168c4762a1bSJed Brown } 169c4762a1bSJed Brown 170c4762a1bSJed Brown /* Test in-place ICC(0) and compare it with the out-place ICC(0) */ 171c4762a1bSJed Brown if (!CHOLESKY && lf==0 && !matordering) { 1725f80ce2aSJacob Faibussowitsch CHKERRQ(MatConvert(C,MATSBAIJ,MAT_INITIAL_MATRIX,&A)); 1735f80ce2aSJacob Faibussowitsch CHKERRQ(MatICCFactor(A,row,&info)); 174c4762a1bSJed Brown /* 175c4762a1bSJed Brown printf("In-place factored matrix:\n"); 1765f80ce2aSJacob Faibussowitsch CHKERRQ(MatView(A,PETSC_VIEWER_STDOUT_SELF)); 177c4762a1bSJed Brown */ 1785f80ce2aSJacob Faibussowitsch CHKERRQ(MatSolve(A,b,y)); 1795f80ce2aSJacob Faibussowitsch CHKERRQ(VecAXPY(y,-1.0,x)); 1805f80ce2aSJacob Faibussowitsch CHKERRQ(VecNorm(y,NORM_2,&norm2_inplace)); 1812c71b3e2SJacob Faibussowitsch PetscCheckFalse(PetscAbs(norm2 - norm2_inplace) > tol,PETSC_COMM_SELF,PETSC_ERR_PLIB,"ICC(0) %g and in-place ICC(0) %g give different residuals",(double)norm2,(double)norm2_inplace); 1825f80ce2aSJacob Faibussowitsch CHKERRQ(MatDestroy(&A)); 183c4762a1bSJed Brown } 184c4762a1bSJed Brown 185c4762a1bSJed Brown /* Free data structures */ 1865f80ce2aSJacob Faibussowitsch CHKERRQ(ISDestroy(&row)); 1875f80ce2aSJacob Faibussowitsch CHKERRQ(ISDestroy(&col)); 1885f80ce2aSJacob Faibussowitsch CHKERRQ(MatDestroy(&C)); 1895f80ce2aSJacob Faibussowitsch CHKERRQ(PetscViewerDestroy(&viewer1)); 1905f80ce2aSJacob Faibussowitsch CHKERRQ(PetscViewerDestroy(&viewer2)); 1915f80ce2aSJacob Faibussowitsch CHKERRQ(PetscRandomDestroy(&rdm)); 1925f80ce2aSJacob Faibussowitsch CHKERRQ(VecDestroy(&x)); 1935f80ce2aSJacob Faibussowitsch CHKERRQ(VecDestroy(&y)); 1945f80ce2aSJacob Faibussowitsch CHKERRQ(VecDestroy(&ytmp)); 1955f80ce2aSJacob Faibussowitsch CHKERRQ(VecDestroy(&b)); 196*b122ec5aSJacob Faibussowitsch CHKERRQ(PetscFinalize()); 197*b122ec5aSJacob Faibussowitsch return 0; 198c4762a1bSJed Brown } 199c4762a1bSJed Brown 200c4762a1bSJed Brown /*TEST 201c4762a1bSJed Brown 202c4762a1bSJed Brown test: 203c4762a1bSJed Brown args: -mat_ordering -display_matrices -nox 204c4762a1bSJed Brown filter: grep -v "MPI processes" 205c4762a1bSJed Brown 206c4762a1bSJed Brown test: 207c4762a1bSJed Brown suffix: 2 208c4762a1bSJed Brown args: -mat_ordering -display_matrices -nox -lu 209c4762a1bSJed Brown 210c4762a1bSJed Brown test: 211c4762a1bSJed Brown suffix: 3 212c4762a1bSJed Brown args: -mat_ordering -lu -triangular_solve 213c4762a1bSJed Brown 214c4762a1bSJed Brown test: 215c4762a1bSJed Brown suffix: 4 216c4762a1bSJed Brown 217c4762a1bSJed Brown test: 218c4762a1bSJed Brown suffix: 5 219c4762a1bSJed Brown args: -lu 220c4762a1bSJed Brown 221c4762a1bSJed Brown test: 222c4762a1bSJed Brown suffix: 6 223c4762a1bSJed Brown args: -lu -triangular_solve 224c4762a1bSJed Brown output_file: output/ex30_3.out 225c4762a1bSJed Brown 226c4762a1bSJed Brown TEST*/ 227