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