xref: /petsc/src/mat/impls/baij/seq/baijfact.c (revision 7fc0212e64316908372d1091343c7f3bcc655bd0)
15d517e7eSBarry Smith #ifndef lint
2*7fc0212eSBarry Smith static char vcid[] = "$Id: baijfact.c,v 1.3 1996/02/17 05:41:36 bsmith Exp bsmith $";
35d517e7eSBarry Smith #endif
45d517e7eSBarry Smith /*
5ec3a8b7bSBarry Smith     Factorization code for BAIJ format.
65d517e7eSBarry Smith */
75d517e7eSBarry Smith 
8ec3a8b7bSBarry Smith #include "baij.h"
9ec3a8b7bSBarry Smith 
10ec3a8b7bSBarry Smith /*
11ec3a8b7bSBarry Smith     The symbolic factorization code is identical to that for AIJ format,
12ec3a8b7bSBarry Smith   except for very small changes since this is now a SeqBAIJ datastructure.
13ec3a8b7bSBarry Smith   NOT good code reuse.
14ec3a8b7bSBarry Smith */
15ec3a8b7bSBarry Smith int MatLUFactorSymbolic_SeqBAIJ(Mat A,IS isrow,IS iscol,double f,Mat *B)
165d517e7eSBarry Smith {
17ec3a8b7bSBarry Smith   Mat_SeqBAIJ *a = (Mat_SeqBAIJ *) A->data, *b;
185d517e7eSBarry Smith   IS          isicol;
19ec3a8b7bSBarry Smith   int         *r,*ic, ierr, i, n = a->mbs, *ai = a->i, *aj = a->j;
20de6a44a3SBarry Smith   int         *ainew,*ajnew, jmax,*fill, *ajtmp, nz, bs = a->bs;
215d517e7eSBarry Smith   int         *idnew, idx, row,m,fm, nnz, nzi,len, realloc = 0,nzbd,*im;
225d517e7eSBarry Smith 
23ec3a8b7bSBarry Smith   if (a->m != a->n) SETERRQ(1,"MatLUFactorSymbolic_SeqBAIJ:Must be square");
24ec3a8b7bSBarry Smith   if (!isrow) SETERRQ(1,"MatLUFactorSymbolic_SeqBAIJ:Must have row permutation");
25ec3a8b7bSBarry Smith   if (!iscol) SETERRQ(1,"MatLUFactorSymbolic_SeqBAIJ:Must have col. permutation");
265d517e7eSBarry Smith 
275d517e7eSBarry Smith   ierr = ISInvertPermutation(iscol,&isicol); CHKERRQ(ierr);
285d517e7eSBarry Smith   ISGetIndices(isrow,&r); ISGetIndices(isicol,&ic);
295d517e7eSBarry Smith 
305d517e7eSBarry Smith   /* get new row pointers */
315d517e7eSBarry Smith   ainew = (int *) PetscMalloc( (n+1)*sizeof(int) ); CHKPTRQ(ainew);
32de6a44a3SBarry Smith   ainew[0] = 0;
335d517e7eSBarry Smith   /* don't know how many column pointers are needed so estimate */
34de6a44a3SBarry Smith   jmax = (int) (f*ai[n] + 1);
355d517e7eSBarry Smith   ajnew = (int *) PetscMalloc( (jmax)*sizeof(int) ); CHKPTRQ(ajnew);
365d517e7eSBarry Smith   /* fill is a linked list of nonzeros in active row */
375d517e7eSBarry Smith   fill = (int *) PetscMalloc( (2*n+1)*sizeof(int)); CHKPTRQ(fill);
385d517e7eSBarry Smith   im = fill + n + 1;
395d517e7eSBarry Smith   /* idnew is location of diagonal in factor */
405d517e7eSBarry Smith   idnew = (int *) PetscMalloc( (n+1)*sizeof(int)); CHKPTRQ(idnew);
41de6a44a3SBarry Smith   idnew[0] = 0;
425d517e7eSBarry Smith 
435d517e7eSBarry Smith   for ( i=0; i<n; i++ ) {
445d517e7eSBarry Smith     /* first copy previous fill into linked list */
455d517e7eSBarry Smith     nnz     = nz    = ai[r[i]+1] - ai[r[i]];
46de6a44a3SBarry Smith     ajtmp   = aj + ai[r[i]];
475d517e7eSBarry Smith     fill[n] = n;
485d517e7eSBarry Smith     while (nz--) {
495d517e7eSBarry Smith       fm  = n;
50de6a44a3SBarry Smith       idx = ic[*ajtmp++];
515d517e7eSBarry Smith       do {
525d517e7eSBarry Smith         m  = fm;
535d517e7eSBarry Smith         fm = fill[m];
545d517e7eSBarry Smith       } while (fm < idx);
555d517e7eSBarry Smith       fill[m]   = idx;
565d517e7eSBarry Smith       fill[idx] = fm;
575d517e7eSBarry Smith     }
585d517e7eSBarry Smith     row = fill[n];
595d517e7eSBarry Smith     while ( row < i ) {
60de6a44a3SBarry Smith       ajtmp = ajnew + idnew[row] + 1;
615d517e7eSBarry Smith       nzbd  = 1 + idnew[row] - ainew[row];
625d517e7eSBarry Smith       nz    = im[row] - nzbd;
635d517e7eSBarry Smith       fm    = row;
645d517e7eSBarry Smith       while (nz-- > 0) {
65de6a44a3SBarry Smith         idx = *ajtmp++;
665d517e7eSBarry Smith         nzbd++;
675d517e7eSBarry Smith         if (idx == i) im[row] = nzbd;
685d517e7eSBarry Smith         do {
695d517e7eSBarry Smith           m  = fm;
705d517e7eSBarry Smith           fm = fill[m];
715d517e7eSBarry Smith         } while (fm < idx);
725d517e7eSBarry Smith         if (fm != idx) {
735d517e7eSBarry Smith           fill[m]   = idx;
745d517e7eSBarry Smith           fill[idx] = fm;
755d517e7eSBarry Smith           fm        = idx;
765d517e7eSBarry Smith           nnz++;
775d517e7eSBarry Smith         }
785d517e7eSBarry Smith       }
795d517e7eSBarry Smith       row = fill[row];
805d517e7eSBarry Smith     }
815d517e7eSBarry Smith     /* copy new filled row into permanent storage */
825d517e7eSBarry Smith     ainew[i+1] = ainew[i] + nnz;
835d517e7eSBarry Smith     if (ainew[i+1] > jmax+1) {
845d517e7eSBarry Smith       /* allocate a longer ajnew */
855d517e7eSBarry Smith       int maxadd;
86de6a44a3SBarry Smith       maxadd = (int) ((f*(ai[n]+1)*(n-i+5))/n);
875d517e7eSBarry Smith       if (maxadd < nnz) maxadd = (n-i)*(nnz+1);
885d517e7eSBarry Smith       jmax += maxadd;
895d517e7eSBarry Smith       ajtmp = (int *) PetscMalloc( jmax*sizeof(int) );CHKPTRQ(ajtmp);
90de6a44a3SBarry Smith       PetscMemcpy(ajtmp,ajnew,ainew[i]*sizeof(int));
915d517e7eSBarry Smith       PetscFree(ajnew);
925d517e7eSBarry Smith       ajnew = ajtmp;
935d517e7eSBarry Smith       realloc++; /* count how many times we realloc */
945d517e7eSBarry Smith     }
95de6a44a3SBarry Smith     ajtmp = ajnew + ainew[i];
965d517e7eSBarry Smith     fm    = fill[n];
975d517e7eSBarry Smith     nzi   = 0;
985d517e7eSBarry Smith     im[i] = nnz;
995d517e7eSBarry Smith     while (nnz--) {
1005d517e7eSBarry Smith       if (fm < i) nzi++;
101de6a44a3SBarry Smith       *ajtmp++ = fm;
1025d517e7eSBarry Smith       fm       = fill[fm];
1035d517e7eSBarry Smith     }
1045d517e7eSBarry Smith     idnew[i] = ainew[i] + nzi;
1055d517e7eSBarry Smith   }
1065d517e7eSBarry Smith 
1075d517e7eSBarry Smith   PLogInfo((PetscObject)A,
108ec3a8b7bSBarry Smith     "Info:MatLUFactorSymbolic_SeqBAIJ:Reallocs %d Fill ratio:given %g needed %g\n",
1095d517e7eSBarry Smith                              realloc,f,((double)ainew[n])/((double)ai[i]));
1105d517e7eSBarry Smith 
1115d517e7eSBarry Smith   ierr = ISRestoreIndices(isrow,&r); CHKERRQ(ierr);
1125d517e7eSBarry Smith   ierr = ISRestoreIndices(isicol,&ic); CHKERRQ(ierr);
1135d517e7eSBarry Smith 
1145d517e7eSBarry Smith   PetscFree(fill);
1155d517e7eSBarry Smith 
1165d517e7eSBarry Smith   /* put together the new matrix */
117ec3a8b7bSBarry Smith   ierr = MatCreateSeqBAIJ(A->comm,bs,bs*n,bs*n,0,PETSC_NULL,B); CHKERRQ(ierr);
1185d517e7eSBarry Smith   PLogObjectParent(*B,isicol);
1195d517e7eSBarry Smith   ierr = ISDestroy(isicol); CHKERRQ(ierr);
120ec3a8b7bSBarry Smith   b = (Mat_SeqBAIJ *) (*B)->data;
1215d517e7eSBarry Smith   PetscFree(b->imax);
1225d517e7eSBarry Smith   b->singlemalloc = 0;
123de6a44a3SBarry Smith   len             = ainew[n]*sizeof(Scalar);
1245d517e7eSBarry Smith   /* the next line frees the default space generated by the Create() */
1255d517e7eSBarry Smith   PetscFree(b->a); PetscFree(b->ilen);
126ec3a8b7bSBarry Smith   b->a          = (Scalar *) PetscMalloc( len*bs*bs ); CHKPTRQ(b->a);
1275d517e7eSBarry Smith   b->j          = ajnew;
1285d517e7eSBarry Smith   b->i          = ainew;
1295d517e7eSBarry Smith   b->diag       = idnew;
1305d517e7eSBarry Smith   b->ilen       = 0;
1315d517e7eSBarry Smith   b->imax       = 0;
1325d517e7eSBarry Smith   b->row        = isrow;
1335d517e7eSBarry Smith   b->col        = iscol;
134de6a44a3SBarry Smith   b->solve_work = (Scalar *) PetscMalloc( (bs*n+bs)*sizeof(Scalar));
1355d517e7eSBarry Smith   CHKPTRQ(b->solve_work);
1365d517e7eSBarry Smith   /* In b structure:  Free imax, ilen, old a, old j.
1375d517e7eSBarry Smith      Allocate idnew, solve_work, new a, new j */
138de6a44a3SBarry Smith   PLogObjectMemory(*B,(ainew[n]-n)*(sizeof(int)+sizeof(Scalar)));
139de6a44a3SBarry Smith   b->maxnz = b->nz = ainew[n];
1405d517e7eSBarry Smith 
1415d517e7eSBarry Smith   return 0;
1425d517e7eSBarry Smith }
1435d517e7eSBarry Smith 
144ec3a8b7bSBarry Smith #include "pinclude/plapack.h"
145ec3a8b7bSBarry Smith 
146ec3a8b7bSBarry Smith #define BlockZero(v,idx) {PetscMemzero(v+bs2*(idx),bs2*sizeof(Scalar));}
147ec3a8b7bSBarry Smith 
148ec3a8b7bSBarry Smith #define BlockCopy(v_in,v_out,idx_in,idx_out) \
149ec3a8b7bSBarry Smith   {PetscMemcpy(v_out + bs2*(idx_out),v_in + bs2*(idx_in),bs2*sizeof(Scalar));}
150ec3a8b7bSBarry Smith 
151ec3a8b7bSBarry Smith #define BlockInvert(vv,idx) \
152ec3a8b7bSBarry Smith   { int _i,info; Scalar *w = vv + bs2*idx; \
153ec3a8b7bSBarry Smith     LAgetrf_(&bs,&bs,w,&bs,v_pivots,&info); CHKERRQ(info); \
154ec3a8b7bSBarry Smith     PetscMemzero(v_work,bs2*sizeof(Scalar));  \
155ec3a8b7bSBarry Smith     for ( _i=0; _i<bs; _i++ ) { v_work[_i + bs*_i] = 1.0; } \
156ec3a8b7bSBarry Smith     LAgetrs_("N",&bs,&bs,w,&bs,v_pivots,v_work,&bs, &info);CHKERRQ(info);\
157ec3a8b7bSBarry Smith     PetscMemcpy(w,v_work,bs2*sizeof(Scalar)); \
158ec3a8b7bSBarry Smith   }
159ec3a8b7bSBarry Smith 
160de6a44a3SBarry Smith #define BlockMult(v1,v2,v3) \
161de6a44a3SBarry Smith   {Scalar _DOne=1.0, _DZero=0.0;\
162de6a44a3SBarry Smith   BLgemm_("N","N",&bs,&bs,&bs,&_DOne,v1,&bs,v2,&bs,&_DZero,v3,&bs);}
163de6a44a3SBarry Smith 
164de6a44a3SBarry Smith #define BlockMultSub(v1,v2,v3,idx2,idx3) \
165de6a44a3SBarry Smith   {Scalar _DOne=1.0, _DMOne=-1.0;\
166de6a44a3SBarry Smith   BLgemm_("N","N",&bs,&bs,&bs,&_DMOne,v1,&bs,v2+bs2*idx2,&bs,&_DOne,v3+bs2*idx3,&bs);}
167de6a44a3SBarry Smith 
168ec3a8b7bSBarry Smith /* ----------------------------------------------------------- */
169*7fc0212eSBarry Smith int MatLUFactorNumeric_SeqBAIJ_N(Mat A,Mat *B)
1705d517e7eSBarry Smith {
1715d517e7eSBarry Smith   Mat         C = *B;
172ec3a8b7bSBarry Smith   Mat_SeqBAIJ *a = (Mat_SeqBAIJ *) A->data, *b = (Mat_SeqBAIJ *)C->data;
1735d517e7eSBarry Smith   IS          iscol = b->col, isrow = b->row, isicol;
174ec3a8b7bSBarry Smith   int         *r,*ic, ierr, i, j, n = a->mbs, *ai = b->i, *aj = b->j;
175de6a44a3SBarry Smith   int         *ajtmpold, *ajtmp, nz, row, bslog;
176ec3a8b7bSBarry Smith   int         *diag_offset = b->diag,diag,bs = a->bs,bs2 = bs*bs, *v_pivots;
177de6a44a3SBarry Smith   register Scalar *pv,*v,*rtmp,*multiplier,*v_work,*pc;
1785d517e7eSBarry Smith   register int    *pj;
1795d517e7eSBarry Smith 
1805d517e7eSBarry Smith   ierr  = ISInvertPermutation(iscol,&isicol); CHKERRQ(ierr);
1815d517e7eSBarry Smith   PLogObjectParent(*B,isicol);
1825d517e7eSBarry Smith   ierr  = ISGetIndices(isrow,&r); CHKERRQ(ierr);
1835d517e7eSBarry Smith   ierr  = ISGetIndices(isicol,&ic); CHKERRQ(ierr);
184ec3a8b7bSBarry Smith   rtmp  = (Scalar *) PetscMalloc(bs2*(n+1)*sizeof(Scalar));CHKPTRQ(rtmp);
1855d517e7eSBarry Smith 
186ec3a8b7bSBarry Smith   /* generate work space needed by dense LU factorization */
187de6a44a3SBarry Smith   v_work     = (Scalar *) PetscMalloc((bs+2*bs2)*sizeof(Scalar));CHKPTRQ(v_work);
188de6a44a3SBarry Smith   multiplier = v_work + bs2;
189de6a44a3SBarry Smith   v_pivots   = (int *) (multiplier + bs2);
190de6a44a3SBarry Smith 
191de6a44a3SBarry Smith   /* flops in while loop */
192de6a44a3SBarry Smith   bslog = 4*bs*bs2 - bs;
1935d517e7eSBarry Smith 
1945d517e7eSBarry Smith   for ( i=0; i<n; i++ ) {
1955d517e7eSBarry Smith     nz    = ai[i+1] - ai[i];
196de6a44a3SBarry Smith     ajtmp = aj + ai[i];
197de6a44a3SBarry Smith     for  ( j=0; j<nz; j++ ) BlockZero(rtmp,ajtmp[j]);
1985d517e7eSBarry Smith     /* load in initial (unfactored row) */
1995d517e7eSBarry Smith     nz       = a->i[r[i]+1] - a->i[r[i]];
200de6a44a3SBarry Smith     ajtmpold = a->j + a->i[r[i]];
201de6a44a3SBarry Smith     v        = a->a + bs2*a->i[r[i]];
202de6a44a3SBarry Smith     for ( j=0; j<nz; j++ ) BlockCopy(v,rtmp,j,ic[ajtmpold[j]]);
203de6a44a3SBarry Smith     row = *ajtmp++;
2045d517e7eSBarry Smith     while (row < i) {
205de6a44a3SBarry Smith       pc = rtmp + bs2*row;
206de6a44a3SBarry Smith /*      if (*pc) { */
207de6a44a3SBarry Smith         pv = b->a + bs2*diag_offset[row];
208de6a44a3SBarry Smith         pj = b->j + diag_offset[row] + 1;
209de6a44a3SBarry Smith 	BlockMult(pc,pv,multiplier);
210de6a44a3SBarry Smith         BlockCopy(multiplier,pc,0,0);
2115d517e7eSBarry Smith         nz = ai[row+1] - diag_offset[row] - 1;
212ec3a8b7bSBarry Smith         pv += bs2;
213de6a44a3SBarry Smith         for (j=0; j<nz; j++) BlockMultSub(multiplier,pv,rtmp,j,pj[j]);
214de6a44a3SBarry Smith         PLogFlops(bslog*nz);
215de6a44a3SBarry Smith /*      } */
216de6a44a3SBarry Smith         row = *ajtmp++;
2175d517e7eSBarry Smith     }
2185d517e7eSBarry Smith     /* finished row so stick it into b->a */
219de6a44a3SBarry Smith     pv = b->a + bs2*ai[i];
220de6a44a3SBarry Smith     pj = b->j + ai[i];
2215d517e7eSBarry Smith     nz = ai[i+1] - ai[i];
222de6a44a3SBarry Smith     for ( j=0; j<nz; j++ ) BlockCopy(rtmp,pv,pj[j],j);
2235d517e7eSBarry Smith     diag = diag_offset[i] - ai[i];
224ec3a8b7bSBarry Smith     /* invert diagonal block */
225ec3a8b7bSBarry Smith     BlockInvert(pv,diag);
2265d517e7eSBarry Smith   }
2275d517e7eSBarry Smith 
228de6a44a3SBarry Smith   PetscFree(rtmp); PetscFree(v_work);
2295d517e7eSBarry Smith   ierr = ISRestoreIndices(isicol,&ic); CHKERRQ(ierr);
2305d517e7eSBarry Smith   ierr = ISRestoreIndices(isrow,&r); CHKERRQ(ierr);
2315d517e7eSBarry Smith   ierr = ISDestroy(isicol); CHKERRQ(ierr);
2325d517e7eSBarry Smith   C->factor = FACTOR_LU;
2335d517e7eSBarry Smith   C->assembled = PETSC_TRUE;
234de6a44a3SBarry Smith   PLogFlops(1.3333*bs*bs2*b->mbs); /* from inverting diagonal blocks */
2355d517e7eSBarry Smith   return 0;
2365d517e7eSBarry Smith }
237*7fc0212eSBarry Smith 
238*7fc0212eSBarry Smith /* ----------------------------------------------------------- */
239*7fc0212eSBarry Smith /*
240*7fc0212eSBarry Smith      Version for when blocks are 1 by 1.
241*7fc0212eSBarry Smith */
242*7fc0212eSBarry Smith int MatLUFactorNumeric_SeqBAIJ_1(Mat A,Mat *B)
243*7fc0212eSBarry Smith {
244*7fc0212eSBarry Smith   Mat         C = *B;
245*7fc0212eSBarry Smith   Mat_SeqBAIJ *a = (Mat_SeqBAIJ *) A->data, *b = (Mat_SeqBAIJ *)C->data;
246*7fc0212eSBarry Smith   IS          iscol = b->col, isrow = b->row, isicol;
247*7fc0212eSBarry Smith   int         *r,*ic, ierr, i, j, n = a->mbs, *ai = b->i, *aj = b->j;
248*7fc0212eSBarry Smith   int         *ajtmpold, *ajtmp, nz, row;
249*7fc0212eSBarry Smith   int         *diag_offset = b->diag,diag;
250*7fc0212eSBarry Smith   register Scalar *pv,*v,*rtmp,multiplier,*pc;
251*7fc0212eSBarry Smith   register int    *pj;
252*7fc0212eSBarry Smith 
253*7fc0212eSBarry Smith   ierr  = ISInvertPermutation(iscol,&isicol); CHKERRQ(ierr);
254*7fc0212eSBarry Smith   PLogObjectParent(*B,isicol);
255*7fc0212eSBarry Smith   ierr  = ISGetIndices(isrow,&r); CHKERRQ(ierr);
256*7fc0212eSBarry Smith   ierr  = ISGetIndices(isicol,&ic); CHKERRQ(ierr);
257*7fc0212eSBarry Smith   rtmp  = (Scalar *) PetscMalloc((n+1)*sizeof(Scalar));CHKPTRQ(rtmp);
258*7fc0212eSBarry Smith 
259*7fc0212eSBarry Smith   for ( i=0; i<n; i++ ) {
260*7fc0212eSBarry Smith     nz    = ai[i+1] - ai[i];
261*7fc0212eSBarry Smith     ajtmp = aj + ai[i];
262*7fc0212eSBarry Smith     for  ( j=0; j<nz; j++ ) rtmp[ajtmp[j]] = 0.0;
263*7fc0212eSBarry Smith 
264*7fc0212eSBarry Smith     /* load in initial (unfactored row) */
265*7fc0212eSBarry Smith     nz       = a->i[r[i]+1] - a->i[r[i]];
266*7fc0212eSBarry Smith     ajtmpold = a->j + a->i[r[i]];
267*7fc0212eSBarry Smith     v        = a->a + a->i[r[i]];
268*7fc0212eSBarry Smith     for ( j=0; j<nz; j++ ) rtmp[ic[ajtmpold[j]]] =  v[j];
269*7fc0212eSBarry Smith 
270*7fc0212eSBarry Smith     row = *ajtmp++;
271*7fc0212eSBarry Smith     while (row < i) {
272*7fc0212eSBarry Smith       pc = rtmp + row;
273*7fc0212eSBarry Smith       if (*pc != 0.0) {
274*7fc0212eSBarry Smith         pv         = b->a + diag_offset[row];
275*7fc0212eSBarry Smith         pj         = b->j + diag_offset[row] + 1;
276*7fc0212eSBarry Smith         multiplier = *pc * *pv++;
277*7fc0212eSBarry Smith         *pc        = multiplier;
278*7fc0212eSBarry Smith         nz         = ai[row+1] - diag_offset[row] - 1;
279*7fc0212eSBarry Smith         for (j=0; j<nz; j++) rtmp[pj[j]] -= multiplier * pv[j];
280*7fc0212eSBarry Smith         PLogFlops(2*nz);
281*7fc0212eSBarry Smith       }
282*7fc0212eSBarry Smith       row = *ajtmp++;
283*7fc0212eSBarry Smith     }
284*7fc0212eSBarry Smith     /* finished row so stick it into b->a */
285*7fc0212eSBarry Smith     pv = b->a + ai[i];
286*7fc0212eSBarry Smith     pj = b->j + ai[i];
287*7fc0212eSBarry Smith     nz = ai[i+1] - ai[i];
288*7fc0212eSBarry Smith     for ( j=0; j<nz; j++ ) {pv[j] = rtmp[pj[j]];}
289*7fc0212eSBarry Smith     diag = diag_offset[i] - ai[i];
290*7fc0212eSBarry Smith     /* check pivot entry for current row */
291*7fc0212eSBarry Smith     if (pv[diag] == 0.0) {
292*7fc0212eSBarry Smith       SETERRQ(1,"MatLUFactorNumeric_SeqAIJ:Zero pivot");
293*7fc0212eSBarry Smith     }
294*7fc0212eSBarry Smith     pv[diag] = 1.0/pv[diag];
295*7fc0212eSBarry Smith   }
296*7fc0212eSBarry Smith 
297*7fc0212eSBarry Smith   PetscFree(rtmp);
298*7fc0212eSBarry Smith   ierr = ISRestoreIndices(isicol,&ic); CHKERRQ(ierr);
299*7fc0212eSBarry Smith   ierr = ISRestoreIndices(isrow,&r); CHKERRQ(ierr);
300*7fc0212eSBarry Smith   ierr = ISDestroy(isicol); CHKERRQ(ierr);
301*7fc0212eSBarry Smith   C->factor    = FACTOR_LU;
302*7fc0212eSBarry Smith   C->assembled = PETSC_TRUE;
303*7fc0212eSBarry Smith   PLogFlops(b->n);
304*7fc0212eSBarry Smith   return 0;
305*7fc0212eSBarry Smith }
306*7fc0212eSBarry Smith 
3075d517e7eSBarry Smith /* ----------------------------------------------------------- */
308ec3a8b7bSBarry Smith int MatLUFactor_SeqBAIJ(Mat A,IS row,IS col,double f)
3095d517e7eSBarry Smith {
310ec3a8b7bSBarry Smith   Mat_SeqBAIJ *mat = (Mat_SeqBAIJ *) A->data;
3115d517e7eSBarry Smith   int         ierr;
3125d517e7eSBarry Smith   Mat         C;
3135d517e7eSBarry Smith 
314ec3a8b7bSBarry Smith   ierr = MatLUFactorSymbolic_SeqBAIJ(A,row,col,f,&C); CHKERRQ(ierr);
315*7fc0212eSBarry Smith   ierr = MatLUFactorNumeric(A,&C); CHKERRQ(ierr);
3165d517e7eSBarry Smith 
3175d517e7eSBarry Smith   /* free all the data structures from mat */
3185d517e7eSBarry Smith   PetscFree(mat->a);
3195d517e7eSBarry Smith   if (!mat->singlemalloc) {PetscFree(mat->i); PetscFree(mat->j);}
3205d517e7eSBarry Smith   if (mat->diag) PetscFree(mat->diag);
3215d517e7eSBarry Smith   if (mat->ilen) PetscFree(mat->ilen);
3225d517e7eSBarry Smith   if (mat->imax) PetscFree(mat->imax);
3235d517e7eSBarry Smith   if (mat->solve_work) PetscFree(mat->solve_work);
3245d517e7eSBarry Smith   PetscFree(mat);
3255d517e7eSBarry Smith 
3265d517e7eSBarry Smith   PetscMemcpy(A,C,sizeof(struct _Mat));
3275d517e7eSBarry Smith   PetscHeaderDestroy(C);
3285d517e7eSBarry Smith   return 0;
3295d517e7eSBarry Smith }
3305d517e7eSBarry Smith /* ----------------------------------------------------------- */
331ec3a8b7bSBarry Smith int MatSolve_SeqBAIJ(Mat A,Vec bb, Vec xx)
3325d517e7eSBarry Smith {
333ec3a8b7bSBarry Smith   Mat_SeqBAIJ *a = (Mat_SeqBAIJ *) A->data;
3345d517e7eSBarry Smith   IS          iscol = a->col, isrow = a->row;
335de6a44a3SBarry Smith   int         *r,*c, ierr, i,  n = a->mbs, *vi, *ai = a->i, *aj = a->j;
336de6a44a3SBarry Smith   int         nz,bs = a->bs,bs2 = bs*bs,idx,idt,idc, _One = 1;
337de6a44a3SBarry Smith   Scalar      *xa,*ba,*aa = a->a, *sum, _DOne = 1.0, _DMOne = -1.0;
338de6a44a3SBarry Smith   Scalar      _DZero = 0.0,sum1,sum2,sum3,sum4,sum5,x1,x2,x3,x4,x5;
339de6a44a3SBarry Smith   register Scalar *x, *b, *lsum, *tmp, *v;
3405d517e7eSBarry Smith 
341ec3a8b7bSBarry Smith   if (A->factor != FACTOR_LU) SETERRQ(1,"MatSolve_SeqBAIJ:Not for unfactored matrix");
3425d517e7eSBarry Smith 
343de6a44a3SBarry Smith   ierr = VecGetArray(bb,&ba); CHKERRQ(ierr); b = ba;
344de6a44a3SBarry Smith   ierr = VecGetArray(xx,&xa); CHKERRQ(ierr); x = xa;
3455d517e7eSBarry Smith   tmp  = a->solve_work;
3465d517e7eSBarry Smith 
3475d517e7eSBarry Smith   ierr = ISGetIndices(isrow,&r);CHKERRQ(ierr);
3485d517e7eSBarry Smith   ierr = ISGetIndices(iscol,&c);CHKERRQ(ierr); c = c + (n-1);
3495d517e7eSBarry Smith 
350de6a44a3SBarry Smith   switch (bs) {
351de6a44a3SBarry Smith     case 1:
3525d517e7eSBarry Smith       /* forward solve the lower triangular */
3535d517e7eSBarry Smith       tmp[0] = b[*r++];
3545d517e7eSBarry Smith       for ( i=1; i<n; i++ ) {
355de6a44a3SBarry Smith         v     = aa + ai[i];
356de6a44a3SBarry Smith         vi    = aj + ai[i];
3575d517e7eSBarry Smith         nz    = a->diag[i] - ai[i];
358de6a44a3SBarry Smith         sum1  = b[*r++];
359de6a44a3SBarry Smith         while (nz--) {
360de6a44a3SBarry Smith           sum1 -= (*v++)*tmp[*vi++];
3615d517e7eSBarry Smith         }
362de6a44a3SBarry Smith         tmp[i] = sum1;
363de6a44a3SBarry Smith       }
3645d517e7eSBarry Smith       /* backward solve the upper triangular */
3655d517e7eSBarry Smith       for ( i=n-1; i>=0; i-- ){
366de6a44a3SBarry Smith         v    = aa + a->diag[i] + 1;
367de6a44a3SBarry Smith         vi   = aj + a->diag[i] + 1;
3685d517e7eSBarry Smith         nz   = ai[i+1] - a->diag[i] - 1;
369de6a44a3SBarry Smith         sum1 = tmp[i];
370de6a44a3SBarry Smith         while (nz--) {
371de6a44a3SBarry Smith           sum1 -= (*v++)*tmp[*vi++];
372de6a44a3SBarry Smith         }
373de6a44a3SBarry Smith         x[*c--] = tmp[i] = aa[a->diag[i]]*sum1;
374de6a44a3SBarry Smith       }
375de6a44a3SBarry Smith       break;
376de6a44a3SBarry Smith     case 2:
377de6a44a3SBarry Smith       /* forward solve the lower triangular */
378de6a44a3SBarry Smith       idx    = 2*(*r++);
379de6a44a3SBarry Smith       tmp[0] = b[idx]; tmp[1] = b[1+idx];
380de6a44a3SBarry Smith       for ( i=1; i<n; i++ ) {
381de6a44a3SBarry Smith         v     = aa + 4*ai[i];
382de6a44a3SBarry Smith         vi    = aj + ai[i];
383de6a44a3SBarry Smith         nz    = a->diag[i] - ai[i];
384de6a44a3SBarry Smith         idx   = 2*(*r++);
385de6a44a3SBarry Smith         sum1  = b[idx]; sum2 = b[1+idx];
386de6a44a3SBarry Smith         while (nz--) {
387de6a44a3SBarry Smith           idx   = 2*(*vi++);
388de6a44a3SBarry Smith           x1    = tmp[idx]; x2 = tmp[1+idx];
389de6a44a3SBarry Smith           sum1 -= v[0]*x1 + v[2]*x2;
390de6a44a3SBarry Smith           sum2 -= v[1]*x1 + v[3]*x2;
391de6a44a3SBarry Smith           v += 4;
392de6a44a3SBarry Smith         }
393de6a44a3SBarry Smith         idx = 2*i;
394de6a44a3SBarry Smith         tmp[idx] = sum1; tmp[1+idx] = sum2;
395de6a44a3SBarry Smith       }
396de6a44a3SBarry Smith       /* backward solve the upper triangular */
397de6a44a3SBarry Smith       for ( i=n-1; i>=0; i-- ){
398de6a44a3SBarry Smith         v    = aa + 4*a->diag[i] + 4;
399de6a44a3SBarry Smith         vi   = aj + a->diag[i] + 1;
400de6a44a3SBarry Smith         nz   = ai[i+1] - a->diag[i] - 1;
401de6a44a3SBarry Smith         idt  = 2*i;
402de6a44a3SBarry Smith         sum1 = tmp[idt]; sum2 = tmp[1+idt];
403de6a44a3SBarry Smith         while (nz--) {
404de6a44a3SBarry Smith           idx   = 2*(*vi++);
405de6a44a3SBarry Smith           x1    = tmp[idx]; x2 = tmp[1+idx];
406de6a44a3SBarry Smith           sum1 -= v[0]*x1 + v[2]*x2;
407de6a44a3SBarry Smith           sum2 -= v[1]*x1 + v[3]*x2;
408de6a44a3SBarry Smith           v += 4;
409de6a44a3SBarry Smith         }
410de6a44a3SBarry Smith         idc = 2*(*c--);
411de6a44a3SBarry Smith         v   = aa + 4*a->diag[i];
412de6a44a3SBarry Smith         x[idc]   = tmp[idt]   = v[0]*sum1 + v[2]*sum2;
413de6a44a3SBarry Smith         x[1+idc] = tmp[1+idt] = v[1]*sum1 + v[3]*sum2;
414de6a44a3SBarry Smith       }
415de6a44a3SBarry Smith       break;
416de6a44a3SBarry Smith     case 3:
417de6a44a3SBarry Smith       /* forward solve the lower triangular */
418de6a44a3SBarry Smith       idx    = 3*(*r++);
419de6a44a3SBarry Smith       tmp[0] = b[idx]; tmp[1] = b[1+idx]; tmp[2] = b[2+idx];
420de6a44a3SBarry Smith       for ( i=1; i<n; i++ ) {
421de6a44a3SBarry Smith         v     = aa + 9*ai[i];
422de6a44a3SBarry Smith         vi    = aj + ai[i];
423de6a44a3SBarry Smith         nz    = a->diag[i] - ai[i];
424de6a44a3SBarry Smith         idx   = 3*(*r++);
425de6a44a3SBarry Smith         sum1  = b[idx]; sum2 = b[1+idx]; sum3 = b[2+idx];
426de6a44a3SBarry Smith         while (nz--) {
427de6a44a3SBarry Smith           idx   = 3*(*vi++);
428de6a44a3SBarry Smith           x1    = tmp[idx]; x2 = tmp[1+idx]; x3 = tmp[2+idx];
429de6a44a3SBarry Smith           sum1 -= v[0]*x1 + v[3]*x2 + v[6]*x3;
430de6a44a3SBarry Smith           sum2 -= v[1]*x1 + v[4]*x2 + v[7]*x3;
431de6a44a3SBarry Smith           sum3 -= v[2]*x1 + v[5]*x2 + v[8]*x3;
432de6a44a3SBarry Smith           v += 9;
433de6a44a3SBarry Smith         }
434de6a44a3SBarry Smith         idx = 3*i;
435de6a44a3SBarry Smith         tmp[idx] = sum1; tmp[1+idx] = sum2; tmp[2+idx] = sum3;
436de6a44a3SBarry Smith       }
437de6a44a3SBarry Smith       /* backward solve the upper triangular */
438de6a44a3SBarry Smith       for ( i=n-1; i>=0; i-- ){
439de6a44a3SBarry Smith         v    = aa + 9*a->diag[i] + 9;
440de6a44a3SBarry Smith         vi   = aj + a->diag[i] + 1;
441de6a44a3SBarry Smith         nz   = ai[i+1] - a->diag[i] - 1;
442de6a44a3SBarry Smith         idt  = 3*i;
443de6a44a3SBarry Smith         sum1 = tmp[idt]; sum2 = tmp[1+idt]; sum3 = tmp[2+idt];
444de6a44a3SBarry Smith         while (nz--) {
445de6a44a3SBarry Smith           idx   = 3*(*vi++);
446de6a44a3SBarry Smith           x1    = tmp[idx]; x2 = tmp[1+idx]; x3 = tmp[2+idx];
447de6a44a3SBarry Smith           sum1 -= v[0]*x1 + v[3]*x2 + v[6]*x3;
448de6a44a3SBarry Smith           sum2 -= v[1]*x1 + v[4]*x2 + v[7]*x3;
449de6a44a3SBarry Smith           sum3 -= v[2]*x1 + v[5]*x2 + v[8]*x3;
450de6a44a3SBarry Smith           v += 9;
451de6a44a3SBarry Smith         }
452de6a44a3SBarry Smith         idc = 3*(*c--);
453de6a44a3SBarry Smith         v   = aa + 9*a->diag[i];
454de6a44a3SBarry Smith         x[idc]   = tmp[idt]   = v[0]*sum1 + v[3]*sum2 + v[6]*sum3;
455de6a44a3SBarry Smith         x[1+idc] = tmp[1+idt] = v[1]*sum1 + v[4]*sum2 + v[7]*sum3;
456de6a44a3SBarry Smith         x[2+idc] = tmp[2+idt] = v[2]*sum1 + v[5]*sum2 + v[8]*sum3;
457de6a44a3SBarry Smith       }
458de6a44a3SBarry Smith       break;
459de6a44a3SBarry Smith     case 4:
460de6a44a3SBarry Smith       /* forward solve the lower triangular */
461de6a44a3SBarry Smith       idx    = 4*(*r++);
462de6a44a3SBarry Smith       tmp[0] = b[idx];   tmp[1] = b[1+idx];
463de6a44a3SBarry Smith       tmp[2] = b[2+idx]; tmp[3] = b[3+idx];
464de6a44a3SBarry Smith       for ( i=1; i<n; i++ ) {
465de6a44a3SBarry Smith         v     = aa + 16*ai[i];
466de6a44a3SBarry Smith         vi    = aj + ai[i];
467de6a44a3SBarry Smith         nz    = a->diag[i] - ai[i];
468de6a44a3SBarry Smith         idx   = 4*(*r++);
469de6a44a3SBarry Smith         sum1  = b[idx];sum2 = b[1+idx];sum3 = b[2+idx];sum4 = b[3+idx];
470de6a44a3SBarry Smith         while (nz--) {
471de6a44a3SBarry Smith           idx   = 4*(*vi++);
472de6a44a3SBarry Smith           x1    = tmp[idx];x2 = tmp[1+idx];x3 = tmp[2+idx];x4 = tmp[3+idx];
473de6a44a3SBarry Smith           sum1 -= v[0]*x1 + v[4]*x2 + v[8]*x3  + v[12]*x4;
474de6a44a3SBarry Smith           sum2 -= v[1]*x1 + v[5]*x2 + v[9]*x3  + v[13]*x4;
475de6a44a3SBarry Smith           sum3 -= v[2]*x1 + v[6]*x2 + v[10]*x3 + v[14]*x4;
476de6a44a3SBarry Smith           sum4 -= v[3]*x1 + v[7]*x2 + v[11]*x3 + v[15]*x4;
477de6a44a3SBarry Smith           v += 16;
478de6a44a3SBarry Smith         }
479de6a44a3SBarry Smith         idx = 4*i;
480de6a44a3SBarry Smith         tmp[idx]   = sum1;tmp[1+idx] = sum2;
481de6a44a3SBarry Smith         tmp[2+idx] = sum3;tmp[3+idx] = sum4;
482de6a44a3SBarry Smith       }
483de6a44a3SBarry Smith       /* backward solve the upper triangular */
484de6a44a3SBarry Smith       for ( i=n-1; i>=0; i-- ){
485de6a44a3SBarry Smith         v    = aa + 16*a->diag[i] + 16;
486de6a44a3SBarry Smith         vi   = aj + a->diag[i] + 1;
487de6a44a3SBarry Smith         nz   = ai[i+1] - a->diag[i] - 1;
488de6a44a3SBarry Smith         idt  = 4*i;
489de6a44a3SBarry Smith         sum1 = tmp[idt];  sum2 = tmp[1+idt];
490de6a44a3SBarry Smith         sum3 = tmp[2+idt];sum4 = tmp[3+idt];
491de6a44a3SBarry Smith         while (nz--) {
492de6a44a3SBarry Smith           idx   = 4*(*vi++);
493de6a44a3SBarry Smith           x1    = tmp[idx];   x2 = tmp[1+idx];
494de6a44a3SBarry Smith           x3    = tmp[2+idx]; x4 = tmp[3+idx];
495de6a44a3SBarry Smith           sum1 -= v[0]*x1 + v[4]*x2 + v[8]*x3   + v[12]*x4;
496de6a44a3SBarry Smith           sum2 -= v[1]*x1 + v[5]*x2 + v[9]*x3   + v[13]*x4;
497de6a44a3SBarry Smith           sum3 -= v[2]*x1 + v[6]*x2 + v[10]*x3  + v[14]*x4;
498de6a44a3SBarry Smith           sum4 -= v[3]*x1 + v[7]*x2 + v[11]*x3  + v[15]*x4;
499de6a44a3SBarry Smith           v += 16;
500de6a44a3SBarry Smith         }
501de6a44a3SBarry Smith         idc = 4*(*c--);
502de6a44a3SBarry Smith         v   = aa + 16*a->diag[i];
503de6a44a3SBarry Smith         x[idc]   = tmp[idt]   = v[0]*sum1+v[4]*sum2+v[8]*sum3+v[12]*sum4;
504de6a44a3SBarry Smith         x[1+idc] = tmp[1+idt] = v[1]*sum1+v[5]*sum2+v[9]*sum3+v[13]*sum4;
505de6a44a3SBarry Smith         x[2+idc] = tmp[2+idt] = v[2]*sum1+v[6]*sum2+v[10]*sum3+v[14]*sum4;
506de6a44a3SBarry Smith         x[3+idc] = tmp[3+idt] = v[3]*sum1+v[7]*sum2+v[11]*sum3+v[15]*sum4;
507de6a44a3SBarry Smith       }
508de6a44a3SBarry Smith       break;
509de6a44a3SBarry Smith     case 5:
510de6a44a3SBarry Smith       /* forward solve the lower triangular */
511de6a44a3SBarry Smith       idx    = 5*(*r++);
512de6a44a3SBarry Smith       tmp[0] = b[idx];   tmp[1] = b[1+idx];
513de6a44a3SBarry Smith       tmp[2] = b[2+idx]; tmp[3] = b[3+idx]; tmp[4] = b[4+idx];
514de6a44a3SBarry Smith       for ( i=1; i<n; i++ ) {
515de6a44a3SBarry Smith         v     = aa + 25*ai[i];
516de6a44a3SBarry Smith         vi    = aj + ai[i];
517de6a44a3SBarry Smith         nz    = a->diag[i] - ai[i];
518de6a44a3SBarry Smith         idx   = 5*(*r++);
519de6a44a3SBarry Smith         sum1  = b[idx];sum2 = b[1+idx];sum3 = b[2+idx];sum4 = b[3+idx];
520de6a44a3SBarry Smith         sum5  = b[4+idx];
521de6a44a3SBarry Smith         while (nz--) {
522de6a44a3SBarry Smith           idx   = 5*(*vi++);
523de6a44a3SBarry Smith           x1    = tmp[idx];  x2 = tmp[1+idx];x3 = tmp[2+idx];
524de6a44a3SBarry Smith           x4    = tmp[3+idx];x5 = tmp[4+idx];
525de6a44a3SBarry Smith           sum1 -= v[0]*x1 + v[5]*x2 + v[10]*x3 + v[15]*x4 + v[20]*x5;
526de6a44a3SBarry Smith           sum2 -= v[1]*x1 + v[6]*x2 + v[11]*x3 + v[16]*x4 + v[21]*x5;
527de6a44a3SBarry Smith           sum3 -= v[2]*x1 + v[7]*x2 + v[12]*x3 + v[17]*x4 + v[22]*x5;
528de6a44a3SBarry Smith           sum4 -= v[3]*x1 + v[8]*x2 + v[13]*x3 + v[18]*x4 + v[23]*x5;
529de6a44a3SBarry Smith           sum5 -= v[4]*x1 + v[9]*x2 + v[14]*x3 + v[19]*x4 + v[24]*x5;
530de6a44a3SBarry Smith           v += 25;
531de6a44a3SBarry Smith         }
532de6a44a3SBarry Smith         idx = 5*i;
533de6a44a3SBarry Smith         tmp[idx]   = sum1;tmp[1+idx] = sum2;
534de6a44a3SBarry Smith         tmp[2+idx] = sum3;tmp[3+idx] = sum4; tmp[4+idx] = sum5;
535de6a44a3SBarry Smith       }
536de6a44a3SBarry Smith       /* backward solve the upper triangular */
537de6a44a3SBarry Smith       for ( i=n-1; i>=0; i-- ){
538de6a44a3SBarry Smith         v    = aa + 25*a->diag[i] + 25;
539de6a44a3SBarry Smith         vi   = aj + a->diag[i] + 1;
540de6a44a3SBarry Smith         nz   = ai[i+1] - a->diag[i] - 1;
541de6a44a3SBarry Smith         idt  = 5*i;
542de6a44a3SBarry Smith         sum1 = tmp[idt];  sum2 = tmp[1+idt];
543de6a44a3SBarry Smith         sum3 = tmp[2+idt];sum4 = tmp[3+idt]; sum5 = tmp[4+idt];
544de6a44a3SBarry Smith         while (nz--) {
545de6a44a3SBarry Smith           idx   = 5*(*vi++);
546de6a44a3SBarry Smith           x1    = tmp[idx];   x2 = tmp[1+idx];
547de6a44a3SBarry Smith           x3    = tmp[2+idx]; x4 = tmp[3+idx]; x5 = tmp[4+idx];
548de6a44a3SBarry Smith           sum1 -= v[0]*x1 + v[5]*x2 + v[10]*x3 + v[15]*x4 + v[20]*x5;
549de6a44a3SBarry Smith           sum2 -= v[1]*x1 + v[6]*x2 + v[11]*x3 + v[16]*x4 + v[21]*x5;
550de6a44a3SBarry Smith           sum3 -= v[2]*x1 + v[7]*x2 + v[12]*x3 + v[17]*x4 + v[22]*x5;
551de6a44a3SBarry Smith           sum4 -= v[3]*x1 + v[8]*x2 + v[13]*x3 + v[18]*x4 + v[23]*x5;
552de6a44a3SBarry Smith           sum5 -= v[4]*x1 + v[9]*x2 + v[14]*x3 + v[19]*x4 + v[24]*x5;
553de6a44a3SBarry Smith           v += 25;
554de6a44a3SBarry Smith         }
555de6a44a3SBarry Smith         idc = 5*(*c--);
556de6a44a3SBarry Smith         v   = aa + 25*a->diag[i];
557de6a44a3SBarry Smith         x[idc]   = tmp[idt]   = v[0]*sum1+v[5]*sum2+v[10]*sum3+
558de6a44a3SBarry Smith                                 v[15]*sum4+v[20]*sum5;
559de6a44a3SBarry Smith         x[1+idc] = tmp[1+idt] = v[1]*sum1+v[6]*sum2+v[11]*sum3+
560de6a44a3SBarry Smith                                 v[16]*sum4+v[21]*sum5;
561de6a44a3SBarry Smith         x[2+idc] = tmp[2+idt] = v[2]*sum1+v[7]*sum2+v[12]*sum3+
562de6a44a3SBarry Smith                                 v[17]*sum4+v[22]*sum5;
563de6a44a3SBarry Smith         x[3+idc] = tmp[3+idt] = v[3]*sum1+v[8]*sum2+v[13]*sum3+
564de6a44a3SBarry Smith                                 v[18]*sum4+v[23]*sum5;
565de6a44a3SBarry Smith         x[4+idc] = tmp[4+idt] = v[4]*sum1+v[9]*sum2+v[14]*sum3+
566de6a44a3SBarry Smith                                 v[19]*sum4+v[24]*sum5;
567de6a44a3SBarry Smith       }
568de6a44a3SBarry Smith       break;
569de6a44a3SBarry Smith     default: {
570de6a44a3SBarry Smith       /* forward solve the lower triangular */
571de6a44a3SBarry Smith       PetscMemcpy(tmp,b + bs*(*r++), bs*sizeof(Scalar));
572de6a44a3SBarry Smith       for ( i=1; i<n; i++ ) {
573de6a44a3SBarry Smith         v   = aa + bs2*ai[i];
574de6a44a3SBarry Smith         vi  = aj + ai[i];
575de6a44a3SBarry Smith         nz  = a->diag[i] - ai[i];
576de6a44a3SBarry Smith         sum = tmp + bs*i;
577de6a44a3SBarry Smith         PetscMemcpy(sum,b+bs*(*r++),bs*sizeof(Scalar));
578de6a44a3SBarry Smith         while (nz--) {
579de6a44a3SBarry Smith           LAgemv_("N",&bs,&bs,&_DMOne,v,&bs,tmp+bs*(*vi++),&_One,&_DOne,sum,&_One);
580de6a44a3SBarry Smith           v += bs2;
581de6a44a3SBarry Smith         }
582de6a44a3SBarry Smith       }
583de6a44a3SBarry Smith       /* backward solve the upper triangular */
584de6a44a3SBarry Smith       lsum = a->solve_work + a->n;
585de6a44a3SBarry Smith       for ( i=n-1; i>=0; i-- ){
586de6a44a3SBarry Smith         v   = aa + bs2*(a->diag[i] + 1);
587de6a44a3SBarry Smith         vi  = aj + a->diag[i] + 1;
588de6a44a3SBarry Smith         nz  = ai[i+1] - a->diag[i] - 1;
589de6a44a3SBarry Smith         PetscMemcpy(lsum,tmp+i*bs,bs*sizeof(Scalar));
590de6a44a3SBarry Smith         while (nz--) {
591de6a44a3SBarry Smith           LAgemv_("N",&bs,&bs,&_DMOne,v,&bs,tmp+bs*(*vi++),&_One,&_DOne,lsum,&_One);
592de6a44a3SBarry Smith           v += bs2;
593de6a44a3SBarry Smith         }
594de6a44a3SBarry Smith         LAgemv_("N",&bs,&bs,&_DOne,aa+bs2*a->diag[i],&bs,lsum,&_One,&_DZero,
595de6a44a3SBarry Smith                 tmp+i*bs,&_One);
596de6a44a3SBarry Smith         PetscMemcpy(x + bs*(*c--),tmp+i*bs,bs*sizeof(Scalar));
597de6a44a3SBarry Smith       }
598de6a44a3SBarry Smith     }
5995d517e7eSBarry Smith   }
6005d517e7eSBarry Smith 
6015d517e7eSBarry Smith   ierr = ISRestoreIndices(isrow,&r); CHKERRQ(ierr);
6025d517e7eSBarry Smith   ierr = ISRestoreIndices(iscol,&c); CHKERRQ(ierr);
603de6a44a3SBarry Smith   PLogFlops(2*bs2*a->nz - a->n);
6045d517e7eSBarry Smith   return 0;
6055d517e7eSBarry Smith }
6065d517e7eSBarry Smith 
6075d517e7eSBarry Smith /* ----------------------------------------------------------------*/
608ec3a8b7bSBarry Smith /*
609ec3a8b7bSBarry Smith      This code is virtually identical to MatILUFactorSymbolic_SeqAIJ
610ec3a8b7bSBarry Smith    except that the data structure of Mat_SeqAIJ is slightly different.
611ec3a8b7bSBarry Smith    Not a good example of code reuse.
612ec3a8b7bSBarry Smith    */
613ec3a8b7bSBarry Smith int MatILUFactorSymbolic_SeqBAIJ(Mat A,IS isrow,IS iscol,double f,int levels,
614ec3a8b7bSBarry Smith                                  Mat *fact)
6155d517e7eSBarry Smith {
616ec3a8b7bSBarry Smith   Mat_SeqBAIJ *a = (Mat_SeqBAIJ *) A->data, *b;
6175d517e7eSBarry Smith   IS          isicol;
618ec3a8b7bSBarry Smith   int         *r,*ic, ierr, prow, n = a->mbs, *ai = a->i, *aj = a->j;
6195d517e7eSBarry Smith   int         *ainew,*ajnew, jmax,*fill, *xi, nz, *im,*ajfill,*flev;
6205d517e7eSBarry Smith   int         *dloc, idx, row,m,fm, nzf, nzi,len,  realloc = 0;
621de6a44a3SBarry Smith   int         incrlev,nnz,i,bs = a->bs;
6225d517e7eSBarry Smith 
623ec3a8b7bSBarry Smith   if (a->m != a->n) SETERRQ(1,"MatILUFactorSymbolic_SeqBAIJ:Matrix must be square");
624ec3a8b7bSBarry Smith   if (!isrow) SETERRQ(1,"MatILUFactorSymbolic_SeqBAIJ:Must have row permutation");
625ec3a8b7bSBarry Smith   if (!iscol) SETERRQ(1,"MatILUFactorSymbolic_SeqBAIJ:Must have column permutation");
6265d517e7eSBarry Smith 
6275d517e7eSBarry Smith   /* special case that simply copies fill pattern */
6285d517e7eSBarry Smith   if (levels == 0 && ISIsIdentity(isrow) && ISIsIdentity(iscol)) {
629ec3a8b7bSBarry Smith     ierr = MatConvertSameType_SeqBAIJ(A,fact,DO_NOT_COPY_VALUES); CHKERRQ(ierr);
6305d517e7eSBarry Smith     (*fact)->factor = FACTOR_LU;
631ec3a8b7bSBarry Smith     b               = (Mat_SeqBAIJ *) (*fact)->data;
6325d517e7eSBarry Smith     if (!b->diag) {
633ec3a8b7bSBarry Smith       ierr = MatMarkDiag_SeqBAIJ(*fact); CHKERRQ(ierr);
6345d517e7eSBarry Smith     }
6355d517e7eSBarry Smith     b->row        = isrow;
6365d517e7eSBarry Smith     b->col        = iscol;
637de6a44a3SBarry Smith     b->solve_work = (Scalar *) PetscMalloc((b->m+1+b->bs)*sizeof(Scalar));CHKPTRQ(b->solve_work);
6385d517e7eSBarry Smith     return 0;
6395d517e7eSBarry Smith   }
6405d517e7eSBarry Smith 
6415d517e7eSBarry Smith   ierr = ISInvertPermutation(iscol,&isicol); CHKERRQ(ierr);
6425d517e7eSBarry Smith   ierr = ISGetIndices(isrow,&r); CHKERRQ(ierr);
6435d517e7eSBarry Smith   ierr = ISGetIndices(isicol,&ic); CHKERRQ(ierr);
6445d517e7eSBarry Smith 
6455d517e7eSBarry Smith   /* get new row pointers */
6465d517e7eSBarry Smith   ainew = (int *) PetscMalloc( (n+1)*sizeof(int) ); CHKPTRQ(ainew);
647de6a44a3SBarry Smith   ainew[0] = 0;
6485d517e7eSBarry Smith   /* don't know how many column pointers are needed so estimate */
649de6a44a3SBarry Smith   jmax = (int) (f*ai[n] + 1);
6505d517e7eSBarry Smith   ajnew = (int *) PetscMalloc( (jmax)*sizeof(int) ); CHKPTRQ(ajnew);
6515d517e7eSBarry Smith   /* ajfill is level of fill for each fill entry */
6525d517e7eSBarry Smith   ajfill = (int *) PetscMalloc( (jmax)*sizeof(int) ); CHKPTRQ(ajfill);
6535d517e7eSBarry Smith   /* fill is a linked list of nonzeros in active row */
6545d517e7eSBarry Smith   fill = (int *) PetscMalloc( (n+1)*sizeof(int)); CHKPTRQ(fill);
6555d517e7eSBarry Smith   /* im is level for each filled value */
6565d517e7eSBarry Smith   im = (int *) PetscMalloc( (n+1)*sizeof(int)); CHKPTRQ(im);
6575d517e7eSBarry Smith   /* dloc is location of diagonal in factor */
6585d517e7eSBarry Smith   dloc = (int *) PetscMalloc( (n+1)*sizeof(int)); CHKPTRQ(dloc);
6595d517e7eSBarry Smith   dloc[0]  = 0;
6605d517e7eSBarry Smith   for ( prow=0; prow<n; prow++ ) {
6615d517e7eSBarry Smith     /* first copy previous fill into linked list */
6625d517e7eSBarry Smith     nzf     = nz  = ai[r[prow]+1] - ai[r[prow]];
663de6a44a3SBarry Smith     xi      = aj + ai[r[prow]];
6645d517e7eSBarry Smith     fill[n] = n;
6655d517e7eSBarry Smith     while (nz--) {
6665d517e7eSBarry Smith       fm  = n;
667de6a44a3SBarry Smith       idx = ic[*xi++];
6685d517e7eSBarry Smith       do {
6695d517e7eSBarry Smith         m  = fm;
6705d517e7eSBarry Smith         fm = fill[m];
6715d517e7eSBarry Smith       } while (fm < idx);
6725d517e7eSBarry Smith       fill[m]   = idx;
6735d517e7eSBarry Smith       fill[idx] = fm;
6745d517e7eSBarry Smith       im[idx]   = 0;
6755d517e7eSBarry Smith     }
6765d517e7eSBarry Smith     nzi = 0;
6775d517e7eSBarry Smith     row = fill[n];
6785d517e7eSBarry Smith     while ( row < prow ) {
6795d517e7eSBarry Smith       incrlev = im[row] + 1;
6805d517e7eSBarry Smith       nz      = dloc[row];
681de6a44a3SBarry Smith       xi      = ajnew  + ainew[row] + nz;
682de6a44a3SBarry Smith       flev    = ajfill + ainew[row] + nz + 1;
6835d517e7eSBarry Smith       nnz     = ainew[row+1] - ainew[row] - nz - 1;
684de6a44a3SBarry Smith       if (*xi++ != row) {
685ec3a8b7bSBarry Smith         SETERRQ(1,"MatILUFactorSymbolic_SeqBAIJ:zero pivot");
6865d517e7eSBarry Smith       }
6875d517e7eSBarry Smith       fm      = row;
6885d517e7eSBarry Smith       while (nnz-- > 0) {
689de6a44a3SBarry Smith         idx = *xi++;
6905d517e7eSBarry Smith         if (*flev + incrlev > levels) {
6915d517e7eSBarry Smith           flev++;
6925d517e7eSBarry Smith           continue;
6935d517e7eSBarry Smith         }
6945d517e7eSBarry Smith         do {
6955d517e7eSBarry Smith           m  = fm;
6965d517e7eSBarry Smith           fm = fill[m];
6975d517e7eSBarry Smith         } while (fm < idx);
6985d517e7eSBarry Smith         if (fm != idx) {
6995d517e7eSBarry Smith           im[idx]   = *flev + incrlev;
7005d517e7eSBarry Smith           fill[m]   = idx;
7015d517e7eSBarry Smith           fill[idx] = fm;
7025d517e7eSBarry Smith           fm        = idx;
7035d517e7eSBarry Smith           nzf++;
7045d517e7eSBarry Smith         }
7055d517e7eSBarry Smith         else {
7065d517e7eSBarry Smith           if (im[idx] > *flev + incrlev) im[idx] = *flev+incrlev;
7075d517e7eSBarry Smith         }
7085d517e7eSBarry Smith         flev++;
7095d517e7eSBarry Smith       }
7105d517e7eSBarry Smith       row = fill[row];
7115d517e7eSBarry Smith       nzi++;
7125d517e7eSBarry Smith     }
7135d517e7eSBarry Smith     /* copy new filled row into permanent storage */
7145d517e7eSBarry Smith     ainew[prow+1] = ainew[prow] + nzf;
715de6a44a3SBarry Smith     if (ainew[prow+1] > jmax) {
7165d517e7eSBarry Smith       /* allocate a longer ajnew */
7175d517e7eSBarry Smith       int maxadd;
718de6a44a3SBarry Smith       maxadd = (int) (((f*ai[n]+1)*(n-prow+5))/n);
7195d517e7eSBarry Smith       if (maxadd < nzf) maxadd = (n-prow)*(nzf+1);
7205d517e7eSBarry Smith       jmax += maxadd;
7215d517e7eSBarry Smith       xi = (int *) PetscMalloc( jmax*sizeof(int) );CHKPTRQ(xi);
722de6a44a3SBarry Smith       PetscMemcpy(xi,ajnew,ainew[prow]*sizeof(int));
7235d517e7eSBarry Smith       PetscFree(ajnew);
7245d517e7eSBarry Smith       ajnew = xi;
7255d517e7eSBarry Smith       /* allocate a longer ajfill */
7265d517e7eSBarry Smith       xi = (int *) PetscMalloc( jmax*sizeof(int) );CHKPTRQ(xi);
727de6a44a3SBarry Smith       PetscMemcpy(xi,ajfill,ainew[prow]*sizeof(int));
7285d517e7eSBarry Smith       PetscFree(ajfill);
7295d517e7eSBarry Smith       ajfill = xi;
7305d517e7eSBarry Smith       realloc++;
7315d517e7eSBarry Smith     }
732de6a44a3SBarry Smith     xi          = ajnew + ainew[prow];
733de6a44a3SBarry Smith     flev        = ajfill + ainew[prow];
7345d517e7eSBarry Smith     dloc[prow]  = nzi;
7355d517e7eSBarry Smith     fm          = fill[n];
7365d517e7eSBarry Smith     while (nzf--) {
737de6a44a3SBarry Smith       *xi++   = fm;
7385d517e7eSBarry Smith       *flev++ = im[fm];
7395d517e7eSBarry Smith       fm      = fill[fm];
7405d517e7eSBarry Smith     }
7415d517e7eSBarry Smith   }
7425d517e7eSBarry Smith   PetscFree(ajfill);
7435d517e7eSBarry Smith   ierr = ISRestoreIndices(isrow,&r); CHKERRQ(ierr);
7445d517e7eSBarry Smith   ierr = ISRestoreIndices(isicol,&ic); CHKERRQ(ierr);
7455d517e7eSBarry Smith   ierr = ISDestroy(isicol); CHKERRQ(ierr);
7465d517e7eSBarry Smith   PetscFree(fill); PetscFree(im);
7475d517e7eSBarry Smith 
7485d517e7eSBarry Smith   PLogInfo((PetscObject)A,
749ec3a8b7bSBarry Smith     "Info:MatILUFactorSymbolic_SeqBAIJ:Realloc %d Fill ratio:given %g needed %g\n",
7505d517e7eSBarry Smith                              realloc,f,((double)ainew[n])/((double)ai[prow]));
7515d517e7eSBarry Smith 
7525d517e7eSBarry Smith   /* put together the new matrix */
753ec3a8b7bSBarry Smith   ierr = MatCreateSeqBAIJ(A->comm,bs,bs*n,bs*n,0,PETSC_NULL,fact);CHKERRQ(ierr);
754ec3a8b7bSBarry Smith   b = (Mat_SeqBAIJ *) (*fact)->data;
7555d517e7eSBarry Smith   PetscFree(b->imax);
7565d517e7eSBarry Smith   b->singlemalloc = 0;
757de6a44a3SBarry Smith   len = bs*bs*ainew[n]*sizeof(Scalar);
7585d517e7eSBarry Smith   /* the next line frees the default space generated by the Create() */
7595d517e7eSBarry Smith   PetscFree(b->a); PetscFree(b->ilen);
7605d517e7eSBarry Smith   b->a          = (Scalar *) PetscMalloc( len ); CHKPTRQ(b->a);
7615d517e7eSBarry Smith   b->j          = ajnew;
7625d517e7eSBarry Smith   b->i          = ainew;
7635d517e7eSBarry Smith   for ( i=0; i<n; i++ ) dloc[i] += ainew[i];
7645d517e7eSBarry Smith   b->diag       = dloc;
7655d517e7eSBarry Smith   b->ilen       = 0;
7665d517e7eSBarry Smith   b->imax       = 0;
7675d517e7eSBarry Smith   b->row        = isrow;
7685d517e7eSBarry Smith   b->col        = iscol;
769de6a44a3SBarry Smith   b->solve_work = (Scalar *) PetscMalloc( (bs*n+bs)*sizeof(Scalar));
7705d517e7eSBarry Smith   CHKPTRQ(b->solve_work);
7715d517e7eSBarry Smith   /* In b structure:  Free imax, ilen, old a, old j.
7725d517e7eSBarry Smith      Allocate dloc, solve_work, new a, new j */
773de6a44a3SBarry Smith   PLogObjectMemory(*fact,(ainew[n]-n)*(sizeof(int))+bs*bs*ainew[n]*sizeof(Scalar));
774de6a44a3SBarry Smith   b->maxnz          = b->nz = ainew[n];
7755d517e7eSBarry Smith   (*fact)->factor   = FACTOR_LU;
7765d517e7eSBarry Smith   return 0;
7775d517e7eSBarry Smith }
7785d517e7eSBarry Smith 
7795d517e7eSBarry Smith 
7805d517e7eSBarry Smith 
7815d517e7eSBarry Smith 
782