xref: /petsc/src/mat/impls/baij/seq/baijfact.c (revision 70f55243aafb320636e2a54ff30cab5d1e8d3d7b)
15d517e7eSBarry Smith #ifndef lint
2*70f55243SBarry Smith static char vcid[] = "$Id: baijfact.c,v 1.27 1996/08/06 23:00:43 curfman Exp bsmith $";
35d517e7eSBarry Smith #endif
45d517e7eSBarry Smith /*
5ec3a8b7bSBarry Smith     Factorization code for BAIJ format.
65d517e7eSBarry Smith */
75d517e7eSBarry Smith 
8*70f55243SBarry Smith #include "src/mat/impls/baij/seq/baij.h"
9c16cb8f2SBarry Smith #include "src/vec/vecimpl.h"
104078e994SBarry Smith #include "src/inline/ilu.h"
11ec3a8b7bSBarry Smith 
12c16cb8f2SBarry Smith 
13ec3a8b7bSBarry Smith /*
14ec3a8b7bSBarry Smith     The symbolic factorization code is identical to that for AIJ format,
15ec3a8b7bSBarry Smith   except for very small changes since this is now a SeqBAIJ datastructure.
16ec3a8b7bSBarry Smith   NOT good code reuse.
17ec3a8b7bSBarry Smith */
18ec3a8b7bSBarry Smith int MatLUFactorSymbolic_SeqBAIJ(Mat A,IS isrow,IS iscol,double f,Mat *B)
195d517e7eSBarry Smith {
20ec3a8b7bSBarry Smith   Mat_SeqBAIJ *a = (Mat_SeqBAIJ *) A->data, *b;
215d517e7eSBarry Smith   IS          isicol;
22ec3a8b7bSBarry Smith   int         *r,*ic, ierr, i, n = a->mbs, *ai = a->i, *aj = a->j;
239df24120SSatish Balay   int         *ainew,*ajnew, jmax,*fill, *ajtmp, nz, bs = a->bs, bs2=a->bs2;
245d517e7eSBarry Smith   int         *idnew, idx, row,m,fm, nnz, nzi,len, realloc = 0,nzbd,*im;
255d517e7eSBarry Smith 
26d3cbd50cSLois Curfman McInnes   PetscValidHeaderSpecific(isrow,IS_COOKIE);
27d3cbd50cSLois Curfman McInnes   PetscValidHeaderSpecific(iscol,IS_COOKIE);
285d517e7eSBarry Smith   ierr = ISInvertPermutation(iscol,&isicol); CHKERRQ(ierr);
295d517e7eSBarry Smith   ISGetIndices(isrow,&r); ISGetIndices(isicol,&ic);
305d517e7eSBarry Smith 
315d517e7eSBarry Smith   /* get new row pointers */
325d517e7eSBarry Smith   ainew = (int *) PetscMalloc( (n+1)*sizeof(int) ); CHKPTRQ(ainew);
33de6a44a3SBarry Smith   ainew[0] = 0;
345d517e7eSBarry Smith   /* don't know how many column pointers are needed so estimate */
35de6a44a3SBarry Smith   jmax = (int) (f*ai[n] + 1);
365d517e7eSBarry Smith   ajnew = (int *) PetscMalloc( (jmax)*sizeof(int) ); CHKPTRQ(ajnew);
375d517e7eSBarry Smith   /* fill is a linked list of nonzeros in active row */
385d517e7eSBarry Smith   fill = (int *) PetscMalloc( (2*n+1)*sizeof(int)); CHKPTRQ(fill);
395d517e7eSBarry Smith   im = fill + n + 1;
405d517e7eSBarry Smith   /* idnew is location of diagonal in factor */
415d517e7eSBarry Smith   idnew = (int *) PetscMalloc( (n+1)*sizeof(int)); CHKPTRQ(idnew);
42de6a44a3SBarry Smith   idnew[0] = 0;
435d517e7eSBarry Smith 
445d517e7eSBarry Smith   for ( i=0; i<n; i++ ) {
455d517e7eSBarry Smith     /* first copy previous fill into linked list */
465d517e7eSBarry Smith     nnz     = nz    = ai[r[i]+1] - ai[r[i]];
47de6a44a3SBarry Smith     ajtmp   = aj + ai[r[i]];
485d517e7eSBarry Smith     fill[n] = n;
495d517e7eSBarry Smith     while (nz--) {
505d517e7eSBarry Smith       fm  = n;
51de6a44a3SBarry Smith       idx = ic[*ajtmp++];
525d517e7eSBarry Smith       do {
535d517e7eSBarry Smith         m  = fm;
545d517e7eSBarry Smith         fm = fill[m];
555d517e7eSBarry Smith       } while (fm < idx);
565d517e7eSBarry Smith       fill[m]   = idx;
575d517e7eSBarry Smith       fill[idx] = fm;
585d517e7eSBarry Smith     }
595d517e7eSBarry Smith     row = fill[n];
605d517e7eSBarry Smith     while ( row < i ) {
61de6a44a3SBarry Smith       ajtmp = ajnew + idnew[row] + 1;
625d517e7eSBarry Smith       nzbd  = 1 + idnew[row] - ainew[row];
635d517e7eSBarry Smith       nz    = im[row] - nzbd;
645d517e7eSBarry Smith       fm    = row;
655d517e7eSBarry Smith       while (nz-- > 0) {
66de6a44a3SBarry Smith         idx = *ajtmp++;
675d517e7eSBarry Smith         nzbd++;
685d517e7eSBarry Smith         if (idx == i) im[row] = nzbd;
695d517e7eSBarry Smith         do {
705d517e7eSBarry Smith           m  = fm;
715d517e7eSBarry Smith           fm = fill[m];
725d517e7eSBarry Smith         } while (fm < idx);
735d517e7eSBarry Smith         if (fm != idx) {
745d517e7eSBarry Smith           fill[m]   = idx;
755d517e7eSBarry Smith           fill[idx] = fm;
765d517e7eSBarry Smith           fm        = idx;
775d517e7eSBarry Smith           nnz++;
785d517e7eSBarry Smith         }
795d517e7eSBarry Smith       }
805d517e7eSBarry Smith       row = fill[row];
815d517e7eSBarry Smith     }
825d517e7eSBarry Smith     /* copy new filled row into permanent storage */
835d517e7eSBarry Smith     ainew[i+1] = ainew[i] + nnz;
844078e994SBarry Smith     if (ainew[i+1] > jmax) {
855d517e7eSBarry Smith       /* allocate a longer ajnew */
865d517e7eSBarry Smith       int maxadd;
87de6a44a3SBarry Smith       maxadd = (int) ((f*(ai[n]+1)*(n-i+5))/n);
885d517e7eSBarry Smith       if (maxadd < nnz) maxadd = (n-i)*(nnz+1);
895d517e7eSBarry Smith       jmax += maxadd;
905d517e7eSBarry Smith       ajtmp = (int *) PetscMalloc( jmax*sizeof(int) );CHKPTRQ(ajtmp);
91de6a44a3SBarry Smith       PetscMemcpy(ajtmp,ajnew,ainew[i]*sizeof(int));
925d517e7eSBarry Smith       PetscFree(ajnew);
935d517e7eSBarry Smith       ajnew = ajtmp;
945d517e7eSBarry Smith       realloc++; /* count how many times we realloc */
955d517e7eSBarry Smith     }
96de6a44a3SBarry Smith     ajtmp = ajnew + ainew[i];
975d517e7eSBarry Smith     fm    = fill[n];
985d517e7eSBarry Smith     nzi   = 0;
995d517e7eSBarry Smith     im[i] = nnz;
1005d517e7eSBarry Smith     while (nnz--) {
1015d517e7eSBarry Smith       if (fm < i) nzi++;
102de6a44a3SBarry Smith       *ajtmp++ = fm;
1035d517e7eSBarry Smith       fm       = fill[fm];
1045d517e7eSBarry Smith     }
1055d517e7eSBarry Smith     idnew[i] = ainew[i] + nzi;
1065d517e7eSBarry Smith   }
1075d517e7eSBarry Smith 
10894a424c1SBarry Smith   PLogInfo(A,
109ec3a8b7bSBarry Smith     "Info:MatLUFactorSymbolic_SeqBAIJ:Reallocs %d Fill ratio:given %g needed %g\n",
1105d517e7eSBarry Smith                              realloc,f,((double)ainew[n])/((double)ai[i]));
1115d517e7eSBarry Smith 
1125d517e7eSBarry Smith   ierr = ISRestoreIndices(isrow,&r); CHKERRQ(ierr);
1135d517e7eSBarry Smith   ierr = ISRestoreIndices(isicol,&ic); CHKERRQ(ierr);
1145d517e7eSBarry Smith 
1155d517e7eSBarry Smith   PetscFree(fill);
1165d517e7eSBarry Smith 
1175d517e7eSBarry Smith   /* put together the new matrix */
118ec3a8b7bSBarry Smith   ierr = MatCreateSeqBAIJ(A->comm,bs,bs*n,bs*n,0,PETSC_NULL,B); CHKERRQ(ierr);
1195d517e7eSBarry Smith   PLogObjectParent(*B,isicol);
1205d517e7eSBarry Smith   ierr = ISDestroy(isicol); CHKERRQ(ierr);
121ec3a8b7bSBarry Smith   b = (Mat_SeqBAIJ *) (*B)->data;
1225d517e7eSBarry Smith   PetscFree(b->imax);
1235d517e7eSBarry Smith   b->singlemalloc = 0;
124de6a44a3SBarry Smith   len             = ainew[n]*sizeof(Scalar);
1255d517e7eSBarry Smith   /* the next line frees the default space generated by the Create() */
1265d517e7eSBarry Smith   PetscFree(b->a); PetscFree(b->ilen);
1279df24120SSatish Balay   b->a          = (Scalar *) PetscMalloc( len*bs2 ); CHKPTRQ(b->a);
1285d517e7eSBarry Smith   b->j          = ajnew;
1295d517e7eSBarry Smith   b->i          = ainew;
1305d517e7eSBarry Smith   b->diag       = idnew;
1315d517e7eSBarry Smith   b->ilen       = 0;
1325d517e7eSBarry Smith   b->imax       = 0;
1335d517e7eSBarry Smith   b->row        = isrow;
1345d517e7eSBarry Smith   b->col        = iscol;
135de6a44a3SBarry Smith   b->solve_work = (Scalar *) PetscMalloc( (bs*n+bs)*sizeof(Scalar));
1365d517e7eSBarry Smith   CHKPTRQ(b->solve_work);
1375d517e7eSBarry Smith   /* In b structure:  Free imax, ilen, old a, old j.
1385d517e7eSBarry Smith      Allocate idnew, solve_work, new a, new j */
139de6a44a3SBarry Smith   PLogObjectMemory(*B,(ainew[n]-n)*(sizeof(int)+sizeof(Scalar)));
140de6a44a3SBarry Smith   b->maxnz = b->nz = ainew[n];
1415d517e7eSBarry Smith 
1425d517e7eSBarry Smith   return 0;
1435d517e7eSBarry Smith }
1445d517e7eSBarry Smith 
145ec3a8b7bSBarry Smith /* ----------------------------------------------------------- */
1467fc0212eSBarry Smith int MatLUFactorNumeric_SeqBAIJ_N(Mat A,Mat *B)
1475d517e7eSBarry Smith {
1485d517e7eSBarry Smith   Mat             C = *B;
149ec3a8b7bSBarry Smith   Mat_SeqBAIJ     *a = (Mat_SeqBAIJ *) A->data,*b = (Mat_SeqBAIJ *)C->data;
1505d517e7eSBarry Smith   IS              iscol = b->col, isrow = b->row, isicol;
1514078e994SBarry Smith   int             *r,*ic, ierr, i, j, n = a->mbs, *bi = b->i, *bj = b->j;
1524078e994SBarry Smith   int             *ajtmpold, *ajtmp, nz, row, bslog,*ai=a->i,*aj=a->j;
1534078e994SBarry Smith   int             *diag_offset=b->diag,diag,bs=a->bs,bs2 = bs*bs,*v_pivots;
1544078e994SBarry Smith   Scalar          *ba = b->a,*aa = a->a;
1554eeb42bcSBarry Smith   register Scalar *pv,*v,*rtmp,*multiplier,*v_work,*pc,*w;
1565d517e7eSBarry Smith   register int    *pj;
1575d517e7eSBarry Smith 
1585d517e7eSBarry Smith   ierr  = ISInvertPermutation(iscol,&isicol); CHKERRQ(ierr);
1595d517e7eSBarry Smith   PLogObjectParent(*B,isicol);
1605d517e7eSBarry Smith   ierr  = ISGetIndices(isrow,&r); CHKERRQ(ierr);
1615d517e7eSBarry Smith   ierr  = ISGetIndices(isicol,&ic); CHKERRQ(ierr);
162ec3a8b7bSBarry Smith   rtmp  = (Scalar *) PetscMalloc(bs2*(n+1)*sizeof(Scalar));CHKPTRQ(rtmp);
16313ae1565SBarry Smith   PetscMemzero(rtmp,bs2*(n+1)*sizeof(Scalar));
164ec3a8b7bSBarry Smith   /* generate work space needed by dense LU factorization */
1656d84be18SBarry Smith   v_work     = (Scalar *) PetscMalloc(bs*sizeof(int) + (bs+bs2)*sizeof(Scalar));
1666d84be18SBarry Smith                CHKPTRQ(v_work);
1676d84be18SBarry Smith   multiplier = v_work + bs;
168de6a44a3SBarry Smith   v_pivots   = (int *) (multiplier + bs2);
169de6a44a3SBarry Smith 
170de6a44a3SBarry Smith   /* flops in while loop */
1714eeb42bcSBarry Smith   bslog = 2*bs*bs2;
1725d517e7eSBarry Smith 
1735d517e7eSBarry Smith   for ( i=0; i<n; i++ ) {
1744078e994SBarry Smith     nz    = bi[i+1] - bi[i];
1754078e994SBarry Smith     ajtmp = bj + bi[i];
1764eeb42bcSBarry Smith     for  ( j=0; j<nz; j++ ) {
1774eeb42bcSBarry Smith       PetscMemzero(rtmp+bs2*ajtmp[j],bs2*sizeof(Scalar));
1784eeb42bcSBarry Smith     }
1795d517e7eSBarry Smith     /* load in initial (unfactored row) */
1804078e994SBarry Smith     nz       = ai[r[i]+1] - ai[r[i]];
1814078e994SBarry Smith     ajtmpold = aj + ai[r[i]];
1824078e994SBarry Smith     v        = aa + bs2*ai[r[i]];
1834eeb42bcSBarry Smith     for ( j=0; j<nz; j++ ) {
1844eeb42bcSBarry Smith       PetscMemcpy(rtmp+bs2*ic[ajtmpold[j]],v+bs2*j,bs2*sizeof(Scalar));
1854eeb42bcSBarry Smith     }
186de6a44a3SBarry Smith     row = *ajtmp++;
1875d517e7eSBarry Smith     while (row < i) {
188de6a44a3SBarry Smith       pc = rtmp + bs2*row;
189de6a44a3SBarry Smith /*      if (*pc) { */
1904078e994SBarry Smith         pv = ba + bs2*diag_offset[row];
1914078e994SBarry Smith         pj = bj + diag_offset[row] + 1;
1924078e994SBarry Smith         Kernel_A_gets_A_times_B(bs,pc,pv,multiplier);
1934078e994SBarry Smith         nz = bi[row+1] - diag_offset[row] - 1;
194ec3a8b7bSBarry Smith         pv += bs2;
1954eeb42bcSBarry Smith         for (j=0; j<nz; j++) {
1964078e994SBarry Smith           Kernel_A_gets_A_minus_B_times_C(bs,rtmp+bs2*pj[j],pc,pv+bs2*j);
1974eeb42bcSBarry Smith         }
1984eeb42bcSBarry Smith         PLogFlops(bslog*(nz+1)-bs);
199de6a44a3SBarry Smith /*      } */
200de6a44a3SBarry Smith         row = *ajtmp++;
2015d517e7eSBarry Smith     }
2025d517e7eSBarry Smith     /* finished row so stick it into b->a */
2034078e994SBarry Smith     pv = ba + bs2*bi[i];
2044078e994SBarry Smith     pj = bj + bi[i];
2054078e994SBarry Smith     nz = bi[i+1] - bi[i];
2064eeb42bcSBarry Smith     for ( j=0; j<nz; j++ ) {
2074eeb42bcSBarry Smith       PetscMemcpy(pv+bs2*j,rtmp+bs2*pj[j],bs2*sizeof(Scalar));
2084eeb42bcSBarry Smith     }
2094078e994SBarry Smith     diag = diag_offset[i] - bi[i];
210ec3a8b7bSBarry Smith     /* invert diagonal block */
2114eeb42bcSBarry Smith     w = pv + bs2*diag;
2124078e994SBarry Smith     Kernel_A_gets_inverse_A(bs,w,v_pivots,v_work);
2135d517e7eSBarry Smith   }
2145d517e7eSBarry Smith 
215de6a44a3SBarry Smith   PetscFree(rtmp); PetscFree(v_work);
2165d517e7eSBarry Smith   ierr = ISRestoreIndices(isicol,&ic); CHKERRQ(ierr);
2175d517e7eSBarry Smith   ierr = ISRestoreIndices(isrow,&r); CHKERRQ(ierr);
2185d517e7eSBarry Smith   ierr = ISDestroy(isicol); CHKERRQ(ierr);
2195d517e7eSBarry Smith   C->factor = FACTOR_LU;
2205d517e7eSBarry Smith   C->assembled = PETSC_TRUE;
221de6a44a3SBarry Smith   PLogFlops(1.3333*bs*bs2*b->mbs); /* from inverting diagonal blocks */
2225d517e7eSBarry Smith   return 0;
2235d517e7eSBarry Smith }
2244eeb42bcSBarry Smith /* ------------------------------------------------------------*/
2254eeb42bcSBarry Smith /*
2266d84be18SBarry Smith       Version for when blocks are 5 by 5
2276d84be18SBarry Smith */
2286d84be18SBarry Smith int MatLUFactorNumeric_SeqBAIJ_5(Mat A,Mat *B)
2296d84be18SBarry Smith {
2306d84be18SBarry Smith   Mat             C = *B;
2316d84be18SBarry Smith   Mat_SeqBAIJ     *a = (Mat_SeqBAIJ *) A->data,*b = (Mat_SeqBAIJ *)C->data;
2326d84be18SBarry Smith   IS              iscol = b->col, isrow = b->row, isicol;
2334078e994SBarry Smith   int             *r,*ic, ierr, i, j, n = a->mbs, *bi = b->i, *bj = b->j;
2346d84be18SBarry Smith   int             *ajtmpold, *ajtmp, nz, row, v_pivots[5];
2354078e994SBarry Smith   int             *diag_offset = b->diag,bs = 5,idx,*ai=a->i,*aj=a->j;
2366d84be18SBarry Smith   register Scalar *pv,*v,*rtmp,*pc,*w,*x;
2376d84be18SBarry Smith   Scalar          p1,p2,p3,p4,v_work[5],m1,m2,m3,m4,m5,m6,m7,m8,m9,x1,x2,x3,x4;
2386d84be18SBarry Smith   Scalar          p5,p6,p7,p8,p9,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16;
2396d84be18SBarry Smith   Scalar          x17,x18,x19,x20,x21,x22,x23,x24,x25,p10,p11,p12,p13,p14;
2406d84be18SBarry Smith   Scalar          p15,p16,p17,p18,p19,p20,p21,p22,p23,p24,p25,m10,m11,m12;
2416d84be18SBarry Smith   Scalar          m13,m14,m15,m16,m17,m18,m19,m20,m21,m22,m23,m24,m25;
2424078e994SBarry Smith   Scalar          *ba = b->a,*aa = a->a;
2436d84be18SBarry Smith   register int    *pj;
2446d84be18SBarry Smith 
2456d84be18SBarry Smith   ierr  = ISInvertPermutation(iscol,&isicol); CHKERRQ(ierr);
2466d84be18SBarry Smith   PLogObjectParent(*B,isicol);
2476d84be18SBarry Smith   ierr  = ISGetIndices(isrow,&r); CHKERRQ(ierr);
2486d84be18SBarry Smith   ierr  = ISGetIndices(isicol,&ic); CHKERRQ(ierr);
2496d84be18SBarry Smith   rtmp  = (Scalar *) PetscMalloc(25*(n+1)*sizeof(Scalar));CHKPTRQ(rtmp);
2506d84be18SBarry Smith 
2516d84be18SBarry Smith   for ( i=0; i<n; i++ ) {
2524078e994SBarry Smith     nz    = bi[i+1] - bi[i];
2534078e994SBarry Smith     ajtmp = bj + bi[i];
2546d84be18SBarry Smith     for  ( j=0; j<nz; j++ ) {
2556d84be18SBarry Smith       x = rtmp+25*ajtmp[j];
2566d84be18SBarry Smith       x[0] = x[1] = x[2] = x[3] = x[4] = x[5] = x[6] = x[7] = x[8] = x[9] = 0.0;
2576d84be18SBarry Smith       x[10] = x[11] = x[12] = x[13] = x[14] = x[15] = x[16] = x[17] = 0.0;
2586d84be18SBarry Smith       x[18] = x[19] = x[20] = x[21] = x[22] = x[23] = x[24] = 0.0;
2596d84be18SBarry Smith     }
2606d84be18SBarry Smith     /* load in initial (unfactored row) */
2616d84be18SBarry Smith     idx      = r[i];
2624078e994SBarry Smith     nz       = ai[idx+1] - ai[idx];
2634078e994SBarry Smith     ajtmpold = aj + ai[idx];
2644078e994SBarry Smith     v        = aa + 25*ai[idx];
2656d84be18SBarry Smith     for ( j=0; j<nz; j++ ) {
2666d84be18SBarry Smith       x    = rtmp+25*ic[ajtmpold[j]];
2676d84be18SBarry Smith       x[0] = v[0]; x[1] = v[1]; x[2] = v[2]; x[3] = v[3];
2686d84be18SBarry Smith       x[4] = v[4]; x[5] = v[5]; x[6] = v[6]; x[7] = v[7]; x[8] = v[8];
2696d84be18SBarry Smith       x[9] = v[9]; x[10] = v[10]; x[11] = v[11]; x[12] = v[12]; x[13] = v[13];
2706d84be18SBarry Smith       x[14] = v[14]; x[15] = v[15]; x[16] = v[16]; x[17] = v[17];
2716d84be18SBarry Smith       x[18] = v[18]; x[19] = v[19]; x[20] = v[20]; x[21] = v[21];
2726d84be18SBarry Smith       x[22] = v[22]; x[23] = v[23]; x[24] = v[24];
2736d84be18SBarry Smith       v    += 25;
2746d84be18SBarry Smith     }
2756d84be18SBarry Smith     row = *ajtmp++;
2766d84be18SBarry Smith     while (row < i) {
2776d84be18SBarry Smith       pc = rtmp + 25*row;
2786d84be18SBarry Smith       p1 = pc[0]; p2 = pc[1]; p3 = pc[2]; p4 = pc[3];
2796d84be18SBarry Smith       p5 = pc[4]; p6 = pc[5]; p7 = pc[6]; p8 = pc[7]; p9 = pc[8];
2806d84be18SBarry Smith       p10 = pc[9]; p11 = pc[10]; p12 = pc[11]; p13 = pc[12]; p14 = pc[13];
2816d84be18SBarry Smith       p15 = pc[14]; p16 = pc[15]; p17 = pc[16]; p18 = pc[17]; p19 = pc[18];
2826d84be18SBarry Smith       p20 = pc[19]; p21 = pc[20]; p22 = pc[21]; p23 = pc[22]; p24 = pc[23];
2836d84be18SBarry Smith       p25 = pc[24];
2846d84be18SBarry Smith       if (p1 != 0.0 || p2 != 0.0 || p3 != 0.0 || p4 != 0.0 || p5 != 0.0 ||
2856d84be18SBarry Smith           p6 != 0.0 || p7 != 0.0 || p8 != 0.0 || p9 != 0.0 || p10 != 0.0 ||
2866d84be18SBarry Smith           p11 != 0.0 || p12 != 0.0 || p13 != 0.0 || p14 != 0.0 || p15 != 0.0
2876d84be18SBarry Smith           || p16 != 0.0 || p17 != 0.0 || p18 != 0.0 || p19 != 0.0 ||
2886d84be18SBarry Smith           p20 != 0.0 || p21 != 0.0 || p22 != 0.0 || p23 != 0.0 ||
2894078e994SBarry Smith           p24 != 0.0 || p25 != 0.0) {
2904078e994SBarry Smith         pv = ba + 25*diag_offset[row];
2914078e994SBarry Smith         pj = bj + diag_offset[row] + 1;
2926d84be18SBarry Smith         x1 = pv[0]; x2 = pv[1]; x3 = pv[2]; x4 = pv[3];
2936d84be18SBarry Smith         x5 = pv[4]; x6 = pv[5]; x7 = pv[6]; x8 = pv[7]; x9 = pv[8];
2946d84be18SBarry Smith         x10 = pv[9]; x11 = pv[10]; x12 = pv[11]; x13 = pv[12]; x14 = pv[13];
2956d84be18SBarry Smith         x15 = pv[14]; x16 = pv[15]; x17 = pv[16]; x18 = pv[17];
2966d84be18SBarry Smith         x19 = pv[18]; x20 = pv[19]; x21 = pv[20]; x22 = pv[21];
2976d84be18SBarry Smith         x23 = pv[22]; x24 = pv[23]; x25 = pv[24];
2986d84be18SBarry Smith         pc[0] = m1 = p1*x1 + p6*x2  + p11*x3 + p16*x4 + p21*x5;
2996d84be18SBarry Smith         pc[1] = m2 = p2*x1 + p7*x2  + p12*x3 + p17*x4 + p22*x5;
3006d84be18SBarry Smith         pc[2] = m3 = p3*x1 + p8*x2  + p13*x3 + p18*x4 + p23*x5;
3016d84be18SBarry Smith         pc[3] = m4 = p4*x1 + p9*x2  + p14*x3 + p19*x4 + p24*x5;
3026d84be18SBarry Smith         pc[4] = m5 = p5*x1 + p10*x2 + p15*x3 + p20*x4 + p25*x5;
3036d84be18SBarry Smith 
3046d84be18SBarry Smith         pc[5] = m6 = p1*x6 + p6*x7  + p11*x8 + p16*x9 + p21*x10;
3056d84be18SBarry Smith         pc[6] = m7 = p2*x6 + p7*x7  + p12*x8 + p17*x9 + p22*x10;
3066d84be18SBarry Smith         pc[7] = m8 = p3*x6 + p8*x7  + p13*x8 + p18*x9 + p23*x10;
3076d84be18SBarry Smith         pc[8] = m9 = p4*x6 + p9*x7  + p14*x8 + p19*x9 + p24*x10;
3086d84be18SBarry Smith         pc[9] = m10 = p5*x6 + p10*x7 + p15*x8 + p20*x9 + p25*x10;
3096d84be18SBarry Smith 
3106d84be18SBarry Smith         pc[10] = m11 = p1*x11 + p6*x12  + p11*x13 + p16*x14 + p21*x15;
3116d84be18SBarry Smith         pc[11] = m12 = p2*x11 + p7*x12  + p12*x13 + p17*x14 + p22*x15;
3126d84be18SBarry Smith         pc[12] = m13 = p3*x11 + p8*x12  + p13*x13 + p18*x14 + p23*x15;
3136d84be18SBarry Smith         pc[13] = m14 = p4*x11 + p9*x12  + p14*x13 + p19*x14 + p24*x15;
3146d84be18SBarry Smith         pc[14] = m15 = p5*x11 + p10*x12 + p15*x13 + p20*x14 + p25*x15;
3156d84be18SBarry Smith 
3166d84be18SBarry Smith         pc[15] = m16 = p1*x16 + p6*x17  + p11*x18 + p16*x19 + p21*x20;
3176d84be18SBarry Smith         pc[16] = m17 = p2*x16 + p7*x17  + p12*x18 + p17*x19 + p22*x20;
3186d84be18SBarry Smith         pc[17] = m18 = p3*x16 + p8*x17  + p13*x18 + p18*x19 + p23*x20;
3196d84be18SBarry Smith         pc[18] = m19 = p4*x16 + p9*x17  + p14*x18 + p19*x19 + p24*x20;
3206d84be18SBarry Smith         pc[19] = m20 = p5*x16 + p10*x17 + p15*x18 + p20*x19 + p25*x20;
3216d84be18SBarry Smith 
3226d84be18SBarry Smith         pc[20] = m21 = p1*x21 + p6*x22  + p11*x23 + p16*x24 + p21*x25;
3236d84be18SBarry Smith         pc[21] = m22 = p2*x21 + p7*x22  + p12*x23 + p17*x24 + p22*x25;
3246d84be18SBarry Smith         pc[22] = m23 = p3*x21 + p8*x22  + p13*x23 + p18*x24 + p23*x25;
3256d84be18SBarry Smith         pc[23] = m24 = p4*x21 + p9*x22  + p14*x23 + p19*x24 + p24*x25;
3266d84be18SBarry Smith         pc[24] = m25 = p5*x21 + p10*x22 + p15*x23 + p20*x24 + p25*x25;
3276d84be18SBarry Smith 
3284078e994SBarry Smith         nz = bi[row+1] - diag_offset[row] - 1;
3296d84be18SBarry Smith         pv += 25;
3306d84be18SBarry Smith         for (j=0; j<nz; j++) {
3316d84be18SBarry Smith           x1   = pv[0];  x2 = pv[1];   x3  = pv[2];  x4  = pv[3];
3326d84be18SBarry Smith           x5   = pv[4];  x6 = pv[5];   x7  = pv[6];  x8  = pv[7]; x9 = pv[8];
3336d84be18SBarry Smith           x10  = pv[9];  x11 = pv[10]; x12 = pv[11]; x13 = pv[12];
3346d84be18SBarry Smith           x14  = pv[13]; x15 = pv[14]; x16 = pv[15]; x17 = pv[16];
3356d84be18SBarry Smith           x18  = pv[17]; x19 = pv[18]; x20 = pv[19]; x21 = pv[20];
3366d84be18SBarry Smith           x22  = pv[21]; x23 = pv[22]; x24 = pv[23]; x25 = pv[24];
3376d84be18SBarry Smith           x    = rtmp + 25*pj[j];
3386d84be18SBarry Smith           x[0] -= m1*x1 + m6*x2  + m11*x3 + m16*x4 + m21*x5;
3396d84be18SBarry Smith           x[1] -= m2*x1 + m7*x2  + m12*x3 + m17*x4 + m22*x5;
3406d84be18SBarry Smith           x[2] -= m3*x1 + m8*x2  + m13*x3 + m18*x4 + m23*x5;
3416d84be18SBarry Smith           x[3] -= m4*x1 + m9*x2  + m14*x3 + m19*x4 + m24*x5;
3426d84be18SBarry Smith           x[4] -= m5*x1 + m10*x2 + m15*x3 + m20*x4 + m25*x5;
3436d84be18SBarry Smith 
3446d84be18SBarry Smith           x[5] -= m1*x6 + m6*x7  + m11*x8 + m16*x9 + m21*x10;
3456d84be18SBarry Smith           x[6] -= m2*x6 + m7*x7  + m12*x8 + m17*x9 + m22*x10;
3466d84be18SBarry Smith           x[7] -= m3*x6 + m8*x7  + m13*x8 + m18*x9 + m23*x10;
3476d84be18SBarry Smith           x[8] -= m4*x6 + m9*x7  + m14*x8 + m19*x9 + m24*x10;
3486d84be18SBarry Smith           x[9] -= m5*x6 + m10*x7 + m15*x8 + m20*x9 + m25*x10;
3496d84be18SBarry Smith 
3506d84be18SBarry Smith           x[10] -= m1*x11 + m6*x12  + m11*x13 + m16*x14 + m21*x15;
3516d84be18SBarry Smith           x[11] -= m2*x11 + m7*x12  + m12*x13 + m17*x14 + m22*x15;
3526d84be18SBarry Smith           x[12] -= m3*x11 + m8*x12  + m13*x13 + m18*x14 + m23*x15;
3536d84be18SBarry Smith           x[13] -= m4*x11 + m9*x12  + m14*x13 + m19*x14 + m24*x15;
3546d84be18SBarry Smith           x[14] -= m5*x11 + m10*x12 + m15*x13 + m20*x14 + m25*x15;
3556d84be18SBarry Smith 
3566d84be18SBarry Smith           x[15] -= m1*x16 + m6*x17  + m11*x18 + m16*x19 + m21*x20;
3576d84be18SBarry Smith           x[16] -= m2*x16 + m7*x17  + m12*x18 + m17*x19 + m22*x20;
3586d84be18SBarry Smith           x[17] -= m3*x16 + m8*x17  + m13*x18 + m18*x19 + m23*x20;
3596d84be18SBarry Smith           x[18] -= m4*x16 + m9*x17  + m14*x18 + m19*x19 + m24*x20;
3606d84be18SBarry Smith           x[19] -= m5*x16 + m10*x17 + m15*x18 + m20*x19 + m25*x20;
3616d84be18SBarry Smith 
3626d84be18SBarry Smith           x[20] -= m1*x21 + m6*x22  + m11*x23 + m16*x24 + m21*x25;
3636d84be18SBarry Smith           x[21] -= m2*x21 + m7*x22  + m12*x23 + m17*x24 + m22*x25;
3646d84be18SBarry Smith           x[22] -= m3*x21 + m8*x22  + m13*x23 + m18*x24 + m23*x25;
3656d84be18SBarry Smith           x[23] -= m4*x21 + m9*x22  + m14*x23 + m19*x24 + m24*x25;
3666d84be18SBarry Smith           x[24] -= m5*x21 + m10*x22 + m15*x23 + m20*x24 + m25*x25;
3676d84be18SBarry Smith 
3686d84be18SBarry Smith           pv   += 25;
3696d84be18SBarry Smith         }
3706d84be18SBarry Smith         PLogFlops(250*nz+225);
3716d84be18SBarry Smith       }
3726d84be18SBarry Smith       row = *ajtmp++;
3736d84be18SBarry Smith     }
3746d84be18SBarry Smith     /* finished row so stick it into b->a */
3754078e994SBarry Smith     pv = ba + 25*bi[i];
3764078e994SBarry Smith     pj = bj + bi[i];
3774078e994SBarry Smith     nz = bi[i+1] - bi[i];
3786d84be18SBarry Smith     for ( j=0; j<nz; j++ ) {
3796d84be18SBarry Smith       x     = rtmp+25*pj[j];
3806d84be18SBarry Smith       pv[0] = x[0]; pv[1] = x[1]; pv[2] = x[2]; pv[3] = x[3];
3816d84be18SBarry Smith       pv[4] = x[4]; pv[5] = x[5]; pv[6] = x[6]; pv[7] = x[7]; pv[8] = x[8];
3826d84be18SBarry Smith       pv[9] = x[9]; pv[10] = x[10]; pv[11] = x[11]; pv[12] = x[12];
3836d84be18SBarry Smith       pv[13] = x[13]; pv[14] = x[14]; pv[15] = x[15]; pv[16] = x[16];
3846d84be18SBarry Smith       pv[17] = x[17]; pv[18] = x[18]; pv[19] = x[19]; pv[20] = x[20];
3856d84be18SBarry Smith       pv[21] = x[21]; pv[22] = x[22]; pv[23] = x[23]; pv[24] = x[24];
3866d84be18SBarry Smith       pv   += 25;
3876d84be18SBarry Smith     }
3886d84be18SBarry Smith     /* invert diagonal block */
3894078e994SBarry Smith     w = ba + 25*diag_offset[i];
3904078e994SBarry Smith     Kernel_A_gets_inverse_A(bs,w,v_pivots,v_work);
3916d84be18SBarry Smith   }
3926d84be18SBarry Smith 
3936d84be18SBarry Smith   PetscFree(rtmp);
3946d84be18SBarry Smith   ierr = ISRestoreIndices(isicol,&ic); CHKERRQ(ierr);
3956d84be18SBarry Smith   ierr = ISRestoreIndices(isrow,&r); CHKERRQ(ierr);
3966d84be18SBarry Smith   ierr = ISDestroy(isicol); CHKERRQ(ierr);
3976d84be18SBarry Smith   C->factor = FACTOR_LU;
3986d84be18SBarry Smith   C->assembled = PETSC_TRUE;
3996d84be18SBarry Smith   PLogFlops(1.3333*125*b->mbs); /* from inverting diagonal blocks */
4006d84be18SBarry Smith   return 0;
4016d84be18SBarry Smith }
4026d84be18SBarry Smith 
4036d84be18SBarry Smith /* ------------------------------------------------------------*/
4046d84be18SBarry Smith /*
4056d84be18SBarry Smith       Version for when blocks are 4 by 4
4066d84be18SBarry Smith */
4076d84be18SBarry Smith int MatLUFactorNumeric_SeqBAIJ_4(Mat A,Mat *B)
4086d84be18SBarry Smith {
4096d84be18SBarry Smith   Mat             C = *B;
4106d84be18SBarry Smith   Mat_SeqBAIJ     *a = (Mat_SeqBAIJ *) A->data,*b = (Mat_SeqBAIJ *)C->data;
4116d84be18SBarry Smith   IS              iscol = b->col, isrow = b->row, isicol;
4124078e994SBarry Smith   int             *r,*ic, ierr, i, j, n = a->mbs, *bi = b->i, *bj = b->j;
4136d84be18SBarry Smith   int             *ajtmpold, *ajtmp, nz, row, v_pivots[4];
4144078e994SBarry Smith   int             *diag_offset = b->diag,bs = 4,idx,*ai=a->i,*aj=a->j;
4156d84be18SBarry Smith   register Scalar *pv,*v,*rtmp,*pc,*w,*x;
4166d84be18SBarry Smith   Scalar          p1,p2,p3,p4,v_work[4],m1,m2,m3,m4,m5,m6,m7,m8,m9,x1,x2,x3,x4;
4176d84be18SBarry Smith   Scalar          p5,p6,p7,p8,p9,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15,x16;
4186d84be18SBarry Smith   Scalar          p10,p11,p12,p13,p14,p15,p16,m10,m11,m12;
4196d84be18SBarry Smith   Scalar          m13,m14,m15,m16;
4204078e994SBarry Smith   Scalar          *ba = b->a,*aa = a->a;
4216d84be18SBarry Smith   register int    *pj;
4226d84be18SBarry Smith 
4236d84be18SBarry Smith   ierr  = ISInvertPermutation(iscol,&isicol); CHKERRQ(ierr);
4246d84be18SBarry Smith   PLogObjectParent(*B,isicol);
4256d84be18SBarry Smith   ierr  = ISGetIndices(isrow,&r); CHKERRQ(ierr);
4266d84be18SBarry Smith   ierr  = ISGetIndices(isicol,&ic); CHKERRQ(ierr);
4276d84be18SBarry Smith   rtmp  = (Scalar *) PetscMalloc(16*(n+1)*sizeof(Scalar));CHKPTRQ(rtmp);
4286d84be18SBarry Smith 
4296d84be18SBarry Smith   for ( i=0; i<n; i++ ) {
4304078e994SBarry Smith     nz    = bi[i+1] - bi[i];
4314078e994SBarry Smith     ajtmp = bj + bi[i];
4326d84be18SBarry Smith     for  ( j=0; j<nz; j++ ) {
4336d84be18SBarry Smith       x = rtmp+16*ajtmp[j];
4346d84be18SBarry Smith       x[0] = x[1] = x[2] = x[3] = x[4] = x[5] = x[6] = x[7] = x[8] = x[9] = 0.0;
4356d84be18SBarry Smith       x[10] = x[11] = x[12] = x[13] = x[14] = x[15] = 0.0;
4366d84be18SBarry Smith     }
4376d84be18SBarry Smith     /* load in initial (unfactored row) */
4386d84be18SBarry Smith     idx      = r[i];
4394078e994SBarry Smith     nz       = ai[idx+1] - ai[idx];
4404078e994SBarry Smith     ajtmpold = aj + ai[idx];
4414078e994SBarry Smith     v        = aa + 16*ai[idx];
4426d84be18SBarry Smith     for ( j=0; j<nz; j++ ) {
4436d84be18SBarry Smith       x    = rtmp+16*ic[ajtmpold[j]];
4446d84be18SBarry Smith       x[0] = v[0]; x[1] = v[1]; x[2] = v[2]; x[3] = v[3];
4456d84be18SBarry Smith       x[4] = v[4]; x[5] = v[5]; x[6] = v[6]; x[7] = v[7]; x[8] = v[8];
4466d84be18SBarry Smith       x[9] = v[9]; x[10] = v[10]; x[11] = v[11]; x[12] = v[12]; x[13] = v[13];
4476d84be18SBarry Smith       x[14] = v[14]; x[15] = v[15];
4486d84be18SBarry Smith       v    += 16;
4496d84be18SBarry Smith     }
4506d84be18SBarry Smith     row = *ajtmp++;
4516d84be18SBarry Smith     while (row < i) {
4526d84be18SBarry Smith       pc = rtmp + 16*row;
4536d84be18SBarry Smith       p1 = pc[0]; p2 = pc[1]; p3 = pc[2]; p4 = pc[3];
4546d84be18SBarry Smith       p5 = pc[4]; p6 = pc[5]; p7 = pc[6]; p8 = pc[7]; p9 = pc[8];
4556d84be18SBarry Smith       p10 = pc[9]; p11 = pc[10]; p12 = pc[11]; p13 = pc[12]; p14 = pc[13];
4566d84be18SBarry Smith       p15 = pc[14]; p16 = pc[15];
4576d84be18SBarry Smith       if (p1 != 0.0 || p2 != 0.0 || p3 != 0.0 || p4 != 0.0 || p5 != 0.0 ||
4586d84be18SBarry Smith           p6 != 0.0 || p7 != 0.0 || p8 != 0.0 || p9 != 0.0 || p10 != 0.0 ||
4596d84be18SBarry Smith           p11 != 0.0 || p12 != 0.0 || p13 != 0.0 || p14 != 0.0 || p15 != 0.0
4606d84be18SBarry Smith           || p16 != 0.0) {
4614078e994SBarry Smith         pv = ba + 16*diag_offset[row];
4624078e994SBarry Smith         pj = bj + diag_offset[row] + 1;
4636d84be18SBarry Smith         x1 = pv[0]; x2 = pv[1]; x3 = pv[2]; x4 = pv[3];
4646d84be18SBarry Smith         x5 = pv[4]; x6 = pv[5]; x7 = pv[6]; x8 = pv[7]; x9 = pv[8];
4656d84be18SBarry Smith         x10 = pv[9]; x11 = pv[10]; x12 = pv[11]; x13 = pv[12]; x14 = pv[13];
4666d84be18SBarry Smith         x15 = pv[14]; x16 = pv[15];
4676d84be18SBarry Smith         pc[0] = m1 = p1*x1 + p5*x2  + p9*x3  + p13*x4;
4686d84be18SBarry Smith         pc[1] = m2 = p2*x1 + p6*x2  + p10*x3 + p14*x4;
4696d84be18SBarry Smith         pc[2] = m3 = p3*x1 + p7*x2  + p11*x3 + p15*x4;
4706d84be18SBarry Smith         pc[3] = m4 = p4*x1 + p8*x2  + p12*x3 + p16*x4;
4716d84be18SBarry Smith 
4726d84be18SBarry Smith         pc[4] = m5 = p1*x5 + p5*x6  + p9*x7  + p13*x8;
4736d84be18SBarry Smith         pc[5] = m6 = p2*x5 + p6*x6  + p10*x7 + p14*x8;
4746d84be18SBarry Smith         pc[6] = m7 = p3*x5 + p7*x6  + p11*x7 + p15*x8;
4756d84be18SBarry Smith         pc[7] = m8 = p4*x5 + p8*x6  + p12*x7 + p16*x8;
4766d84be18SBarry Smith 
4776d84be18SBarry Smith         pc[8]  = m9  = p1*x9 + p5*x10  + p9*x11  + p13*x12;
4786d84be18SBarry Smith         pc[9]  = m10 = p2*x9 + p6*x10  + p10*x11 + p14*x12;
4796d84be18SBarry Smith         pc[10] = m11 = p3*x9 + p7*x10  + p11*x11 + p15*x12;
4806d84be18SBarry Smith         pc[11] = m12 = p4*x9 + p8*x10  + p12*x11 + p16*x12;
4816d84be18SBarry Smith 
4826d84be18SBarry Smith         pc[12] = m13 = p1*x13 + p5*x14  + p9*x15  + p13*x16;
4836d84be18SBarry Smith         pc[13] = m14 = p2*x13 + p6*x14  + p10*x15 + p14*x16;
4846d84be18SBarry Smith         pc[14] = m15 = p3*x13 + p7*x14  + p11*x15 + p15*x16;
4856d84be18SBarry Smith         pc[15] = m16 = p4*x13 + p8*x14  + p12*x15 + p16*x16;
4866d84be18SBarry Smith 
4874078e994SBarry Smith         nz = bi[row+1] - diag_offset[row] - 1;
4886d84be18SBarry Smith         pv += 16;
4896d84be18SBarry Smith         for (j=0; j<nz; j++) {
4906d84be18SBarry Smith           x1   = pv[0];  x2 = pv[1];   x3  = pv[2];  x4  = pv[3];
4916d84be18SBarry Smith           x5   = pv[4];  x6 = pv[5];   x7  = pv[6];  x8  = pv[7]; x9 = pv[8];
4926d84be18SBarry Smith           x10  = pv[9];  x11 = pv[10]; x12 = pv[11]; x13 = pv[12];
4936d84be18SBarry Smith           x14  = pv[13]; x15 = pv[14]; x16 = pv[15];
4946d84be18SBarry Smith           x    = rtmp + 16*pj[j];
4956d84be18SBarry Smith           x[0] -= m1*x1 + m5*x2  + m9*x3 + m13*x4;
4966d84be18SBarry Smith           x[1] -= m2*x1 + m6*x2  + m10*x3 + m14*x4;
4976d84be18SBarry Smith           x[2] -= m3*x1 + m7*x2  + m11*x3 + m15*x4;
4986d84be18SBarry Smith           x[3] -= m4*x1 + m8*x2  + m12*x3 + m16*x4;
4996d84be18SBarry Smith 
5006d84be18SBarry Smith           x[4] -= m1*x5 + m5*x6  + m9*x7  + m13*x8;
5016d84be18SBarry Smith           x[5] -= m2*x5 + m6*x6  + m10*x7 + m14*x8;
5026d84be18SBarry Smith           x[6] -= m3*x5 + m7*x6  + m11*x7 + m15*x8;
5036d84be18SBarry Smith           x[7] -= m4*x5 + m8*x6  + m12*x7 + m16*x8;
5046d84be18SBarry Smith 
5056d84be18SBarry Smith           x[8] -= m1*x9  + m5*x10  + m9*x11 + m13*x12;
5066d84be18SBarry Smith           x[9] -= m2*x9  + m6*x10  + m10*x11 + m14*x12;
5076d84be18SBarry Smith           x[10] -= m3*x9 + m7*x10  + m11*x11 + m15*x12;
5086d84be18SBarry Smith           x[11] -= m4*x9 + m8*x10  + m12*x11 + m16*x12;
5096d84be18SBarry Smith 
5106d84be18SBarry Smith           x[12] -= m1*x13 + m5*x14  + m9*x15 + m13*x16;
5116d84be18SBarry Smith           x[13] -= m2*x13 + m6*x14  + m10*x15 + m14*x16;
5126d84be18SBarry Smith           x[14] -= m3*x13 + m7*x14  + m11*x15 + m15*x16;
5136d84be18SBarry Smith           x[15] -= m4*x13 + m8*x14  + m12*x15 + m16*x16;
5146d84be18SBarry Smith 
5156d84be18SBarry Smith           pv   += 16;
5166d84be18SBarry Smith         }
5176d84be18SBarry Smith         PLogFlops(128*nz+112);
5186d84be18SBarry Smith       }
5196d84be18SBarry Smith       row = *ajtmp++;
5206d84be18SBarry Smith     }
5216d84be18SBarry Smith     /* finished row so stick it into b->a */
5224078e994SBarry Smith     pv = ba + 16*bi[i];
5234078e994SBarry Smith     pj = bj + bi[i];
5244078e994SBarry Smith     nz = bi[i+1] - bi[i];
5256d84be18SBarry Smith     for ( j=0; j<nz; j++ ) {
5266d84be18SBarry Smith       x     = rtmp+16*pj[j];
5276d84be18SBarry Smith       pv[0] = x[0]; pv[1] = x[1]; pv[2] = x[2]; pv[3] = x[3];
5286d84be18SBarry Smith       pv[4] = x[4]; pv[5] = x[5]; pv[6] = x[6]; pv[7] = x[7]; pv[8] = x[8];
5296d84be18SBarry Smith       pv[9] = x[9]; pv[10] = x[10]; pv[11] = x[11]; pv[12] = x[12];
5306d84be18SBarry Smith       pv[13] = x[13]; pv[14] = x[14]; pv[15] = x[15];
5316d84be18SBarry Smith       pv   += 16;
5326d84be18SBarry Smith     }
5336d84be18SBarry Smith     /* invert diagonal block */
5344078e994SBarry Smith     w = ba + 16*diag_offset[i];
5354078e994SBarry Smith     Kernel_A_gets_inverse_A(bs,w,v_pivots,v_work);
5366d84be18SBarry Smith   }
5376d84be18SBarry Smith 
5386d84be18SBarry Smith   PetscFree(rtmp);
5396d84be18SBarry Smith   ierr = ISRestoreIndices(isicol,&ic); CHKERRQ(ierr);
5406d84be18SBarry Smith   ierr = ISRestoreIndices(isrow,&r); CHKERRQ(ierr);
5416d84be18SBarry Smith   ierr = ISDestroy(isicol); CHKERRQ(ierr);
5426d84be18SBarry Smith   C->factor = FACTOR_LU;
5436d84be18SBarry Smith   C->assembled = PETSC_TRUE;
5446d84be18SBarry Smith   PLogFlops(1.3333*64*b->mbs); /* from inverting diagonal blocks */
5456d84be18SBarry Smith   return 0;
5466d84be18SBarry Smith }
5476d84be18SBarry Smith /* ------------------------------------------------------------*/
5486d84be18SBarry Smith /*
5496d84be18SBarry Smith       Version for when blocks are 3 by 3
5506d84be18SBarry Smith */
5516d84be18SBarry Smith int MatLUFactorNumeric_SeqBAIJ_3(Mat A,Mat *B)
5526d84be18SBarry Smith {
5536d84be18SBarry Smith   Mat             C = *B;
5546d84be18SBarry Smith   Mat_SeqBAIJ     *a = (Mat_SeqBAIJ *) A->data,*b = (Mat_SeqBAIJ *)C->data;
5556d84be18SBarry Smith   IS              iscol = b->col, isrow = b->row, isicol;
5564078e994SBarry Smith   int             *r,*ic, ierr, i, j, n = a->mbs, *bi = b->i, *bj = b->j;
557a3c32e02SBarry Smith   int             *ajtmpold, *ajtmp, nz, row, *ai=a->i,*aj=a->j;
558a3c32e02SBarry Smith   int             *diag_offset = b->diag,idx;
5596d84be18SBarry Smith   register Scalar *pv,*v,*rtmp,*pc,*w,*x;
560a3c32e02SBarry Smith   Scalar          p1,p2,p3,p4,m1,m2,m3,m4,m5,m6,m7,m8,m9,x1,x2,x3,x4;
5616d84be18SBarry Smith   Scalar          p5,p6,p7,p8,p9,x5,x6,x7,x8,x9;
5624078e994SBarry Smith   Scalar          *ba = b->a,*aa = a->a;
5636d84be18SBarry Smith   register int    *pj;
5646d84be18SBarry Smith 
5656d84be18SBarry Smith   ierr  = ISInvertPermutation(iscol,&isicol); CHKERRQ(ierr);
5666d84be18SBarry Smith   PLogObjectParent(*B,isicol);
5676d84be18SBarry Smith   ierr  = ISGetIndices(isrow,&r); CHKERRQ(ierr);
5686d84be18SBarry Smith   ierr  = ISGetIndices(isicol,&ic); CHKERRQ(ierr);
5696d84be18SBarry Smith   rtmp  = (Scalar *) PetscMalloc(9*(n+1)*sizeof(Scalar));CHKPTRQ(rtmp);
5706d84be18SBarry Smith 
5716d84be18SBarry Smith   for ( i=0; i<n; i++ ) {
5724078e994SBarry Smith     nz    = bi[i+1] - bi[i];
5734078e994SBarry Smith     ajtmp = bj + bi[i];
5746d84be18SBarry Smith     for  ( j=0; j<nz; j++ ) {
5756d84be18SBarry Smith       x = rtmp + 9*ajtmp[j];
5766d84be18SBarry Smith       x[0] = x[1] = x[2] = x[3] = x[4] = x[5] = x[6] = x[7] = x[8] = x[9] = 0.0;
5776d84be18SBarry Smith     }
5786d84be18SBarry Smith     /* load in initial (unfactored row) */
5796d84be18SBarry Smith     idx      = r[i];
5804078e994SBarry Smith     nz       = ai[idx+1] - ai[idx];
5814078e994SBarry Smith     ajtmpold = aj + ai[idx];
5824078e994SBarry Smith     v        = aa + 9*ai[idx];
5836d84be18SBarry Smith     for ( j=0; j<nz; j++ ) {
5846d84be18SBarry Smith       x    = rtmp + 9*ic[ajtmpold[j]];
5856d84be18SBarry Smith       x[0] = v[0]; x[1] = v[1]; x[2] = v[2]; x[3] = v[3];
5866d84be18SBarry Smith       x[4] = v[4]; x[5] = v[5]; x[6] = v[6]; x[7] = v[7]; x[8] = v[8];
5876d84be18SBarry Smith       v    += 9;
5886d84be18SBarry Smith     }
5896d84be18SBarry Smith     row = *ajtmp++;
5906d84be18SBarry Smith     while (row < i) {
5916d84be18SBarry Smith       pc = rtmp + 9*row;
5926d84be18SBarry Smith       p1 = pc[0]; p2 = pc[1]; p3 = pc[2]; p4 = pc[3];
5936d84be18SBarry Smith       p5 = pc[4]; p6 = pc[5]; p7 = pc[6]; p8 = pc[7]; p9 = pc[8];
5946d84be18SBarry Smith       if (p1 != 0.0 || p2 != 0.0 || p3 != 0.0 || p4 != 0.0 || p5 != 0.0 ||
5956d84be18SBarry Smith           p6 != 0.0 || p7 != 0.0 || p8 != 0.0 || p9 != 0.0) {
5964078e994SBarry Smith         pv = ba + 9*diag_offset[row];
5974078e994SBarry Smith         pj = bj + diag_offset[row] + 1;
5986d84be18SBarry Smith         x1 = pv[0]; x2 = pv[1]; x3 = pv[2]; x4 = pv[3];
5996d84be18SBarry Smith         x5 = pv[4]; x6 = pv[5]; x7 = pv[6]; x8 = pv[7]; x9 = pv[8];
6006d84be18SBarry Smith         pc[0] = m1 = p1*x1 + p4*x2 + p7*x3;
6016d84be18SBarry Smith         pc[1] = m2 = p2*x1 + p5*x2 + p8*x3;
6026d84be18SBarry Smith         pc[2] = m3 = p3*x1 + p6*x2 + p9*x3;
6036d84be18SBarry Smith 
6046d84be18SBarry Smith         pc[3] = m4 = p1*x4 + p4*x5 + p7*x6;
6056d84be18SBarry Smith         pc[4] = m5 = p2*x4 + p5*x5 + p8*x6;
6066d84be18SBarry Smith         pc[5] = m6 = p3*x4 + p6*x5 + p9*x6;
6076d84be18SBarry Smith 
6086d84be18SBarry Smith         pc[6] = m7 = p1*x7 + p4*x8 + p7*x9;
6096d84be18SBarry Smith         pc[7] = m8 = p2*x7 + p5*x8 + p8*x9;
6106d84be18SBarry Smith         pc[8] = m9 = p3*x7 + p6*x8 + p9*x9;
6114078e994SBarry Smith         nz = bi[row+1] - diag_offset[row] - 1;
6126d84be18SBarry Smith         pv += 9;
6136d84be18SBarry Smith         for (j=0; j<nz; j++) {
6146d84be18SBarry Smith           x1   = pv[0]; x2 = pv[1]; x3 = pv[2]; x4 = pv[3];
6156d84be18SBarry Smith           x5   = pv[4]; x6 = pv[5]; x7 = pv[6]; x8 = pv[7]; x9 = pv[8];
6166d84be18SBarry Smith           x    = rtmp + 9*pj[j];
6176d84be18SBarry Smith           x[0] -= m1*x1 + m4*x2 + m7*x3;
6186d84be18SBarry Smith           x[1] -= m2*x1 + m5*x2 + m8*x3;
6196d84be18SBarry Smith           x[2] -= m3*x1 + m6*x2 + m9*x3;
6206d84be18SBarry Smith 
6216d84be18SBarry Smith           x[3] -= m1*x4 + m4*x5 + m7*x6;
6226d84be18SBarry Smith           x[4] -= m2*x4 + m5*x5 + m8*x6;
6236d84be18SBarry Smith           x[5] -= m3*x4 + m6*x5 + m9*x6;
6246d84be18SBarry Smith 
6256d84be18SBarry Smith           x[6] -= m1*x7 + m4*x8 + m7*x9;
6266d84be18SBarry Smith           x[7] -= m2*x7 + m5*x8 + m8*x9;
6276d84be18SBarry Smith           x[8] -= m3*x7 + m6*x8 + m9*x9;
6286d84be18SBarry Smith           pv   += 9;
6296d84be18SBarry Smith         }
6306d84be18SBarry Smith         PLogFlops(54*nz+36);
6316d84be18SBarry Smith       }
6326d84be18SBarry Smith       row = *ajtmp++;
6336d84be18SBarry Smith     }
6346d84be18SBarry Smith     /* finished row so stick it into b->a */
6354078e994SBarry Smith     pv = ba + 9*bi[i];
6364078e994SBarry Smith     pj = bj + bi[i];
6374078e994SBarry Smith     nz = bi[i+1] - bi[i];
6386d84be18SBarry Smith     for ( j=0; j<nz; j++ ) {
6396d84be18SBarry Smith       x     = rtmp + 9*pj[j];
6406d84be18SBarry Smith       pv[0] = x[0]; pv[1] = x[1]; pv[2] = x[2]; pv[3] = x[3];
6416d84be18SBarry Smith       pv[4] = x[4]; pv[5] = x[5]; pv[6] = x[6]; pv[7] = x[7]; pv[8] = x[8];
6426d84be18SBarry Smith       pv   += 9;
6436d84be18SBarry Smith     }
6446d84be18SBarry Smith     /* invert diagonal block */
6454078e994SBarry Smith     w = ba + 9*diag_offset[i];
6464078e994SBarry Smith     ierr = Kernel_A_gets_inverse_A_3(w); CHKERRQ(ierr);
6476d84be18SBarry Smith   }
6486d84be18SBarry Smith 
6496d84be18SBarry Smith   PetscFree(rtmp);
6506d84be18SBarry Smith   ierr = ISRestoreIndices(isicol,&ic); CHKERRQ(ierr);
6516d84be18SBarry Smith   ierr = ISRestoreIndices(isrow,&r); CHKERRQ(ierr);
6526d84be18SBarry Smith   ierr = ISDestroy(isicol); CHKERRQ(ierr);
6536d84be18SBarry Smith   C->factor = FACTOR_LU;
6546d84be18SBarry Smith   C->assembled = PETSC_TRUE;
6556d84be18SBarry Smith   PLogFlops(1.3333*27*b->mbs); /* from inverting diagonal blocks */
6566d84be18SBarry Smith   return 0;
6576d84be18SBarry Smith }
6586d84be18SBarry Smith 
6596d84be18SBarry Smith /* ------------------------------------------------------------*/
6606d84be18SBarry Smith /*
6614eeb42bcSBarry Smith       Version for when blocks are 2 by 2
6624eeb42bcSBarry Smith */
6634eeb42bcSBarry Smith int MatLUFactorNumeric_SeqBAIJ_2(Mat A,Mat *B)
6644eeb42bcSBarry Smith {
6654eeb42bcSBarry Smith   Mat             C = *B;
6664eeb42bcSBarry Smith   Mat_SeqBAIJ     *a = (Mat_SeqBAIJ *) A->data,*b = (Mat_SeqBAIJ *)C->data;
6674eeb42bcSBarry Smith   IS              iscol = b->col, isrow = b->row, isicol;
6684078e994SBarry Smith   int             *r,*ic, ierr, i, j, n = a->mbs, *bi = b->i, *bj = b->j;
6696d84be18SBarry Smith   int             *ajtmpold, *ajtmp, nz, row, v_pivots[2];
6704078e994SBarry Smith   int             *diag_offset=b->diag,bs = 2,idx,*ai=a->i,*aj=a->j;
6716d84be18SBarry Smith   register Scalar *pv,*v,*rtmp,m1,m2,m3,m4,*pc,*w,*x,x1,x2,x3,x4;
6726d84be18SBarry Smith   Scalar          p1,p2,p3,p4,v_work[2];
6734078e994SBarry Smith   Scalar          *ba = b->a,*aa = a->a;
6744eeb42bcSBarry Smith   register int    *pj;
6754eeb42bcSBarry Smith 
6764eeb42bcSBarry Smith   ierr  = ISInvertPermutation(iscol,&isicol); CHKERRQ(ierr);
6774eeb42bcSBarry Smith   PLogObjectParent(*B,isicol);
6784eeb42bcSBarry Smith   ierr  = ISGetIndices(isrow,&r); CHKERRQ(ierr);
6794eeb42bcSBarry Smith   ierr  = ISGetIndices(isicol,&ic); CHKERRQ(ierr);
6804eeb42bcSBarry Smith   rtmp  = (Scalar *) PetscMalloc(4*(n+1)*sizeof(Scalar));CHKPTRQ(rtmp);
6814eeb42bcSBarry Smith 
6824eeb42bcSBarry Smith   for ( i=0; i<n; i++ ) {
6834078e994SBarry Smith     nz    = bi[i+1] - bi[i];
6844078e994SBarry Smith     ajtmp = bj + bi[i];
6854eeb42bcSBarry Smith     for  ( j=0; j<nz; j++ ) {
6864eeb42bcSBarry Smith       x = rtmp+4*ajtmp[j]; x[0] = x[1] = x[2] = x[3] = 0.0;
6874eeb42bcSBarry Smith     }
6884eeb42bcSBarry Smith     /* load in initial (unfactored row) */
6894eeb42bcSBarry Smith     idx      = r[i];
6904078e994SBarry Smith     nz       = ai[idx+1] - ai[idx];
6914078e994SBarry Smith     ajtmpold = aj + ai[idx];
6924078e994SBarry Smith     v        = aa + 4*ai[idx];
6934eeb42bcSBarry Smith     for ( j=0; j<nz; j++ ) {
6944eeb42bcSBarry Smith       x    = rtmp+4*ic[ajtmpold[j]];
6954eeb42bcSBarry Smith       x[0] = v[0]; x[1] = v[1]; x[2] = v[2]; x[3] = v[3];
6964eeb42bcSBarry Smith       v    += 4;
6974eeb42bcSBarry Smith     }
6984eeb42bcSBarry Smith     row = *ajtmp++;
6994eeb42bcSBarry Smith     while (row < i) {
7004eeb42bcSBarry Smith       pc = rtmp + 4*row;
7014eeb42bcSBarry Smith       p1 = pc[0]; p2 = pc[1]; p3 = pc[2]; p4 = pc[3];
70288685aaeSLois Curfman McInnes       if (p1 != 0.0 || p2 != 0.0 || p3 != 0.0 || p4 != 0.0) {
7034078e994SBarry Smith         pv = ba + 4*diag_offset[row];
7044078e994SBarry Smith         pj = bj + diag_offset[row] + 1;
7054eeb42bcSBarry Smith         x1 = pv[0]; x2 = pv[1]; x3 = pv[2]; x4 = pv[3];
7064eeb42bcSBarry Smith         pc[0] = m1 = p1*x1 + p3*x2;
7074eeb42bcSBarry Smith         pc[1] = m2 = p2*x1 + p4*x2;
7084eeb42bcSBarry Smith         pc[2] = m3 = p1*x3 + p3*x4;
7094eeb42bcSBarry Smith         pc[3] = m4 = p2*x3 + p4*x4;
7104078e994SBarry Smith         nz = bi[row+1] - diag_offset[row] - 1;
7114eeb42bcSBarry Smith         pv += 4;
7124eeb42bcSBarry Smith         for (j=0; j<nz; j++) {
7134eeb42bcSBarry Smith           x1   = pv[0]; x2 = pv[1]; x3 = pv[2]; x4 = pv[3];
7144eeb42bcSBarry Smith           x    = rtmp + 4*pj[j];
7154eeb42bcSBarry Smith           x[0] -= m1*x1 + m3*x2;
7164eeb42bcSBarry Smith           x[1] -= m2*x1 + m4*x2;
7174eeb42bcSBarry Smith           x[2] -= m1*x3 + m3*x4;
7184eeb42bcSBarry Smith           x[3] -= m2*x3 + m4*x4;
7194eeb42bcSBarry Smith           pv   += 4;
7204eeb42bcSBarry Smith         }
7214eeb42bcSBarry Smith         PLogFlops(16*nz+12);
7224eeb42bcSBarry Smith       }
7234eeb42bcSBarry Smith       row = *ajtmp++;
7244eeb42bcSBarry Smith     }
7254eeb42bcSBarry Smith     /* finished row so stick it into b->a */
7264078e994SBarry Smith     pv = ba + 4*bi[i];
7274078e994SBarry Smith     pj = bj + bi[i];
7284078e994SBarry Smith     nz = bi[i+1] - bi[i];
7294eeb42bcSBarry Smith     for ( j=0; j<nz; j++ ) {
7304eeb42bcSBarry Smith       x     = rtmp+4*pj[j];
7314eeb42bcSBarry Smith       pv[0] = x[0]; pv[1] = x[1]; pv[2] = x[2]; pv[3] = x[3];
7324eeb42bcSBarry Smith       pv   += 4;
7334eeb42bcSBarry Smith     }
7344eeb42bcSBarry Smith     /* invert diagonal block */
7354078e994SBarry Smith     w = ba + 4*diag_offset[i];
7364078e994SBarry Smith     Kernel_A_gets_inverse_A(bs,w,v_pivots,v_work);
7374eeb42bcSBarry Smith   }
7384eeb42bcSBarry Smith 
7396d84be18SBarry Smith   PetscFree(rtmp);
7404eeb42bcSBarry Smith   ierr = ISRestoreIndices(isicol,&ic); CHKERRQ(ierr);
7414eeb42bcSBarry Smith   ierr = ISRestoreIndices(isrow,&r); CHKERRQ(ierr);
7424eeb42bcSBarry Smith   ierr = ISDestroy(isicol); CHKERRQ(ierr);
7434eeb42bcSBarry Smith   C->factor = FACTOR_LU;
7444eeb42bcSBarry Smith   C->assembled = PETSC_TRUE;
7454eeb42bcSBarry Smith   PLogFlops(1.3333*8*b->mbs); /* from inverting diagonal blocks */
7464eeb42bcSBarry Smith   return 0;
7474eeb42bcSBarry Smith }
7487fc0212eSBarry Smith 
7497fc0212eSBarry Smith /* ----------------------------------------------------------- */
7507fc0212eSBarry Smith /*
7517fc0212eSBarry Smith      Version for when blocks are 1 by 1.
7527fc0212eSBarry Smith */
7537fc0212eSBarry Smith int MatLUFactorNumeric_SeqBAIJ_1(Mat A,Mat *B)
7547fc0212eSBarry Smith {
7557fc0212eSBarry Smith   Mat             C = *B;
7567fc0212eSBarry Smith   Mat_SeqBAIJ     *a = (Mat_SeqBAIJ *) A->data, *b = (Mat_SeqBAIJ *)C->data;
7577fc0212eSBarry Smith   IS              iscol = b->col, isrow = b->row, isicol;
7584078e994SBarry Smith   int             *r,*ic, ierr, i, j, n = a->mbs, *bi = b->i, *bj = b->j;
7594078e994SBarry Smith   int             *ajtmpold, *ajtmp, nz, row,*ai = a->i,*aj = a->j;
7607fc0212eSBarry Smith   int             *diag_offset = b->diag,diag;
7617fc0212eSBarry Smith   register Scalar *pv,*v,*rtmp,multiplier,*pc;
7624078e994SBarry Smith   Scalar          *ba = b->a,*aa = a->a;
7637fc0212eSBarry Smith   register int    *pj;
7647fc0212eSBarry Smith 
7657fc0212eSBarry Smith   ierr  = ISInvertPermutation(iscol,&isicol); CHKERRQ(ierr);
7667fc0212eSBarry Smith   PLogObjectParent(*B,isicol);
7677fc0212eSBarry Smith   ierr  = ISGetIndices(isrow,&r); CHKERRQ(ierr);
7687fc0212eSBarry Smith   ierr  = ISGetIndices(isicol,&ic); CHKERRQ(ierr);
7697fc0212eSBarry Smith   rtmp  = (Scalar *) PetscMalloc((n+1)*sizeof(Scalar));CHKPTRQ(rtmp);
7707fc0212eSBarry Smith 
7717fc0212eSBarry Smith   for ( i=0; i<n; i++ ) {
7724078e994SBarry Smith     nz    = bi[i+1] - bi[i];
7734078e994SBarry Smith     ajtmp = bj + bi[i];
7747fc0212eSBarry Smith     for  ( j=0; j<nz; j++ ) rtmp[ajtmp[j]] = 0.0;
7757fc0212eSBarry Smith 
7767fc0212eSBarry Smith     /* load in initial (unfactored row) */
7774078e994SBarry Smith     nz       = ai[r[i]+1] - ai[r[i]];
7784078e994SBarry Smith     ajtmpold = aj + ai[r[i]];
7794078e994SBarry Smith     v        = aa + ai[r[i]];
7807fc0212eSBarry Smith     for ( j=0; j<nz; j++ ) rtmp[ic[ajtmpold[j]]] =  v[j];
7817fc0212eSBarry Smith 
7827fc0212eSBarry Smith     row = *ajtmp++;
7837fc0212eSBarry Smith     while (row < i) {
7847fc0212eSBarry Smith       pc = rtmp + row;
7857fc0212eSBarry Smith       if (*pc != 0.0) {
7864078e994SBarry Smith         pv         = ba + diag_offset[row];
7874078e994SBarry Smith         pj         = bj + diag_offset[row] + 1;
7887fc0212eSBarry Smith         multiplier = *pc * *pv++;
7897fc0212eSBarry Smith         *pc        = multiplier;
7904078e994SBarry Smith         nz         = bi[row+1] - diag_offset[row] - 1;
7917fc0212eSBarry Smith         for (j=0; j<nz; j++) rtmp[pj[j]] -= multiplier * pv[j];
7924eeb42bcSBarry Smith         PLogFlops(1+2*nz);
7937fc0212eSBarry Smith       }
7947fc0212eSBarry Smith       row = *ajtmp++;
7957fc0212eSBarry Smith     }
7967fc0212eSBarry Smith     /* finished row so stick it into b->a */
7974078e994SBarry Smith     pv = ba + bi[i];
7984078e994SBarry Smith     pj = bj + bi[i];
7994078e994SBarry Smith     nz = bi[i+1] - bi[i];
8007fc0212eSBarry Smith     for ( j=0; j<nz; j++ ) {pv[j] = rtmp[pj[j]];}
8014078e994SBarry Smith     diag = diag_offset[i] - bi[i];
8027fc0212eSBarry Smith     /* check pivot entry for current row */
8037fc0212eSBarry Smith     if (pv[diag] == 0.0) {
804d3cbd50cSLois Curfman McInnes       SETERRQ(1,"MatLUFactorNumeric_SeqBAIJ_1:Zero pivot");
8057fc0212eSBarry Smith     }
8067fc0212eSBarry Smith     pv[diag] = 1.0/pv[diag];
8077fc0212eSBarry Smith   }
8087fc0212eSBarry Smith 
8097fc0212eSBarry Smith   PetscFree(rtmp);
8107fc0212eSBarry Smith   ierr = ISRestoreIndices(isicol,&ic); CHKERRQ(ierr);
8117fc0212eSBarry Smith   ierr = ISRestoreIndices(isrow,&r); CHKERRQ(ierr);
8127fc0212eSBarry Smith   ierr = ISDestroy(isicol); CHKERRQ(ierr);
8137fc0212eSBarry Smith   C->factor    = FACTOR_LU;
8147fc0212eSBarry Smith   C->assembled = PETSC_TRUE;
8157fc0212eSBarry Smith   PLogFlops(b->n);
8167fc0212eSBarry Smith   return 0;
8177fc0212eSBarry Smith }
8187fc0212eSBarry Smith 
8195d517e7eSBarry Smith /* ----------------------------------------------------------- */
820ec3a8b7bSBarry Smith int MatLUFactor_SeqBAIJ(Mat A,IS row,IS col,double f)
8215d517e7eSBarry Smith {
822ec3a8b7bSBarry Smith   Mat_SeqBAIJ *mat = (Mat_SeqBAIJ *) A->data;
8235d517e7eSBarry Smith   int         ierr;
8245d517e7eSBarry Smith   Mat         C;
8255d517e7eSBarry Smith 
826ec3a8b7bSBarry Smith   ierr = MatLUFactorSymbolic_SeqBAIJ(A,row,col,f,&C); CHKERRQ(ierr);
8277fc0212eSBarry Smith   ierr = MatLUFactorNumeric(A,&C); CHKERRQ(ierr);
8285d517e7eSBarry Smith 
8295d517e7eSBarry Smith   /* free all the data structures from mat */
8305d517e7eSBarry Smith   PetscFree(mat->a);
8315d517e7eSBarry Smith   if (!mat->singlemalloc) {PetscFree(mat->i); PetscFree(mat->j);}
8325d517e7eSBarry Smith   if (mat->diag) PetscFree(mat->diag);
8335d517e7eSBarry Smith   if (mat->ilen) PetscFree(mat->ilen);
8345d517e7eSBarry Smith   if (mat->imax) PetscFree(mat->imax);
8355d517e7eSBarry Smith   if (mat->solve_work) PetscFree(mat->solve_work);
836bb1453f0SSatish Balay   if (mat->mult_work) PetscFree(mat->mult_work);
8375d517e7eSBarry Smith   PetscFree(mat);
8385d517e7eSBarry Smith 
8395d517e7eSBarry Smith   PetscMemcpy(A,C,sizeof(struct _Mat));
8405d517e7eSBarry Smith   PetscHeaderDestroy(C);
8415d517e7eSBarry Smith   return 0;
8425d517e7eSBarry Smith }
8435d517e7eSBarry Smith /* ----------------------------------------------------------- */
8444078e994SBarry Smith int MatSolve_SeqBAIJ_N(Mat A,Vec bb,Vec xx)
8455d517e7eSBarry Smith {
846ec3a8b7bSBarry Smith   Mat_SeqBAIJ     *a=(Mat_SeqBAIJ *)A->data;
8475d517e7eSBarry Smith   IS              iscol=a->col,isrow=a->row;
848de6a44a3SBarry Smith   int             *r,*c,ierr,i,n=a->mbs,*vi,*ai=a->i,*aj=a->j;
849496e697eSBarry Smith   int             nz,bs=a->bs,bs2=a->bs2;
850c16cb8f2SBarry Smith   Scalar          *aa=a->a,*sum;
851de6a44a3SBarry Smith   register Scalar *x,*b,*lsum,*tmp,*v;
8525d517e7eSBarry Smith 
853c16cb8f2SBarry Smith   VecGetArray_Fast(bb,b);
854c16cb8f2SBarry Smith   VecGetArray_Fast(xx,x);
8555d517e7eSBarry Smith   tmp  = a->solve_work;
8565d517e7eSBarry Smith 
8574078e994SBarry Smith   ierr = ISGetIndices(isrow,&r);CHKERRQ(ierr);
8584078e994SBarry Smith   ierr = ISGetIndices(iscol,&c);CHKERRQ(ierr); c = c + (n-1);
8594078e994SBarry Smith 
8604078e994SBarry Smith   /* forward solve the lower triangular */
8614078e994SBarry Smith   PetscMemcpy(tmp,b + bs*(*r++), bs*sizeof(Scalar));
8624078e994SBarry Smith   for ( i=1; i<n; i++ ) {
8634078e994SBarry Smith     v   = aa + bs2*ai[i];
8644078e994SBarry Smith     vi  = aj + ai[i];
8654078e994SBarry Smith     nz  = a->diag[i] - ai[i];
8664078e994SBarry Smith     sum = tmp + bs*i;
8674078e994SBarry Smith     PetscMemcpy(sum,b+bs*(*r++),bs*sizeof(Scalar));
8684078e994SBarry Smith     while (nz--) {
869a3c32e02SBarry Smith       Kernel_v_gets_v_minus_A_times_w(bs,sum,v,tmp+bs*(*vi++));
8704078e994SBarry Smith       v += bs2;
871ddb00973SSatish Balay     }
8724078e994SBarry Smith   }
8734078e994SBarry Smith   /* backward solve the upper triangular */
8744078e994SBarry Smith   lsum = a->solve_work + a->n;
8754078e994SBarry Smith   for ( i=n-1; i>=0; i-- ){
8764078e994SBarry Smith     v   = aa + bs2*(a->diag[i] + 1);
8774078e994SBarry Smith     vi  = aj + a->diag[i] + 1;
8784078e994SBarry Smith     nz  = ai[i+1] - a->diag[i] - 1;
8794078e994SBarry Smith     PetscMemcpy(lsum,tmp+i*bs,bs*sizeof(Scalar));
8804078e994SBarry Smith     while (nz--) {
881a3c32e02SBarry Smith       Kernel_v_gets_v_minus_A_times_w(bs,lsum,v,tmp+bs*(*vi++));
8824078e994SBarry Smith       v += bs2;
8834078e994SBarry Smith     }
884a3c32e02SBarry Smith     Kernel_w_gets_A_times_v(bs,lsum,aa+bs2*a->diag[i],tmp+i*bs);
8854078e994SBarry Smith     PetscMemcpy(x + bs*(*c--),tmp+i*bs,bs*sizeof(Scalar));
8864078e994SBarry Smith   }
8874078e994SBarry Smith 
8884078e994SBarry Smith   ierr = ISRestoreIndices(isrow,&r); CHKERRQ(ierr);
8894078e994SBarry Smith   ierr = ISRestoreIndices(iscol,&c); CHKERRQ(ierr);
890c16cb8f2SBarry Smith   VecRestoreArray_Fast(bb,b);
891c16cb8f2SBarry Smith   VecRestoreArray_Fast(xx,x);
8924078e994SBarry Smith   PLogFlops(2*(a->bs2)*(a->nz) - a->n);
8934078e994SBarry Smith   return 0;
8944078e994SBarry Smith }
8954078e994SBarry Smith 
8964078e994SBarry Smith int MatSolve_SeqBAIJ_5(Mat A,Vec bb,Vec xx)
8974078e994SBarry Smith {
8984078e994SBarry Smith   Mat_SeqBAIJ     *a=(Mat_SeqBAIJ *)A->data;
8994078e994SBarry Smith   IS              iscol=a->col,isrow=a->row;
9004078e994SBarry Smith   int             *r,*c,ierr,i,n=a->mbs,*vi,*ai=a->i,*aj=a->j,nz,idx,idt,idc;
901c16cb8f2SBarry Smith   Scalar          *aa=a->a,sum1,sum2,sum3,sum4,sum5,x1,x2,x3,x4,x5;
9024078e994SBarry Smith   register Scalar *x,*b,*tmp,*v;
9034078e994SBarry Smith 
904c16cb8f2SBarry Smith   VecGetArray_Fast(bb,b);
905c16cb8f2SBarry Smith   VecGetArray_Fast(xx,x);
9064078e994SBarry Smith   tmp  = a->solve_work;
907ddb00973SSatish Balay 
9085d517e7eSBarry Smith   ierr = ISGetIndices(isrow,&r);CHKERRQ(ierr);
9095d517e7eSBarry Smith   ierr = ISGetIndices(iscol,&c);CHKERRQ(ierr); c = c + (n-1);
9105d517e7eSBarry Smith 
911de6a44a3SBarry Smith   /* forward solve the lower triangular */
912de6a44a3SBarry Smith   idx    = 5*(*r++);
913de6a44a3SBarry Smith   tmp[0] = b[idx];   tmp[1] = b[1+idx];
914de6a44a3SBarry Smith   tmp[2] = b[2+idx]; tmp[3] = b[3+idx]; tmp[4] = b[4+idx];
915de6a44a3SBarry Smith   for ( i=1; i<n; i++ ) {
916de6a44a3SBarry Smith     v     = aa + 25*ai[i];
917de6a44a3SBarry Smith     vi    = aj + ai[i];
918de6a44a3SBarry Smith     nz    = a->diag[i] - ai[i];
919de6a44a3SBarry Smith     idx   = 5*(*r++);
920de6a44a3SBarry Smith     sum1  = b[idx];sum2 = b[1+idx];sum3 = b[2+idx];sum4 = b[3+idx];
921de6a44a3SBarry Smith     sum5  = b[4+idx];
922de6a44a3SBarry Smith     while (nz--) {
923de6a44a3SBarry Smith       idx   = 5*(*vi++);
924de6a44a3SBarry Smith       x1    = tmp[idx];  x2 = tmp[1+idx];x3 = tmp[2+idx];
925de6a44a3SBarry Smith       x4    = tmp[3+idx];x5 = tmp[4+idx];
926de6a44a3SBarry Smith       sum1 -= v[0]*x1 + v[5]*x2 + v[10]*x3 + v[15]*x4 + v[20]*x5;
927de6a44a3SBarry Smith       sum2 -= v[1]*x1 + v[6]*x2 + v[11]*x3 + v[16]*x4 + v[21]*x5;
928de6a44a3SBarry Smith       sum3 -= v[2]*x1 + v[7]*x2 + v[12]*x3 + v[17]*x4 + v[22]*x5;
929de6a44a3SBarry Smith       sum4 -= v[3]*x1 + v[8]*x2 + v[13]*x3 + v[18]*x4 + v[23]*x5;
930de6a44a3SBarry Smith       sum5 -= v[4]*x1 + v[9]*x2 + v[14]*x3 + v[19]*x4 + v[24]*x5;
931de6a44a3SBarry Smith       v += 25;
932de6a44a3SBarry Smith     }
933de6a44a3SBarry Smith     idx = 5*i;
934de6a44a3SBarry Smith     tmp[idx]   = sum1;tmp[1+idx] = sum2;
935de6a44a3SBarry Smith     tmp[2+idx] = sum3;tmp[3+idx] = sum4; tmp[4+idx] = sum5;
936de6a44a3SBarry Smith   }
937de6a44a3SBarry Smith   /* backward solve the upper triangular */
938de6a44a3SBarry Smith   for ( i=n-1; i>=0; i-- ){
939de6a44a3SBarry Smith     v    = aa + 25*a->diag[i] + 25;
940de6a44a3SBarry Smith     vi   = aj + a->diag[i] + 1;
941de6a44a3SBarry Smith     nz   = ai[i+1] - a->diag[i] - 1;
942de6a44a3SBarry Smith     idt  = 5*i;
943de6a44a3SBarry Smith     sum1 = tmp[idt];  sum2 = tmp[1+idt];
944de6a44a3SBarry Smith     sum3 = tmp[2+idt];sum4 = tmp[3+idt]; sum5 = tmp[4+idt];
945de6a44a3SBarry Smith     while (nz--) {
946de6a44a3SBarry Smith       idx   = 5*(*vi++);
947de6a44a3SBarry Smith       x1    = tmp[idx];   x2 = tmp[1+idx];
948de6a44a3SBarry Smith       x3    = tmp[2+idx]; x4 = tmp[3+idx]; x5 = tmp[4+idx];
949de6a44a3SBarry Smith       sum1 -= v[0]*x1 + v[5]*x2 + v[10]*x3 + v[15]*x4 + v[20]*x5;
950de6a44a3SBarry Smith       sum2 -= v[1]*x1 + v[6]*x2 + v[11]*x3 + v[16]*x4 + v[21]*x5;
951de6a44a3SBarry Smith       sum3 -= v[2]*x1 + v[7]*x2 + v[12]*x3 + v[17]*x4 + v[22]*x5;
952de6a44a3SBarry Smith       sum4 -= v[3]*x1 + v[8]*x2 + v[13]*x3 + v[18]*x4 + v[23]*x5;
953de6a44a3SBarry Smith       sum5 -= v[4]*x1 + v[9]*x2 + v[14]*x3 + v[19]*x4 + v[24]*x5;
954de6a44a3SBarry Smith       v += 25;
955de6a44a3SBarry Smith     }
956de6a44a3SBarry Smith     idc = 5*(*c--);
957de6a44a3SBarry Smith     v   = aa + 25*a->diag[i];
9584078e994SBarry Smith     x[idc]   = tmp[idt]   = v[0]*sum1+v[5]*sum2+v[10]*sum3+
959de6a44a3SBarry Smith                                  v[15]*sum4+v[20]*sum5;
9604078e994SBarry Smith     x[1+idc] = tmp[1+idt] = v[1]*sum1+v[6]*sum2+v[11]*sum3+
961de6a44a3SBarry Smith                                  v[16]*sum4+v[21]*sum5;
9624078e994SBarry Smith     x[2+idc] = tmp[2+idt] = v[2]*sum1+v[7]*sum2+v[12]*sum3+
963de6a44a3SBarry Smith                                  v[17]*sum4+v[22]*sum5;
9644078e994SBarry Smith     x[3+idc] = tmp[3+idt] = v[3]*sum1+v[8]*sum2+v[13]*sum3+
965de6a44a3SBarry Smith                                  v[18]*sum4+v[23]*sum5;
9664078e994SBarry Smith     x[4+idc] = tmp[4+idt] = v[4]*sum1+v[9]*sum2+v[14]*sum3+
967de6a44a3SBarry Smith                                  v[19]*sum4+v[24]*sum5;
968de6a44a3SBarry Smith   }
9695d517e7eSBarry Smith 
9705d517e7eSBarry Smith   ierr = ISRestoreIndices(isrow,&r); CHKERRQ(ierr);
9715d517e7eSBarry Smith   ierr = ISRestoreIndices(iscol,&c); CHKERRQ(ierr);
972c16cb8f2SBarry Smith   VecRestoreArray_Fast(bb,b);
973c16cb8f2SBarry Smith   VecRestoreArray_Fast(xx,x);
9744078e994SBarry Smith   PLogFlops(2*25*(a->nz) - a->n);
975ddb00973SSatish Balay   return 0;
976ddb00973SSatish Balay }
977ddb00973SSatish Balay 
9784078e994SBarry Smith int MatSolve_SeqBAIJ_4(Mat A,Vec bb,Vec xx)
9790daa4459SSatish Balay {
9800daa4459SSatish Balay   Mat_SeqBAIJ     *a=(Mat_SeqBAIJ *)A->data;
9810daa4459SSatish Balay   IS              iscol=a->col,isrow=a->row;
9824078e994SBarry Smith   int             *r,*c,ierr,i,n=a->mbs,*vi,*ai=a->i,*aj=a->j,nz,idx,idt,idc;
983c16cb8f2SBarry Smith   Scalar          *aa=a->a,sum1,sum2,sum3,sum4,x1,x2,x3,x4;
9844078e994SBarry Smith   register Scalar *x,*b,*tmp,*v;
9850daa4459SSatish Balay 
986c16cb8f2SBarry Smith   VecGetArray_Fast(bb,b);
987c16cb8f2SBarry Smith   VecGetArray_Fast(xx,x);
9880daa4459SSatish Balay   tmp  = a->solve_work;
9890daa4459SSatish Balay 
9900daa4459SSatish Balay   ierr = ISGetIndices(isrow,&r);CHKERRQ(ierr);
9910daa4459SSatish Balay   ierr = ISGetIndices(iscol,&c);CHKERRQ(ierr); c = c + (n-1);
9920daa4459SSatish Balay 
9930daa4459SSatish Balay   /* forward solve the lower triangular */
9940daa4459SSatish Balay   idx    = 4*(*r++);
9950daa4459SSatish Balay   tmp[0] = b[idx];   tmp[1] = b[1+idx];
9960daa4459SSatish Balay   tmp[2] = b[2+idx]; tmp[3] = b[3+idx];
9970daa4459SSatish Balay   for ( i=1; i<n; i++ ) {
9980daa4459SSatish Balay     v     = aa + 16*ai[i];
9990daa4459SSatish Balay     vi    = aj + ai[i];
10000daa4459SSatish Balay     nz    = a->diag[i] - ai[i];
10010daa4459SSatish Balay     idx   = 4*(*r++);
10020daa4459SSatish Balay     sum1  = b[idx];sum2 = b[1+idx];sum3 = b[2+idx];sum4 = b[3+idx];
10030daa4459SSatish Balay     while (nz--) {
10040daa4459SSatish Balay       idx   = 4*(*vi++);
10050daa4459SSatish Balay       x1    = tmp[idx];x2 = tmp[1+idx];x3 = tmp[2+idx];x4 = tmp[3+idx];
10060daa4459SSatish Balay       sum1 -= v[0]*x1 + v[4]*x2 + v[8]*x3  + v[12]*x4;
10070daa4459SSatish Balay       sum2 -= v[1]*x1 + v[5]*x2 + v[9]*x3  + v[13]*x4;
10080daa4459SSatish Balay       sum3 -= v[2]*x1 + v[6]*x2 + v[10]*x3 + v[14]*x4;
10090daa4459SSatish Balay       sum4 -= v[3]*x1 + v[7]*x2 + v[11]*x3 + v[15]*x4;
10100daa4459SSatish Balay       v += 16;
10110daa4459SSatish Balay     }
10120daa4459SSatish Balay     idx = 4*i;
10130daa4459SSatish Balay     tmp[idx]   = sum1;tmp[1+idx] = sum2;
10140daa4459SSatish Balay     tmp[2+idx] = sum3;tmp[3+idx] = sum4;
10150daa4459SSatish Balay   }
10160daa4459SSatish Balay   /* backward solve the upper triangular */
10170daa4459SSatish Balay   for ( i=n-1; i>=0; i-- ){
10180daa4459SSatish Balay     v    = aa + 16*a->diag[i] + 16;
10190daa4459SSatish Balay     vi   = aj + a->diag[i] + 1;
10200daa4459SSatish Balay     nz   = ai[i+1] - a->diag[i] - 1;
10210daa4459SSatish Balay     idt  = 4*i;
10220daa4459SSatish Balay     sum1 = tmp[idt];  sum2 = tmp[1+idt];
10230daa4459SSatish Balay     sum3 = tmp[2+idt];sum4 = tmp[3+idt];
10240daa4459SSatish Balay     while (nz--) {
10250daa4459SSatish Balay       idx   = 4*(*vi++);
10260daa4459SSatish Balay       x1    = tmp[idx];   x2 = tmp[1+idx];
10270daa4459SSatish Balay       x3    = tmp[2+idx]; x4 = tmp[3+idx];
10280daa4459SSatish Balay       sum1 -= v[0]*x1 + v[4]*x2 + v[8]*x3   + v[12]*x4;
10290daa4459SSatish Balay       sum2 -= v[1]*x1 + v[5]*x2 + v[9]*x3   + v[13]*x4;
10300daa4459SSatish Balay       sum3 -= v[2]*x1 + v[6]*x2 + v[10]*x3  + v[14]*x4;
10310daa4459SSatish Balay       sum4 -= v[3]*x1 + v[7]*x2 + v[11]*x3  + v[15]*x4;
10320daa4459SSatish Balay       v += 16;
10330daa4459SSatish Balay     }
10340daa4459SSatish Balay     idc = 4*(*c--);
10350daa4459SSatish Balay     v   = aa + 16*a->diag[i];
10364078e994SBarry Smith     x[idc]   = tmp[idt]   = v[0]*sum1+v[4]*sum2+v[8]*sum3+v[12]*sum4;
10374078e994SBarry Smith     x[1+idc] = tmp[1+idt] = v[1]*sum1+v[5]*sum2+v[9]*sum3+v[13]*sum4;
10384078e994SBarry Smith     x[2+idc] = tmp[2+idt] = v[2]*sum1+v[6]*sum2+v[10]*sum3+v[14]*sum4;
10394078e994SBarry Smith     x[3+idc] = tmp[3+idt] = v[3]*sum1+v[7]*sum2+v[11]*sum3+v[15]*sum4;
10400daa4459SSatish Balay   }
10410daa4459SSatish Balay 
10420daa4459SSatish Balay   ierr = ISRestoreIndices(isrow,&r); CHKERRQ(ierr);
10430daa4459SSatish Balay   ierr = ISRestoreIndices(iscol,&c); CHKERRQ(ierr);
1044c16cb8f2SBarry Smith   VecRestoreArray_Fast(bb,b);
1045c16cb8f2SBarry Smith   VecRestoreArray_Fast(xx,x);
10464078e994SBarry Smith   PLogFlops(2*16*(a->nz) - a->n);
10470daa4459SSatish Balay   return 0;
10480daa4459SSatish Balay }
10490daa4459SSatish Balay 
10500daa4459SSatish Balay 
10514078e994SBarry Smith int MatSolve_SeqBAIJ_3(Mat A,Vec bb,Vec xx)
10520daa4459SSatish Balay {
10530daa4459SSatish Balay   Mat_SeqBAIJ     *a=(Mat_SeqBAIJ *)A->data;
10544078e994SBarry Smith   IS              iscol=a->col,isrow=a->row;
10554078e994SBarry Smith   int             *r,*c,ierr,i,n=a->mbs,*vi,*ai=a->i,*aj=a->j,nz,idx,idt,idc;
1056c16cb8f2SBarry Smith   Scalar          *aa=a->a,sum1,sum2,sum3,x1,x2,x3;
10574078e994SBarry Smith   register Scalar *x,*b,*tmp,*v;
10580daa4459SSatish Balay 
1059c16cb8f2SBarry Smith   VecGetArray_Fast(bb,b);
1060c16cb8f2SBarry Smith   VecGetArray_Fast(xx,x);
10614078e994SBarry Smith   tmp  = a->solve_work;
10624078e994SBarry Smith 
10634078e994SBarry Smith   ierr = ISGetIndices(isrow,&r);CHKERRQ(ierr);
10644078e994SBarry Smith   ierr = ISGetIndices(iscol,&c);CHKERRQ(ierr); c = c + (n-1);
10654078e994SBarry Smith 
10664078e994SBarry Smith   /* forward solve the lower triangular */
10674078e994SBarry Smith   idx    = 3*(*r++);
10684078e994SBarry Smith   tmp[0] = b[idx]; tmp[1] = b[1+idx]; tmp[2] = b[2+idx];
10694078e994SBarry Smith   for ( i=1; i<n; i++ ) {
10704078e994SBarry Smith     v     = aa + 9*ai[i];
10714078e994SBarry Smith     vi    = aj + ai[i];
10724078e994SBarry Smith     nz    = a->diag[i] - ai[i];
10734078e994SBarry Smith     idx   = 3*(*r++);
10744078e994SBarry Smith     sum1  = b[idx]; sum2 = b[1+idx]; sum3 = b[2+idx];
10754078e994SBarry Smith     while (nz--) {
10764078e994SBarry Smith       idx   = 3*(*vi++);
10774078e994SBarry Smith       x1    = tmp[idx]; x2 = tmp[1+idx]; x3 = tmp[2+idx];
10784078e994SBarry Smith       sum1 -= v[0]*x1 + v[3]*x2 + v[6]*x3;
10794078e994SBarry Smith       sum2 -= v[1]*x1 + v[4]*x2 + v[7]*x3;
10804078e994SBarry Smith       sum3 -= v[2]*x1 + v[5]*x2 + v[8]*x3;
10814078e994SBarry Smith       v += 9;
10824078e994SBarry Smith     }
10834078e994SBarry Smith     idx = 3*i;
10844078e994SBarry Smith     tmp[idx] = sum1; tmp[1+idx] = sum2; tmp[2+idx] = sum3;
10854078e994SBarry Smith   }
10864078e994SBarry Smith   /* backward solve the upper triangular */
10874078e994SBarry Smith   for ( i=n-1; i>=0; i-- ){
10884078e994SBarry Smith     v    = aa + 9*a->diag[i] + 9;
10894078e994SBarry Smith     vi   = aj + a->diag[i] + 1;
10904078e994SBarry Smith     nz   = ai[i+1] - a->diag[i] - 1;
10914078e994SBarry Smith     idt  = 3*i;
10924078e994SBarry Smith     sum1 = tmp[idt]; sum2 = tmp[1+idt]; sum3 = tmp[2+idt];
10934078e994SBarry Smith     while (nz--) {
10944078e994SBarry Smith       idx   = 3*(*vi++);
10954078e994SBarry Smith       x1    = tmp[idx]; x2 = tmp[1+idx]; x3 = tmp[2+idx];
10964078e994SBarry Smith       sum1 -= v[0]*x1 + v[3]*x2 + v[6]*x3;
10974078e994SBarry Smith       sum2 -= v[1]*x1 + v[4]*x2 + v[7]*x3;
10984078e994SBarry Smith       sum3 -= v[2]*x1 + v[5]*x2 + v[8]*x3;
10994078e994SBarry Smith       v += 9;
11004078e994SBarry Smith     }
11014078e994SBarry Smith     idc = 3*(*c--);
11024078e994SBarry Smith     v   = aa + 9*a->diag[i];
11034078e994SBarry Smith     x[idc]   = tmp[idt]   = v[0]*sum1 + v[3]*sum2 + v[6]*sum3;
11044078e994SBarry Smith     x[1+idc] = tmp[1+idt] = v[1]*sum1 + v[4]*sum2 + v[7]*sum3;
11054078e994SBarry Smith     x[2+idc] = tmp[2+idt] = v[2]*sum1 + v[5]*sum2 + v[8]*sum3;
11064078e994SBarry Smith   }
11074078e994SBarry Smith   ierr = ISRestoreIndices(isrow,&r); CHKERRQ(ierr);
11084078e994SBarry Smith   ierr = ISRestoreIndices(iscol,&c); CHKERRQ(ierr);
1109c16cb8f2SBarry Smith   VecRestoreArray_Fast(bb,b);
1110c16cb8f2SBarry Smith   VecRestoreArray_Fast(xx,x);
11114078e994SBarry Smith   PLogFlops(2*9*(a->nz) - a->n);
11120daa4459SSatish Balay   return 0;
11130daa4459SSatish Balay }
11140daa4459SSatish Balay 
11154078e994SBarry Smith int MatSolve_SeqBAIJ_2(Mat A,Vec bb,Vec xx)
11160daa4459SSatish Balay {
11170daa4459SSatish Balay   Mat_SeqBAIJ     *a=(Mat_SeqBAIJ *)A->data;
11184078e994SBarry Smith   IS              iscol=a->col,isrow=a->row;
11194078e994SBarry Smith   int             *r,*c,ierr,i,n=a->mbs,*vi,*ai=a->i,*aj=a->j,nz,idx,idt,idc;
1120c16cb8f2SBarry Smith   Scalar          *aa=a->a,sum1,sum2,x1,x2;
11214078e994SBarry Smith   register Scalar *x,*b,*tmp,*v;
11220daa4459SSatish Balay 
1123c16cb8f2SBarry Smith   VecGetArray_Fast(bb,b);
1124c16cb8f2SBarry Smith   VecGetArray_Fast(xx,x);
11254078e994SBarry Smith   tmp  = a->solve_work;
11264078e994SBarry Smith 
11274078e994SBarry Smith   ierr = ISGetIndices(isrow,&r);CHKERRQ(ierr);
11284078e994SBarry Smith   ierr = ISGetIndices(iscol,&c);CHKERRQ(ierr); c = c + (n-1);
11294078e994SBarry Smith 
11304078e994SBarry Smith   /* forward solve the lower triangular */
11314078e994SBarry Smith   idx    = 2*(*r++);
11324078e994SBarry Smith   tmp[0] = b[idx]; tmp[1] = b[1+idx];
11334078e994SBarry Smith   for ( i=1; i<n; i++ ) {
11344078e994SBarry Smith     v     = aa + 4*ai[i];
11354078e994SBarry Smith     vi    = aj + ai[i];
11364078e994SBarry Smith     nz    = a->diag[i] - ai[i];
11374078e994SBarry Smith     idx   = 2*(*r++);
11384078e994SBarry Smith     sum1  = b[idx]; sum2 = b[1+idx];
11394078e994SBarry Smith     while (nz--) {
11404078e994SBarry Smith       idx   = 2*(*vi++);
11414078e994SBarry Smith       x1    = tmp[idx]; x2 = tmp[1+idx];
11424078e994SBarry Smith       sum1 -= v[0]*x1 + v[2]*x2;
11434078e994SBarry Smith       sum2 -= v[1]*x1 + v[3]*x2;
11444078e994SBarry Smith       v += 4;
11454078e994SBarry Smith     }
11464078e994SBarry Smith     idx = 2*i;
11474078e994SBarry Smith     tmp[idx] = sum1; tmp[1+idx] = sum2;
11484078e994SBarry Smith   }
11494078e994SBarry Smith   /* backward solve the upper triangular */
11504078e994SBarry Smith   for ( i=n-1; i>=0; i-- ){
11514078e994SBarry Smith     v    = aa + 4*a->diag[i] + 4;
11524078e994SBarry Smith     vi   = aj + a->diag[i] + 1;
11534078e994SBarry Smith     nz   = ai[i+1] - a->diag[i] - 1;
11544078e994SBarry Smith     idt  = 2*i;
11554078e994SBarry Smith     sum1 = tmp[idt]; sum2 = tmp[1+idt];
11564078e994SBarry Smith     while (nz--) {
11574078e994SBarry Smith       idx   = 2*(*vi++);
11584078e994SBarry Smith       x1    = tmp[idx]; x2 = tmp[1+idx];
11594078e994SBarry Smith       sum1 -= v[0]*x1 + v[2]*x2;
11604078e994SBarry Smith       sum2 -= v[1]*x1 + v[3]*x2;
11614078e994SBarry Smith       v += 4;
11624078e994SBarry Smith     }
11634078e994SBarry Smith     idc = 2*(*c--);
11644078e994SBarry Smith     v   = aa + 4*a->diag[i];
11654078e994SBarry Smith     x[idc]   = tmp[idt]   = v[0]*sum1 + v[2]*sum2;
11664078e994SBarry Smith     x[1+idc] = tmp[1+idt] = v[1]*sum1 + v[3]*sum2;
11674078e994SBarry Smith   }
11684078e994SBarry Smith   ierr = ISRestoreIndices(isrow,&r); CHKERRQ(ierr);
11694078e994SBarry Smith   ierr = ISRestoreIndices(iscol,&c); CHKERRQ(ierr);
1170c16cb8f2SBarry Smith   VecRestoreArray_Fast(bb,b);
1171c16cb8f2SBarry Smith   VecRestoreArray_Fast(xx,x);
11724078e994SBarry Smith   PLogFlops(2*4*(a->nz) - a->n);
11734078e994SBarry Smith   return 0;
11744078e994SBarry Smith }
11754078e994SBarry Smith 
11764078e994SBarry Smith 
11774078e994SBarry Smith int MatSolve_SeqBAIJ_1(Mat A,Vec bb,Vec xx)
11784078e994SBarry Smith {
11794078e994SBarry Smith   Mat_SeqBAIJ     *a=(Mat_SeqBAIJ *)A->data;
11804078e994SBarry Smith   IS              iscol=a->col,isrow=a->row;
11814078e994SBarry Smith   int             *r,*c,ierr,i,n=a->mbs,*vi,*ai=a->i,*aj=a->j,nz;
1182c16cb8f2SBarry Smith   Scalar          *aa=a->a,sum1;
11834078e994SBarry Smith   register Scalar *x,*b,*tmp,*v;
11844078e994SBarry Smith 
1185c16cb8f2SBarry Smith   VecGetArray_Fast(bb,b);
1186c16cb8f2SBarry Smith   VecGetArray_Fast(xx,x);
11874078e994SBarry Smith   tmp  = a->solve_work;
11884078e994SBarry Smith 
11894078e994SBarry Smith   ierr = ISGetIndices(isrow,&r);CHKERRQ(ierr);
11904078e994SBarry Smith   ierr = ISGetIndices(iscol,&c);CHKERRQ(ierr); c = c + (n-1);
11914078e994SBarry Smith 
11924078e994SBarry Smith   /* forward solve the lower triangular */
11934078e994SBarry Smith   tmp[0] = b[*r++];
11944078e994SBarry Smith   for ( i=1; i<n; i++ ) {
11954078e994SBarry Smith     v     = aa + ai[i];
11964078e994SBarry Smith     vi    = aj + ai[i];
11974078e994SBarry Smith     nz    = a->diag[i] - ai[i];
11984078e994SBarry Smith     sum1  = b[*r++];
11994078e994SBarry Smith     while (nz--) {
12004078e994SBarry Smith       sum1 -= (*v++)*tmp[*vi++];
12014078e994SBarry Smith     }
12024078e994SBarry Smith     tmp[i] = sum1;
12034078e994SBarry Smith   }
12044078e994SBarry Smith   /* backward solve the upper triangular */
12054078e994SBarry Smith   for ( i=n-1; i>=0; i-- ){
12064078e994SBarry Smith     v    = aa + a->diag[i] + 1;
12074078e994SBarry Smith     vi   = aj + a->diag[i] + 1;
12084078e994SBarry Smith     nz   = ai[i+1] - a->diag[i] - 1;
12094078e994SBarry Smith     sum1 = tmp[i];
12104078e994SBarry Smith     while (nz--) {
12114078e994SBarry Smith       sum1 -= (*v++)*tmp[*vi++];
12124078e994SBarry Smith     }
12134078e994SBarry Smith     x[*c--] = tmp[i] = aa[a->diag[i]]*sum1;
12144078e994SBarry Smith   }
12154078e994SBarry Smith 
12164078e994SBarry Smith   ierr = ISRestoreIndices(isrow,&r); CHKERRQ(ierr);
12174078e994SBarry Smith   ierr = ISRestoreIndices(iscol,&c); CHKERRQ(ierr);
1218c16cb8f2SBarry Smith   VecRestoreArray_Fast(bb,b);
1219c16cb8f2SBarry Smith   VecRestoreArray_Fast(xx,x);
12204078e994SBarry Smith   PLogFlops(2*1*(a->nz) - a->n);
12210daa4459SSatish Balay   return 0;
12220daa4459SSatish Balay }
12235d517e7eSBarry Smith 
12245d517e7eSBarry Smith /* ----------------------------------------------------------------*/
1225ec3a8b7bSBarry Smith /*
1226ec3a8b7bSBarry Smith      This code is virtually identical to MatILUFactorSymbolic_SeqAIJ
1227ec3a8b7bSBarry Smith    except that the data structure of Mat_SeqAIJ is slightly different.
1228ec3a8b7bSBarry Smith    Not a good example of code reuse.
1229ec3a8b7bSBarry Smith */
1230ec3a8b7bSBarry Smith int MatILUFactorSymbolic_SeqBAIJ(Mat A,IS isrow,IS iscol,double f,int levels,
1231ec3a8b7bSBarry Smith                                  Mat *fact)
12325d517e7eSBarry Smith {
1233ec3a8b7bSBarry Smith   Mat_SeqBAIJ *a = (Mat_SeqBAIJ *) A->data, *b;
12345d517e7eSBarry Smith   IS          isicol;
1235ec3a8b7bSBarry Smith   int         *r,*ic, ierr, prow, n = a->mbs, *ai = a->i, *aj = a->j;
12365d517e7eSBarry Smith   int         *ainew,*ajnew, jmax,*fill, *xi, nz, *im,*ajfill,*flev;
12375d517e7eSBarry Smith   int         *dloc, idx, row,m,fm, nzf, nzi,len,  realloc = 0;
12389df24120SSatish Balay   int         incrlev,nnz,i,bs = a->bs,bs2 = a->bs2;
123977c4ece6SBarry Smith   PetscTruth  col_identity, row_identity;
12405d517e7eSBarry Smith 
12415d517e7eSBarry Smith   /* special case that simply copies fill pattern */
1242d3cbd50cSLois Curfman McInnes   PetscValidHeaderSpecific(isrow,IS_COOKIE);
1243d3cbd50cSLois Curfman McInnes   PetscValidHeaderSpecific(iscol,IS_COOKIE);
124477c4ece6SBarry Smith   ISIdentity(isrow,&row_identity); ISIdentity(iscol,&col_identity);
124577c4ece6SBarry Smith   if (levels == 0 && row_identity && col_identity) {
1246ec3a8b7bSBarry Smith     ierr = MatConvertSameType_SeqBAIJ(A,fact,DO_NOT_COPY_VALUES); CHKERRQ(ierr);
12475d517e7eSBarry Smith     (*fact)->factor = FACTOR_LU;
1248ec3a8b7bSBarry Smith     b               = (Mat_SeqBAIJ *) (*fact)->data;
12495d517e7eSBarry Smith     if (!b->diag) {
1250ec3a8b7bSBarry Smith       ierr = MatMarkDiag_SeqBAIJ(*fact); CHKERRQ(ierr);
12515d517e7eSBarry Smith     }
12525d517e7eSBarry Smith     b->row        = isrow;
12535d517e7eSBarry Smith     b->col        = iscol;
1254de6a44a3SBarry Smith     b->solve_work = (Scalar *) PetscMalloc((b->m+1+b->bs)*sizeof(Scalar));CHKPTRQ(b->solve_work);
12555d517e7eSBarry Smith     return 0;
12565d517e7eSBarry Smith   }
12575d517e7eSBarry Smith 
12585d517e7eSBarry Smith   ierr = ISInvertPermutation(iscol,&isicol); CHKERRQ(ierr);
12595d517e7eSBarry Smith   ierr = ISGetIndices(isrow,&r); CHKERRQ(ierr);
12605d517e7eSBarry Smith   ierr = ISGetIndices(isicol,&ic); CHKERRQ(ierr);
12615d517e7eSBarry Smith 
12625d517e7eSBarry Smith   /* get new row pointers */
12635d517e7eSBarry Smith   ainew = (int *) PetscMalloc( (n+1)*sizeof(int) ); CHKPTRQ(ainew);
1264de6a44a3SBarry Smith   ainew[0] = 0;
12655d517e7eSBarry Smith   /* don't know how many column pointers are needed so estimate */
1266de6a44a3SBarry Smith   jmax = (int) (f*ai[n] + 1);
12675d517e7eSBarry Smith   ajnew = (int *) PetscMalloc( (jmax)*sizeof(int) ); CHKPTRQ(ajnew);
12685d517e7eSBarry Smith   /* ajfill is level of fill for each fill entry */
12695d517e7eSBarry Smith   ajfill = (int *) PetscMalloc( (jmax)*sizeof(int) ); CHKPTRQ(ajfill);
12705d517e7eSBarry Smith   /* fill is a linked list of nonzeros in active row */
12715d517e7eSBarry Smith   fill = (int *) PetscMalloc( (n+1)*sizeof(int)); CHKPTRQ(fill);
12725d517e7eSBarry Smith   /* im is level for each filled value */
12735d517e7eSBarry Smith   im = (int *) PetscMalloc( (n+1)*sizeof(int)); CHKPTRQ(im);
12745d517e7eSBarry Smith   /* dloc is location of diagonal in factor */
12755d517e7eSBarry Smith   dloc = (int *) PetscMalloc( (n+1)*sizeof(int)); CHKPTRQ(dloc);
12765d517e7eSBarry Smith   dloc[0]  = 0;
12775d517e7eSBarry Smith   for ( prow=0; prow<n; prow++ ) {
12785d517e7eSBarry Smith     /* first copy previous fill into linked list */
12795d517e7eSBarry Smith     nzf     = nz  = ai[r[prow]+1] - ai[r[prow]];
1280de6a44a3SBarry Smith     xi      = aj + ai[r[prow]];
12815d517e7eSBarry Smith     fill[n] = n;
12825d517e7eSBarry Smith     while (nz--) {
12835d517e7eSBarry Smith       fm  = n;
1284de6a44a3SBarry Smith       idx = ic[*xi++];
12855d517e7eSBarry Smith       do {
12865d517e7eSBarry Smith         m  = fm;
12875d517e7eSBarry Smith         fm = fill[m];
12885d517e7eSBarry Smith       } while (fm < idx);
12895d517e7eSBarry Smith       fill[m]   = idx;
12905d517e7eSBarry Smith       fill[idx] = fm;
12915d517e7eSBarry Smith       im[idx]   = 0;
12925d517e7eSBarry Smith     }
12935d517e7eSBarry Smith     nzi = 0;
12945d517e7eSBarry Smith     row = fill[n];
12955d517e7eSBarry Smith     while ( row < prow ) {
12965d517e7eSBarry Smith       incrlev = im[row] + 1;
12975d517e7eSBarry Smith       nz      = dloc[row];
1298de6a44a3SBarry Smith       xi      = ajnew  + ainew[row] + nz;
1299de6a44a3SBarry Smith       flev    = ajfill + ainew[row] + nz + 1;
13005d517e7eSBarry Smith       nnz     = ainew[row+1] - ainew[row] - nz - 1;
1301de6a44a3SBarry Smith       if (*xi++ != row) {
1302ec3a8b7bSBarry Smith         SETERRQ(1,"MatILUFactorSymbolic_SeqBAIJ:zero pivot");
13035d517e7eSBarry Smith       }
13045d517e7eSBarry Smith       fm      = row;
13055d517e7eSBarry Smith       while (nnz-- > 0) {
1306de6a44a3SBarry Smith         idx = *xi++;
13075d517e7eSBarry Smith         if (*flev + incrlev > levels) {
13085d517e7eSBarry Smith           flev++;
13095d517e7eSBarry Smith           continue;
13105d517e7eSBarry Smith         }
13115d517e7eSBarry Smith         do {
13125d517e7eSBarry Smith           m  = fm;
13135d517e7eSBarry Smith           fm = fill[m];
13145d517e7eSBarry Smith         } while (fm < idx);
13155d517e7eSBarry Smith         if (fm != idx) {
13165d517e7eSBarry Smith           im[idx]   = *flev + incrlev;
13175d517e7eSBarry Smith           fill[m]   = idx;
13185d517e7eSBarry Smith           fill[idx] = fm;
13195d517e7eSBarry Smith           fm        = idx;
13205d517e7eSBarry Smith           nzf++;
13215d517e7eSBarry Smith         }
13225d517e7eSBarry Smith         else {
13235d517e7eSBarry Smith           if (im[idx] > *flev + incrlev) im[idx] = *flev+incrlev;
13245d517e7eSBarry Smith         }
13255d517e7eSBarry Smith         flev++;
13265d517e7eSBarry Smith       }
13275d517e7eSBarry Smith       row = fill[row];
13285d517e7eSBarry Smith       nzi++;
13295d517e7eSBarry Smith     }
13305d517e7eSBarry Smith     /* copy new filled row into permanent storage */
13315d517e7eSBarry Smith     ainew[prow+1] = ainew[prow] + nzf;
1332de6a44a3SBarry Smith     if (ainew[prow+1] > jmax) {
13335d517e7eSBarry Smith       /* allocate a longer ajnew */
13345d517e7eSBarry Smith       int maxadd;
1335de6a44a3SBarry Smith       maxadd = (int) (((f*ai[n]+1)*(n-prow+5))/n);
13365d517e7eSBarry Smith       if (maxadd < nzf) maxadd = (n-prow)*(nzf+1);
13375d517e7eSBarry Smith       jmax += maxadd;
13385d517e7eSBarry Smith       xi = (int *) PetscMalloc( jmax*sizeof(int) );CHKPTRQ(xi);
1339de6a44a3SBarry Smith       PetscMemcpy(xi,ajnew,ainew[prow]*sizeof(int));
13405d517e7eSBarry Smith       PetscFree(ajnew);
13415d517e7eSBarry Smith       ajnew = xi;
13425d517e7eSBarry Smith       /* allocate a longer ajfill */
13435d517e7eSBarry Smith       xi = (int *) PetscMalloc( jmax*sizeof(int) );CHKPTRQ(xi);
1344de6a44a3SBarry Smith       PetscMemcpy(xi,ajfill,ainew[prow]*sizeof(int));
13455d517e7eSBarry Smith       PetscFree(ajfill);
13465d517e7eSBarry Smith       ajfill = xi;
13475d517e7eSBarry Smith       realloc++;
13485d517e7eSBarry Smith     }
1349de6a44a3SBarry Smith     xi          = ajnew + ainew[prow];
1350de6a44a3SBarry Smith     flev        = ajfill + ainew[prow];
13515d517e7eSBarry Smith     dloc[prow]  = nzi;
13525d517e7eSBarry Smith     fm          = fill[n];
13535d517e7eSBarry Smith     while (nzf--) {
1354de6a44a3SBarry Smith       *xi++   = fm;
13555d517e7eSBarry Smith       *flev++ = im[fm];
13565d517e7eSBarry Smith       fm      = fill[fm];
13575d517e7eSBarry Smith     }
13585d517e7eSBarry Smith   }
13595d517e7eSBarry Smith   PetscFree(ajfill);
13605d517e7eSBarry Smith   ierr = ISRestoreIndices(isrow,&r); CHKERRQ(ierr);
13615d517e7eSBarry Smith   ierr = ISRestoreIndices(isicol,&ic); CHKERRQ(ierr);
13625d517e7eSBarry Smith   ierr = ISDestroy(isicol); CHKERRQ(ierr);
13635d517e7eSBarry Smith   PetscFree(fill); PetscFree(im);
13645d517e7eSBarry Smith 
136594a424c1SBarry Smith   PLogInfo(A,
1366ec3a8b7bSBarry Smith     "Info:MatILUFactorSymbolic_SeqBAIJ:Realloc %d Fill ratio:given %g needed %g\n",
13675d517e7eSBarry Smith                              realloc,f,((double)ainew[n])/((double)ai[prow]));
13685d517e7eSBarry Smith 
13695d517e7eSBarry Smith   /* put together the new matrix */
1370ec3a8b7bSBarry Smith   ierr = MatCreateSeqBAIJ(A->comm,bs,bs*n,bs*n,0,PETSC_NULL,fact);CHKERRQ(ierr);
1371ec3a8b7bSBarry Smith   b = (Mat_SeqBAIJ *) (*fact)->data;
13725d517e7eSBarry Smith   PetscFree(b->imax);
13735d517e7eSBarry Smith   b->singlemalloc = 0;
13749df24120SSatish Balay   len = bs2*ainew[n]*sizeof(Scalar);
13755d517e7eSBarry Smith   /* the next line frees the default space generated by the Create() */
13765d517e7eSBarry Smith   PetscFree(b->a); PetscFree(b->ilen);
13775d517e7eSBarry Smith   b->a          = (Scalar *) PetscMalloc( len ); CHKPTRQ(b->a);
13785d517e7eSBarry Smith   b->j          = ajnew;
13795d517e7eSBarry Smith   b->i          = ainew;
13805d517e7eSBarry Smith   for ( i=0; i<n; i++ ) dloc[i] += ainew[i];
13815d517e7eSBarry Smith   b->diag       = dloc;
13825d517e7eSBarry Smith   b->ilen       = 0;
13835d517e7eSBarry Smith   b->imax       = 0;
13845d517e7eSBarry Smith   b->row        = isrow;
13855d517e7eSBarry Smith   b->col        = iscol;
1386de6a44a3SBarry Smith   b->solve_work = (Scalar *) PetscMalloc( (bs*n+bs)*sizeof(Scalar));
13875d517e7eSBarry Smith   CHKPTRQ(b->solve_work);
13885d517e7eSBarry Smith   /* In b structure:  Free imax, ilen, old a, old j.
13895d517e7eSBarry Smith      Allocate dloc, solve_work, new a, new j */
13909df24120SSatish Balay   PLogObjectMemory(*fact,(ainew[n]-n)*(sizeof(int))+bs2*ainew[n]*sizeof(Scalar));
1391de6a44a3SBarry Smith   b->maxnz          = b->nz = ainew[n];
13925d517e7eSBarry Smith   (*fact)->factor   = FACTOR_LU;
13935d517e7eSBarry Smith   return 0;
13945d517e7eSBarry Smith }
13955d517e7eSBarry Smith 
13965d517e7eSBarry Smith 
13975d517e7eSBarry Smith 
13985d517e7eSBarry Smith 
1399