xref: /petsc/src/mat/tests/ex215.c (revision 5f80ce2ab25dff0f4601e710601cbbcecf323266)
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