xref: /petsc/src/mat/impls/baij/seq/baijfact.c (revision 2c71b3e237ead271e4f3aa1505f92bf476e3413d)
1be1d678aSKris Buschelman 
25d517e7eSBarry Smith /*
3ec3a8b7bSBarry Smith     Factorization code for BAIJ format.
45d517e7eSBarry Smith */
5c6db04a5SJed Brown #include <../src/mat/impls/baij/seq/baij.h>
6af0996ceSBarry Smith #include <petsc/private/kernels/blockinvert.h>
7ec3a8b7bSBarry Smith 
84dd39f65SShri Abhyankar PetscErrorCode MatLUFactorNumeric_SeqBAIJ_2(Mat B,Mat A,const MatFactorInfo *info)
9b588c5a2SHong Zhang {
10b588c5a2SHong Zhang   Mat            C     =B;
11b588c5a2SHong Zhang   Mat_SeqBAIJ    *a    =(Mat_SeqBAIJ*)A->data,*b=(Mat_SeqBAIJ*)C->data;
12b588c5a2SHong Zhang   IS             isrow = b->row,isicol = b->icol;
13b588c5a2SHong Zhang   PetscErrorCode ierr;
145a586d82SBarry Smith   const PetscInt *r,*ic;
15bbd65245SShri Abhyankar   PetscInt       i,j,k,nz,nzL,row,*pj;
16bbd65245SShri Abhyankar   const PetscInt n=a->mbs,*ai=a->i,*aj=a->j,*bi=b->i,*bj=b->j,bs2=a->bs2;
17bbd65245SShri Abhyankar   const PetscInt *ajtmp,*bjtmp,*bdiag=b->diag;
18bbd65245SShri Abhyankar   MatScalar      *rtmp,*pc,*mwork,*pv;
19bbd65245SShri Abhyankar   MatScalar      *aa=a->a,*v;
20bbd65245SShri Abhyankar   PetscInt       flg;
21182b8fbaSHong Zhang   PetscReal      shift = info->shiftamount;
22a455e926SHong Zhang   PetscBool      allowzeropivot,zeropivotdetected;
23b588c5a2SHong Zhang 
24b588c5a2SHong Zhang   PetscFunctionBegin;
25b588c5a2SHong Zhang   ierr = ISGetIndices(isrow,&r);CHKERRQ(ierr);
26b588c5a2SHong Zhang   ierr = ISGetIndices(isicol,&ic);CHKERRQ(ierr);
270164db54SHong Zhang   allowzeropivot = PetscNot(A->erroriffailure);
28b588c5a2SHong Zhang 
294c000e2eSHong Zhang   /* generate work space needed by the factorization */
30dcca6d9dSJed Brown   ierr = PetscMalloc2(bs2*n,&rtmp,bs2,&mwork);CHKERRQ(ierr);
31580bdb30SBarry Smith   ierr = PetscArrayzero(rtmp,bs2*n);CHKERRQ(ierr);
32b588c5a2SHong Zhang 
33b588c5a2SHong Zhang   for (i=0; i<n; i++) {
34b588c5a2SHong Zhang     /* zero rtmp */
35b588c5a2SHong Zhang     /* L part */
36b588c5a2SHong Zhang     nz    = bi[i+1] - bi[i];
37b588c5a2SHong Zhang     bjtmp = bj + bi[i];
38b588c5a2SHong Zhang     for  (j=0; j<nz; j++) {
39580bdb30SBarry Smith       ierr = PetscArrayzero(rtmp+bs2*bjtmp[j],bs2);CHKERRQ(ierr);
40b588c5a2SHong Zhang     }
41b588c5a2SHong Zhang 
42b588c5a2SHong Zhang     /* U part */
430c4413a7SShri Abhyankar     nz    = bdiag[i] - bdiag[i+1];
440c4413a7SShri Abhyankar     bjtmp = bj + bdiag[i+1]+1;
450c4413a7SShri Abhyankar     for  (j=0; j<nz; j++) {
46580bdb30SBarry Smith       ierr = PetscArrayzero(rtmp+bs2*bjtmp[j],bs2);CHKERRQ(ierr);
470c4413a7SShri Abhyankar     }
480c4413a7SShri Abhyankar 
490c4413a7SShri Abhyankar     /* load in initial (unfactored row) */
500c4413a7SShri Abhyankar     nz    = ai[r[i]+1] - ai[r[i]];
510c4413a7SShri Abhyankar     ajtmp = aj + ai[r[i]];
520c4413a7SShri Abhyankar     v     = aa + bs2*ai[r[i]];
530c4413a7SShri Abhyankar     for (j=0; j<nz; j++) {
54580bdb30SBarry Smith       ierr = PetscArraycpy(rtmp+bs2*ic[ajtmp[j]],v+bs2*j,bs2);CHKERRQ(ierr);
550c4413a7SShri Abhyankar     }
560c4413a7SShri Abhyankar 
570c4413a7SShri Abhyankar     /* elimination */
580c4413a7SShri Abhyankar     bjtmp = bj + bi[i];
590c4413a7SShri Abhyankar     nzL   = bi[i+1] - bi[i];
600c4413a7SShri Abhyankar     for (k=0; k < nzL; k++) {
610c4413a7SShri Abhyankar       row = bjtmp[k];
620c4413a7SShri Abhyankar       pc  = rtmp + bs2*row;
63c35f09e5SBarry Smith       for (flg=0,j=0; j<bs2; j++) {
64c35f09e5SBarry Smith         if (pc[j] != (PetscScalar)0.0) {
65c35f09e5SBarry Smith           flg = 1;
66c35f09e5SBarry Smith           break;
67c35f09e5SBarry Smith         }
68c35f09e5SBarry Smith       }
690c4413a7SShri Abhyankar       if (flg) {
700c4413a7SShri Abhyankar         pv = b->a + bs2*bdiag[row];
7196b95a6bSBarry Smith         /* PetscKernel_A_gets_A_times_B(bs,pc,pv,mwork); *pc = *pc * (*pv); */
7296b95a6bSBarry Smith         ierr = PetscKernel_A_gets_A_times_B_2(pc,pv,mwork);CHKERRQ(ierr);
730c4413a7SShri Abhyankar 
74a5b23f4aSJose E. Roman         pj = b->j + bdiag[row+1]+1; /* beginning of U(row,:) */
750c4413a7SShri Abhyankar         pv = b->a + bs2*(bdiag[row+1]+1);
760c4413a7SShri Abhyankar         nz = bdiag[row] - bdiag[row+1] - 1; /* num of entries inU(row,:), excluding diag */
770c4413a7SShri Abhyankar         for (j=0; j<nz; j++) {
7896b95a6bSBarry Smith           /* PetscKernel_A_gets_A_minus_B_times_C(bs,rtmp+bs2*pj[j],pc,pv+bs2*j); */
790c4413a7SShri Abhyankar           /* rtmp+bs2*pj[j] = rtmp+bs2*pj[j] - (*pc)*(pv+bs2*j) */
800c4413a7SShri Abhyankar           v    = rtmp + 4*pj[j];
8196b95a6bSBarry Smith           ierr = PetscKernel_A_gets_A_minus_B_times_C_2(v,pc,pv);CHKERRQ(ierr);
820c4413a7SShri Abhyankar           pv  += 4;
830c4413a7SShri Abhyankar         }
84ca0c957dSBarry Smith         ierr = PetscLogFlops(16.0*nz+12);CHKERRQ(ierr); /* flops = 2*bs^3*nz + 2*bs^3 - bs2) */
850c4413a7SShri Abhyankar       }
860c4413a7SShri Abhyankar     }
870c4413a7SShri Abhyankar 
880c4413a7SShri Abhyankar     /* finished row so stick it into b->a */
890c4413a7SShri Abhyankar     /* L part */
900c4413a7SShri Abhyankar     pv = b->a + bs2*bi[i];
910c4413a7SShri Abhyankar     pj = b->j + bi[i];
920c4413a7SShri Abhyankar     nz = bi[i+1] - bi[i];
930c4413a7SShri Abhyankar     for (j=0; j<nz; j++) {
94580bdb30SBarry Smith       ierr = PetscArraycpy(pv+bs2*j,rtmp+bs2*pj[j],bs2);CHKERRQ(ierr);
950c4413a7SShri Abhyankar     }
960c4413a7SShri Abhyankar 
97a5b23f4aSJose E. Roman     /* Mark diagonal and invert diagonal for simpler triangular solves */
980c4413a7SShri Abhyankar     pv   = b->a + bs2*bdiag[i];
990c4413a7SShri Abhyankar     pj   = b->j + bdiag[i];
100580bdb30SBarry Smith     ierr = PetscArraycpy(pv,rtmp+bs2*pj[0],bs2);CHKERRQ(ierr);
101a455e926SHong Zhang     ierr = PetscKernel_A_gets_inverse_A_2(pv,shift,allowzeropivot,&zeropivotdetected);CHKERRQ(ierr);
1027b6c816cSBarry Smith     if (zeropivotdetected) B->factorerrortype = MAT_FACTOR_NUMERIC_ZEROPIVOT;
1030c4413a7SShri Abhyankar 
1040c4413a7SShri Abhyankar     /* U part */
1050c4413a7SShri Abhyankar     pv = b->a + bs2*(bdiag[i+1]+1);
1060c4413a7SShri Abhyankar     pj = b->j + bdiag[i+1]+1;
1070c4413a7SShri Abhyankar     nz = bdiag[i] - bdiag[i+1] - 1;
1080c4413a7SShri Abhyankar     for (j=0; j<nz; j++) {
109580bdb30SBarry Smith       ierr = PetscArraycpy(pv+bs2*j,rtmp+bs2*pj[j],bs2);CHKERRQ(ierr);
1100c4413a7SShri Abhyankar     }
1110c4413a7SShri Abhyankar   }
1120c4413a7SShri Abhyankar 
113fca92195SBarry Smith   ierr = PetscFree2(rtmp,mwork);CHKERRQ(ierr);
1140c4413a7SShri Abhyankar   ierr = ISRestoreIndices(isicol,&ic);CHKERRQ(ierr);
1150c4413a7SShri Abhyankar   ierr = ISRestoreIndices(isrow,&r);CHKERRQ(ierr);
11626fbe8dcSKarl Rupp 
1174dd39f65SShri Abhyankar   C->ops->solve          = MatSolve_SeqBAIJ_2;
1184dd39f65SShri Abhyankar   C->ops->solvetranspose = MatSolveTranspose_SeqBAIJ_2;
1190c4413a7SShri Abhyankar   C->assembled           = PETSC_TRUE;
12026fbe8dcSKarl Rupp 
121766f9fbaSBarry Smith   ierr = PetscLogFlops(1.333333333333*2*2*2*n);CHKERRQ(ierr); /* from inverting diagonal blocks */
1220c4413a7SShri Abhyankar   PetscFunctionReturn(0);
1230c4413a7SShri Abhyankar }
1240c4413a7SShri Abhyankar 
1254dd39f65SShri Abhyankar PetscErrorCode MatLUFactorNumeric_SeqBAIJ_2_NaturalOrdering(Mat B,Mat A,const MatFactorInfo *info)
1264c000e2eSHong Zhang {
1274c000e2eSHong Zhang   Mat            C =B;
1284c000e2eSHong Zhang   Mat_SeqBAIJ    *a=(Mat_SeqBAIJ*)A->data,*b=(Mat_SeqBAIJ*)C->data;
1294c000e2eSHong Zhang   PetscErrorCode ierr;
130bbd65245SShri Abhyankar   PetscInt       i,j,k,nz,nzL,row,*pj;
131bbd65245SShri Abhyankar   const PetscInt n=a->mbs,*ai=a->i,*aj=a->j,*bi=b->i,*bj=b->j,bs2=a->bs2;
132bbd65245SShri Abhyankar   const PetscInt *ajtmp,*bjtmp,*bdiag=b->diag;
133bbd65245SShri Abhyankar   MatScalar      *rtmp,*pc,*mwork,*pv;
134bbd65245SShri Abhyankar   MatScalar      *aa=a->a,*v;
135bbd65245SShri Abhyankar   PetscInt       flg;
136182b8fbaSHong Zhang   PetscReal      shift = info->shiftamount;
137a455e926SHong Zhang   PetscBool      allowzeropivot,zeropivotdetected;
1384c000e2eSHong Zhang 
1394c000e2eSHong Zhang   PetscFunctionBegin;
1400164db54SHong Zhang   allowzeropivot = PetscNot(A->erroriffailure);
1410164db54SHong Zhang 
1424c000e2eSHong Zhang   /* generate work space needed by the factorization */
143dcca6d9dSJed Brown   ierr = PetscMalloc2(bs2*n,&rtmp,bs2,&mwork);CHKERRQ(ierr);
144580bdb30SBarry Smith   ierr = PetscArrayzero(rtmp,bs2*n);CHKERRQ(ierr);
1454c000e2eSHong Zhang 
1464c000e2eSHong Zhang   for (i=0; i<n; i++) {
1474c000e2eSHong Zhang     /* zero rtmp */
1484c000e2eSHong Zhang     /* L part */
1494c000e2eSHong Zhang     nz    = bi[i+1] - bi[i];
1504c000e2eSHong Zhang     bjtmp = bj + bi[i];
1514c000e2eSHong Zhang     for  (j=0; j<nz; j++) {
152580bdb30SBarry Smith       ierr = PetscArrayzero(rtmp+bs2*bjtmp[j],bs2);CHKERRQ(ierr);
1534c000e2eSHong Zhang     }
1544c000e2eSHong Zhang 
1554c000e2eSHong Zhang     /* U part */
156b2b2dd24SShri Abhyankar     nz    = bdiag[i] - bdiag[i+1];
157b2b2dd24SShri Abhyankar     bjtmp = bj + bdiag[i+1]+1;
158b2b2dd24SShri Abhyankar     for  (j=0; j<nz; j++) {
159580bdb30SBarry Smith       ierr = PetscArrayzero(rtmp+bs2*bjtmp[j],bs2);CHKERRQ(ierr);
160b2b2dd24SShri Abhyankar     }
161b2b2dd24SShri Abhyankar 
162b2b2dd24SShri Abhyankar     /* load in initial (unfactored row) */
163b2b2dd24SShri Abhyankar     nz    = ai[i+1] - ai[i];
164b2b2dd24SShri Abhyankar     ajtmp = aj + ai[i];
165b2b2dd24SShri Abhyankar     v     = aa + bs2*ai[i];
166b2b2dd24SShri Abhyankar     for (j=0; j<nz; j++) {
167580bdb30SBarry Smith       ierr = PetscArraycpy(rtmp+bs2*ajtmp[j],v+bs2*j,bs2);CHKERRQ(ierr);
168b2b2dd24SShri Abhyankar     }
169b2b2dd24SShri Abhyankar 
170b2b2dd24SShri Abhyankar     /* elimination */
171b2b2dd24SShri Abhyankar     bjtmp = bj + bi[i];
172b2b2dd24SShri Abhyankar     nzL   = bi[i+1] - bi[i];
173b2b2dd24SShri Abhyankar     for (k=0; k < nzL; k++) {
174b2b2dd24SShri Abhyankar       row = bjtmp[k];
175b2b2dd24SShri Abhyankar       pc  = rtmp + bs2*row;
176c35f09e5SBarry Smith       for (flg=0,j=0; j<bs2; j++) {
177c35f09e5SBarry Smith         if (pc[j]!=(PetscScalar)0.0) {
178c35f09e5SBarry Smith           flg = 1;
179c35f09e5SBarry Smith           break;
180c35f09e5SBarry Smith         }
181c35f09e5SBarry Smith       }
182b2b2dd24SShri Abhyankar       if (flg) {
183b2b2dd24SShri Abhyankar         pv = b->a + bs2*bdiag[row];
18496b95a6bSBarry Smith         /* PetscKernel_A_gets_A_times_B(bs,pc,pv,mwork); *pc = *pc * (*pv); */
18596b95a6bSBarry Smith         ierr = PetscKernel_A_gets_A_times_B_2(pc,pv,mwork);CHKERRQ(ierr);
186b2b2dd24SShri Abhyankar 
187b2b2dd24SShri Abhyankar         pj = b->j + bdiag[row+1]+1; /* beginning of U(row,:) */
188b2b2dd24SShri Abhyankar         pv = b->a + bs2*(bdiag[row+1]+1);
189b2b2dd24SShri Abhyankar         nz = bdiag[row]-bdiag[row+1] - 1; /* num of entries in U(row,:) excluding diag */
190b2b2dd24SShri Abhyankar         for (j=0; j<nz; j++) {
19196b95a6bSBarry Smith           /* PetscKernel_A_gets_A_minus_B_times_C(bs,rtmp+bs2*pj[j],pc,pv+bs2*j); */
192b2b2dd24SShri Abhyankar           /* rtmp+bs2*pj[j] = rtmp+bs2*pj[j] - (*pc)*(pv+bs2*j) */
193b2b2dd24SShri Abhyankar           v    = rtmp + 4*pj[j];
19496b95a6bSBarry Smith           ierr = PetscKernel_A_gets_A_minus_B_times_C_2(v,pc,pv);CHKERRQ(ierr);
195b2b2dd24SShri Abhyankar           pv  += 4;
196b2b2dd24SShri Abhyankar         }
197ca0c957dSBarry Smith         ierr = PetscLogFlops(16.0*nz+12);CHKERRQ(ierr); /* flops = 2*bs^3*nz + 2*bs^3 - bs2) */
198b2b2dd24SShri Abhyankar       }
199b2b2dd24SShri Abhyankar     }
200b2b2dd24SShri Abhyankar 
201b2b2dd24SShri Abhyankar     /* finished row so stick it into b->a */
202b2b2dd24SShri Abhyankar     /* L part */
203b2b2dd24SShri Abhyankar     pv = b->a + bs2*bi[i];
204b2b2dd24SShri Abhyankar     pj = b->j + bi[i];
205b2b2dd24SShri Abhyankar     nz = bi[i+1] - bi[i];
206b2b2dd24SShri Abhyankar     for (j=0; j<nz; j++) {
207580bdb30SBarry Smith       ierr = PetscArraycpy(pv+bs2*j,rtmp+bs2*pj[j],bs2);CHKERRQ(ierr);
208b2b2dd24SShri Abhyankar     }
209b2b2dd24SShri Abhyankar 
210a5b23f4aSJose E. Roman     /* Mark diagonal and invert diagonal for simpler triangular solves */
211b2b2dd24SShri Abhyankar     pv   = b->a + bs2*bdiag[i];
212b2b2dd24SShri Abhyankar     pj   = b->j + bdiag[i];
213580bdb30SBarry Smith     ierr = PetscArraycpy(pv,rtmp+bs2*pj[0],bs2);CHKERRQ(ierr);
214a455e926SHong Zhang     ierr = PetscKernel_A_gets_inverse_A_2(pv,shift,allowzeropivot,&zeropivotdetected);CHKERRQ(ierr);
2157b6c816cSBarry Smith     if (zeropivotdetected) B->factorerrortype = MAT_FACTOR_NUMERIC_ZEROPIVOT;
216b2b2dd24SShri Abhyankar 
217b2b2dd24SShri Abhyankar     /* U part */
218b2b2dd24SShri Abhyankar     /*
219b2b2dd24SShri Abhyankar     pv = b->a + bs2*bi[2*n-i];
220b2b2dd24SShri Abhyankar     pj = b->j + bi[2*n-i];
221b2b2dd24SShri Abhyankar     nz = bi[2*n-i+1] - bi[2*n-i] - 1;
222b2b2dd24SShri Abhyankar     */
223b2b2dd24SShri Abhyankar     pv = b->a + bs2*(bdiag[i+1]+1);
224b2b2dd24SShri Abhyankar     pj = b->j + bdiag[i+1]+1;
225b2b2dd24SShri Abhyankar     nz = bdiag[i] - bdiag[i+1] - 1;
226b2b2dd24SShri Abhyankar     for (j=0; j<nz; j++) {
227580bdb30SBarry Smith       ierr = PetscArraycpy(pv+bs2*j,rtmp+bs2*pj[j],bs2);CHKERRQ(ierr);
228b2b2dd24SShri Abhyankar     }
229b2b2dd24SShri Abhyankar   }
230fca92195SBarry Smith   ierr = PetscFree2(rtmp,mwork);CHKERRQ(ierr);
231ae3d28f0SHong Zhang 
2324dd39f65SShri Abhyankar   C->ops->solve          = MatSolve_SeqBAIJ_2_NaturalOrdering;
2339f5c0bcdSBarry Smith   C->ops->forwardsolve   = MatForwardSolve_SeqBAIJ_2_NaturalOrdering;
2349f5c0bcdSBarry Smith   C->ops->backwardsolve  = MatBackwardSolve_SeqBAIJ_2_NaturalOrdering;
2354dd39f65SShri Abhyankar   C->ops->solvetranspose = MatSolveTranspose_SeqBAIJ_2_NaturalOrdering;
236b2b2dd24SShri Abhyankar   C->assembled           = PETSC_TRUE;
23726fbe8dcSKarl Rupp 
238766f9fbaSBarry Smith   ierr = PetscLogFlops(1.333333333333*2*2*2*n);CHKERRQ(ierr); /* from inverting diagonal blocks */
239b2b2dd24SShri Abhyankar   PetscFunctionReturn(0);
240b2b2dd24SShri Abhyankar }
241b2b2dd24SShri Abhyankar 
24206e38f1dSHong Zhang PetscErrorCode MatLUFactorNumeric_SeqBAIJ_2_inplace(Mat B,Mat A,const MatFactorInfo *info)
2434eeb42bcSBarry Smith {
244719d5645SBarry Smith   Mat            C     = B;
2454eeb42bcSBarry Smith   Mat_SeqBAIJ    *a    = (Mat_SeqBAIJ*)A->data,*b = (Mat_SeqBAIJ*)C->data;
2467cdf2dbbSSatish Balay   IS             isrow = b->row,isicol = b->icol;
2476849ba73SBarry Smith   PetscErrorCode ierr;
2485d0c19d7SBarry Smith   const PetscInt *r,*ic;
2495d0c19d7SBarry Smith   PetscInt       i,j,n = a->mbs,*bi = b->i,*bj = b->j;
250690b6cddSBarry Smith   PetscInt       *ajtmpold,*ajtmp,nz,row;
251690b6cddSBarry Smith   PetscInt       *diag_offset=b->diag,idx,*ai=a->i,*aj=a->j,*pj;
252329f5518SBarry Smith   MatScalar      *pv,*v,*rtmp,m1,m2,m3,m4,*pc,*w,*x,x1,x2,x3,x4;
2532515f8d2SSatish Balay   MatScalar      p1,p2,p3,p4;
2543f1db9ecSBarry Smith   MatScalar      *ba   = b->a,*aa = a->a;
255182b8fbaSHong Zhang   PetscReal      shift = info->shiftamount;
256a455e926SHong Zhang   PetscBool      allowzeropivot,zeropivotdetected;
2574eeb42bcSBarry Smith 
2583a40ed3dSBarry Smith   PetscFunctionBegin;
2590164db54SHong Zhang   allowzeropivot = PetscNot(A->erroriffailure);
2604eeb42bcSBarry Smith   ierr = ISGetIndices(isrow,&r);CHKERRQ(ierr);
2614eeb42bcSBarry Smith   ierr = ISGetIndices(isicol,&ic);CHKERRQ(ierr);
262785e854fSJed Brown   ierr = PetscMalloc1(4*(n+1),&rtmp);CHKERRQ(ierr);
2634eeb42bcSBarry Smith 
2644eeb42bcSBarry Smith   for (i=0; i<n; i++) {
2654078e994SBarry Smith     nz    = bi[i+1] - bi[i];
2664078e994SBarry Smith     ajtmp = bj + bi[i];
2674eeb42bcSBarry Smith     for  (j=0; j<nz; j++) {
2684eeb42bcSBarry Smith       x = rtmp+4*ajtmp[j]; x[0] = x[1] = x[2] = x[3] = 0.0;
2694eeb42bcSBarry Smith     }
2704eeb42bcSBarry Smith     /* load in initial (unfactored row) */
2714eeb42bcSBarry Smith     idx      = r[i];
2724078e994SBarry Smith     nz       = ai[idx+1] - ai[idx];
2734078e994SBarry Smith     ajtmpold = aj + ai[idx];
2744078e994SBarry Smith     v        = aa + 4*ai[idx];
2754eeb42bcSBarry Smith     for (j=0; j<nz; j++) {
2764eeb42bcSBarry Smith       x    = rtmp+4*ic[ajtmpold[j]];
2774eeb42bcSBarry Smith       x[0] = v[0]; x[1] = v[1]; x[2] = v[2]; x[3] = v[3];
2784eeb42bcSBarry Smith       v   += 4;
2794eeb42bcSBarry Smith     }
2804eeb42bcSBarry Smith     row = *ajtmp++;
2814eeb42bcSBarry Smith     while (row < i) {
2824eeb42bcSBarry Smith       pc = rtmp + 4*row;
2834eeb42bcSBarry Smith       p1 = pc[0]; p2 = pc[1]; p3 = pc[2]; p4 = pc[3];
284d4a378daSJed Brown       if (p1 != (PetscScalar)0.0 || p2 != (PetscScalar)0.0 || p3 != (PetscScalar)0.0 || p4 != (PetscScalar)0.0) {
2854078e994SBarry Smith         pv    = ba + 4*diag_offset[row];
2864078e994SBarry Smith         pj    = bj + diag_offset[row] + 1;
2874eeb42bcSBarry Smith         x1    = pv[0]; x2 = pv[1]; x3 = pv[2]; x4 = pv[3];
2884eeb42bcSBarry Smith         pc[0] = m1 = p1*x1 + p3*x2;
2894eeb42bcSBarry Smith         pc[1] = m2 = p2*x1 + p4*x2;
2904eeb42bcSBarry Smith         pc[2] = m3 = p1*x3 + p3*x4;
2914eeb42bcSBarry Smith         pc[3] = m4 = p2*x3 + p4*x4;
2924078e994SBarry Smith         nz    = bi[row+1] - diag_offset[row] - 1;
2934eeb42bcSBarry Smith         pv   += 4;
2944eeb42bcSBarry Smith         for (j=0; j<nz; j++) {
2954eeb42bcSBarry Smith           x1    = pv[0]; x2 = pv[1]; x3 = pv[2]; x4 = pv[3];
2964eeb42bcSBarry Smith           x     = rtmp + 4*pj[j];
2974eeb42bcSBarry Smith           x[0] -= m1*x1 + m3*x2;
2984eeb42bcSBarry Smith           x[1] -= m2*x1 + m4*x2;
2994eeb42bcSBarry Smith           x[2] -= m1*x3 + m3*x4;
3004eeb42bcSBarry Smith           x[3] -= m2*x3 + m4*x4;
3014eeb42bcSBarry Smith           pv   += 4;
3024eeb42bcSBarry Smith         }
303dc0b31edSSatish Balay         ierr = PetscLogFlops(16.0*nz+12.0);CHKERRQ(ierr);
3044eeb42bcSBarry Smith       }
3054eeb42bcSBarry Smith       row = *ajtmp++;
3064eeb42bcSBarry Smith     }
3074eeb42bcSBarry Smith     /* finished row so stick it into b->a */
3084078e994SBarry Smith     pv = ba + 4*bi[i];
3094078e994SBarry Smith     pj = bj + bi[i];
3104078e994SBarry Smith     nz = bi[i+1] - bi[i];
3114eeb42bcSBarry Smith     for (j=0; j<nz; j++) {
3124eeb42bcSBarry Smith       x     = rtmp+4*pj[j];
3134eeb42bcSBarry Smith       pv[0] = x[0]; pv[1] = x[1]; pv[2] = x[2]; pv[3] = x[3];
3144eeb42bcSBarry Smith       pv   += 4;
3154eeb42bcSBarry Smith     }
3164eeb42bcSBarry Smith     /* invert diagonal block */
3174078e994SBarry Smith     w    = ba + 4*diag_offset[i];
318a455e926SHong Zhang     ierr = PetscKernel_A_gets_inverse_A_2(w,shift,allowzeropivot,&zeropivotdetected);CHKERRQ(ierr);
3197b6c816cSBarry Smith     if (zeropivotdetected) C->factorerrortype = MAT_FACTOR_NUMERIC_ZEROPIVOT;
3204eeb42bcSBarry Smith   }
3214eeb42bcSBarry Smith 
322606d414cSSatish Balay   ierr = PetscFree(rtmp);CHKERRQ(ierr);
3234eeb42bcSBarry Smith   ierr = ISRestoreIndices(isicol,&ic);CHKERRQ(ierr);
3244eeb42bcSBarry Smith   ierr = ISRestoreIndices(isrow,&r);CHKERRQ(ierr);
32526fbe8dcSKarl Rupp 
32606e38f1dSHong Zhang   C->ops->solve          = MatSolve_SeqBAIJ_2_inplace;
32706e38f1dSHong Zhang   C->ops->solvetranspose = MatSolveTranspose_SeqBAIJ_2_inplace;
3284eeb42bcSBarry Smith   C->assembled           = PETSC_TRUE;
32926fbe8dcSKarl Rupp 
330766f9fbaSBarry Smith   ierr = PetscLogFlops(1.333333333333*8*b->mbs);CHKERRQ(ierr); /* from inverting diagonal blocks */
3313a40ed3dSBarry Smith   PetscFunctionReturn(0);
3324eeb42bcSBarry Smith }
3334cd38560SBarry Smith /*
3344cd38560SBarry Smith       Version for when blocks are 2 by 2 Using natural ordering
3354cd38560SBarry Smith */
33606e38f1dSHong Zhang PetscErrorCode MatLUFactorNumeric_SeqBAIJ_2_NaturalOrdering_inplace(Mat C,Mat A,const MatFactorInfo *info)
3374cd38560SBarry Smith {
3384cd38560SBarry Smith   Mat_SeqBAIJ    *a = (Mat_SeqBAIJ*)A->data,*b = (Mat_SeqBAIJ*)C->data;
339dfbe8321SBarry Smith   PetscErrorCode ierr;
340690b6cddSBarry Smith   PetscInt       i,j,n = a->mbs,*bi = b->i,*bj = b->j;
341690b6cddSBarry Smith   PetscInt       *ajtmpold,*ajtmp,nz,row;
342690b6cddSBarry Smith   PetscInt       *diag_offset = b->diag,*ai=a->i,*aj=a->j,*pj;
343329f5518SBarry Smith   MatScalar      *pv,*v,*rtmp,*pc,*w,*x;
3442515f8d2SSatish Balay   MatScalar      p1,p2,p3,p4,m1,m2,m3,m4,x1,x2,x3,x4;
3454cd38560SBarry Smith   MatScalar      *ba   = b->a,*aa = a->a;
346182b8fbaSHong Zhang   PetscReal      shift = info->shiftamount;
347a455e926SHong Zhang   PetscBool      allowzeropivot,zeropivotdetected;
3484cd38560SBarry Smith 
3494cd38560SBarry Smith   PetscFunctionBegin;
3500164db54SHong Zhang   allowzeropivot = PetscNot(A->erroriffailure);
351785e854fSJed Brown   ierr = PetscMalloc1(4*(n+1),&rtmp);CHKERRQ(ierr);
3524cd38560SBarry Smith   for (i=0; i<n; i++) {
3534cd38560SBarry Smith     nz    = bi[i+1] - bi[i];
3544cd38560SBarry Smith     ajtmp = bj + bi[i];
3554cd38560SBarry Smith     for  (j=0; j<nz; j++) {
3564cd38560SBarry Smith       x    = rtmp+4*ajtmp[j];
3574cd38560SBarry Smith       x[0] = x[1]  = x[2]  = x[3]  = 0.0;
3584cd38560SBarry Smith     }
3594cd38560SBarry Smith     /* load in initial (unfactored row) */
3604cd38560SBarry Smith     nz       = ai[i+1] - ai[i];
3614cd38560SBarry Smith     ajtmpold = aj + ai[i];
3624cd38560SBarry Smith     v        = aa + 4*ai[i];
3634cd38560SBarry Smith     for (j=0; j<nz; j++) {
3644cd38560SBarry Smith       x    = rtmp+4*ajtmpold[j];
3654cd38560SBarry Smith       x[0] = v[0];  x[1]  = v[1];  x[2]  = v[2];  x[3]  = v[3];
3664cd38560SBarry Smith       v   += 4;
3674cd38560SBarry Smith     }
3684cd38560SBarry Smith     row = *ajtmp++;
3694cd38560SBarry Smith     while (row < i) {
3704cd38560SBarry Smith       pc = rtmp + 4*row;
3714cd38560SBarry Smith       p1 = pc[0];  p2  = pc[1];  p3  = pc[2];  p4  = pc[3];
372d4a378daSJed Brown       if (p1 != (PetscScalar)0.0 || p2 != (PetscScalar)0.0 || p3 != (PetscScalar)0.0 || p4 != (PetscScalar)0.0) {
3734cd38560SBarry Smith         pv    = ba + 4*diag_offset[row];
3744cd38560SBarry Smith         pj    = bj + diag_offset[row] + 1;
3754cd38560SBarry Smith         x1    = pv[0];  x2  = pv[1];  x3  = pv[2];  x4  = pv[3];
3764cd38560SBarry Smith         pc[0] = m1 = p1*x1 + p3*x2;
3774cd38560SBarry Smith         pc[1] = m2 = p2*x1 + p4*x2;
3784cd38560SBarry Smith         pc[2] = m3 = p1*x3 + p3*x4;
3794cd38560SBarry Smith         pc[3] = m4 = p2*x3 + p4*x4;
3804cd38560SBarry Smith         nz    = bi[row+1] - diag_offset[row] - 1;
3814cd38560SBarry Smith         pv   += 4;
3824cd38560SBarry Smith         for (j=0; j<nz; j++) {
3834cd38560SBarry Smith           x1    = pv[0];  x2  = pv[1];   x3 = pv[2];  x4  = pv[3];
3844cd38560SBarry Smith           x     = rtmp + 4*pj[j];
3854cd38560SBarry Smith           x[0] -= m1*x1 + m3*x2;
3864cd38560SBarry Smith           x[1] -= m2*x1 + m4*x2;
3874cd38560SBarry Smith           x[2] -= m1*x3 + m3*x4;
3884cd38560SBarry Smith           x[3] -= m2*x3 + m4*x4;
3894cd38560SBarry Smith           pv   += 4;
3904cd38560SBarry Smith         }
391dc0b31edSSatish Balay         ierr = PetscLogFlops(16.0*nz+12.0);CHKERRQ(ierr);
3924cd38560SBarry Smith       }
3934cd38560SBarry Smith       row = *ajtmp++;
3944cd38560SBarry Smith     }
3954cd38560SBarry Smith     /* finished row so stick it into b->a */
3964cd38560SBarry Smith     pv = ba + 4*bi[i];
3974cd38560SBarry Smith     pj = bj + bi[i];
3984cd38560SBarry Smith     nz = bi[i+1] - bi[i];
3994cd38560SBarry Smith     for (j=0; j<nz; j++) {
4004cd38560SBarry Smith       x     = rtmp+4*pj[j];
4014cd38560SBarry Smith       pv[0] = x[0];  pv[1]  = x[1];  pv[2]  = x[2];  pv[3]  = x[3];
4022efa7f71SHong Zhang       /*
4032efa7f71SHong Zhang       printf(" col %d:",pj[j]);
4042efa7f71SHong Zhang       PetscInt j1;
4052efa7f71SHong Zhang       for (j1=0; j1<4; j1++) printf(" %g,",*(pv+j1));
4062efa7f71SHong Zhang       printf("\n");
4072efa7f71SHong Zhang       */
4084cd38560SBarry Smith       pv += 4;
4094cd38560SBarry Smith     }
4104cd38560SBarry Smith     /* invert diagonal block */
4114cd38560SBarry Smith     w = ba + 4*diag_offset[i];
412a455e926SHong Zhang     ierr = PetscKernel_A_gets_inverse_A_2(w,shift, allowzeropivot,&zeropivotdetected);CHKERRQ(ierr);
4137b6c816cSBarry Smith     if (zeropivotdetected) C->factorerrortype = MAT_FACTOR_NUMERIC_ZEROPIVOT;
4144cd38560SBarry Smith   }
4154cd38560SBarry Smith 
416606d414cSSatish Balay   ierr = PetscFree(rtmp);CHKERRQ(ierr);
41726fbe8dcSKarl Rupp 
41806e38f1dSHong Zhang   C->ops->solve          = MatSolve_SeqBAIJ_2_NaturalOrdering_inplace;
41906e38f1dSHong Zhang   C->ops->solvetranspose = MatSolveTranspose_SeqBAIJ_2_NaturalOrdering_inplace;
4204cd38560SBarry Smith   C->assembled           = PETSC_TRUE;
42126fbe8dcSKarl Rupp 
422766f9fbaSBarry Smith   ierr = PetscLogFlops(1.333333333333*8*b->mbs);CHKERRQ(ierr); /* from inverting diagonal blocks */
4234cd38560SBarry Smith   PetscFunctionReturn(0);
4244cd38560SBarry Smith }
4257fc0212eSBarry Smith 
4267fc0212eSBarry Smith /* ----------------------------------------------------------- */
4277fc0212eSBarry Smith /*
4287fc0212eSBarry Smith      Version for when blocks are 1 by 1.
4297fc0212eSBarry Smith */
430048b5e81SShri Abhyankar PetscErrorCode MatLUFactorNumeric_SeqBAIJ_1(Mat B,Mat A,const MatFactorInfo *info)
431048b5e81SShri Abhyankar {
432048b5e81SShri Abhyankar   Mat             C     =B;
433048b5e81SShri Abhyankar   Mat_SeqBAIJ     *a    =(Mat_SeqBAIJ*)A->data,*b=(Mat_SeqBAIJ*)C->data;
434048b5e81SShri Abhyankar   IS              isrow = b->row,isicol = b->icol;
435048b5e81SShri Abhyankar   PetscErrorCode  ierr;
436048b5e81SShri Abhyankar   const PetscInt  *r,*ic,*ics;
437048b5e81SShri Abhyankar   const PetscInt  n=a->mbs,*ai=a->i,*aj=a->j,*bi=b->i,*bj=b->j,*bdiag=b->diag;
438048b5e81SShri Abhyankar   PetscInt        i,j,k,nz,nzL,row,*pj;
439048b5e81SShri Abhyankar   const PetscInt  *ajtmp,*bjtmp;
440048b5e81SShri Abhyankar   MatScalar       *rtmp,*pc,multiplier,*pv;
441048b5e81SShri Abhyankar   const MatScalar *aa=a->a,*v;
442ace3abfcSBarry Smith   PetscBool       row_identity,col_identity;
443048b5e81SShri Abhyankar   FactorShiftCtx  sctx;
444048b5e81SShri Abhyankar   const PetscInt  *ddiag;
445048b5e81SShri Abhyankar   PetscReal       rs;
446048b5e81SShri Abhyankar   MatScalar       d;
447048b5e81SShri Abhyankar 
448048b5e81SShri Abhyankar   PetscFunctionBegin;
449048b5e81SShri Abhyankar   /* MatPivotSetUp(): initialize shift context sctx */
450048b5e81SShri Abhyankar   ierr = PetscMemzero(&sctx,sizeof(FactorShiftCtx));CHKERRQ(ierr);
451048b5e81SShri Abhyankar 
452048b5e81SShri Abhyankar   if (info->shifttype == (PetscReal) MAT_SHIFT_POSITIVE_DEFINITE) { /* set sctx.shift_top=max{rs} */
453048b5e81SShri Abhyankar     ddiag          = a->diag;
454048b5e81SShri Abhyankar     sctx.shift_top = info->zeropivot;
455048b5e81SShri Abhyankar     for (i=0; i<n; i++) {
456048b5e81SShri Abhyankar       /* calculate sum(|aij|)-RealPart(aii), amt of shift needed for this row */
457048b5e81SShri Abhyankar       d  = (aa)[ddiag[i]];
458048b5e81SShri Abhyankar       rs = -PetscAbsScalar(d) - PetscRealPart(d);
459048b5e81SShri Abhyankar       v  = aa+ai[i];
460048b5e81SShri Abhyankar       nz = ai[i+1] - ai[i];
46126fbe8dcSKarl Rupp       for (j=0; j<nz; j++) rs += PetscAbsScalar(v[j]);
462048b5e81SShri Abhyankar       if (rs>sctx.shift_top) sctx.shift_top = rs;
463048b5e81SShri Abhyankar     }
464048b5e81SShri Abhyankar     sctx.shift_top *= 1.1;
465048b5e81SShri Abhyankar     sctx.nshift_max = 5;
466048b5e81SShri Abhyankar     sctx.shift_lo   = 0.;
467048b5e81SShri Abhyankar     sctx.shift_hi   = 1.;
468048b5e81SShri Abhyankar   }
469048b5e81SShri Abhyankar 
470048b5e81SShri Abhyankar   ierr = ISGetIndices(isrow,&r);CHKERRQ(ierr);
471048b5e81SShri Abhyankar   ierr = ISGetIndices(isicol,&ic);CHKERRQ(ierr);
472854ce69bSBarry Smith   ierr = PetscMalloc1(n+1,&rtmp);CHKERRQ(ierr);
473048b5e81SShri Abhyankar   ics  = ic;
474048b5e81SShri Abhyankar 
475048b5e81SShri Abhyankar   do {
476048b5e81SShri Abhyankar     sctx.newshift = PETSC_FALSE;
477048b5e81SShri Abhyankar     for (i=0; i<n; i++) {
478048b5e81SShri Abhyankar       /* zero rtmp */
479048b5e81SShri Abhyankar       /* L part */
480048b5e81SShri Abhyankar       nz    = bi[i+1] - bi[i];
481048b5e81SShri Abhyankar       bjtmp = bj + bi[i];
482048b5e81SShri Abhyankar       for  (j=0; j<nz; j++) rtmp[bjtmp[j]] = 0.0;
483048b5e81SShri Abhyankar 
484048b5e81SShri Abhyankar       /* U part */
485048b5e81SShri Abhyankar       nz    = bdiag[i]-bdiag[i+1];
486048b5e81SShri Abhyankar       bjtmp = bj + bdiag[i+1]+1;
487048b5e81SShri Abhyankar       for  (j=0; j<nz; j++) rtmp[bjtmp[j]] = 0.0;
488048b5e81SShri Abhyankar 
489048b5e81SShri Abhyankar       /* load in initial (unfactored row) */
490048b5e81SShri Abhyankar       nz    = ai[r[i]+1] - ai[r[i]];
491048b5e81SShri Abhyankar       ajtmp = aj + ai[r[i]];
492048b5e81SShri Abhyankar       v     = aa + ai[r[i]];
49326fbe8dcSKarl Rupp       for (j=0; j<nz; j++) rtmp[ics[ajtmp[j]]] = v[j];
49426fbe8dcSKarl Rupp 
495048b5e81SShri Abhyankar       /* ZeropivotApply() */
496048b5e81SShri Abhyankar       rtmp[i] += sctx.shift_amount;  /* shift the diagonal of the matrix */
497048b5e81SShri Abhyankar 
498048b5e81SShri Abhyankar       /* elimination */
499048b5e81SShri Abhyankar       bjtmp = bj + bi[i];
500048b5e81SShri Abhyankar       row   = *bjtmp++;
501048b5e81SShri Abhyankar       nzL   = bi[i+1] - bi[i];
502048b5e81SShri Abhyankar       for (k=0; k < nzL; k++) {
503048b5e81SShri Abhyankar         pc = rtmp + row;
504d4a378daSJed Brown         if (*pc != (PetscScalar)0.0) {
505048b5e81SShri Abhyankar           pv         = b->a + bdiag[row];
506048b5e81SShri Abhyankar           multiplier = *pc * (*pv);
507048b5e81SShri Abhyankar           *pc        = multiplier;
50826fbe8dcSKarl Rupp 
509048b5e81SShri Abhyankar           pj = b->j + bdiag[row+1]+1; /* beginning of U(row,:) */
510048b5e81SShri Abhyankar           pv = b->a + bdiag[row+1]+1;
511048b5e81SShri Abhyankar           nz = bdiag[row]-bdiag[row+1]-1; /* num of entries in U(row,:) excluding diag */
512048b5e81SShri Abhyankar           for (j=0; j<nz; j++) rtmp[pj[j]] -= multiplier * pv[j];
513048b5e81SShri Abhyankar           ierr = PetscLogFlops(2.0*nz);CHKERRQ(ierr);
514048b5e81SShri Abhyankar         }
515048b5e81SShri Abhyankar         row = *bjtmp++;
516048b5e81SShri Abhyankar       }
517048b5e81SShri Abhyankar 
518048b5e81SShri Abhyankar       /* finished row so stick it into b->a */
519048b5e81SShri Abhyankar       rs = 0.0;
520048b5e81SShri Abhyankar       /* L part */
521048b5e81SShri Abhyankar       pv = b->a + bi[i];
522048b5e81SShri Abhyankar       pj = b->j + bi[i];
523048b5e81SShri Abhyankar       nz = bi[i+1] - bi[i];
524048b5e81SShri Abhyankar       for (j=0; j<nz; j++) {
525048b5e81SShri Abhyankar         pv[j] = rtmp[pj[j]]; rs += PetscAbsScalar(pv[j]);
526048b5e81SShri Abhyankar       }
527048b5e81SShri Abhyankar 
528048b5e81SShri Abhyankar       /* U part */
529048b5e81SShri Abhyankar       pv = b->a + bdiag[i+1]+1;
530048b5e81SShri Abhyankar       pj = b->j + bdiag[i+1]+1;
531048b5e81SShri Abhyankar       nz = bdiag[i] - bdiag[i+1]-1;
532048b5e81SShri Abhyankar       for (j=0; j<nz; j++) {
533048b5e81SShri Abhyankar         pv[j] = rtmp[pj[j]]; rs += PetscAbsScalar(pv[j]);
534048b5e81SShri Abhyankar       }
535048b5e81SShri Abhyankar 
536048b5e81SShri Abhyankar       sctx.rs = rs;
537048b5e81SShri Abhyankar       sctx.pv = rtmp[i];
5384cccfbddSHong Zhang       ierr    = MatPivotCheck(B,A,info,&sctx,i);CHKERRQ(ierr);
539048b5e81SShri Abhyankar       if (sctx.newshift) break; /* break for-loop */
540048b5e81SShri Abhyankar       rtmp[i] = sctx.pv; /* sctx.pv might be updated in the case of MAT_SHIFT_INBLOCKS */
541048b5e81SShri Abhyankar 
542a5b23f4aSJose E. Roman       /* Mark diagonal and invert diagonal for simpler triangular solves */
543048b5e81SShri Abhyankar       pv  = b->a + bdiag[i];
544d4a378daSJed Brown       *pv = (PetscScalar)1.0/rtmp[i];
545048b5e81SShri Abhyankar 
546048b5e81SShri Abhyankar     } /* endof for (i=0; i<n; i++) { */
547048b5e81SShri Abhyankar 
548048b5e81SShri Abhyankar     /* MatPivotRefine() */
549048b5e81SShri Abhyankar     if (info->shifttype == (PetscReal)MAT_SHIFT_POSITIVE_DEFINITE && !sctx.newshift && sctx.shift_fraction>0 && sctx.nshift<sctx.nshift_max) {
550048b5e81SShri Abhyankar       /*
551048b5e81SShri Abhyankar        * if no shift in this attempt & shifting & started shifting & can refine,
552048b5e81SShri Abhyankar        * then try lower shift
553048b5e81SShri Abhyankar        */
554048b5e81SShri Abhyankar       sctx.shift_hi       = sctx.shift_fraction;
555048b5e81SShri Abhyankar       sctx.shift_fraction = (sctx.shift_hi+sctx.shift_lo)/2.;
556048b5e81SShri Abhyankar       sctx.shift_amount   = sctx.shift_fraction * sctx.shift_top;
557048b5e81SShri Abhyankar       sctx.newshift       = PETSC_TRUE;
558048b5e81SShri Abhyankar       sctx.nshift++;
559048b5e81SShri Abhyankar     }
560048b5e81SShri Abhyankar   } while (sctx.newshift);
561048b5e81SShri Abhyankar 
562048b5e81SShri Abhyankar   ierr = PetscFree(rtmp);CHKERRQ(ierr);
563048b5e81SShri Abhyankar   ierr = ISRestoreIndices(isicol,&ic);CHKERRQ(ierr);
564048b5e81SShri Abhyankar   ierr = ISRestoreIndices(isrow,&r);CHKERRQ(ierr);
565048b5e81SShri Abhyankar 
566048b5e81SShri Abhyankar   ierr = ISIdentity(isrow,&row_identity);CHKERRQ(ierr);
567048b5e81SShri Abhyankar   ierr = ISIdentity(isicol,&col_identity);CHKERRQ(ierr);
568048b5e81SShri Abhyankar   if (row_identity && col_identity) {
569048b5e81SShri Abhyankar     C->ops->solve          = MatSolve_SeqBAIJ_1_NaturalOrdering;
5709f5c0bcdSBarry Smith     C->ops->forwardsolve   = MatForwardSolve_SeqBAIJ_1_NaturalOrdering;
5719f5c0bcdSBarry Smith     C->ops->backwardsolve  = MatBackwardSolve_SeqBAIJ_1_NaturalOrdering;
57293fd935bSShri Abhyankar     C->ops->solvetranspose = MatSolveTranspose_SeqBAIJ_1_NaturalOrdering;
573048b5e81SShri Abhyankar   } else {
574048b5e81SShri Abhyankar     C->ops->solve          = MatSolve_SeqBAIJ_1;
57593fd935bSShri Abhyankar     C->ops->solvetranspose = MatSolveTranspose_SeqBAIJ_1;
576048b5e81SShri Abhyankar   }
577048b5e81SShri Abhyankar   C->assembled = PETSC_TRUE;
578048b5e81SShri Abhyankar   ierr         = PetscLogFlops(C->cmap->n);CHKERRQ(ierr);
579048b5e81SShri Abhyankar 
580048b5e81SShri Abhyankar   /* MatShiftView(A,info,&sctx) */
581048b5e81SShri Abhyankar   if (sctx.nshift) {
582048b5e81SShri Abhyankar     if (info->shifttype == (PetscReal)MAT_SHIFT_POSITIVE_DEFINITE) {
5837d3de750SJacob Faibussowitsch       ierr = PetscInfo(A,"number of shift_pd tries %" PetscInt_FMT ", shift_amount %g, diagonal shifted up by %e fraction top_value %e\n",sctx.nshift,(double)sctx.shift_amount,(double)sctx.shift_fraction,(double)sctx.shift_top);CHKERRQ(ierr);
584048b5e81SShri Abhyankar     } else if (info->shifttype == (PetscReal)MAT_SHIFT_NONZERO) {
5857d3de750SJacob Faibussowitsch       ierr = PetscInfo(A,"number of shift_nz tries %" PetscInt_FMT ", shift_amount %g\n",sctx.nshift,(double)sctx.shift_amount);CHKERRQ(ierr);
586048b5e81SShri Abhyankar     } else if (info->shifttype == (PetscReal)MAT_SHIFT_INBLOCKS) {
5877d3de750SJacob Faibussowitsch       ierr = PetscInfo(A,"number of shift_inblocks applied %" PetscInt_FMT ", each shift_amount %g\n",sctx.nshift,(double)info->shiftamount);CHKERRQ(ierr);
588048b5e81SShri Abhyankar     }
589048b5e81SShri Abhyankar   }
590048b5e81SShri Abhyankar   PetscFunctionReturn(0);
591048b5e81SShri Abhyankar }
592048b5e81SShri Abhyankar 
59306e38f1dSHong Zhang PetscErrorCode MatLUFactorNumeric_SeqBAIJ_1_inplace(Mat C,Mat A,const MatFactorInfo *info)
5947fc0212eSBarry Smith {
5957fc0212eSBarry Smith   Mat_SeqBAIJ    *a    = (Mat_SeqBAIJ*)A->data,*b = (Mat_SeqBAIJ*)C->data;
5967cdf2dbbSSatish Balay   IS             isrow = b->row,isicol = b->icol;
5976849ba73SBarry Smith   PetscErrorCode ierr;
5985d0c19d7SBarry Smith   const PetscInt *r,*ic;
5995d0c19d7SBarry Smith   PetscInt       i,j,n = a->mbs,*bi = b->i,*bj = b->j;
600690b6cddSBarry Smith   PetscInt       *ajtmpold,*ajtmp,nz,row,*ai = a->i,*aj = a->j;
601690b6cddSBarry Smith   PetscInt       *diag_offset = b->diag,diag,*pj;
602329f5518SBarry Smith   MatScalar      *pv,*v,*rtmp,multiplier,*pc;
6033f1db9ecSBarry Smith   MatScalar      *ba = b->a,*aa = a->a;
604ace3abfcSBarry Smith   PetscBool      row_identity, col_identity;
6057fc0212eSBarry Smith 
6063a40ed3dSBarry Smith   PetscFunctionBegin;
6077fc0212eSBarry Smith   ierr = ISGetIndices(isrow,&r);CHKERRQ(ierr);
6087fc0212eSBarry Smith   ierr = ISGetIndices(isicol,&ic);CHKERRQ(ierr);
609854ce69bSBarry Smith   ierr = PetscMalloc1(n+1,&rtmp);CHKERRQ(ierr);
6107fc0212eSBarry Smith 
6117fc0212eSBarry Smith   for (i=0; i<n; i++) {
6124078e994SBarry Smith     nz    = bi[i+1] - bi[i];
6134078e994SBarry Smith     ajtmp = bj + bi[i];
6147fc0212eSBarry Smith     for  (j=0; j<nz; j++) rtmp[ajtmp[j]] = 0.0;
6157fc0212eSBarry Smith 
6167fc0212eSBarry Smith     /* load in initial (unfactored row) */
6174078e994SBarry Smith     nz       = ai[r[i]+1] - ai[r[i]];
6184078e994SBarry Smith     ajtmpold = aj + ai[r[i]];
6194078e994SBarry Smith     v        = aa + ai[r[i]];
6207fc0212eSBarry Smith     for (j=0; j<nz; j++) rtmp[ic[ajtmpold[j]]] =  v[j];
6217fc0212eSBarry Smith 
6227fc0212eSBarry Smith     row = *ajtmp++;
6237fc0212eSBarry Smith     while (row < i) {
6247fc0212eSBarry Smith       pc = rtmp + row;
6257fc0212eSBarry Smith       if (*pc != 0.0) {
6264078e994SBarry Smith         pv         = ba + diag_offset[row];
6274078e994SBarry Smith         pj         = bj + diag_offset[row] + 1;
6287fc0212eSBarry Smith         multiplier = *pc * *pv++;
6297fc0212eSBarry Smith         *pc        = multiplier;
6304078e994SBarry Smith         nz         = bi[row+1] - diag_offset[row] - 1;
6317fc0212eSBarry Smith         for (j=0; j<nz; j++) rtmp[pj[j]] -= multiplier * pv[j];
632dc0b31edSSatish Balay         ierr = PetscLogFlops(1.0+2.0*nz);CHKERRQ(ierr);
6337fc0212eSBarry Smith       }
6347fc0212eSBarry Smith       row = *ajtmp++;
6357fc0212eSBarry Smith     }
6367fc0212eSBarry Smith     /* finished row so stick it into b->a */
6374078e994SBarry Smith     pv = ba + bi[i];
6384078e994SBarry Smith     pj = bj + bi[i];
6394078e994SBarry Smith     nz = bi[i+1] - bi[i];
64026fbe8dcSKarl Rupp     for (j=0; j<nz; j++) pv[j] = rtmp[pj[j]];
6414078e994SBarry Smith     diag = diag_offset[i] - bi[i];
6427fc0212eSBarry Smith     /* check pivot entry for current row */
643*2c71b3e2SJacob Faibussowitsch     PetscCheckFalse(pv[diag] == 0.0,PETSC_COMM_SELF,PETSC_ERR_MAT_LU_ZRPVT,"Zero pivot: row in original ordering %" PetscInt_FMT " in permuted ordering %" PetscInt_FMT,r[i],i);
6447fc0212eSBarry Smith     pv[diag] = 1.0/pv[diag];
6457fc0212eSBarry Smith   }
6467fc0212eSBarry Smith 
647606d414cSSatish Balay   ierr = PetscFree(rtmp);CHKERRQ(ierr);
6487fc0212eSBarry Smith   ierr = ISRestoreIndices(isicol,&ic);CHKERRQ(ierr);
6497fc0212eSBarry Smith   ierr = ISRestoreIndices(isrow,&r);CHKERRQ(ierr);
650f58c8c74SBarry Smith   ierr = ISIdentity(isrow,&row_identity);CHKERRQ(ierr);
651f58c8c74SBarry Smith   ierr = ISIdentity(isicol,&col_identity);CHKERRQ(ierr);
652f58c8c74SBarry Smith   if (row_identity && col_identity) {
65306e38f1dSHong Zhang     C->ops->solve          = MatSolve_SeqBAIJ_1_NaturalOrdering_inplace;
65406e38f1dSHong Zhang     C->ops->solvetranspose = MatSolveTranspose_SeqBAIJ_1_NaturalOrdering_inplace;
655f58c8c74SBarry Smith   } else {
65606e38f1dSHong Zhang     C->ops->solve          = MatSolve_SeqBAIJ_1_inplace;
65706e38f1dSHong Zhang     C->ops->solvetranspose = MatSolveTranspose_SeqBAIJ_1_inplace;
658f58c8c74SBarry Smith   }
6597fc0212eSBarry Smith   C->assembled = PETSC_TRUE;
660d0f46423SBarry Smith   ierr         = PetscLogFlops(C->cmap->n);CHKERRQ(ierr);
6613a40ed3dSBarry Smith   PetscFunctionReturn(0);
6627fc0212eSBarry Smith }
6637fc0212eSBarry Smith 
6644ac6704cSBarry Smith static PetscErrorCode MatFactorGetSolverType_petsc(Mat A,MatSolverType *type)
6654ac6704cSBarry Smith {
6664ac6704cSBarry Smith   PetscFunctionBegin;
6674ac6704cSBarry Smith   *type = MATSOLVERPETSC;
6684ac6704cSBarry Smith   PetscFunctionReturn(0);
6694ac6704cSBarry Smith }
6704ac6704cSBarry Smith 
671fd9d3c67SJed Brown PETSC_INTERN PetscErrorCode MatGetFactor_seqbaij_petsc(Mat A,MatFactorType ftype,Mat *B)
672b24902e0SBarry Smith {
673d0f46423SBarry Smith   PetscInt       n = A->rmap->n;
674b24902e0SBarry Smith   PetscErrorCode ierr;
675b24902e0SBarry Smith 
676b24902e0SBarry Smith   PetscFunctionBegin;
677b499a2aeSHong Zhang #if defined(PETSC_USE_COMPLEX)
678*2c71b3e2SJacob Faibussowitsch   PetscCheckFalse(A->hermitian && (ftype == MAT_FACTOR_CHOLESKY || ftype == MAT_FACTOR_ICC),PETSC_COMM_SELF,PETSC_ERR_SUP,"Hermitian Factor is not supported");
679b499a2aeSHong Zhang #endif
680ce94432eSBarry Smith   ierr = MatCreate(PetscObjectComm((PetscObject)A),B);CHKERRQ(ierr);
681b24902e0SBarry Smith   ierr = MatSetSizes(*B,n,n,n,n);CHKERRQ(ierr);
682c8342467SHong Zhang   if (ftype == MAT_FACTOR_LU || ftype == MAT_FACTOR_ILU || ftype == MAT_FACTOR_ILUDT) {
683b24902e0SBarry Smith     ierr = MatSetType(*B,MATSEQBAIJ);CHKERRQ(ierr);
68426fbe8dcSKarl Rupp 
6854dd39f65SShri Abhyankar     (*B)->ops->lufactorsymbolic  = MatLUFactorSymbolic_SeqBAIJ;
6864dd39f65SShri Abhyankar     (*B)->ops->ilufactorsymbolic = MatILUFactorSymbolic_SeqBAIJ;
6874ac6704cSBarry Smith     ierr = PetscStrallocpy(MATORDERINGND,(char**)&(*B)->preferredordering[MAT_FACTOR_LU]);CHKERRQ(ierr);
6884ac6704cSBarry Smith     ierr = PetscStrallocpy(MATORDERINGNATURAL,(char**)&(*B)->preferredordering[MAT_FACTOR_ILU]);CHKERRQ(ierr);
6894ac6704cSBarry Smith     ierr = PetscStrallocpy(MATORDERINGNATURAL,(char**)&(*B)->preferredordering[MAT_FACTOR_ILUDT]);CHKERRQ(ierr);
690b24902e0SBarry Smith   } else if (ftype == MAT_FACTOR_CHOLESKY || ftype == MAT_FACTOR_ICC) {
691b24902e0SBarry Smith     ierr = MatSetType(*B,MATSEQSBAIJ);CHKERRQ(ierr);
6920298fd71SBarry Smith     ierr = MatSeqSBAIJSetPreallocation(*B,A->rmap->bs,MAT_SKIP_ALLOCATION,NULL);CHKERRQ(ierr);
69326fbe8dcSKarl Rupp 
6945c9eb25fSBarry Smith     (*B)->ops->iccfactorsymbolic      = MatICCFactorSymbolic_SeqBAIJ;
6955c9eb25fSBarry Smith     (*B)->ops->choleskyfactorsymbolic = MatCholeskyFactorSymbolic_SeqBAIJ;
6964ac6704cSBarry Smith     /*  Future optimization would be direct symbolic and numerical factorization for BAIJ to support orderings and Cholesky, instead of first converting to SBAIJ */
6974ac6704cSBarry Smith     ierr = PetscStrallocpy(MATORDERINGNATURAL,(char**)&(*B)->preferredordering[MAT_FACTOR_CHOLESKY]);CHKERRQ(ierr);
6984ac6704cSBarry Smith     ierr = PetscStrallocpy(MATORDERINGNATURAL,(char**)&(*B)->preferredordering[MAT_FACTOR_ICC]);CHKERRQ(ierr);
699e32f2f54SBarry Smith   } else SETERRQ(PETSC_COMM_SELF,PETSC_ERR_SUP,"Factor type not supported");
700d5f3da31SBarry Smith   (*B)->factortype = ftype;
701f73b0415SBarry Smith   (*B)->canuseordering = PETSC_TRUE;
70200c67f3bSHong Zhang 
70300c67f3bSHong Zhang   ierr = PetscFree((*B)->solvertype);CHKERRQ(ierr);
70400c67f3bSHong Zhang   ierr = PetscStrallocpy(MATSOLVERPETSC,&(*B)->solvertype);CHKERRQ(ierr);
7054ac6704cSBarry Smith   ierr = PetscObjectComposeFunction((PetscObject)*B,"MatFactorGetSolverType_C",MatFactorGetSolverType_petsc);CHKERRQ(ierr);
706b24902e0SBarry Smith   PetscFunctionReturn(0);
707b24902e0SBarry Smith }
708273d9f13SBarry Smith 
7095d517e7eSBarry Smith /* ----------------------------------------------------------- */
7100481f469SBarry Smith PetscErrorCode MatLUFactor_SeqBAIJ(Mat A,IS row,IS col,const MatFactorInfo *info)
7115d517e7eSBarry Smith {
712dfbe8321SBarry Smith   PetscErrorCode ierr;
7135d517e7eSBarry Smith   Mat            C;
7145d517e7eSBarry Smith 
7153a40ed3dSBarry Smith   PetscFunctionBegin;
7162692d6eeSBarry Smith   ierr = MatGetFactor(A,MATSOLVERPETSC,MAT_FACTOR_LU,&C);CHKERRQ(ierr);
717719d5645SBarry Smith   ierr = MatLUFactorSymbolic(C,A,row,col,info);CHKERRQ(ierr);
718719d5645SBarry Smith   ierr = MatLUFactorNumeric(C,A,info);CHKERRQ(ierr);
71926fbe8dcSKarl Rupp 
720db4efbfdSBarry Smith   A->ops->solve          = C->ops->solve;
721db4efbfdSBarry Smith   A->ops->solvetranspose = C->ops->solvetranspose;
72226fbe8dcSKarl Rupp 
72328be2f97SBarry Smith   ierr = MatHeaderMerge(A,&C);CHKERRQ(ierr);
7243bb1ff40SBarry Smith   ierr = PetscLogObjectParent((PetscObject)A,(PetscObject)((Mat_SeqBAIJ*)(A->data))->icol);CHKERRQ(ierr);
7253a40ed3dSBarry Smith   PetscFunctionReturn(0);
7265d517e7eSBarry Smith }
7274cd38560SBarry Smith 
728c6db04a5SJed Brown #include <../src/mat/impls/sbaij/seq/sbaij.h>
7290481f469SBarry Smith PetscErrorCode MatCholeskyFactorNumeric_SeqBAIJ_N(Mat C,Mat A,const MatFactorInfo *info)
730c05c3958SHong Zhang {
731f3086b4bSHong Zhang   PetscErrorCode ierr;
73278910aadSHong Zhang   Mat_SeqBAIJ    *a=(Mat_SeqBAIJ*)A->data;
73378910aadSHong Zhang   Mat_SeqSBAIJ   *b=(Mat_SeqSBAIJ*)C->data;
73478910aadSHong Zhang   IS             ip=b->row;
7355d0c19d7SBarry Smith   const PetscInt *rip;
7365d0c19d7SBarry Smith   PetscInt       i,j,mbs=a->mbs,bs=A->rmap->bs,*bi=b->i,*bj=b->j,*bcol;
73778910aadSHong Zhang   PetscInt       *ai=a->i,*aj=a->j;
73878910aadSHong Zhang   PetscInt       k,jmin,jmax,*jl,*il,col,nexti,ili,nz;
73978910aadSHong Zhang   MatScalar      *rtmp,*ba=b->a,*bval,*aa=a->a,dk,uikdi;
74007b50cabSHong Zhang   PetscReal      rs;
7410e95ead3SHong Zhang   FactorShiftCtx sctx;
74278910aadSHong Zhang 
743c05c3958SHong Zhang   PetscFunctionBegin;
74407b50cabSHong Zhang   if (bs > 1) { /* convert A to a SBAIJ matrix and apply Cholesky factorization from it */
7456ad2eaddSHong Zhang     if (!a->sbaijMat) {
746ceb03754SKris Buschelman       ierr = MatConvert(A,MATSEQSBAIJ,MAT_INITIAL_MATRIX,&a->sbaijMat);CHKERRQ(ierr);
7476ad2eaddSHong Zhang     }
748719d5645SBarry Smith     ierr = (a->sbaijMat)->ops->choleskyfactornumeric(C,a->sbaijMat,info);CHKERRQ(ierr);
7496bf464f9SBarry Smith     ierr = MatDestroy(&a->sbaijMat);CHKERRQ(ierr);
7506ad2eaddSHong Zhang     PetscFunctionReturn(0);
7516ad2eaddSHong Zhang   }
75278910aadSHong Zhang 
75307b50cabSHong Zhang   /* MatPivotSetUp(): initialize shift context sctx */
75407b50cabSHong Zhang   ierr = PetscMemzero(&sctx,sizeof(FactorShiftCtx));CHKERRQ(ierr);
7553cea4cbeSHong Zhang 
7566ad2eaddSHong Zhang   ierr = ISGetIndices(ip,&rip);CHKERRQ(ierr);
757dcca6d9dSJed Brown   ierr = PetscMalloc3(mbs,&rtmp,mbs,&il,mbs,&jl);CHKERRQ(ierr);
75878910aadSHong Zhang 
75975567043SBarry Smith   sctx.shift_amount = 0.;
7603cea4cbeSHong Zhang   sctx.nshift       = 0;
76178910aadSHong Zhang   do {
76207b50cabSHong Zhang     sctx.newshift = PETSC_FALSE;
76378910aadSHong Zhang     for (i=0; i<mbs; i++) {
764e60cf9a0SBarry Smith       rtmp[i] = 0.0; jl[i] = mbs; il[0] = 0;
76578910aadSHong Zhang     }
76678910aadSHong Zhang 
76778910aadSHong Zhang     for (k = 0; k<mbs; k++) {
76878910aadSHong Zhang       bval = ba + bi[k];
76978910aadSHong Zhang       /* initialize k-th row by the perm[k]-th row of A */
77078910aadSHong Zhang       jmin = ai[rip[k]]; jmax = ai[rip[k]+1];
77178910aadSHong Zhang       for (j = jmin; j < jmax; j++) {
77278910aadSHong Zhang         col = rip[aj[j]];
77378910aadSHong Zhang         if (col >= k) { /* only take upper triangular entry */
77478910aadSHong Zhang           rtmp[col] = aa[j];
77578910aadSHong Zhang           *bval++   = 0.0; /* for in-place factorization */
77678910aadSHong Zhang         }
77778910aadSHong Zhang       }
7783cea4cbeSHong Zhang 
7793cea4cbeSHong Zhang       /* shift the diagonal of the matrix */
7803cea4cbeSHong Zhang       if (sctx.nshift) rtmp[k] += sctx.shift_amount;
78178910aadSHong Zhang 
78278910aadSHong Zhang       /* modify k-th row by adding in those rows i with U(i,k)!=0 */
78378910aadSHong Zhang       dk = rtmp[k];
78478910aadSHong Zhang       i  = jl[k]; /* first row to be added to k_th row  */
78578910aadSHong Zhang 
78678910aadSHong Zhang       while (i < k) {
78778910aadSHong Zhang         nexti = jl[i]; /* next row to be added to k_th row */
78878910aadSHong Zhang 
78978910aadSHong Zhang         /* compute multiplier, update diag(k) and U(i,k) */
79078910aadSHong Zhang         ili     = il[i]; /* index of first nonzero element in U(i,k:bms-1) */
79178910aadSHong Zhang         uikdi   = -ba[ili]*ba[bi[i]]; /* diagonal(k) */
79278910aadSHong Zhang         dk     += uikdi*ba[ili];
79378910aadSHong Zhang         ba[ili] = uikdi; /* -U(i,k) */
79478910aadSHong Zhang 
79578910aadSHong Zhang         /* add multiple of row i to k-th row */
79678910aadSHong Zhang         jmin = ili + 1; jmax = bi[i+1];
79778910aadSHong Zhang         if (jmin < jmax) {
79878910aadSHong Zhang           for (j=jmin; j<jmax; j++) rtmp[bj[j]] += uikdi*ba[j];
79978910aadSHong Zhang           /* update il and jl for row i */
80078910aadSHong Zhang           il[i] = jmin;
80178910aadSHong Zhang           j     = bj[jmin]; jl[i] = jl[j]; jl[j] = i;
80278910aadSHong Zhang         }
80378910aadSHong Zhang         i = nexti;
80478910aadSHong Zhang       }
80578910aadSHong Zhang 
8063cea4cbeSHong Zhang       /* shift the diagonals when zero pivot is detected */
8073cea4cbeSHong Zhang       /* compute rs=sum of abs(off-diagonal) */
8083cea4cbeSHong Zhang       rs   = 0.0;
80978910aadSHong Zhang       jmin = bi[k]+1;
81078910aadSHong Zhang       nz   = bi[k+1] - jmin;
81178910aadSHong Zhang       if (nz) {
81278910aadSHong Zhang         bcol = bj + jmin;
81378910aadSHong Zhang         while (nz--) {
81489f845c8SHong Zhang           rs += PetscAbsScalar(rtmp[*bcol]);
81589f845c8SHong Zhang           bcol++;
81678910aadSHong Zhang         }
81778910aadSHong Zhang       }
8183cea4cbeSHong Zhang 
8193cea4cbeSHong Zhang       sctx.rs = rs;
8203cea4cbeSHong Zhang       sctx.pv = dk;
8214cccfbddSHong Zhang       ierr    = MatPivotCheck(C,A,info,&sctx,k);CHKERRQ(ierr);
82207b50cabSHong Zhang       if (sctx.newshift) break;
8230e95ead3SHong Zhang       dk = sctx.pv;
82478910aadSHong Zhang 
82578910aadSHong Zhang       /* copy data into U(k,:) */
82678910aadSHong Zhang       ba[bi[k]] = 1.0/dk; /* U(k,k) */
82778910aadSHong Zhang       jmin      = bi[k]+1; jmax = bi[k+1];
82878910aadSHong Zhang       if (jmin < jmax) {
82978910aadSHong Zhang         for (j=jmin; j<jmax; j++) {
83078910aadSHong Zhang           col = bj[j]; ba[j] = rtmp[col]; rtmp[col] = 0.0;
83178910aadSHong Zhang         }
83278910aadSHong Zhang         /* add the k-th row into il and jl */
83378910aadSHong Zhang         il[k] = jmin;
83478910aadSHong Zhang         i     = bj[jmin]; jl[k] = jl[i]; jl[i] = k;
83578910aadSHong Zhang       }
83678910aadSHong Zhang     }
83707b50cabSHong Zhang   } while (sctx.newshift);
838fca92195SBarry Smith   ierr = PetscFree3(rtmp,il,jl);CHKERRQ(ierr);
83978910aadSHong Zhang 
84078910aadSHong Zhang   ierr = ISRestoreIndices(ip,&rip);CHKERRQ(ierr);
84126fbe8dcSKarl Rupp 
84278910aadSHong Zhang   C->assembled    = PETSC_TRUE;
84378910aadSHong Zhang   C->preallocated = PETSC_TRUE;
84426fbe8dcSKarl Rupp 
845d0f46423SBarry Smith   ierr = PetscLogFlops(C->rmap->N);CHKERRQ(ierr);
8463cea4cbeSHong Zhang   if (sctx.nshift) {
847f4db908eSBarry Smith     if (info->shifttype == (PetscReal)MAT_SHIFT_POSITIVE_DEFINITE) {
8487d3de750SJacob Faibussowitsch       ierr = PetscInfo(A,"number of shiftpd tries %" PetscInt_FMT ", shift_amount %g\n",sctx.nshift,(double)sctx.shift_amount);CHKERRQ(ierr);
849f4db908eSBarry Smith     } else if (info->shifttype == (PetscReal)MAT_SHIFT_NONZERO) {
8507d3de750SJacob Faibussowitsch       ierr = PetscInfo(A,"number of shiftnz tries %" PetscInt_FMT ", shift_amount %g\n",sctx.nshift,(double)sctx.shift_amount);CHKERRQ(ierr);
85178910aadSHong Zhang     }
85278910aadSHong Zhang   }
853c05c3958SHong Zhang   PetscFunctionReturn(0);
854c05c3958SHong Zhang }
8554cd38560SBarry Smith 
8560481f469SBarry Smith PetscErrorCode MatCholeskyFactorNumeric_SeqBAIJ_N_NaturalOrdering(Mat C,Mat A,const MatFactorInfo *info)
857c05c3958SHong Zhang {
85878910aadSHong Zhang   Mat_SeqBAIJ    *a=(Mat_SeqBAIJ*)A->data;
85978910aadSHong Zhang   Mat_SeqSBAIJ   *b=(Mat_SeqSBAIJ*)C->data;
86078910aadSHong Zhang   PetscErrorCode ierr;
8613cea4cbeSHong Zhang   PetscInt       i,j,am=a->mbs;
86278910aadSHong Zhang   PetscInt       *ai=a->i,*aj=a->j,*bi=b->i,*bj=b->j;
8633cea4cbeSHong Zhang   PetscInt       k,jmin,*jl,*il,nexti,ili,*acol,*bcol,nz;
86478910aadSHong Zhang   MatScalar      *rtmp,*ba=b->a,*aa=a->a,dk,uikdi,*aval,*bval;
8650e95ead3SHong Zhang   PetscReal      rs;
8660e95ead3SHong Zhang   FactorShiftCtx sctx;
86778910aadSHong Zhang 
868c05c3958SHong Zhang   PetscFunctionBegin;
8690e95ead3SHong Zhang   /* MatPivotSetUp(): initialize shift context sctx */
8700e95ead3SHong Zhang   ierr = PetscMemzero(&sctx,sizeof(FactorShiftCtx));CHKERRQ(ierr);
8713cea4cbeSHong Zhang 
872dcca6d9dSJed Brown   ierr = PetscMalloc3(am,&rtmp,am,&il,am,&jl);CHKERRQ(ierr);
87378910aadSHong Zhang 
87478910aadSHong Zhang   do {
87507b50cabSHong Zhang     sctx.newshift = PETSC_FALSE;
87678910aadSHong Zhang     for (i=0; i<am; i++) {
877e60cf9a0SBarry Smith       rtmp[i] = 0.0; jl[i] = am; il[0] = 0;
87878910aadSHong Zhang     }
87978910aadSHong Zhang 
88078910aadSHong Zhang     for (k = 0; k<am; k++) {
88178910aadSHong Zhang       /* initialize k-th row with elements nonzero in row perm(k) of A */
88278910aadSHong Zhang       nz   = ai[k+1] - ai[k];
88378910aadSHong Zhang       acol = aj + ai[k];
88478910aadSHong Zhang       aval = aa + ai[k];
88578910aadSHong Zhang       bval = ba + bi[k];
88678910aadSHong Zhang       while (nz--) {
88778910aadSHong Zhang         if (*acol < k) { /* skip lower triangular entries */
88878910aadSHong Zhang           acol++; aval++;
88978910aadSHong Zhang         } else {
89078910aadSHong Zhang           rtmp[*acol++] = *aval++;
89178910aadSHong Zhang           *bval++       = 0.0; /* for in-place factorization */
89278910aadSHong Zhang         }
89378910aadSHong Zhang       }
8943cea4cbeSHong Zhang 
8953cea4cbeSHong Zhang       /* shift the diagonal of the matrix */
8963cea4cbeSHong Zhang       if (sctx.nshift) rtmp[k] += sctx.shift_amount;
89778910aadSHong Zhang 
89878910aadSHong Zhang       /* modify k-th row by adding in those rows i with U(i,k)!=0 */
89978910aadSHong Zhang       dk = rtmp[k];
90078910aadSHong Zhang       i  = jl[k]; /* first row to be added to k_th row  */
90178910aadSHong Zhang 
90278910aadSHong Zhang       while (i < k) {
90378910aadSHong Zhang         nexti = jl[i]; /* next row to be added to k_th row */
90478910aadSHong Zhang         /* compute multiplier, update D(k) and U(i,k) */
90578910aadSHong Zhang         ili     = il[i]; /* index of first nonzero element in U(i,k:bms-1) */
90678910aadSHong Zhang         uikdi   = -ba[ili]*ba[bi[i]];
90778910aadSHong Zhang         dk     += uikdi*ba[ili];
90878910aadSHong Zhang         ba[ili] = uikdi; /* -U(i,k) */
90978910aadSHong Zhang 
91078910aadSHong Zhang         /* add multiple of row i to k-th row ... */
91178910aadSHong Zhang         jmin = ili + 1;
91278910aadSHong Zhang         nz   = bi[i+1] - jmin;
91378910aadSHong Zhang         if (nz > 0) {
91478910aadSHong Zhang           bcol = bj + jmin;
91578910aadSHong Zhang           bval = ba + jmin;
91678910aadSHong Zhang           while (nz--) rtmp[*bcol++] += uikdi*(*bval++);
91778910aadSHong Zhang           /* update il and jl for i-th row */
91878910aadSHong Zhang           il[i] = jmin;
91978910aadSHong Zhang           j     = bj[jmin]; jl[i] = jl[j]; jl[j] = i;
92078910aadSHong Zhang         }
92178910aadSHong Zhang         i = nexti;
92278910aadSHong Zhang       }
92378910aadSHong Zhang 
9243cea4cbeSHong Zhang       /* shift the diagonals when zero pivot is detected */
9253cea4cbeSHong Zhang       /* compute rs=sum of abs(off-diagonal) */
9263cea4cbeSHong Zhang       rs   = 0.0;
92778910aadSHong Zhang       jmin = bi[k]+1;
92878910aadSHong Zhang       nz   = bi[k+1] - jmin;
92978910aadSHong Zhang       if (nz) {
93078910aadSHong Zhang         bcol = bj + jmin;
93178910aadSHong Zhang         while (nz--) {
93289f845c8SHong Zhang           rs += PetscAbsScalar(rtmp[*bcol]);
93389f845c8SHong Zhang           bcol++;
93478910aadSHong Zhang         }
93578910aadSHong Zhang       }
9363cea4cbeSHong Zhang 
9373cea4cbeSHong Zhang       sctx.rs = rs;
9383cea4cbeSHong Zhang       sctx.pv = dk;
9394cccfbddSHong Zhang       ierr    = MatPivotCheck(C,A,info,&sctx,k);CHKERRQ(ierr);
94007b50cabSHong Zhang       if (sctx.newshift) break;    /* sctx.shift_amount is updated */
9410e95ead3SHong Zhang       dk = sctx.pv;
94278910aadSHong Zhang 
94378910aadSHong Zhang       /* copy data into U(k,:) */
94478910aadSHong Zhang       ba[bi[k]] = 1.0/dk;
94578910aadSHong Zhang       jmin      = bi[k]+1;
94678910aadSHong Zhang       nz        = bi[k+1] - jmin;
94778910aadSHong Zhang       if (nz) {
94878910aadSHong Zhang         bcol = bj + jmin;
94978910aadSHong Zhang         bval = ba + jmin;
95078910aadSHong Zhang         while (nz--) {
95178910aadSHong Zhang           *bval++       = rtmp[*bcol];
95278910aadSHong Zhang           rtmp[*bcol++] = 0.0;
95378910aadSHong Zhang         }
95478910aadSHong Zhang         /* add k-th row into il and jl */
95578910aadSHong Zhang         il[k] = jmin;
95678910aadSHong Zhang         i     = bj[jmin]; jl[k] = jl[i]; jl[i] = k;
95778910aadSHong Zhang       }
95878910aadSHong Zhang     }
95907b50cabSHong Zhang   } while (sctx.newshift);
960fca92195SBarry Smith   ierr = PetscFree3(rtmp,il,jl);CHKERRQ(ierr);
96178910aadSHong Zhang 
9620a3c351aSHong Zhang   C->ops->solve          = MatSolve_SeqSBAIJ_1_NaturalOrdering_inplace;
9630a3c351aSHong Zhang   C->ops->solvetranspose = MatSolve_SeqSBAIJ_1_NaturalOrdering_inplace;
96478910aadSHong Zhang   C->assembled           = PETSC_TRUE;
96578910aadSHong Zhang   C->preallocated        = PETSC_TRUE;
96626fbe8dcSKarl Rupp 
967d0f46423SBarry Smith   ierr = PetscLogFlops(C->rmap->N);CHKERRQ(ierr);
9683cea4cbeSHong Zhang   if (sctx.nshift) {
969f4db908eSBarry Smith     if (info->shifttype == (PetscReal)MAT_SHIFT_NONZERO) {
9707d3de750SJacob Faibussowitsch       ierr = PetscInfo(A,"number of shiftnz tries %" PetscInt_FMT ", shift_amount %g\n",sctx.nshift,(double)sctx.shift_amount);CHKERRQ(ierr);
971f4db908eSBarry Smith     } else if (info->shifttype == (PetscReal)MAT_SHIFT_POSITIVE_DEFINITE) {
9727d3de750SJacob Faibussowitsch       ierr = PetscInfo(A,"number of shiftpd tries %" PetscInt_FMT ", shift_amount %g\n",sctx.nshift,(double)sctx.shift_amount);CHKERRQ(ierr);
97378910aadSHong Zhang     }
97478910aadSHong Zhang   }
975c05c3958SHong Zhang   PetscFunctionReturn(0);
976c05c3958SHong Zhang }
977c05c3958SHong Zhang 
978c6db04a5SJed Brown #include <petscbt.h>
979c6db04a5SJed Brown #include <../src/mat/utils/freespace.h>
9800481f469SBarry Smith PetscErrorCode MatICCFactorSymbolic_SeqBAIJ(Mat fact,Mat A,IS perm,const MatFactorInfo *info)
981c05c3958SHong Zhang {
98278910aadSHong Zhang   Mat_SeqBAIJ        *a = (Mat_SeqBAIJ*)A->data;
98378910aadSHong Zhang   Mat_SeqSBAIJ       *b;
98478910aadSHong Zhang   Mat                B;
98578910aadSHong Zhang   PetscErrorCode     ierr;
98648dd3d27SHong Zhang   PetscBool          perm_identity,missing;
9875d0c19d7SBarry Smith   PetscInt           reallocs=0,i,*ai=a->i,*aj=a->j,am=a->mbs,bs=A->rmap->bs,*ui;
9885d0c19d7SBarry Smith   const PetscInt     *rip;
98978910aadSHong Zhang   PetscInt           jmin,jmax,nzk,k,j,*jl,prow,*il,nextprow;
9900298fd71SBarry Smith   PetscInt           nlnk,*lnk,*lnk_lvl=NULL,ncols,ncols_upper,*cols,*cols_lvl,*uj,**uj_ptr,**uj_lvl_ptr;
99178910aadSHong Zhang   PetscReal          fill          =info->fill,levels=info->levels;
9920298fd71SBarry Smith   PetscFreeSpaceList free_space    =NULL,current_space=NULL;
9930298fd71SBarry Smith   PetscFreeSpaceList free_space_lvl=NULL,current_space_lvl=NULL;
99478910aadSHong Zhang   PetscBT            lnkbt;
99578910aadSHong Zhang 
996c05c3958SHong Zhang   PetscFunctionBegin;
99748dd3d27SHong Zhang   ierr = MatMissingDiagonal(A,&missing,&i);CHKERRQ(ierr);
998*2c71b3e2SJacob Faibussowitsch   PetscCheckFalse(missing,PETSC_COMM_SELF,PETSC_ERR_ARG_WRONGSTATE,"Matrix is missing diagonal entry %" PetscInt_FMT,i);
99948dd3d27SHong Zhang 
10006ad2eaddSHong Zhang   if (bs > 1) {
10016ad2eaddSHong Zhang     if (!a->sbaijMat) {
1002ceb03754SKris Buschelman       ierr = MatConvert(A,MATSEQSBAIJ,MAT_INITIAL_MATRIX,&a->sbaijMat);CHKERRQ(ierr);
10036ad2eaddSHong Zhang     }
1004719d5645SBarry Smith     (fact)->ops->iccfactorsymbolic = MatICCFactorSymbolic_SeqSBAIJ;  /* undue the change made in MatGetFactor_seqbaij_petsc */
100526fbe8dcSKarl Rupp 
1006719d5645SBarry Smith     ierr = MatICCFactorSymbolic(fact,a->sbaijMat,perm,info);CHKERRQ(ierr);
10076ad2eaddSHong Zhang     PetscFunctionReturn(0);
10086ad2eaddSHong Zhang   }
10096ad2eaddSHong Zhang 
101078910aadSHong Zhang   ierr = ISIdentity(perm,&perm_identity);CHKERRQ(ierr);
101178910aadSHong Zhang   ierr = ISGetIndices(perm,&rip);CHKERRQ(ierr);
101278910aadSHong Zhang 
101378910aadSHong Zhang   /* special case that simply copies fill pattern */
101478910aadSHong Zhang   if (!levels && perm_identity) {
1015854ce69bSBarry Smith     ierr = PetscMalloc1(am+1,&ui);CHKERRQ(ierr);
101626fbe8dcSKarl Rupp     for (i=0; i<am; i++) ui[i] = ai[i+1] - a->diag[i]; /* ui: rowlengths - changes when !perm_identity */
1017719d5645SBarry Smith     B    = fact;
101878910aadSHong Zhang     ierr = MatSeqSBAIJSetPreallocation(B,1,0,ui);CHKERRQ(ierr);
101978910aadSHong Zhang 
102078910aadSHong Zhang     b  = (Mat_SeqSBAIJ*)B->data;
102178910aadSHong Zhang     uj = b->j;
102278910aadSHong Zhang     for (i=0; i<am; i++) {
102378910aadSHong Zhang       aj = a->j + a->diag[i];
102426fbe8dcSKarl Rupp       for (j=0; j<ui[i]; j++) *uj++ = *aj++;
102578910aadSHong Zhang       b->ilen[i] = ui[i];
102678910aadSHong Zhang     }
102778910aadSHong Zhang     ierr = PetscFree(ui);CHKERRQ(ierr);
102826fbe8dcSKarl Rupp 
1029d5f3da31SBarry Smith     B->factortype = MAT_FACTOR_NONE;
103026fbe8dcSKarl Rupp 
103178910aadSHong Zhang     ierr = MatAssemblyBegin(B,MAT_FINAL_ASSEMBLY);CHKERRQ(ierr);
103278910aadSHong Zhang     ierr = MatAssemblyEnd(B,MAT_FINAL_ASSEMBLY);CHKERRQ(ierr);
1033d5f3da31SBarry Smith     B->factortype = MAT_FACTOR_ICC;
103478910aadSHong Zhang 
103578910aadSHong Zhang     B->ops->choleskyfactornumeric = MatCholeskyFactorNumeric_SeqBAIJ_N_NaturalOrdering;
103678910aadSHong Zhang     PetscFunctionReturn(0);
103778910aadSHong Zhang   }
103878910aadSHong Zhang 
103978910aadSHong Zhang   /* initialization */
1040854ce69bSBarry Smith   ierr  = PetscMalloc1(am+1,&ui);CHKERRQ(ierr);
1041e60cf9a0SBarry Smith   ui[0] = 0;
1042854ce69bSBarry Smith   ierr  = PetscMalloc1(2*am+1,&cols_lvl);CHKERRQ(ierr);
104378910aadSHong Zhang 
104478910aadSHong Zhang   /* jl: linked list for storing indices of the pivot rows
104578910aadSHong Zhang      il: il[i] points to the 1st nonzero entry of U(i,k:am-1) */
1046dcca6d9dSJed Brown   ierr = PetscMalloc4(am,&uj_ptr,am,&uj_lvl_ptr,am,&il,am,&jl);CHKERRQ(ierr);
104778910aadSHong Zhang   for (i=0; i<am; i++) {
1048e60cf9a0SBarry Smith     jl[i] = am; il[i] = 0;
104978910aadSHong Zhang   }
105078910aadSHong Zhang 
105178910aadSHong Zhang   /* create and initialize a linked list for storing column indices of the active row k */
105278910aadSHong Zhang   nlnk = am + 1;
105378910aadSHong Zhang   ierr = PetscIncompleteLLCreate(am,am,nlnk,lnk,lnk_lvl,lnkbt);CHKERRQ(ierr);
105478910aadSHong Zhang 
105595b5ac22SHong Zhang   /* initial FreeSpace size is fill*(ai[am]+am)/2 */
1056f91af8c7SBarry Smith   ierr = PetscFreeSpaceGet(PetscRealIntMultTruncate(fill,PetscIntSumTruncate(ai[am]/2,am/2)),&free_space);CHKERRQ(ierr);
105726fbe8dcSKarl Rupp 
105878910aadSHong Zhang   current_space = free_space;
105926fbe8dcSKarl Rupp 
1060f91af8c7SBarry Smith   ierr = PetscFreeSpaceGet(PetscRealIntMultTruncate(fill,PetscIntSumTruncate(ai[am]/2,am/2)),&free_space_lvl);CHKERRQ(ierr);
106178910aadSHong Zhang   current_space_lvl = free_space_lvl;
106278910aadSHong Zhang 
106378910aadSHong Zhang   for (k=0; k<am; k++) {  /* for each active row k */
106478910aadSHong Zhang     /* initialize lnk by the column indices of row rip[k] of A */
106578910aadSHong Zhang     nzk         = 0;
106678910aadSHong Zhang     ncols       = ai[rip[k]+1] - ai[rip[k]];
106778910aadSHong Zhang     ncols_upper = 0;
106878910aadSHong Zhang     cols        = cols_lvl + am;
106978910aadSHong Zhang     for (j=0; j<ncols; j++) {
107078910aadSHong Zhang       i = rip[*(aj + ai[rip[k]] + j)];
107178910aadSHong Zhang       if (i >= k) { /* only take upper triangular entry */
107278910aadSHong Zhang         cols[ncols_upper]     = i;
107378910aadSHong Zhang         cols_lvl[ncols_upper] = -1;  /* initialize level for nonzero entries */
107478910aadSHong Zhang         ncols_upper++;
107578910aadSHong Zhang       }
107678910aadSHong Zhang     }
107778910aadSHong Zhang     ierr = PetscIncompleteLLAdd(ncols_upper,cols,levels,cols_lvl,am,nlnk,lnk,lnk_lvl,lnkbt);CHKERRQ(ierr);
107878910aadSHong Zhang     nzk += nlnk;
107978910aadSHong Zhang 
108078910aadSHong Zhang     /* update lnk by computing fill-in for each pivot row to be merged in */
108178910aadSHong Zhang     prow = jl[k]; /* 1st pivot row */
108278910aadSHong Zhang 
108378910aadSHong Zhang     while (prow < k) {
108478910aadSHong Zhang       nextprow = jl[prow];
108578910aadSHong Zhang 
108678910aadSHong Zhang       /* merge prow into k-th row */
108778910aadSHong Zhang       jmin  = il[prow] + 1; /* index of the 2nd nzero entry in U(prow,k:am-1) */
108878910aadSHong Zhang       jmax  = ui[prow+1];
108978910aadSHong Zhang       ncols = jmax-jmin;
109078910aadSHong Zhang       i     = jmin - ui[prow];
109178910aadSHong Zhang       cols  = uj_ptr[prow] + i; /* points to the 2nd nzero entry in U(prow,k:am-1) */
109278910aadSHong Zhang       for (j=0; j<ncols; j++) cols_lvl[j] = *(uj_lvl_ptr[prow] + i + j);
10935a8e39fbSHong Zhang       ierr = PetscIncompleteLLAddSorted(ncols,cols,levels,cols_lvl,am,nlnk,lnk,lnk_lvl,lnkbt);CHKERRQ(ierr);
109478910aadSHong Zhang       nzk += nlnk;
109578910aadSHong Zhang 
109678910aadSHong Zhang       /* update il and jl for prow */
109778910aadSHong Zhang       if (jmin < jmax) {
109878910aadSHong Zhang         il[prow] = jmin;
109926fbe8dcSKarl Rupp 
110078910aadSHong Zhang         j = *cols; jl[prow] = jl[j]; jl[j] = prow;
110178910aadSHong Zhang       }
110278910aadSHong Zhang       prow = nextprow;
110378910aadSHong Zhang     }
110478910aadSHong Zhang 
110578910aadSHong Zhang     /* if free space is not available, make more free space */
110678910aadSHong Zhang     if (current_space->local_remaining<nzk) {
110778910aadSHong Zhang       i    = am - k + 1; /* num of unfactored rows */
1108f91af8c7SBarry Smith       i    = PetscMin(PetscIntMultTruncate(i,nzk), PetscIntMultTruncate(i,i-1)); /* i*nzk, i*(i-1): estimated and max additional space needed */
1109a1a86e44SBarry Smith       ierr = PetscFreeSpaceGet(i,&current_space);CHKERRQ(ierr);
1110a1a86e44SBarry Smith       ierr = PetscFreeSpaceGet(i,&current_space_lvl);CHKERRQ(ierr);
111178910aadSHong Zhang       reallocs++;
111278910aadSHong Zhang     }
111378910aadSHong Zhang 
111478910aadSHong Zhang     /* copy data into free_space and free_space_lvl, then initialize lnk */
111578910aadSHong Zhang     ierr = PetscIncompleteLLClean(am,am,nzk,lnk,lnk_lvl,current_space->array,current_space_lvl->array,lnkbt);CHKERRQ(ierr);
111678910aadSHong Zhang 
111778910aadSHong Zhang     /* add the k-th row into il and jl */
111878910aadSHong Zhang     if (nzk-1 > 0) {
111978910aadSHong Zhang       i     = current_space->array[1]; /* col value of the first nonzero element in U(k, k+1:am-1) */
112078910aadSHong Zhang       jl[k] = jl[i]; jl[i] = k;
112178910aadSHong Zhang       il[k] = ui[k] + 1;
112278910aadSHong Zhang     }
112378910aadSHong Zhang     uj_ptr[k]     = current_space->array;
112478910aadSHong Zhang     uj_lvl_ptr[k] = current_space_lvl->array;
112578910aadSHong Zhang 
112678910aadSHong Zhang     current_space->array           += nzk;
112778910aadSHong Zhang     current_space->local_used      += nzk;
112878910aadSHong Zhang     current_space->local_remaining -= nzk;
112978910aadSHong Zhang 
113078910aadSHong Zhang     current_space_lvl->array           += nzk;
113178910aadSHong Zhang     current_space_lvl->local_used      += nzk;
113278910aadSHong Zhang     current_space_lvl->local_remaining -= nzk;
113378910aadSHong Zhang 
113478910aadSHong Zhang     ui[k+1] = ui[k] + nzk;
113578910aadSHong Zhang   }
113678910aadSHong Zhang 
113778910aadSHong Zhang   ierr = ISRestoreIndices(perm,&rip);CHKERRQ(ierr);
1138fca92195SBarry Smith   ierr = PetscFree4(uj_ptr,uj_lvl_ptr,il,jl);CHKERRQ(ierr);
113978910aadSHong Zhang   ierr = PetscFree(cols_lvl);CHKERRQ(ierr);
114078910aadSHong Zhang 
11419263d837SHong Zhang   /* copy free_space into uj and free free_space; set uj in new datastructure; */
1142854ce69bSBarry Smith   ierr = PetscMalloc1(ui[am]+1,&uj);CHKERRQ(ierr);
1143a1a86e44SBarry Smith   ierr = PetscFreeSpaceContiguous(&free_space,uj);CHKERRQ(ierr);
114478910aadSHong Zhang   ierr = PetscIncompleteLLDestroy(lnk,lnkbt);CHKERRQ(ierr);
1145a1a86e44SBarry Smith   ierr = PetscFreeSpaceDestroy(free_space_lvl);CHKERRQ(ierr);
114678910aadSHong Zhang 
114778910aadSHong Zhang   /* put together the new matrix in MATSEQSBAIJ format */
1148719d5645SBarry Smith   B    = fact;
11490298fd71SBarry Smith   ierr = MatSeqSBAIJSetPreallocation(B,1,MAT_SKIP_ALLOCATION,NULL);CHKERRQ(ierr);
115078910aadSHong Zhang 
115178910aadSHong Zhang   b                = (Mat_SeqSBAIJ*)B->data;
115278910aadSHong Zhang   b->singlemalloc  = PETSC_FALSE;
1153e6b907acSBarry Smith   b->free_a        = PETSC_TRUE;
1154e6b907acSBarry Smith   b->free_ij       = PETSC_TRUE;
115526fbe8dcSKarl Rupp 
1156854ce69bSBarry Smith   ierr = PetscMalloc1(ui[am]+1,&b->a);CHKERRQ(ierr);
115726fbe8dcSKarl Rupp 
115878910aadSHong Zhang   b->j             = uj;
115978910aadSHong Zhang   b->i             = ui;
1160f4259b30SLisandro Dalcin   b->diag          = NULL;
1161f4259b30SLisandro Dalcin   b->ilen          = NULL;
1162f4259b30SLisandro Dalcin   b->imax          = NULL;
116378910aadSHong Zhang   b->row           = perm;
116478910aadSHong Zhang   b->pivotinblocks = PETSC_FALSE; /* need to get from MatFactorInfo */
116526fbe8dcSKarl Rupp 
116678910aadSHong Zhang   ierr    = PetscObjectReference((PetscObject)perm);CHKERRQ(ierr);
116726fbe8dcSKarl Rupp 
116878910aadSHong Zhang   b->icol = perm;
116926fbe8dcSKarl Rupp 
117078910aadSHong Zhang   ierr    = PetscObjectReference((PetscObject)perm);CHKERRQ(ierr);
1171854ce69bSBarry Smith   ierr    = PetscMalloc1(am+1,&b->solve_work);CHKERRQ(ierr);
11723bb1ff40SBarry Smith   ierr    = PetscLogObjectMemory((PetscObject)B,(ui[am]-am)*(sizeof(PetscInt)+sizeof(MatScalar)));CHKERRQ(ierr);
117326fbe8dcSKarl Rupp 
117478910aadSHong Zhang   b->maxnz = b->nz = ui[am];
117578910aadSHong Zhang 
117678910aadSHong Zhang   B->info.factor_mallocs   = reallocs;
117778910aadSHong Zhang   B->info.fill_ratio_given = fill;
117875567043SBarry Smith   if (ai[am] != 0.) {
117995b5ac22SHong Zhang     /* nonzeros in lower triangular part of A (includign diagonals)= (ai[am]+am)/2 */
118095b5ac22SHong Zhang     B->info.fill_ratio_needed = ((PetscReal)2*ui[am])/(ai[am]+am);
118178910aadSHong Zhang   } else {
118278910aadSHong Zhang     B->info.fill_ratio_needed = 0.0;
118378910aadSHong Zhang   }
11849263d837SHong Zhang #if defined(PETSC_USE_INFO)
11859263d837SHong Zhang   if (ai[am] != 0) {
118695b5ac22SHong Zhang     PetscReal af = B->info.fill_ratio_needed;
11877d3de750SJacob Faibussowitsch     ierr = PetscInfo(A,"Reallocs %" PetscInt_FMT " Fill ratio:given %g needed %g\n",reallocs,(double)fill,(double)af);CHKERRQ(ierr);
11887d3de750SJacob Faibussowitsch     ierr = PetscInfo(A,"Run with -pc_factor_fill %g or use \n",(double)af);CHKERRQ(ierr);
11897d3de750SJacob Faibussowitsch     ierr = PetscInfo(A,"PCFactorSetFill(pc,%g) for best performance.\n",(double)af);CHKERRQ(ierr);
11909263d837SHong Zhang   } else {
1191dbf6bb8dSprj-     ierr = PetscInfo(A,"Empty matrix\n");CHKERRQ(ierr);
11929263d837SHong Zhang   }
11939263d837SHong Zhang #endif
119478910aadSHong Zhang   if (perm_identity) {
11950a3c351aSHong Zhang     B->ops->solve                 = MatSolve_SeqSBAIJ_1_NaturalOrdering_inplace;
11960a3c351aSHong Zhang     B->ops->solvetranspose        = MatSolve_SeqSBAIJ_1_NaturalOrdering_inplace;
119778910aadSHong Zhang     B->ops->choleskyfactornumeric = MatCholeskyFactorNumeric_SeqBAIJ_N_NaturalOrdering;
119878910aadSHong Zhang   } else {
1199719d5645SBarry Smith     (fact)->ops->choleskyfactornumeric = MatCholeskyFactorNumeric_SeqBAIJ_N;
120078910aadSHong Zhang   }
1201c05c3958SHong Zhang   PetscFunctionReturn(0);
1202c05c3958SHong Zhang }
1203c05c3958SHong Zhang 
12040481f469SBarry Smith PetscErrorCode MatCholeskyFactorSymbolic_SeqBAIJ(Mat fact,Mat A,IS perm,const MatFactorInfo *info)
1205c05c3958SHong Zhang {
120678910aadSHong Zhang   Mat_SeqBAIJ        *a = (Mat_SeqBAIJ*)A->data;
120778910aadSHong Zhang   Mat_SeqSBAIJ       *b;
120878910aadSHong Zhang   Mat                B;
120978910aadSHong Zhang   PetscErrorCode     ierr;
12109186b105SHong Zhang   PetscBool          perm_identity,missing;
121178910aadSHong Zhang   PetscReal          fill = info->fill;
12125d0c19d7SBarry Smith   const PetscInt     *rip;
12135d0c19d7SBarry Smith   PetscInt           i,mbs=a->mbs,bs=A->rmap->bs,*ai=a->i,*aj=a->j,reallocs=0,prow;
121478910aadSHong Zhang   PetscInt           *jl,jmin,jmax,nzk,*ui,k,j,*il,nextprow;
121578910aadSHong Zhang   PetscInt           nlnk,*lnk,ncols,ncols_upper,*cols,*uj,**ui_ptr,*uj_ptr;
12160298fd71SBarry Smith   PetscFreeSpaceList free_space=NULL,current_space=NULL;
121778910aadSHong Zhang   PetscBT            lnkbt;
121878910aadSHong Zhang 
1219c05c3958SHong Zhang   PetscFunctionBegin;
12206ad2eaddSHong Zhang   if (bs > 1) { /* convert to seqsbaij */
12216ad2eaddSHong Zhang     if (!a->sbaijMat) {
1222ceb03754SKris Buschelman       ierr = MatConvert(A,MATSEQSBAIJ,MAT_INITIAL_MATRIX,&a->sbaijMat);CHKERRQ(ierr);
12236ad2eaddSHong Zhang     }
1224719d5645SBarry Smith     (fact)->ops->choleskyfactorsymbolic = MatCholeskyFactorSymbolic_SeqSBAIJ; /* undue the change made in MatGetFactor_seqbaij_petsc */
122526fbe8dcSKarl Rupp 
1226719d5645SBarry Smith     ierr = MatCholeskyFactorSymbolic(fact,a->sbaijMat,perm,info);CHKERRQ(ierr);
12276ad2eaddSHong Zhang     PetscFunctionReturn(0);
12286ad2eaddSHong Zhang   }
12296ad2eaddSHong Zhang 
12309186b105SHong Zhang   ierr = MatMissingDiagonal(A,&missing,&i);CHKERRQ(ierr);
1231*2c71b3e2SJacob Faibussowitsch   PetscCheckFalse(missing,PETSC_COMM_SELF,PETSC_ERR_ARG_WRONGSTATE,"Matrix is missing diagonal entry %" PetscInt_FMT,i);
12329186b105SHong Zhang 
123378910aadSHong Zhang   /* check whether perm is the identity mapping */
123478910aadSHong Zhang   ierr = ISIdentity(perm,&perm_identity);CHKERRQ(ierr);
1235*2c71b3e2SJacob Faibussowitsch   PetscCheckFalse(!perm_identity,PETSC_COMM_SELF,PETSC_ERR_SUP,"Matrix reordering is not supported");
123678910aadSHong Zhang   ierr = ISGetIndices(perm,&rip);CHKERRQ(ierr);
123778910aadSHong Zhang 
123878910aadSHong Zhang   /* initialization */
1239854ce69bSBarry Smith   ierr  = PetscMalloc1(mbs+1,&ui);CHKERRQ(ierr);
1240e60cf9a0SBarry Smith   ui[0] = 0;
124178910aadSHong Zhang 
124278910aadSHong Zhang   /* jl: linked list for storing indices of the pivot rows
124378910aadSHong Zhang      il: il[i] points to the 1st nonzero entry of U(i,k:mbs-1) */
1244dcca6d9dSJed Brown   ierr = PetscMalloc4(mbs,&ui_ptr,mbs,&il,mbs,&jl,mbs,&cols);CHKERRQ(ierr);
124578910aadSHong Zhang   for (i=0; i<mbs; i++) {
1246e60cf9a0SBarry Smith     jl[i] = mbs; il[i] = 0;
124778910aadSHong Zhang   }
124878910aadSHong Zhang 
124978910aadSHong Zhang   /* create and initialize a linked list for storing column indices of the active row k */
125078910aadSHong Zhang   nlnk = mbs + 1;
125178910aadSHong Zhang   ierr = PetscLLCreate(mbs,mbs,nlnk,lnk,lnkbt);CHKERRQ(ierr);
125278910aadSHong Zhang 
12536a69fef8SHong Zhang   /* initial FreeSpace size is fill* (ai[mbs]+mbs)/2 */
1254f91af8c7SBarry Smith   ierr = PetscFreeSpaceGet(PetscRealIntMultTruncate(fill,PetscIntSumTruncate(ai[mbs]/2,mbs/2)),&free_space);CHKERRQ(ierr);
125526fbe8dcSKarl Rupp 
125678910aadSHong Zhang   current_space = free_space;
125778910aadSHong Zhang 
125878910aadSHong Zhang   for (k=0; k<mbs; k++) {  /* for each active row k */
125978910aadSHong Zhang     /* initialize lnk by the column indices of row rip[k] of A */
126078910aadSHong Zhang     nzk         = 0;
126178910aadSHong Zhang     ncols       = ai[rip[k]+1] - ai[rip[k]];
1262e60cf9a0SBarry Smith     ncols_upper = 0;
126378910aadSHong Zhang     for (j=0; j<ncols; j++) {
126478910aadSHong Zhang       i = rip[*(aj + ai[rip[k]] + j)];
126578910aadSHong Zhang       if (i >= k) { /* only take upper triangular entry */
126678910aadSHong Zhang         cols[ncols_upper] = i;
126778910aadSHong Zhang         ncols_upper++;
126878910aadSHong Zhang       }
126978910aadSHong Zhang     }
127078910aadSHong Zhang     ierr = PetscLLAdd(ncols_upper,cols,mbs,nlnk,lnk,lnkbt);CHKERRQ(ierr);
127178910aadSHong Zhang     nzk += nlnk;
127278910aadSHong Zhang 
127378910aadSHong Zhang     /* update lnk by computing fill-in for each pivot row to be merged in */
127478910aadSHong Zhang     prow = jl[k]; /* 1st pivot row */
127578910aadSHong Zhang 
127678910aadSHong Zhang     while (prow < k) {
127778910aadSHong Zhang       nextprow = jl[prow];
127878910aadSHong Zhang       /* merge prow into k-th row */
127978910aadSHong Zhang       jmin   = il[prow] + 1; /* index of the 2nd nzero entry in U(prow,k:mbs-1) */
128078910aadSHong Zhang       jmax   = ui[prow+1];
128178910aadSHong Zhang       ncols  = jmax-jmin;
128278910aadSHong Zhang       uj_ptr = ui_ptr[prow] + jmin - ui[prow]; /* points to the 2nd nzero entry in U(prow,k:mbs-1) */
12835a8e39fbSHong Zhang       ierr   = PetscLLAddSorted(ncols,uj_ptr,mbs,nlnk,lnk,lnkbt);CHKERRQ(ierr);
128478910aadSHong Zhang       nzk   += nlnk;
128578910aadSHong Zhang 
128678910aadSHong Zhang       /* update il and jl for prow */
128778910aadSHong Zhang       if (jmin < jmax) {
128878910aadSHong Zhang         il[prow] = jmin;
128926fbe8dcSKarl Rupp         j        = *uj_ptr;
129026fbe8dcSKarl Rupp         jl[prow] = jl[j];
129126fbe8dcSKarl Rupp         jl[j]    = prow;
129278910aadSHong Zhang       }
129378910aadSHong Zhang       prow = nextprow;
129478910aadSHong Zhang     }
129578910aadSHong Zhang 
129678910aadSHong Zhang     /* if free space is not available, make more free space */
129778910aadSHong Zhang     if (current_space->local_remaining<nzk) {
129878910aadSHong Zhang       i    = mbs - k + 1; /* num of unfactored rows */
1299f91af8c7SBarry Smith       i    = PetscMin(PetscIntMultTruncate(i,nzk), PetscIntMultTruncate(i,i-1)); /* i*nzk, i*(i-1): estimated and max additional space needed */
1300a1a86e44SBarry Smith       ierr = PetscFreeSpaceGet(i,&current_space);CHKERRQ(ierr);
130178910aadSHong Zhang       reallocs++;
130278910aadSHong Zhang     }
130378910aadSHong Zhang 
130478910aadSHong Zhang     /* copy data into free space, then initialize lnk */
130578910aadSHong Zhang     ierr = PetscLLClean(mbs,mbs,nzk,lnk,current_space->array,lnkbt);CHKERRQ(ierr);
130678910aadSHong Zhang 
130778910aadSHong Zhang     /* add the k-th row into il and jl */
130878910aadSHong Zhang     if (nzk-1 > 0) {
130978910aadSHong Zhang       i     = current_space->array[1]; /* col value of the first nonzero element in U(k, k+1:mbs-1) */
131078910aadSHong Zhang       jl[k] = jl[i]; jl[i] = k;
131178910aadSHong Zhang       il[k] = ui[k] + 1;
131278910aadSHong Zhang     }
131378910aadSHong Zhang     ui_ptr[k]                       = current_space->array;
131478910aadSHong Zhang     current_space->array           += nzk;
131578910aadSHong Zhang     current_space->local_used      += nzk;
131678910aadSHong Zhang     current_space->local_remaining -= nzk;
131778910aadSHong Zhang 
131878910aadSHong Zhang     ui[k+1] = ui[k] + nzk;
131978910aadSHong Zhang   }
132078910aadSHong Zhang 
132178910aadSHong Zhang   ierr = ISRestoreIndices(perm,&rip);CHKERRQ(ierr);
1322fca92195SBarry Smith   ierr = PetscFree4(ui_ptr,il,jl,cols);CHKERRQ(ierr);
132378910aadSHong Zhang 
13249263d837SHong Zhang   /* copy free_space into uj and free free_space; set uj in new datastructure; */
1325854ce69bSBarry Smith   ierr = PetscMalloc1(ui[mbs]+1,&uj);CHKERRQ(ierr);
1326a1a86e44SBarry Smith   ierr = PetscFreeSpaceContiguous(&free_space,uj);CHKERRQ(ierr);
132778910aadSHong Zhang   ierr = PetscLLDestroy(lnk,lnkbt);CHKERRQ(ierr);
132878910aadSHong Zhang 
132978910aadSHong Zhang   /* put together the new matrix in MATSEQSBAIJ format */
1330719d5645SBarry Smith   B    = fact;
13310298fd71SBarry Smith   ierr = MatSeqSBAIJSetPreallocation(B,bs,MAT_SKIP_ALLOCATION,NULL);CHKERRQ(ierr);
133278910aadSHong Zhang 
133378910aadSHong Zhang   b               = (Mat_SeqSBAIJ*)B->data;
133478910aadSHong Zhang   b->singlemalloc = PETSC_FALSE;
1335e6b907acSBarry Smith   b->free_a       = PETSC_TRUE;
1336e6b907acSBarry Smith   b->free_ij      = PETSC_TRUE;
133726fbe8dcSKarl Rupp 
1338854ce69bSBarry Smith   ierr = PetscMalloc1(ui[mbs]+1,&b->a);CHKERRQ(ierr);
133926fbe8dcSKarl Rupp 
134078910aadSHong Zhang   b->j             = uj;
134178910aadSHong Zhang   b->i             = ui;
1342f4259b30SLisandro Dalcin   b->diag          = NULL;
1343f4259b30SLisandro Dalcin   b->ilen          = NULL;
1344f4259b30SLisandro Dalcin   b->imax          = NULL;
134578910aadSHong Zhang   b->row           = perm;
134678910aadSHong Zhang   b->pivotinblocks = PETSC_FALSE; /* need to get from MatFactorInfo */
134726fbe8dcSKarl Rupp 
134878910aadSHong Zhang   ierr     = PetscObjectReference((PetscObject)perm);CHKERRQ(ierr);
134978910aadSHong Zhang   b->icol  = perm;
135078910aadSHong Zhang   ierr     = PetscObjectReference((PetscObject)perm);CHKERRQ(ierr);
1351854ce69bSBarry Smith   ierr     = PetscMalloc1(mbs+1,&b->solve_work);CHKERRQ(ierr);
13523bb1ff40SBarry Smith   ierr     = PetscLogObjectMemory((PetscObject)B,(ui[mbs]-mbs)*(sizeof(PetscInt)+sizeof(MatScalar)));CHKERRQ(ierr);
135378910aadSHong Zhang   b->maxnz = b->nz = ui[mbs];
135478910aadSHong Zhang 
135578910aadSHong Zhang   B->info.factor_mallocs   = reallocs;
135678910aadSHong Zhang   B->info.fill_ratio_given = fill;
135775567043SBarry Smith   if (ai[mbs] != 0.) {
135895b5ac22SHong Zhang     /* nonzeros in lower triangular part of A = (ai[mbs]+mbs)/2 */
135995b5ac22SHong Zhang     B->info.fill_ratio_needed = ((PetscReal)2*ui[mbs])/(ai[mbs]+mbs);
136078910aadSHong Zhang   } else {
136178910aadSHong Zhang     B->info.fill_ratio_needed = 0.0;
136278910aadSHong Zhang   }
13639263d837SHong Zhang #if defined(PETSC_USE_INFO)
13649263d837SHong Zhang   if (ai[mbs] != 0.) {
13659263d837SHong Zhang     PetscReal af = B->info.fill_ratio_needed;
13667d3de750SJacob Faibussowitsch     ierr = PetscInfo(A,"Reallocs %" PetscInt_FMT " Fill ratio:given %g needed %g\n",reallocs,(double)fill,(double)af);CHKERRQ(ierr);
13677d3de750SJacob Faibussowitsch     ierr = PetscInfo(A,"Run with -pc_factor_fill %g or use \n",(double)af);CHKERRQ(ierr);
13687d3de750SJacob Faibussowitsch     ierr = PetscInfo(A,"PCFactorSetFill(pc,%g) for best performance.\n",(double)af);CHKERRQ(ierr);
13699263d837SHong Zhang   } else {
1370dbf6bb8dSprj-     ierr = PetscInfo(A,"Empty matrix\n");CHKERRQ(ierr);
13719263d837SHong Zhang   }
13729263d837SHong Zhang #endif
137378910aadSHong Zhang   if (perm_identity) {
13746ad2eaddSHong Zhang     B->ops->choleskyfactornumeric = MatCholeskyFactorNumeric_SeqBAIJ_N_NaturalOrdering;
137578910aadSHong Zhang   } else {
13766ad2eaddSHong Zhang     B->ops->choleskyfactornumeric = MatCholeskyFactorNumeric_SeqBAIJ_N;
137778910aadSHong Zhang   }
1378c05c3958SHong Zhang   PetscFunctionReturn(0);
1379c05c3958SHong Zhang }
1380c8342467SHong Zhang 
13814dd39f65SShri Abhyankar PetscErrorCode MatSolve_SeqBAIJ_N_NaturalOrdering(Mat A,Vec bb,Vec xx)
13821a83e813SShri Abhyankar {
13831a83e813SShri Abhyankar   Mat_SeqBAIJ       *a=(Mat_SeqBAIJ*)A->data;
13841a83e813SShri Abhyankar   PetscErrorCode    ierr;
13851a83e813SShri Abhyankar   const PetscInt    *ai=a->i,*aj=a->j,*adiag=a->diag,*vi;
13861a83e813SShri Abhyankar   PetscInt          i,k,n=a->mbs;
13871a83e813SShri Abhyankar   PetscInt          nz,bs=A->rmap->bs,bs2=a->bs2;
1388d9ca1df4SBarry Smith   const MatScalar   *aa=a->a,*v;
1389d9ca1df4SBarry Smith   PetscScalar       *x,*s,*t,*ls;
1390d9ca1df4SBarry Smith   const PetscScalar *b;
13911a83e813SShri Abhyankar 
13921a83e813SShri Abhyankar   PetscFunctionBegin;
1393d9ca1df4SBarry Smith   ierr = VecGetArrayRead(bb,&b);CHKERRQ(ierr);
13941a83e813SShri Abhyankar   ierr = VecGetArray(xx,&x);CHKERRQ(ierr);
13951a83e813SShri Abhyankar   t    = a->solve_work;
13961a83e813SShri Abhyankar 
13971a83e813SShri Abhyankar   /* forward solve the lower triangular */
1398580bdb30SBarry Smith   ierr = PetscArraycpy(t,b,bs);CHKERRQ(ierr); /* copy 1st block of b to t */
13991a83e813SShri Abhyankar 
14001a83e813SShri Abhyankar   for (i=1; i<n; i++) {
14011a83e813SShri Abhyankar     v    = aa + bs2*ai[i];
14021a83e813SShri Abhyankar     vi   = aj + ai[i];
14031a83e813SShri Abhyankar     nz   = ai[i+1] - ai[i];
14041a83e813SShri Abhyankar     s    = t + bs*i;
1405580bdb30SBarry Smith     ierr = PetscArraycpy(s,b+bs*i,bs);CHKERRQ(ierr); /* copy i_th block of b to t */
14061a83e813SShri Abhyankar     for (k=0;k<nz;k++) {
140796b95a6bSBarry Smith       PetscKernel_v_gets_v_minus_A_times_w(bs,s,v,t+bs*vi[k]);
14081a83e813SShri Abhyankar       v += bs2;
14091a83e813SShri Abhyankar     }
14101a83e813SShri Abhyankar   }
14111a83e813SShri Abhyankar 
14121a83e813SShri Abhyankar   /* backward solve the upper triangular */
14131a83e813SShri Abhyankar   ls = a->solve_work + A->cmap->n;
14141a83e813SShri Abhyankar   for (i=n-1; i>=0; i--) {
14151a83e813SShri Abhyankar     v    = aa + bs2*(adiag[i+1]+1);
14161a83e813SShri Abhyankar     vi   = aj + adiag[i+1]+1;
14171a83e813SShri Abhyankar     nz   = adiag[i] - adiag[i+1]-1;
1418580bdb30SBarry Smith     ierr = PetscArraycpy(ls,t+i*bs,bs);CHKERRQ(ierr);
14191a83e813SShri Abhyankar     for (k=0; k<nz; k++) {
142096b95a6bSBarry Smith       PetscKernel_v_gets_v_minus_A_times_w(bs,ls,v,t+bs*vi[k]);
14211a83e813SShri Abhyankar       v += bs2;
14221a83e813SShri Abhyankar     }
142396b95a6bSBarry Smith     PetscKernel_w_gets_A_times_v(bs,ls,aa+bs2*adiag[i],t+i*bs); /* *inv(diagonal[i]) */
1424580bdb30SBarry Smith     ierr = PetscArraycpy(x+i*bs,t+i*bs,bs);CHKERRQ(ierr);
14251a83e813SShri Abhyankar   }
14261a83e813SShri Abhyankar 
1427d9ca1df4SBarry Smith   ierr = VecRestoreArrayRead(bb,&b);CHKERRQ(ierr);
14281a83e813SShri Abhyankar   ierr = VecRestoreArray(xx,&x);CHKERRQ(ierr);
14291a83e813SShri Abhyankar   ierr = PetscLogFlops(2.0*(a->bs2)*(a->nz) - A->rmap->bs*A->cmap->n);CHKERRQ(ierr);
14301a83e813SShri Abhyankar   PetscFunctionReturn(0);
14311a83e813SShri Abhyankar }
14321a83e813SShri Abhyankar 
14334dd39f65SShri Abhyankar PetscErrorCode MatSolve_SeqBAIJ_N(Mat A,Vec bb,Vec xx)
143435aa4fcfSShri Abhyankar {
143535aa4fcfSShri Abhyankar   Mat_SeqBAIJ        *a   =(Mat_SeqBAIJ*)A->data;
143635aa4fcfSShri Abhyankar   IS                 iscol=a->col,isrow=a->row;
143735aa4fcfSShri Abhyankar   PetscErrorCode     ierr;
143835aa4fcfSShri Abhyankar   const PetscInt     *r,*c,*rout,*cout,*ai=a->i,*aj=a->j,*adiag=a->diag,*vi;
143935aa4fcfSShri Abhyankar   PetscInt           i,m,n=a->mbs;
144035aa4fcfSShri Abhyankar   PetscInt           nz,bs=A->rmap->bs,bs2=a->bs2;
1441d9ca1df4SBarry Smith   const MatScalar    *aa=a->a,*v;
1442d9ca1df4SBarry Smith   PetscScalar        *x,*s,*t,*ls;
1443d9ca1df4SBarry Smith   const PetscScalar  *b;
144435aa4fcfSShri Abhyankar 
144535aa4fcfSShri Abhyankar   PetscFunctionBegin;
1446d9ca1df4SBarry Smith   ierr = VecGetArrayRead(bb,&b);CHKERRQ(ierr);
144735aa4fcfSShri Abhyankar   ierr = VecGetArray(xx,&x);CHKERRQ(ierr);
144835aa4fcfSShri Abhyankar   t    = a->solve_work;
144935aa4fcfSShri Abhyankar 
145035aa4fcfSShri Abhyankar   ierr = ISGetIndices(isrow,&rout);CHKERRQ(ierr); r = rout;
145135aa4fcfSShri Abhyankar   ierr = ISGetIndices(iscol,&cout);CHKERRQ(ierr); c = cout;
145235aa4fcfSShri Abhyankar 
145335aa4fcfSShri Abhyankar   /* forward solve the lower triangular */
1454580bdb30SBarry Smith   ierr = PetscArraycpy(t,b+bs*r[0],bs);CHKERRQ(ierr);
145535aa4fcfSShri Abhyankar   for (i=1; i<n; i++) {
145635aa4fcfSShri Abhyankar     v    = aa + bs2*ai[i];
145735aa4fcfSShri Abhyankar     vi   = aj + ai[i];
145835aa4fcfSShri Abhyankar     nz   = ai[i+1] - ai[i];
145935aa4fcfSShri Abhyankar     s    = t + bs*i;
1460580bdb30SBarry Smith     ierr = PetscArraycpy(s,b+bs*r[i],bs);CHKERRQ(ierr);
146135aa4fcfSShri Abhyankar     for (m=0; m<nz; m++) {
146296b95a6bSBarry Smith       PetscKernel_v_gets_v_minus_A_times_w(bs,s,v,t+bs*vi[m]);
146335aa4fcfSShri Abhyankar       v += bs2;
146435aa4fcfSShri Abhyankar     }
146535aa4fcfSShri Abhyankar   }
146635aa4fcfSShri Abhyankar 
146735aa4fcfSShri Abhyankar   /* backward solve the upper triangular */
146835aa4fcfSShri Abhyankar   ls = a->solve_work + A->cmap->n;
146935aa4fcfSShri Abhyankar   for (i=n-1; i>=0; i--) {
147035aa4fcfSShri Abhyankar     v    = aa + bs2*(adiag[i+1]+1);
147135aa4fcfSShri Abhyankar     vi   = aj + adiag[i+1]+1;
147235aa4fcfSShri Abhyankar     nz   = adiag[i] - adiag[i+1] - 1;
1473580bdb30SBarry Smith     ierr = PetscArraycpy(ls,t+i*bs,bs);CHKERRQ(ierr);
147435aa4fcfSShri Abhyankar     for (m=0; m<nz; m++) {
147596b95a6bSBarry Smith       PetscKernel_v_gets_v_minus_A_times_w(bs,ls,v,t+bs*vi[m]);
147635aa4fcfSShri Abhyankar       v += bs2;
147735aa4fcfSShri Abhyankar     }
147896b95a6bSBarry Smith     PetscKernel_w_gets_A_times_v(bs,ls,v,t+i*bs); /* *inv(diagonal[i]) */
1479580bdb30SBarry Smith     ierr = PetscArraycpy(x + bs*c[i],t+i*bs,bs);CHKERRQ(ierr);
148035aa4fcfSShri Abhyankar   }
148135aa4fcfSShri Abhyankar   ierr = ISRestoreIndices(isrow,&rout);CHKERRQ(ierr);
148235aa4fcfSShri Abhyankar   ierr = ISRestoreIndices(iscol,&cout);CHKERRQ(ierr);
1483d9ca1df4SBarry Smith   ierr = VecRestoreArrayRead(bb,&b);CHKERRQ(ierr);
148435aa4fcfSShri Abhyankar   ierr = VecRestoreArray(xx,&x);CHKERRQ(ierr);
148535aa4fcfSShri Abhyankar   ierr = PetscLogFlops(2.0*(a->bs2)*(a->nz) - A->rmap->bs*A->cmap->n);CHKERRQ(ierr);
148635aa4fcfSShri Abhyankar   PetscFunctionReturn(0);
148735aa4fcfSShri Abhyankar }
148835aa4fcfSShri Abhyankar 
1489a25532f0SBarry Smith /*
1490a25532f0SBarry Smith     For each block in an block array saves the largest absolute value in the block into another array
1491a25532f0SBarry Smith */
1492a25532f0SBarry Smith static PetscErrorCode MatBlockAbs_private(PetscInt nbs,PetscInt bs2,PetscScalar *blockarray,PetscReal *absarray)
14932efa7f71SHong Zhang {
14942efa7f71SHong Zhang   PetscErrorCode ierr;
14952efa7f71SHong Zhang   PetscInt       i,j;
14965fd66863SKarl Rupp 
14972efa7f71SHong Zhang   PetscFunctionBegin;
1498580bdb30SBarry Smith   ierr = PetscArrayzero(absarray,nbs+1);CHKERRQ(ierr);
14992efa7f71SHong Zhang   for (i=0; i<nbs; i++) {
15002efa7f71SHong Zhang     for (j=0; j<bs2; j++) {
15012efa7f71SHong Zhang       if (absarray[i] < PetscAbsScalar(blockarray[i*nbs+j])) absarray[i] = PetscAbsScalar(blockarray[i*nbs+j]);
15022efa7f71SHong Zhang     }
15032efa7f71SHong Zhang   }
15042efa7f71SHong Zhang   PetscFunctionReturn(0);
15052efa7f71SHong Zhang }
15062efa7f71SHong Zhang 
1507fe97e370SBarry Smith /*
1508fe97e370SBarry Smith      This needs to be renamed and called by the regular MatILUFactor_SeqBAIJ when drop tolerance is used
1509fe97e370SBarry Smith */
1510c8342467SHong Zhang PetscErrorCode MatILUDTFactor_SeqBAIJ(Mat A,IS isrow,IS iscol,const MatFactorInfo *info,Mat *fact)
1511c8342467SHong Zhang {
15122efa7f71SHong Zhang   Mat            B = *fact;
15132efa7f71SHong Zhang   Mat_SeqBAIJ    *a=(Mat_SeqBAIJ*)A->data,*b;
15142efa7f71SHong Zhang   IS             isicol;
15152efa7f71SHong Zhang   PetscErrorCode ierr;
15162efa7f71SHong Zhang   const PetscInt *r,*ic;
15172efa7f71SHong Zhang   PetscInt       i,mbs=a->mbs,bs=A->rmap->bs,bs2=a->bs2,*ai=a->i,*aj=a->j,*ajtmp,*adiag;
15182efa7f71SHong Zhang   PetscInt       *bi,*bj,*bdiag;
15192efa7f71SHong Zhang 
15202efa7f71SHong Zhang   PetscInt  row,nzi,nzi_bl,nzi_bu,*im,dtcount,nzi_al,nzi_au;
15212efa7f71SHong Zhang   PetscInt  nlnk,*lnk;
15222efa7f71SHong Zhang   PetscBT   lnkbt;
1523ace3abfcSBarry Smith   PetscBool row_identity,icol_identity;
15242efa7f71SHong Zhang   MatScalar *aatmp,*pv,*batmp,*ba,*rtmp,*pc,*multiplier,*vtmp;
15252efa7f71SHong Zhang   PetscInt  j,nz,*pj,*bjtmp,k,ncut,*jtmp;
15262efa7f71SHong Zhang 
1527182b8fbaSHong Zhang   PetscReal dt=info->dt;          /* shift=info->shiftamount; */
15282efa7f71SHong Zhang   PetscInt  nnz_max;
1529ace3abfcSBarry Smith   PetscBool missing;
1530021822bcSHong Zhang   PetscReal *vtmp_abs;
153197ef94ebSSatish Balay   MatScalar *v_work;
153297ef94ebSSatish Balay   PetscInt  *v_pivots;
15335f8bbccaSHong Zhang   PetscBool allowzeropivot,zeropivotdetected=PETSC_FALSE;
15342efa7f71SHong Zhang 
1535c8342467SHong Zhang   PetscFunctionBegin;
15362efa7f71SHong Zhang   /* ------- symbolic factorization, can be reused ---------*/
15372efa7f71SHong Zhang   ierr = MatMissingDiagonal(A,&missing,&i);CHKERRQ(ierr);
1538*2c71b3e2SJacob Faibussowitsch   PetscCheckFalse(missing,PETSC_COMM_SELF,PETSC_ERR_ARG_WRONGSTATE,"Matrix is missing diagonal entry %" PetscInt_FMT,i);
15392efa7f71SHong Zhang   adiag=a->diag;
15402efa7f71SHong Zhang 
15412efa7f71SHong Zhang   ierr = ISInvertPermutation(iscol,PETSC_DECIDE,&isicol);CHKERRQ(ierr);
15422efa7f71SHong Zhang 
15432efa7f71SHong Zhang   /* bdiag is location of diagonal in factor */
1544854ce69bSBarry Smith   ierr = PetscMalloc1(mbs+1,&bdiag);CHKERRQ(ierr);
15452efa7f71SHong Zhang 
15462efa7f71SHong Zhang   /* allocate row pointers bi */
1547854ce69bSBarry Smith   ierr = PetscMalloc1(2*mbs+2,&bi);CHKERRQ(ierr);
15482efa7f71SHong Zhang 
15492efa7f71SHong Zhang   /* allocate bj and ba; max num of nonzero entries is (ai[n]+2*n*dtcount+2) */
15502efa7f71SHong Zhang   dtcount = (PetscInt)info->dtcount;
15516bce7ff8SHong Zhang   if (dtcount > mbs-1) dtcount = mbs-1;
15526bce7ff8SHong Zhang   nnz_max = ai[mbs]+2*mbs*dtcount +2;
15536da515a1SHong Zhang   /* printf("MatILUDTFactor_SeqBAIJ, bs %d, ai[mbs] %d, nnz_max  %d, dtcount %d\n",bs,ai[mbs],nnz_max,dtcount); */
1554785e854fSJed Brown   ierr    = PetscMalloc1(nnz_max,&bj);CHKERRQ(ierr);
15556bce7ff8SHong Zhang   nnz_max = nnz_max*bs2;
1556785e854fSJed Brown   ierr    = PetscMalloc1(nnz_max,&ba);CHKERRQ(ierr);
15572efa7f71SHong Zhang 
15582efa7f71SHong Zhang   /* put together the new matrix */
1559367daffbSBarry Smith   ierr = MatSeqBAIJSetPreallocation(B,bs,MAT_SKIP_ALLOCATION,NULL);CHKERRQ(ierr);
15603bb1ff40SBarry Smith   ierr = PetscLogObjectParent((PetscObject)B,(PetscObject)isicol);CHKERRQ(ierr);
156126fbe8dcSKarl Rupp 
15622efa7f71SHong Zhang   b               = (Mat_SeqBAIJ*)(B)->data;
15632efa7f71SHong Zhang   b->free_a       = PETSC_TRUE;
15642efa7f71SHong Zhang   b->free_ij      = PETSC_TRUE;
15652efa7f71SHong Zhang   b->singlemalloc = PETSC_FALSE;
156626fbe8dcSKarl Rupp 
15672efa7f71SHong Zhang   b->a    = ba;
15682efa7f71SHong Zhang   b->j    = bj;
15692efa7f71SHong Zhang   b->i    = bi;
15702efa7f71SHong Zhang   b->diag = bdiag;
1571f4259b30SLisandro Dalcin   b->ilen = NULL;
1572f4259b30SLisandro Dalcin   b->imax = NULL;
15732efa7f71SHong Zhang   b->row  = isrow;
15742efa7f71SHong Zhang   b->col  = iscol;
157526fbe8dcSKarl Rupp 
15762efa7f71SHong Zhang   ierr = PetscObjectReference((PetscObject)isrow);CHKERRQ(ierr);
15772efa7f71SHong Zhang   ierr = PetscObjectReference((PetscObject)iscol);CHKERRQ(ierr);
157826fbe8dcSKarl Rupp 
15792efa7f71SHong Zhang   b->icol  = isicol;
1580854ce69bSBarry Smith   ierr     = PetscMalloc1(bs*(mbs+1),&b->solve_work);CHKERRQ(ierr);
15813bb1ff40SBarry Smith   ierr     = PetscLogObjectMemory((PetscObject)B,nnz_max*(sizeof(PetscInt)+sizeof(MatScalar)));CHKERRQ(ierr);
15822efa7f71SHong Zhang   b->maxnz = nnz_max/bs2;
15832efa7f71SHong Zhang 
1584d5f3da31SBarry Smith   (B)->factortype            = MAT_FACTOR_ILUDT;
15852efa7f71SHong Zhang   (B)->info.factor_mallocs   = 0;
15862efa7f71SHong Zhang   (B)->info.fill_ratio_given = ((PetscReal)nnz_max)/((PetscReal)(ai[mbs]*bs2));
15872efa7f71SHong Zhang   /* ------- end of symbolic factorization ---------*/
15882efa7f71SHong Zhang   ierr = ISGetIndices(isrow,&r);CHKERRQ(ierr);
15892efa7f71SHong Zhang   ierr = ISGetIndices(isicol,&ic);CHKERRQ(ierr);
15902efa7f71SHong Zhang 
15912efa7f71SHong Zhang   /* linked list for storing column indices of the active row */
15922efa7f71SHong Zhang   nlnk = mbs + 1;
15932efa7f71SHong Zhang   ierr = PetscLLCreate(mbs,mbs,nlnk,lnk,lnkbt);CHKERRQ(ierr);
15942efa7f71SHong Zhang 
15952efa7f71SHong Zhang   /* im: used by PetscLLAddSortedLU(); jtmp: working array for column indices of active row */
1596dcca6d9dSJed Brown   ierr = PetscMalloc2(mbs,&im,mbs,&jtmp);CHKERRQ(ierr);
15972efa7f71SHong Zhang   /* rtmp, vtmp: working arrays for sparse and contiguous row entries of active row */
1598dcca6d9dSJed Brown   ierr = PetscMalloc2(mbs*bs2,&rtmp,mbs*bs2,&vtmp);CHKERRQ(ierr);
1599854ce69bSBarry Smith   ierr = PetscMalloc1(mbs+1,&vtmp_abs);CHKERRQ(ierr);
1600dcca6d9dSJed Brown   ierr = PetscMalloc3(bs,&v_work,bs2,&multiplier,bs,&v_pivots);CHKERRQ(ierr);
16012efa7f71SHong Zhang 
16025f8bbccaSHong Zhang   allowzeropivot = PetscNot(A->erroriffailure);
1603e60cf9a0SBarry Smith   bi[0]       = 0;
16042efa7f71SHong Zhang   bdiag[0]    = (nnz_max/bs2)-1; /* location of diagonal in factor B */
16056bce7ff8SHong Zhang   bi[2*mbs+1] = bdiag[0]+1; /* endof bj and ba array */
16062efa7f71SHong Zhang   for (i=0; i<mbs; i++) {
16072efa7f71SHong Zhang     /* copy initial fill into linked list */
16082efa7f71SHong Zhang     nzi = ai[r[i]+1] - ai[r[i]];
1609*2c71b3e2SJacob Faibussowitsch     PetscCheckFalse(!nzi,PETSC_COMM_SELF,PETSC_ERR_MAT_LU_ZRPVT,"Empty row in matrix: row in original ordering %" PetscInt_FMT " in permuted ordering %" PetscInt_FMT,r[i],i);
16102efa7f71SHong Zhang     nzi_al = adiag[r[i]] - ai[r[i]];
16112efa7f71SHong Zhang     nzi_au = ai[r[i]+1] - adiag[r[i]] -1;
16122efa7f71SHong Zhang 
16132efa7f71SHong Zhang     /* load in initial unfactored row */
16142efa7f71SHong Zhang     ajtmp = aj + ai[r[i]];
16152efa7f71SHong Zhang     ierr  = PetscLLAddPerm(nzi,ajtmp,ic,mbs,nlnk,lnk,lnkbt);CHKERRQ(ierr);
1616580bdb30SBarry Smith     ierr  = PetscArrayzero(rtmp,mbs*bs2);CHKERRQ(ierr);
16172efa7f71SHong Zhang     aatmp = a->a + bs2*ai[r[i]];
16182efa7f71SHong Zhang     for (j=0; j<nzi; j++) {
1619580bdb30SBarry Smith       ierr = PetscArraycpy(rtmp+bs2*ic[ajtmp[j]],aatmp+bs2*j,bs2);CHKERRQ(ierr);
16202efa7f71SHong Zhang     }
16212efa7f71SHong Zhang 
16222efa7f71SHong Zhang     /* add pivot rows into linked list */
16232efa7f71SHong Zhang     row = lnk[mbs];
16242efa7f71SHong Zhang     while (row < i) {
16252efa7f71SHong Zhang       nzi_bl = bi[row+1] - bi[row] + 1;
16262efa7f71SHong Zhang       bjtmp  = bj + bdiag[row+1]+1; /* points to 1st column next to the diagonal in U */
16272efa7f71SHong Zhang       ierr   = PetscLLAddSortedLU(bjtmp,row,nlnk,lnk,lnkbt,i,nzi_bl,im);CHKERRQ(ierr);
16282efa7f71SHong Zhang       nzi   += nlnk;
16292efa7f71SHong Zhang       row    = lnk[row];
16302efa7f71SHong Zhang     }
16312efa7f71SHong Zhang 
16322efa7f71SHong Zhang     /* copy data from lnk into jtmp, then initialize lnk */
16332efa7f71SHong Zhang     ierr = PetscLLClean(mbs,mbs,nzi,lnk,jtmp,lnkbt);CHKERRQ(ierr);
16342efa7f71SHong Zhang 
16352efa7f71SHong Zhang     /* numerical factorization */
16362efa7f71SHong Zhang     bjtmp = jtmp;
16372efa7f71SHong Zhang     row   = *bjtmp++; /* 1st pivot row */
16382efa7f71SHong Zhang 
16392efa7f71SHong Zhang     while  (row < i) {
16402efa7f71SHong Zhang       pc = rtmp + bs2*row;
16412efa7f71SHong Zhang       pv = ba + bs2*bdiag[row]; /* inv(diag) of the pivot row */
164296b95a6bSBarry Smith       PetscKernel_A_gets_A_times_B(bs,pc,pv,multiplier); /* pc= multiplier = pc*inv(diag[row]) */
1643a25532f0SBarry Smith       ierr = MatBlockAbs_private(1,bs2,pc,vtmp_abs);CHKERRQ(ierr);
16442efa7f71SHong Zhang       if (vtmp_abs[0] > dt) { /* apply tolerance dropping rule */
16452efa7f71SHong Zhang         pj = bj + bdiag[row+1] + 1;         /* point to 1st entry of U(row,:) */
16462efa7f71SHong Zhang         pv = ba + bs2*(bdiag[row+1] + 1);
16472efa7f71SHong Zhang         nz = bdiag[row] - bdiag[row+1] - 1;         /* num of entries in U(row,:), excluding diagonal */
16482efa7f71SHong Zhang         for (j=0; j<nz; j++) {
164996b95a6bSBarry Smith           PetscKernel_A_gets_A_minus_B_times_C(bs,rtmp+bs2*pj[j],pc,pv+bs2*j);
16502efa7f71SHong Zhang         }
16516da515a1SHong Zhang         /* ierr = PetscLogFlops(bslog*(nz+1.0)-bs);CHKERRQ(ierr); */
16522efa7f71SHong Zhang       }
16532efa7f71SHong Zhang       row = *bjtmp++;
16542efa7f71SHong Zhang     }
16552efa7f71SHong Zhang 
16562efa7f71SHong Zhang     /* copy sparse rtmp into contiguous vtmp; separate L and U part */
16572efa7f71SHong Zhang     nzi_bl = 0; j = 0;
16582efa7f71SHong Zhang     while (jtmp[j] < i) { /* L-part. Note: jtmp is sorted */
1659580bdb30SBarry Smith       ierr = PetscArraycpy(vtmp+bs2*j,rtmp+bs2*jtmp[j],bs2);CHKERRQ(ierr);
16602efa7f71SHong Zhang       nzi_bl++; j++;
16612efa7f71SHong Zhang     }
16622efa7f71SHong Zhang     nzi_bu = nzi - nzi_bl -1;
16632efa7f71SHong Zhang 
16642efa7f71SHong Zhang     while (j < nzi) { /* U-part */
1665580bdb30SBarry Smith       ierr = PetscArraycpy(vtmp+bs2*j,rtmp+bs2*jtmp[j],bs2);CHKERRQ(ierr);
16662efa7f71SHong Zhang       j++;
16672efa7f71SHong Zhang     }
16682efa7f71SHong Zhang 
1669a25532f0SBarry Smith     ierr = MatBlockAbs_private(nzi,bs2,vtmp,vtmp_abs);CHKERRQ(ierr);
16705f8bbccaSHong Zhang 
16712efa7f71SHong Zhang     bjtmp = bj + bi[i];
16722efa7f71SHong Zhang     batmp = ba + bs2*bi[i];
16732efa7f71SHong Zhang     /* apply level dropping rule to L part */
16742efa7f71SHong Zhang     ncut = nzi_al + dtcount;
16752efa7f71SHong Zhang     if (ncut < nzi_bl) {
1676021822bcSHong Zhang       ierr = PetscSortSplitReal(ncut,nzi_bl,vtmp_abs,jtmp);CHKERRQ(ierr);
16772efa7f71SHong Zhang       ierr = PetscSortIntWithScalarArray(ncut,jtmp,vtmp);CHKERRQ(ierr);
16782efa7f71SHong Zhang     } else {
16792efa7f71SHong Zhang       ncut = nzi_bl;
16802efa7f71SHong Zhang     }
16812efa7f71SHong Zhang     for (j=0; j<ncut; j++) {
16822efa7f71SHong Zhang       bjtmp[j] = jtmp[j];
1683580bdb30SBarry Smith       ierr     = PetscArraycpy(batmp+bs2*j,rtmp+bs2*bjtmp[j],bs2);CHKERRQ(ierr);
16842efa7f71SHong Zhang     }
16852efa7f71SHong Zhang     bi[i+1] = bi[i] + ncut;
16862efa7f71SHong Zhang     nzi     = ncut + 1;
16872efa7f71SHong Zhang 
16882efa7f71SHong Zhang     /* apply level dropping rule to U part */
16892efa7f71SHong Zhang     ncut = nzi_au + dtcount;
16902efa7f71SHong Zhang     if (ncut < nzi_bu) {
1691021822bcSHong Zhang       ierr = PetscSortSplitReal(ncut,nzi_bu,vtmp_abs+nzi_bl+1,jtmp+nzi_bl+1);CHKERRQ(ierr);
16922efa7f71SHong Zhang       ierr = PetscSortIntWithScalarArray(ncut,jtmp+nzi_bl+1,vtmp+nzi_bl+1);CHKERRQ(ierr);
16932efa7f71SHong Zhang     } else {
16942efa7f71SHong Zhang       ncut = nzi_bu;
16952efa7f71SHong Zhang     }
16962efa7f71SHong Zhang     nzi += ncut;
16972efa7f71SHong Zhang 
16982efa7f71SHong Zhang     /* mark bdiagonal */
16992efa7f71SHong Zhang     bdiag[i+1]    = bdiag[i] - (ncut + 1);
17006bce7ff8SHong Zhang     bi[2*mbs - i] = bi[2*mbs - i +1] - (ncut + 1);
17016bce7ff8SHong Zhang 
17022efa7f71SHong Zhang     bjtmp  = bj + bdiag[i];
17032efa7f71SHong Zhang     batmp  = ba + bs2*bdiag[i];
1704580bdb30SBarry Smith     ierr   = PetscArraycpy(batmp,rtmp+bs2*i,bs2);CHKERRQ(ierr);
17052efa7f71SHong Zhang     *bjtmp = i;
17065f8bbccaSHong Zhang 
17072efa7f71SHong Zhang     bjtmp = bj + bdiag[i+1]+1;
17082efa7f71SHong Zhang     batmp = ba + (bdiag[i+1]+1)*bs2;
17092efa7f71SHong Zhang 
17102efa7f71SHong Zhang     for (k=0; k<ncut; k++) {
17112efa7f71SHong Zhang       bjtmp[k] = jtmp[nzi_bl+1+k];
1712580bdb30SBarry Smith       ierr     = PetscArraycpy(batmp+bs2*k,rtmp+bs2*bjtmp[k],bs2);CHKERRQ(ierr);
17132efa7f71SHong Zhang     }
17142efa7f71SHong Zhang 
17152efa7f71SHong Zhang     im[i] = nzi; /* used by PetscLLAddSortedLU() */
17162efa7f71SHong Zhang 
1717a5b23f4aSJose E. Roman     /* invert diagonal block for simpler triangular solves - add shift??? */
17182efa7f71SHong Zhang     batmp = ba + bs2*bdiag[i];
17195f8bbccaSHong Zhang 
17205f8bbccaSHong Zhang     ierr  = PetscKernel_A_gets_inverse_A(bs,batmp,v_pivots,v_work,allowzeropivot,&zeropivotdetected);CHKERRQ(ierr);
17217b6c816cSBarry Smith     if (zeropivotdetected) B->factorerrortype = MAT_FACTOR_NUMERIC_ZEROPIVOT;
17222efa7f71SHong Zhang   } /* for (i=0; i<mbs; i++) */
1723fca92195SBarry Smith   ierr = PetscFree3(v_work,multiplier,v_pivots);CHKERRQ(ierr);
17242efa7f71SHong Zhang 
17256da515a1SHong Zhang   /* printf("end of L %d, beginning of U %d\n",bi[mbs],bdiag[mbs]); */
1726*2c71b3e2SJacob Faibussowitsch   PetscCheckFalse(bi[mbs] >= bdiag[mbs],PETSC_COMM_SELF,PETSC_ERR_ARG_SIZ,"end of L array %" PetscInt_FMT " cannot >= the beginning of U array %" PetscInt_FMT,bi[mbs],bdiag[mbs]);
17272efa7f71SHong Zhang 
17282efa7f71SHong Zhang   ierr = ISRestoreIndices(isrow,&r);CHKERRQ(ierr);
17292efa7f71SHong Zhang   ierr = ISRestoreIndices(isicol,&ic);CHKERRQ(ierr);
17302efa7f71SHong Zhang 
17312efa7f71SHong Zhang   ierr = PetscLLDestroy(lnk,lnkbt);CHKERRQ(ierr);
17322efa7f71SHong Zhang 
1733fca92195SBarry Smith   ierr = PetscFree2(im,jtmp);CHKERRQ(ierr);
1734fca92195SBarry Smith   ierr = PetscFree2(rtmp,vtmp);CHKERRQ(ierr);
17352efa7f71SHong Zhang 
17362efa7f71SHong Zhang   ierr     = PetscLogFlops(bs2*B->cmap->n);CHKERRQ(ierr);
17372efa7f71SHong Zhang   b->maxnz = b->nz = bi[mbs] + bdiag[0] - bdiag[mbs];
17382efa7f71SHong Zhang 
17392efa7f71SHong Zhang   ierr = ISIdentity(isrow,&row_identity);CHKERRQ(ierr);
17402efa7f71SHong Zhang   ierr = ISIdentity(isicol,&icol_identity);CHKERRQ(ierr);
17412efa7f71SHong Zhang   if (row_identity && icol_identity) {
17424dd39f65SShri Abhyankar     B->ops->solve = MatSolve_SeqBAIJ_N_NaturalOrdering;
17432efa7f71SHong Zhang   } else {
17444dd39f65SShri Abhyankar     B->ops->solve = MatSolve_SeqBAIJ_N;
17452efa7f71SHong Zhang   }
17462efa7f71SHong Zhang 
1747f4259b30SLisandro Dalcin   B->ops->solveadd          = NULL;
1748f4259b30SLisandro Dalcin   B->ops->solvetranspose    = NULL;
1749f4259b30SLisandro Dalcin   B->ops->solvetransposeadd = NULL;
1750f4259b30SLisandro Dalcin   B->ops->matsolve          = NULL;
17512efa7f71SHong Zhang   B->assembled              = PETSC_TRUE;
17522efa7f71SHong Zhang   B->preallocated           = PETSC_TRUE;
1753c8342467SHong Zhang   PetscFunctionReturn(0);
1754c8342467SHong Zhang }
1755