173f4d377SMatthew Knepley /*$Id: sbaijfact.c,v 1.61 2001/08/06 21:15:47 bsmith Exp $*/ 249b5e25fSSatish Balay 349b5e25fSSatish Balay #include "src/mat/impls/baij/seq/baij.h" 43a7fca6bSBarry Smith #include "src/mat/impls/sbaij/seq/sbaij.h" 549b5e25fSSatish Balay #include "src/vec/vecimpl.h" 649b5e25fSSatish Balay #include "src/inline/ilu.h" 749a6740bSHong Zhang #include "include/petscis.h" 849b5e25fSSatish Balay 98dc9108eSHong Zhang #if !defined(PETSC_USE_COMPLEX) 105f9f512dSHong Zhang /* 115f9f512dSHong Zhang input: 12c037c3f7SHong Zhang F -- numeric factor 135f9f512dSHong Zhang output: 14c037c3f7SHong Zhang nneg, nzero, npos: matrix inertia 155f9f512dSHong Zhang */ 165f9f512dSHong Zhang 175f9f512dSHong Zhang #undef __FUNCT__ 185f9f512dSHong Zhang #define __FUNCT__ "MatGetInertia_SeqSBAIJ" 19c037c3f7SHong Zhang int MatGetInertia_SeqSBAIJ(Mat F,int *nneig,int *nzero,int *npos) 205f9f512dSHong Zhang { 21638f5ce0SDinesh Kaushik Mat_SeqSBAIJ *fact_ptr = (Mat_SeqSBAIJ*)F->data; 223e0d88b5SBarry Smith PetscScalar *dd = fact_ptr->a; 23c037c3f7SHong Zhang int m = F->m,i; 245f9f512dSHong Zhang 255f9f512dSHong Zhang PetscFunctionBegin; 263e0d88b5SBarry Smith if (nneig){ 275f9f512dSHong Zhang *nneig = 0; 285f9f512dSHong Zhang for (i=0; i<m; i++){ 29b36a9721SBarry Smith if (PetscRealPart(dd[i]) < 0.0) (*nneig)++; 305f9f512dSHong Zhang } 313e0d88b5SBarry Smith } 323e0d88b5SBarry Smith if (nzero){ 333e0d88b5SBarry Smith *nzero = 0; 343e0d88b5SBarry Smith for (i=0; i<m; i++){ 353e0d88b5SBarry Smith if (PetscRealPart(dd[i]) == 0.0) (*nzero)++; 363e0d88b5SBarry Smith } 373e0d88b5SBarry Smith } 383e0d88b5SBarry Smith if (npos){ 393e0d88b5SBarry Smith *npos = 0; 403e0d88b5SBarry Smith for (i=0; i<m; i++){ 413e0d88b5SBarry Smith if (PetscRealPart(dd[i]) > 0.0) (*npos)++; 423e0d88b5SBarry Smith } 433e0d88b5SBarry Smith } 445f9f512dSHong Zhang PetscFunctionReturn(0); 455f9f512dSHong Zhang } 468dc9108eSHong Zhang #endif /* !defined(PETSC_USE_COMPLEX) */ 475f9f512dSHong Zhang 485f9f512dSHong Zhang /* Using Modified Sparse Row (MSR) storage. 495f9f512dSHong Zhang See page 85, "Iterative Methods ..." by Saad. */ 505f9f512dSHong Zhang /* 515f9f512dSHong Zhang Symbolic U^T*D*U factorization for SBAIJ format. Modified from SSF of YSMP. 525f9f512dSHong Zhang */ 532d9a3abdSHong Zhang /* Use Modified Sparse Row storage for u and ju, see Saad pp.85 */ 544a2ae208SSatish Balay #undef __FUNCT__ 554a2ae208SSatish Balay #define __FUNCT__ "MatCholeskyFactorSymbolic_SeqSBAIJ" 5677f73120SHong Zhang int MatCholeskyFactorSymbolic_SeqSBAIJ(Mat A,IS perm,PetscReal f,Mat *B) 5749b5e25fSSatish Balay { 5849b5e25fSSatish Balay Mat_SeqSBAIJ *a = (Mat_SeqSBAIJ*)A->data,*b; 59cb718733SHong Zhang int *rip,ierr,i,mbs = a->mbs,*ai,*aj; 60066653e3SSatish Balay int *jutmp,bs = a->bs,bs2=a->bs2; 6187fe1012SHong Zhang int m,realloc = 0,prow; 62d60e5362SHong Zhang int *jl,*q,jmin,jmax,juidx,nzk,qm,*iu,*ju,k,j,vj,umax,maxadd; 63*064503c5SHong Zhang int *il,ili,nextprow; 64671cb588SHong Zhang PetscTruth perm_identity; 6549b5e25fSSatish Balay 6649b5e25fSSatish Balay PetscFunctionBegin; 67cb718733SHong Zhang /* check whether perm is the identity mapping */ 68671cb588SHong Zhang ierr = ISIdentity(perm,&perm_identity);CHKERRQ(ierr); 69*064503c5SHong Zhang 70*064503c5SHong Zhang /* -- inplace factorization, i.e., use sbaij for *B -- */ 71*064503c5SHong Zhang if (perm_identity && bs==1 ){ 72*064503c5SHong Zhang if (!perm_identity) a->permute = PETSC_TRUE; 73*064503c5SHong Zhang 74*064503c5SHong Zhang ierr = ISGetIndices(perm,&rip);CHKERRQ(ierr); 75*064503c5SHong Zhang 76*064503c5SHong Zhang if (perm_identity){ /* without permutation */ 77*064503c5SHong Zhang ai = a->i; aj = a->j; 78*064503c5SHong Zhang } else { /* non-trivial permutation */ 79*064503c5SHong Zhang ierr = MatReorderingSeqSBAIJ(A,perm);CHKERRQ(ierr); 80*064503c5SHong Zhang ai = a->inew; aj = a->jnew; 81*064503c5SHong Zhang } 82*064503c5SHong Zhang 83*064503c5SHong Zhang /* initialization */ 84*064503c5SHong Zhang ierr = PetscMalloc((mbs+1)*sizeof(int),&iu);CHKERRQ(ierr); 85*064503c5SHong Zhang umax = (int)(f*ai[mbs] + 1); 86*064503c5SHong Zhang ierr = PetscMalloc(umax*sizeof(int),&ju);CHKERRQ(ierr); 87*064503c5SHong Zhang iu[0] = 0; 88*064503c5SHong Zhang juidx = 0; /* index for ju */ 89*064503c5SHong Zhang ierr = PetscMalloc((3*mbs+1)*sizeof(int),&jl);CHKERRQ(ierr); /* linked list for getting pivot row */ 90*064503c5SHong Zhang q = jl + mbs; /* linked list for col index of active row */ 91*064503c5SHong Zhang il = q + mbs; 92*064503c5SHong Zhang for (i=0; i<mbs; i++){ 93*064503c5SHong Zhang jl[i] = mbs; 94*064503c5SHong Zhang q[i] = 0; 95*064503c5SHong Zhang il[i] = 0; 96*064503c5SHong Zhang } 97*064503c5SHong Zhang 98*064503c5SHong Zhang /* for each row k */ 99*064503c5SHong Zhang for (k=0; k<mbs; k++){ 100*064503c5SHong Zhang nzk = 0; /* num. of nz blocks in k-th block row with diagonal block excluded */ 101*064503c5SHong Zhang q[k] = mbs; 102*064503c5SHong Zhang /* initialize nonzero structure of k-th row to row rip[k] of A */ 103*064503c5SHong Zhang jmin = ai[rip[k]] +1; /* exclude diag[k] */ 104*064503c5SHong Zhang jmax = ai[rip[k]+1]; 105*064503c5SHong Zhang for (j=jmin; j<jmax; j++){ 106*064503c5SHong Zhang vj = rip[aj[j]]; /* col. value */ 107*064503c5SHong Zhang if(vj > k){ 108*064503c5SHong Zhang qm = k; 109*064503c5SHong Zhang do { 110*064503c5SHong Zhang m = qm; qm = q[m]; 111*064503c5SHong Zhang } while(qm < vj); 112*064503c5SHong Zhang if (qm == vj) { 113*064503c5SHong Zhang SETERRQ(1," error: duplicate entry in A\n"); 114*064503c5SHong Zhang } 115*064503c5SHong Zhang nzk++; 116*064503c5SHong Zhang q[m] = vj; 117*064503c5SHong Zhang q[vj] = qm; 118*064503c5SHong Zhang } /* if(vj > k) */ 119*064503c5SHong Zhang } /* for (j=jmin; j<jmax; j++) */ 120*064503c5SHong Zhang 121*064503c5SHong Zhang /* modify nonzero structure of k-th row by computing fill-in 122*064503c5SHong Zhang for each row i to be merged in */ 123*064503c5SHong Zhang prow = k; 124*064503c5SHong Zhang prow = jl[prow]; /* next pivot row (== mbs for symbolic factorization) */ 125*064503c5SHong Zhang 126*064503c5SHong Zhang while (prow < k){ 127*064503c5SHong Zhang nextprow = jl[prow]; 128*064503c5SHong Zhang 129*064503c5SHong Zhang /* merge row prow into k-th row */ 130*064503c5SHong Zhang ili = il[prow]; 131*064503c5SHong Zhang jmin = ili + 1; /* points to 2nd nzero entry in U(prow,k:mbs-1) */ 132*064503c5SHong Zhang jmax = iu[prow+1]; 133*064503c5SHong Zhang qm = k; 134*064503c5SHong Zhang for (j=jmin; j<jmax; j++){ 135*064503c5SHong Zhang vj = ju[j]; 136*064503c5SHong Zhang do { 137*064503c5SHong Zhang m = qm; qm = q[m]; 138*064503c5SHong Zhang } while (qm < vj); 139*064503c5SHong Zhang if (qm != vj){ /* a fill */ 140*064503c5SHong Zhang nzk++; q[m] = vj; q[vj] = qm; qm = vj; 141*064503c5SHong Zhang } 142*064503c5SHong Zhang } /* end of for (j=jmin; j<jmax; j++) */ 143*064503c5SHong Zhang if (jmin < jmax){ 144*064503c5SHong Zhang il[prow] = jmin; 145*064503c5SHong Zhang j = ju[jmin]; 146*064503c5SHong Zhang jl[prow] = jl[j]; jl[j] = prow; /* update jl */ 147*064503c5SHong Zhang } 148*064503c5SHong Zhang prow = nextprow; 149*064503c5SHong Zhang } 150*064503c5SHong Zhang 151*064503c5SHong Zhang /* update il and jl */ 152*064503c5SHong Zhang if (nzk > 0){ 153*064503c5SHong Zhang i = q[k]; /* col value of the first nonzero element in U(k, k+1:mbs-1) */ 154*064503c5SHong Zhang jl[k] = jl[i]; jl[i] = k; 155*064503c5SHong Zhang il[k] = iu[k] + 1; 156*064503c5SHong Zhang } 157*064503c5SHong Zhang iu[k+1] = iu[k] + nzk + 1; /* include diag[k] */ 158*064503c5SHong Zhang 159*064503c5SHong Zhang /* allocate more space to ju if needed */ 160*064503c5SHong Zhang if (iu[k+1] > umax) { 161*064503c5SHong Zhang /* estimate how much additional space we will need */ 162*064503c5SHong Zhang /* use the strategy suggested by David Hysom <hysom@perch-t.icase.edu> */ 163*064503c5SHong Zhang /* just double the memory each time */ 164*064503c5SHong Zhang maxadd = umax; 165*064503c5SHong Zhang if (maxadd < nzk) maxadd = (mbs-k)*(nzk+1)/2; 166*064503c5SHong Zhang umax += maxadd; 167*064503c5SHong Zhang 168*064503c5SHong Zhang /* allocate a longer ju */ 169*064503c5SHong Zhang ierr = PetscMalloc(umax*sizeof(int),&jutmp);CHKERRQ(ierr); 170*064503c5SHong Zhang ierr = PetscMemcpy(jutmp,ju,iu[k]*sizeof(int));CHKERRQ(ierr); 171*064503c5SHong Zhang ierr = PetscFree(ju);CHKERRQ(ierr); 172*064503c5SHong Zhang ju = jutmp; 173*064503c5SHong Zhang realloc++; /* count how many times we realloc */ 174*064503c5SHong Zhang } 175*064503c5SHong Zhang 176*064503c5SHong Zhang /* save nonzero structure of k-th row in ju */ 177*064503c5SHong Zhang ju[juidx++] = k; /* diag[k] */ 178*064503c5SHong Zhang i = k; 179*064503c5SHong Zhang while (nzk --) { 180*064503c5SHong Zhang i = q[i]; 181*064503c5SHong Zhang ju[juidx++] = i; 182*064503c5SHong Zhang } 183*064503c5SHong Zhang } 184*064503c5SHong Zhang 185*064503c5SHong Zhang if (ai[mbs] != 0) { 186*064503c5SHong Zhang PetscReal af = ((PetscReal)iu[mbs])/((PetscReal)ai[mbs]); 187*064503c5SHong Zhang PetscLogInfo(A,"MatCholeskyFactorSymbolic_SeqSBAIJ:Reallocs %d Fill ratio:given %g needed %g\n",realloc,f,af); 188*064503c5SHong Zhang PetscLogInfo(A,"MatCholeskyFactorSymbolic_SeqSBAIJ:Run with -pc_cholesky_fill %g or use \n",af); 189*064503c5SHong Zhang PetscLogInfo(A,"MatCholeskyFactorSymbolic_SeqSBAIJ:PCCholeskySetFill(pc,%g);\n",af); 190*064503c5SHong Zhang PetscLogInfo(A,"MatCholeskyFactorSymbolic_SeqSBAIJ:for best performance.\n"); 191*064503c5SHong Zhang } else { 192*064503c5SHong Zhang PetscLogInfo(A,"MatCholeskyFactorSymbolic_SeqSBAIJ:Empty matrix.\n"); 193*064503c5SHong Zhang } 194*064503c5SHong Zhang 195*064503c5SHong Zhang ierr = ISRestoreIndices(perm,&rip);CHKERRQ(ierr); 196*064503c5SHong Zhang /* ierr = PetscFree(q);CHKERRQ(ierr); */ 197*064503c5SHong Zhang ierr = PetscFree(jl);CHKERRQ(ierr); 198*064503c5SHong Zhang 199*064503c5SHong Zhang /* put together the new matrix */ 200*064503c5SHong Zhang ierr = MatCreateSeqSBAIJ(A->comm,bs,bs*mbs,bs*mbs,0,PETSC_NULL,B);CHKERRQ(ierr); 201*064503c5SHong Zhang /* PetscLogObjectParent(*B,iperm); */ 202*064503c5SHong Zhang b = (Mat_SeqSBAIJ*)(*B)->data; 203*064503c5SHong Zhang ierr = PetscFree(b->imax);CHKERRQ(ierr); 204*064503c5SHong Zhang b->singlemalloc = PETSC_FALSE; 205*064503c5SHong Zhang /* the next line frees the default space generated by the Create() */ 206*064503c5SHong Zhang ierr = PetscFree(b->a);CHKERRQ(ierr); 207*064503c5SHong Zhang ierr = PetscFree(b->ilen);CHKERRQ(ierr); 208*064503c5SHong Zhang ierr = PetscMalloc((iu[mbs]+1)*sizeof(MatScalar)*bs2,&b->a);CHKERRQ(ierr); 209*064503c5SHong Zhang b->j = ju; 210*064503c5SHong Zhang b->i = iu; 211*064503c5SHong Zhang b->diag = 0; 212*064503c5SHong Zhang b->ilen = 0; 213*064503c5SHong Zhang b->imax = 0; 214*064503c5SHong Zhang b->row = perm; 215*064503c5SHong Zhang b->pivotinblocks = PETSC_FALSE; /* need to get from MatCholeskyInfo */ 216*064503c5SHong Zhang ierr = PetscObjectReference((PetscObject)perm);CHKERRQ(ierr); 217*064503c5SHong Zhang b->icol = perm; 218*064503c5SHong Zhang ierr = PetscObjectReference((PetscObject)perm);CHKERRQ(ierr); 219*064503c5SHong Zhang ierr = PetscMalloc((bs*mbs+bs)*sizeof(PetscScalar),&b->solve_work);CHKERRQ(ierr); 220*064503c5SHong Zhang /* In b structure: Free imax, ilen, old a, old j. 221*064503c5SHong Zhang Allocate idnew, solve_work, new a, new j */ 222*064503c5SHong Zhang PetscLogObjectMemory(*B,(iu[mbs]-mbs)*(sizeof(int)+sizeof(MatScalar))); 223*064503c5SHong Zhang b->s_maxnz = b->s_nz = iu[mbs]; 224*064503c5SHong Zhang 225*064503c5SHong Zhang (*B)->factor = FACTOR_CHOLESKY; 226*064503c5SHong Zhang (*B)->info.factor_mallocs = realloc; 227*064503c5SHong Zhang (*B)->info.fill_ratio_given = f; 228*064503c5SHong Zhang if (ai[mbs] != 0) { 229*064503c5SHong Zhang (*B)->info.fill_ratio_needed = ((PetscReal)iu[mbs])/((PetscReal)ai[mbs]); 230*064503c5SHong Zhang } else { 231*064503c5SHong Zhang (*B)->info.fill_ratio_needed = 0.0; 232*064503c5SHong Zhang } 233*064503c5SHong Zhang 234*064503c5SHong Zhang 235*064503c5SHong Zhang (*B)->ops->choleskyfactornumeric = MatCholeskyFactorNumeric_SeqSBAIJ_1_NaturalOrdering_inplace; 236*064503c5SHong Zhang (*B)->ops->solve = MatSolve_SeqSBAIJ_1_NaturalOrdering_inplace; 237*064503c5SHong Zhang PetscLogInfo(A,"MatICCFactorSymbolic_SeqSBAIJ:Using special in-place natural ordering factor and solve BS=1\n"); 238*064503c5SHong Zhang 239*064503c5SHong Zhang PetscFunctionReturn(0); 240*064503c5SHong Zhang } 241*064503c5SHong Zhang /* ----------- end of new code --------------------*/ 242*064503c5SHong Zhang 243*064503c5SHong Zhang 244671cb588SHong Zhang if (!perm_identity) a->permute = PETSC_TRUE; 2452d007305SHong Zhang 246671cb588SHong Zhang ierr = ISGetIndices(perm,&rip);CHKERRQ(ierr); 247671cb588SHong Zhang 248671cb588SHong Zhang if (perm_identity){ /* without permutation */ 2492d007305SHong Zhang ai = a->i; aj = a->j; 2502d007305SHong Zhang } else { /* non-trivial permutation */ 251323b833fSBarry Smith ierr = MatReorderingSeqSBAIJ(A,perm);CHKERRQ(ierr); 2522d007305SHong Zhang ai = a->inew; aj = a->jnew; 2532d007305SHong Zhang } 2542d007305SHong Zhang 25549b5e25fSSatish Balay /* initialization */ 256b0a32e0cSBarry Smith ierr = PetscMalloc((mbs+1)*sizeof(int),&iu);CHKERRQ(ierr); 25749b5e25fSSatish Balay umax = (int)(f*ai[mbs] + 1); umax += mbs + 1; 25882502324SSatish Balay ierr = PetscMalloc(umax*sizeof(int),&ju);CHKERRQ(ierr); 25949b5e25fSSatish Balay iu[0] = mbs+1; 26087fe1012SHong Zhang juidx = mbs + 1; /* index for ju */ 26187fe1012SHong Zhang ierr = PetscMalloc(2*mbs*sizeof(int),&jl);CHKERRQ(ierr); /* linked list for pivot row */ 26287fe1012SHong Zhang q = jl + mbs; /* linked list for col index */ 26349b5e25fSSatish Balay for (i=0; i<mbs; i++){ 26487fe1012SHong Zhang jl[i] = mbs; 26587fe1012SHong Zhang q[i] = 0; 26649b5e25fSSatish Balay } 26749b5e25fSSatish Balay 26849b5e25fSSatish Balay /* for each row k */ 26949b5e25fSSatish Balay for (k=0; k<mbs; k++){ 270*064503c5SHong Zhang for (i=0; i<mbs; i++) q[i] = 0; /* to be removed! */ 27149b5e25fSSatish Balay nzk = 0; /* num. of nz blocks in k-th block row with diagonal block excluded */ 27249b5e25fSSatish Balay q[k] = mbs; 27349b5e25fSSatish Balay /* initialize nonzero structure of k-th row to row rip[k] of A */ 274*064503c5SHong Zhang jmin = ai[rip[k]] +1; /* exclude diag[k] */ 27549b5e25fSSatish Balay jmax = ai[rip[k]+1]; 27649b5e25fSSatish Balay for (j=jmin; j<jmax; j++){ 277cb718733SHong Zhang vj = rip[aj[j]]; /* col. value */ 27849b5e25fSSatish Balay if(vj > k){ 27949b5e25fSSatish Balay qm = k; 28049b5e25fSSatish Balay do { 28149b5e25fSSatish Balay m = qm; qm = q[m]; 28249b5e25fSSatish Balay } while(qm < vj); 28349b5e25fSSatish Balay if (qm == vj) { 2843078e140SBarry Smith SETERRQ(1," error: duplicate entry in A\n"); 28549b5e25fSSatish Balay } 28649b5e25fSSatish Balay nzk++; 28749b5e25fSSatish Balay q[m] = vj; 28849b5e25fSSatish Balay q[vj] = qm; 28949b5e25fSSatish Balay } /* if(vj > k) */ 29049b5e25fSSatish Balay } /* for (j=jmin; j<jmax; j++) */ 29149b5e25fSSatish Balay 29249b5e25fSSatish Balay /* modify nonzero structure of k-th row by computing fill-in 29349b5e25fSSatish Balay for each row i to be merged in */ 29487fe1012SHong Zhang prow = k; 29587fe1012SHong Zhang prow = jl[prow]; /* next pivot row (== mbs for symbolic factorization) */ 29687fe1012SHong Zhang 29787fe1012SHong Zhang while (prow < k){ 29887fe1012SHong Zhang /* merge row prow into k-th row */ 29987fe1012SHong Zhang jmin = iu[prow] + 1; jmax = iu[prow+1]; 30049b5e25fSSatish Balay qm = k; 30187fe1012SHong Zhang for (j=jmin; j<jmax; j++){ 30249b5e25fSSatish Balay vj = ju[j]; 30349b5e25fSSatish Balay do { 30449b5e25fSSatish Balay m = qm; qm = q[m]; 30549b5e25fSSatish Balay } while (qm < vj); 30649b5e25fSSatish Balay if (qm != vj){ 30749b5e25fSSatish Balay nzk++; q[m] = vj; q[vj] = qm; qm = vj; 30849b5e25fSSatish Balay } 30949b5e25fSSatish Balay } 31087fe1012SHong Zhang prow = jl[prow]; /* next pivot row */ 31149b5e25fSSatish Balay } 31249b5e25fSSatish Balay 31349b5e25fSSatish Balay /* add k to row list for first nonzero element in k-th row */ 31449b5e25fSSatish Balay if (nzk > 0){ 31549b5e25fSSatish Balay i = q[k]; /* col value of first nonzero element in U(k, k+1:mbs-1) */ 31649b5e25fSSatish Balay jl[k] = jl[i]; jl[i] = k; 31749b5e25fSSatish Balay } 31887fe1012SHong Zhang iu[k+1] = iu[k] + nzk; 31949b5e25fSSatish Balay 32049b5e25fSSatish Balay /* allocate more space to ju if needed */ 3213078e140SBarry Smith if (iu[k+1] > umax) { 32249b5e25fSSatish Balay /* estimate how much additional space we will need */ 32349b5e25fSSatish Balay /* use the strategy suggested by David Hysom <hysom@perch-t.icase.edu> */ 32449b5e25fSSatish Balay /* just double the memory each time */ 32549b5e25fSSatish Balay maxadd = umax; 32649b5e25fSSatish Balay if (maxadd < nzk) maxadd = (mbs-k)*(nzk+1)/2; 32749b5e25fSSatish Balay umax += maxadd; 32849b5e25fSSatish Balay 3299f9cb213SHong Zhang /* allocate a longer ju */ 33082502324SSatish Balay ierr = PetscMalloc(umax*sizeof(int),&jutmp);CHKERRQ(ierr); 33149b5e25fSSatish Balay ierr = PetscMemcpy(jutmp,ju,iu[k]*sizeof(int));CHKERRQ(ierr); 33249b5e25fSSatish Balay ierr = PetscFree(ju);CHKERRQ(ierr); 3339f9cb213SHong Zhang ju = jutmp; 33449b5e25fSSatish Balay realloc++; /* count how many times we realloc */ 33549b5e25fSSatish Balay } 33649b5e25fSSatish Balay 33749b5e25fSSatish Balay /* save nonzero structure of k-th row in ju */ 33849b5e25fSSatish Balay i=k; 33987fe1012SHong Zhang while (nzk --) { 34049b5e25fSSatish Balay i = q[i]; 34187fe1012SHong Zhang ju[juidx++] = i; 34249b5e25fSSatish Balay } 34377f73120SHong Zhang } 34449b5e25fSSatish Balay 34549b5e25fSSatish Balay if (ai[mbs] != 0) { 34649b5e25fSSatish Balay PetscReal af = ((PetscReal)iu[mbs])/((PetscReal)ai[mbs]); 347b0a32e0cSBarry Smith PetscLogInfo(A,"MatCholeskyFactorSymbolic_SeqSBAIJ:Reallocs %d Fill ratio:given %g needed %g\n",realloc,f,af); 3483078e140SBarry Smith PetscLogInfo(A,"MatCholeskyFactorSymbolic_SeqSBAIJ:Run with -pc_cholesky_fill %g or use \n",af); 3493078e140SBarry Smith PetscLogInfo(A,"MatCholeskyFactorSymbolic_SeqSBAIJ:PCCholeskySetFill(pc,%g);\n",af); 350b0a32e0cSBarry Smith PetscLogInfo(A,"MatCholeskyFactorSymbolic_SeqSBAIJ:for best performance.\n"); 35149b5e25fSSatish Balay } else { 352b0a32e0cSBarry Smith PetscLogInfo(A,"MatCholeskyFactorSymbolic_SeqSBAIJ:Empty matrix.\n"); 35349b5e25fSSatish Balay } 35449b5e25fSSatish Balay 35577f73120SHong Zhang ierr = ISRestoreIndices(perm,&rip);CHKERRQ(ierr); 35687fe1012SHong Zhang /* ierr = PetscFree(q);CHKERRQ(ierr); */ 35749b5e25fSSatish Balay ierr = PetscFree(jl);CHKERRQ(ierr); 35849b5e25fSSatish Balay 35949b5e25fSSatish Balay /* put together the new matrix */ 36049b5e25fSSatish Balay ierr = MatCreateSeqSBAIJ(A->comm,bs,bs*mbs,bs*mbs,0,PETSC_NULL,B);CHKERRQ(ierr); 361b0a32e0cSBarry Smith /* PetscLogObjectParent(*B,iperm); */ 36249b5e25fSSatish Balay b = (Mat_SeqSBAIJ*)(*B)->data; 36349b5e25fSSatish Balay ierr = PetscFree(b->imax);CHKERRQ(ierr); 36449b5e25fSSatish Balay b->singlemalloc = PETSC_FALSE; 36549b5e25fSSatish Balay /* the next line frees the default space generated by the Create() */ 36649b5e25fSSatish Balay ierr = PetscFree(b->a);CHKERRQ(ierr); 36749b5e25fSSatish Balay ierr = PetscFree(b->ilen);CHKERRQ(ierr); 36882502324SSatish Balay ierr = PetscMalloc((iu[mbs]+1)*sizeof(MatScalar)*bs2,&b->a);CHKERRQ(ierr); 36949b5e25fSSatish Balay b->j = ju; 37049b5e25fSSatish Balay b->i = iu; 37149b5e25fSSatish Balay b->diag = 0; 37249b5e25fSSatish Balay b->ilen = 0; 37349b5e25fSSatish Balay b->imax = 0; 37477f73120SHong Zhang b->row = perm; 375bcd9e38bSBarry Smith b->pivotinblocks = PETSC_FALSE; /* need to get from MatCholeskyInfo */ 37677f73120SHong Zhang ierr = PetscObjectReference((PetscObject)perm);CHKERRQ(ierr); 377cb718733SHong Zhang b->icol = perm; 378cb718733SHong Zhang ierr = PetscObjectReference((PetscObject)perm);CHKERRQ(ierr); 37987828ca2SBarry Smith ierr = PetscMalloc((bs*mbs+bs)*sizeof(PetscScalar),&b->solve_work);CHKERRQ(ierr); 38049b5e25fSSatish Balay /* In b structure: Free imax, ilen, old a, old j. 38149b5e25fSSatish Balay Allocate idnew, solve_work, new a, new j */ 382b0a32e0cSBarry Smith PetscLogObjectMemory(*B,(iu[mbs]-mbs)*(sizeof(int)+sizeof(MatScalar))); 38349b5e25fSSatish Balay b->s_maxnz = b->s_nz = iu[mbs]; 38449b5e25fSSatish Balay 3855c0bcdfcSHong Zhang (*B)->factor = FACTOR_CHOLESKY; 38649b5e25fSSatish Balay (*B)->info.factor_mallocs = realloc; 38749b5e25fSSatish Balay (*B)->info.fill_ratio_given = f; 38849b5e25fSSatish Balay if (ai[mbs] != 0) { 38949b5e25fSSatish Balay (*B)->info.fill_ratio_needed = ((PetscReal)iu[mbs])/((PetscReal)ai[mbs]); 39049b5e25fSSatish Balay } else { 39149b5e25fSSatish Balay (*B)->info.fill_ratio_needed = 0.0; 39249b5e25fSSatish Balay } 3930aa0ce06SHong Zhang 394671cb588SHong Zhang if (perm_identity){ 395671cb588SHong Zhang switch (bs) { 396671cb588SHong Zhang case 1: 397671cb588SHong Zhang (*B)->ops->choleskyfactornumeric = MatCholeskyFactorNumeric_SeqSBAIJ_1_NaturalOrdering; 398671cb588SHong Zhang (*B)->ops->solve = MatSolve_SeqSBAIJ_1_NaturalOrdering; 3994d101231SSatish Balay PetscLogInfo(A,"MatICCFactorSymbolic_SeqSBAIJ:Using special in-place natural ordering factor and solve BS=1\n"); 400671cb588SHong Zhang break; 401671cb588SHong Zhang case 2: 402671cb588SHong Zhang (*B)->ops->choleskyfactornumeric = MatCholeskyFactorNumeric_SeqSBAIJ_2_NaturalOrdering; 403671cb588SHong Zhang (*B)->ops->solve = MatSolve_SeqSBAIJ_2_NaturalOrdering; 4044d101231SSatish Balay PetscLogInfo(A,"MatICCFactorSymbolic_SeqSBAIJ:Using special in-place natural ordering factor and solve BS=2\n"); 405671cb588SHong Zhang break; 406671cb588SHong Zhang case 3: 407671cb588SHong Zhang (*B)->ops->choleskyfactornumeric = MatCholeskyFactorNumeric_SeqSBAIJ_3_NaturalOrdering; 408671cb588SHong Zhang (*B)->ops->solve = MatSolve_SeqSBAIJ_3_NaturalOrdering; 4094d101231SSatish Balay PetscLogInfo(A,"MatICCFactorSymbolic_SeqSBAIJ:sing special in-place natural ordering factor and solve BS=3\n"); 410671cb588SHong Zhang break; 411671cb588SHong Zhang case 4: 412671cb588SHong Zhang (*B)->ops->choleskyfactornumeric = MatCholeskyFactorNumeric_SeqSBAIJ_4_NaturalOrdering; 413671cb588SHong Zhang (*B)->ops->solve = MatSolve_SeqSBAIJ_4_NaturalOrdering; 4144d101231SSatish Balay PetscLogInfo(A,"MatICCFactorSymbolic_SeqSBAIJ:Using special in-place natural ordering factor and solve BS=4\n"); 415671cb588SHong Zhang break; 416671cb588SHong Zhang case 5: 417671cb588SHong Zhang (*B)->ops->choleskyfactornumeric = MatCholeskyFactorNumeric_SeqSBAIJ_5_NaturalOrdering; 418671cb588SHong Zhang (*B)->ops->solve = MatSolve_SeqSBAIJ_5_NaturalOrdering; 4194d101231SSatish Balay PetscLogInfo(A,"MatICCFactorSymbolic_SeqSBAIJ:Using special in-place natural ordering factor and solve BS=5\n"); 420671cb588SHong Zhang break; 421671cb588SHong Zhang case 6: 422671cb588SHong Zhang (*B)->ops->choleskyfactornumeric = MatCholeskyFactorNumeric_SeqSBAIJ_6_NaturalOrdering; 423671cb588SHong Zhang (*B)->ops->solve = MatSolve_SeqSBAIJ_6_NaturalOrdering; 4244d101231SSatish Balay PetscLogInfo(A,"MatICCFactorSymbolic_SeqSBAIJ:Using special in-place natural ordering factor and solve BS=6\n"); 425671cb588SHong Zhang break; 426671cb588SHong Zhang case 7: 427671cb588SHong Zhang (*B)->ops->choleskyfactornumeric = MatCholeskyFactorNumeric_SeqSBAIJ_7_NaturalOrdering; 428671cb588SHong Zhang (*B)->ops->solve = MatSolve_SeqSBAIJ_7_NaturalOrdering; 4294d101231SSatish Balay PetscLogInfo(A,"MatICCFactorSymbolic_SeqSBAIJ:Using special in-place natural ordering factor and solve BS=7\n"); 430671cb588SHong Zhang break; 431671cb588SHong Zhang default: 432671cb588SHong Zhang (*B)->ops->choleskyfactornumeric = MatCholeskyFactorNumeric_SeqSBAIJ_N_NaturalOrdering; 433671cb588SHong Zhang (*B)->ops->solve = MatSolve_SeqSBAIJ_N_NaturalOrdering; 4344d101231SSatish Balay PetscLogInfo(A,"MatICCFactorSymbolic_SeqSBAIJ:Using special in-place natural ordering factor and solve BS>7\n"); 435671cb588SHong Zhang break; 436671cb588SHong Zhang } 437671cb588SHong Zhang } 438671cb588SHong Zhang 43949b5e25fSSatish Balay PetscFunctionReturn(0); 44049b5e25fSSatish Balay } 44149b5e25fSSatish Balay 44235d8aa7fSBarry Smith 4434a2ae208SSatish Balay #undef __FUNCT__ 4444a2ae208SSatish Balay #define __FUNCT__ "MatCholeskyFactorNumeric_SeqSBAIJ_N" 4456f9a564bSHong Zhang int MatCholeskyFactorNumeric_SeqSBAIJ_N(Mat A,Mat *B) 44649b5e25fSSatish Balay { 44749b5e25fSSatish Balay Mat C = *B; 4484c16a6a6SHong Zhang Mat_SeqSBAIJ *a = (Mat_SeqSBAIJ*)A->data,*b = (Mat_SeqSBAIJ *)C->data; 4494c16a6a6SHong Zhang IS perm = b->row; 4504c16a6a6SHong Zhang int *perm_ptr,ierr,i,j,mbs=a->mbs,*bi=b->i,*bj=b->j; 4514c16a6a6SHong Zhang int *ai,*aj,*a2anew,k,k1,jmin,jmax,*jl,*il,vj,nexti,ili; 4524c16a6a6SHong Zhang int bs=a->bs,bs2 = a->bs2; 4534c16a6a6SHong Zhang MatScalar *ba = b->a,*aa,*ap,*dk,*uik; 4544c16a6a6SHong Zhang MatScalar *u,*diag,*rtmp,*rtmp_ptr; 45528de702eSHong Zhang MatScalar *work; 4564c16a6a6SHong Zhang int *pivots; 4574c16a6a6SHong Zhang 4584c16a6a6SHong Zhang PetscFunctionBegin; 4599706f043SHong Zhang 4604c16a6a6SHong Zhang /* initialization */ 46182502324SSatish Balay ierr = PetscMalloc(bs2*mbs*sizeof(MatScalar),&rtmp);CHKERRQ(ierr); 4624c16a6a6SHong Zhang ierr = PetscMemzero(rtmp,bs2*mbs*sizeof(MatScalar));CHKERRQ(ierr); 46382502324SSatish Balay ierr = PetscMalloc(2*mbs*sizeof(int),&il);CHKERRQ(ierr); 46428de702eSHong Zhang jl = il + mbs; 4654c16a6a6SHong Zhang for (i=0; i<mbs; i++) { 4664c16a6a6SHong Zhang jl[i] = mbs; il[0] = 0; 4674c16a6a6SHong Zhang } 468b0a32e0cSBarry Smith ierr = PetscMalloc((2*bs2+bs)*sizeof(MatScalar),&dk);CHKERRQ(ierr); 46928de702eSHong Zhang uik = dk + bs2; 47028de702eSHong Zhang work = uik + bs2; 47182502324SSatish Balay ierr = PetscMalloc(bs*sizeof(int),&pivots);CHKERRQ(ierr); 4724c16a6a6SHong Zhang 4734c16a6a6SHong Zhang ierr = ISGetIndices(perm,&perm_ptr);CHKERRQ(ierr); 4744c16a6a6SHong Zhang 4754c16a6a6SHong Zhang /* check permutation */ 4764c16a6a6SHong Zhang if (!a->permute){ 4774c16a6a6SHong Zhang ai = a->i; aj = a->j; aa = a->a; 4784c16a6a6SHong Zhang } else { 4794c16a6a6SHong Zhang ai = a->inew; aj = a->jnew; 48082502324SSatish Balay ierr = PetscMalloc(bs2*ai[mbs]*sizeof(MatScalar),&aa);CHKERRQ(ierr); 4814c16a6a6SHong Zhang ierr = PetscMemcpy(aa,a->a,bs2*ai[mbs]*sizeof(MatScalar));CHKERRQ(ierr); 48282502324SSatish Balay ierr = PetscMalloc(ai[mbs]*sizeof(int),&a2anew);CHKERRQ(ierr); 4834c16a6a6SHong Zhang ierr = PetscMemcpy(a2anew,a->a2anew,(ai[mbs])*sizeof(int));CHKERRQ(ierr); 4844c16a6a6SHong Zhang 4854c16a6a6SHong Zhang for (i=0; i<mbs; i++){ 4864c16a6a6SHong Zhang jmin = ai[i]; jmax = ai[i+1]; 4874c16a6a6SHong Zhang for (j=jmin; j<jmax; j++){ 4884c16a6a6SHong Zhang while (a2anew[j] != j){ 4894c16a6a6SHong Zhang k = a2anew[j]; a2anew[j] = a2anew[k]; a2anew[k] = k; 4904c16a6a6SHong Zhang for (k1=0; k1<bs2; k1++){ 4914c16a6a6SHong Zhang dk[k1] = aa[k*bs2+k1]; 4924c16a6a6SHong Zhang aa[k*bs2+k1] = aa[j*bs2+k1]; 4934c16a6a6SHong Zhang aa[j*bs2+k1] = dk[k1]; 4944c16a6a6SHong Zhang } 4954c16a6a6SHong Zhang } 4964c16a6a6SHong Zhang /* transform columnoriented blocks that lie in the lower triangle to roworiented blocks */ 4974c16a6a6SHong Zhang if (i > aj[j]){ 4984c16a6a6SHong Zhang /* printf("change orientation, row: %d, col: %d\n",i,aj[j]); */ 4994c16a6a6SHong Zhang ap = aa + j*bs2; /* ptr to the beginning of j-th block of aa */ 5004c16a6a6SHong Zhang for (k=0; k<bs2; k++) dk[k] = ap[k]; /* dk <- j-th block of aa */ 5014c16a6a6SHong Zhang for (k=0; k<bs; k++){ /* j-th block of aa <- dk^T */ 5024c16a6a6SHong Zhang for (k1=0; k1<bs; k1++) *ap++ = dk[k + bs*k1]; 5034c16a6a6SHong Zhang } 5044c16a6a6SHong Zhang } 5054c16a6a6SHong Zhang } 5064c16a6a6SHong Zhang } 507323b833fSBarry Smith ierr = PetscFree(a2anew);CHKERRQ(ierr); 5084c16a6a6SHong Zhang } 5094c16a6a6SHong Zhang 5104c16a6a6SHong Zhang /* for each row k */ 5114c16a6a6SHong Zhang for (k = 0; k<mbs; k++){ 5124c16a6a6SHong Zhang 5134c16a6a6SHong Zhang /*initialize k-th row with elements nonzero in row perm(k) of A */ 5144c16a6a6SHong Zhang jmin = ai[perm_ptr[k]]; jmax = ai[perm_ptr[k]+1]; 515057f5ba7SHong Zhang 5164c16a6a6SHong Zhang ap = aa + jmin*bs2; 5174c16a6a6SHong Zhang for (j = jmin; j < jmax; j++){ 5184c16a6a6SHong Zhang vj = perm_ptr[aj[j]]; /* block col. index */ 5194c16a6a6SHong Zhang rtmp_ptr = rtmp + vj*bs2; 5204c16a6a6SHong Zhang for (i=0; i<bs2; i++) *rtmp_ptr++ = *ap++; 5214c16a6a6SHong Zhang } 5224c16a6a6SHong Zhang 5234c16a6a6SHong Zhang /* modify k-th row by adding in those rows i with U(i,k) != 0 */ 5244c16a6a6SHong Zhang ierr = PetscMemcpy(dk,rtmp+k*bs2,bs2*sizeof(MatScalar));CHKERRQ(ierr); 5254c16a6a6SHong Zhang i = jl[k]; /* first row to be added to k_th row */ 5264c16a6a6SHong Zhang 527057f5ba7SHong Zhang while (i < k){ 5284c16a6a6SHong Zhang nexti = jl[i]; /* next row to be added to k_th row */ 5294c16a6a6SHong Zhang 5304c16a6a6SHong Zhang /* compute multiplier */ 5314c16a6a6SHong Zhang ili = il[i]; /* index of first nonzero element in U(i,k:bms-1) */ 5324c16a6a6SHong Zhang 5334c16a6a6SHong Zhang /* uik = -inv(Di)*U_bar(i,k) */ 5344c16a6a6SHong Zhang diag = ba + i*bs2; 5354c16a6a6SHong Zhang u = ba + ili*bs2; 5364c16a6a6SHong Zhang ierr = PetscMemzero(uik,bs2*sizeof(MatScalar));CHKERRQ(ierr); 5374c16a6a6SHong Zhang Kernel_A_gets_A_minus_B_times_C(bs,uik,diag,u); 5384c16a6a6SHong Zhang 5394c16a6a6SHong Zhang /* update D(k) += -U(i,k)^T * U_bar(i,k) */ 5404c16a6a6SHong Zhang Kernel_A_gets_A_plus_Btranspose_times_C(bs,dk,uik,u); 5414c16a6a6SHong Zhang 5424c16a6a6SHong Zhang /* update -U(i,k) */ 5434c16a6a6SHong Zhang ierr = PetscMemcpy(ba+ili*bs2,uik,bs2*sizeof(MatScalar));CHKERRQ(ierr); 5444c16a6a6SHong Zhang 5454c16a6a6SHong Zhang /* add multiple of row i to k-th row ... */ 5464c16a6a6SHong Zhang jmin = ili + 1; jmax = bi[i+1]; 5474c16a6a6SHong Zhang if (jmin < jmax){ 5484c16a6a6SHong Zhang for (j=jmin; j<jmax; j++) { 5494c16a6a6SHong Zhang /* rtmp += -U(i,k)^T * U_bar(i,j) */ 5504c16a6a6SHong Zhang rtmp_ptr = rtmp + bj[j]*bs2; 5514c16a6a6SHong Zhang u = ba + j*bs2; 5524c16a6a6SHong Zhang Kernel_A_gets_A_plus_Btranspose_times_C(bs,rtmp_ptr,uik,u); 5534c16a6a6SHong Zhang } 5544c16a6a6SHong Zhang 5554c16a6a6SHong Zhang /* ... add i to row list for next nonzero entry */ 5564c16a6a6SHong Zhang il[i] = jmin; /* update il(i) in column k+1, ... mbs-1 */ 5574c16a6a6SHong Zhang j = bj[jmin]; 5584c16a6a6SHong Zhang jl[i] = jl[j]; jl[j] = i; /* update jl */ 5594c16a6a6SHong Zhang } 5604c16a6a6SHong Zhang i = nexti; 5614c16a6a6SHong Zhang } 5624c16a6a6SHong Zhang 5634c16a6a6SHong Zhang /* save nonzero entries in k-th row of U ... */ 5644c16a6a6SHong Zhang 5654c16a6a6SHong Zhang /* invert diagonal block */ 5664c16a6a6SHong Zhang diag = ba+k*bs2; 5674c16a6a6SHong Zhang ierr = PetscMemcpy(diag,dk,bs2*sizeof(MatScalar));CHKERRQ(ierr); 5684c16a6a6SHong Zhang Kernel_A_gets_inverse_A(bs,diag,pivots,work); 5694c16a6a6SHong Zhang 5704c16a6a6SHong Zhang jmin = bi[k]; jmax = bi[k+1]; 5714c16a6a6SHong Zhang if (jmin < jmax) { 5724c16a6a6SHong Zhang for (j=jmin; j<jmax; j++){ 5734c16a6a6SHong Zhang vj = bj[j]; /* block col. index of U */ 5744c16a6a6SHong Zhang u = ba + j*bs2; 5754c16a6a6SHong Zhang rtmp_ptr = rtmp + vj*bs2; 5764c16a6a6SHong Zhang for (k1=0; k1<bs2; k1++){ 5774c16a6a6SHong Zhang *u++ = *rtmp_ptr; 5784c16a6a6SHong Zhang *rtmp_ptr++ = 0.0; 5794c16a6a6SHong Zhang } 5804c16a6a6SHong Zhang } 5814c16a6a6SHong Zhang 5824c16a6a6SHong Zhang /* ... add k to row list for first nonzero entry in k-th row */ 5834c16a6a6SHong Zhang il[k] = jmin; 5844c16a6a6SHong Zhang i = bj[jmin]; 5854c16a6a6SHong Zhang jl[k] = jl[i]; jl[i] = k; 5864c16a6a6SHong Zhang } 5874c16a6a6SHong Zhang } 5884c16a6a6SHong Zhang 5894c16a6a6SHong Zhang ierr = PetscFree(rtmp);CHKERRQ(ierr); 5904c16a6a6SHong Zhang ierr = PetscFree(il);CHKERRQ(ierr); 5914c16a6a6SHong Zhang ierr = PetscFree(dk);CHKERRQ(ierr); 5924c16a6a6SHong Zhang ierr = PetscFree(pivots);CHKERRQ(ierr); 5934c16a6a6SHong Zhang if (a->permute){ 5944c16a6a6SHong Zhang ierr = PetscFree(aa);CHKERRQ(ierr); 5954c16a6a6SHong Zhang } 5964c16a6a6SHong Zhang 5974c16a6a6SHong Zhang ierr = ISRestoreIndices(perm,&perm_ptr);CHKERRQ(ierr); 5984c16a6a6SHong Zhang C->factor = FACTOR_CHOLESKY; 5994c16a6a6SHong Zhang C->assembled = PETSC_TRUE; 6004c16a6a6SHong Zhang C->preallocated = PETSC_TRUE; 601b0a32e0cSBarry Smith PetscLogFlops(1.3333*bs*bs2*b->mbs); /* from inverting diagonal blocks */ 6024c16a6a6SHong Zhang PetscFunctionReturn(0); 6034c16a6a6SHong Zhang } 604d4edadd4SHong Zhang 6054a2ae208SSatish Balay #undef __FUNCT__ 6064a2ae208SSatish Balay #define __FUNCT__ "MatCholeskyFactorNumeric_SeqSBAIJ_N_NaturalOrdering" 607671cb588SHong Zhang int MatCholeskyFactorNumeric_SeqSBAIJ_N_NaturalOrdering(Mat A,Mat *B) 608671cb588SHong Zhang { 609671cb588SHong Zhang Mat C = *B; 610671cb588SHong Zhang Mat_SeqSBAIJ *a = (Mat_SeqSBAIJ*)A->data,*b = (Mat_SeqSBAIJ *)C->data; 611671cb588SHong Zhang int ierr,i,j,mbs=a->mbs,*bi=b->i,*bj=b->j; 6121ad1de41SHong Zhang int *ai,*aj,k,k1,jmin,jmax,*jl,*il,vj,nexti,ili; 613671cb588SHong Zhang int bs=a->bs,bs2 = a->bs2; 614671cb588SHong Zhang MatScalar *ba = b->a,*aa,*ap,*dk,*uik; 615671cb588SHong Zhang MatScalar *u,*diag,*rtmp,*rtmp_ptr; 61628de702eSHong Zhang MatScalar *work; 617671cb588SHong Zhang int *pivots; 618671cb588SHong Zhang 619671cb588SHong Zhang PetscFunctionBegin; 620671cb588SHong Zhang 621671cb588SHong Zhang /* initialization */ 622671cb588SHong Zhang 62382502324SSatish Balay ierr = PetscMalloc(bs2*mbs*sizeof(MatScalar),&rtmp);CHKERRQ(ierr); 624671cb588SHong Zhang ierr = PetscMemzero(rtmp,bs2*mbs*sizeof(MatScalar));CHKERRQ(ierr); 62582502324SSatish Balay ierr = PetscMalloc(2*mbs*sizeof(int),&il);CHKERRQ(ierr); 62628de702eSHong Zhang jl = il + mbs; 627671cb588SHong Zhang for (i=0; i<mbs; i++) { 628671cb588SHong Zhang jl[i] = mbs; il[0] = 0; 629671cb588SHong Zhang } 630b0a32e0cSBarry Smith ierr = PetscMalloc((2*bs2+bs)*sizeof(MatScalar),&dk);CHKERRQ(ierr); 63128de702eSHong Zhang uik = dk + bs2; 63228de702eSHong Zhang work = uik + bs2; 63382502324SSatish Balay ierr = PetscMalloc(bs*sizeof(int),&pivots);CHKERRQ(ierr); 634671cb588SHong Zhang 635671cb588SHong Zhang ai = a->i; aj = a->j; aa = a->a; 636671cb588SHong Zhang 637671cb588SHong Zhang /* for each row k */ 638671cb588SHong Zhang for (k = 0; k<mbs; k++){ 639671cb588SHong Zhang 640671cb588SHong Zhang /*initialize k-th row with elements nonzero in row k of A */ 641671cb588SHong Zhang jmin = ai[k]; jmax = ai[k+1]; 642671cb588SHong Zhang ap = aa + jmin*bs2; 643671cb588SHong Zhang for (j = jmin; j < jmax; j++){ 644671cb588SHong Zhang vj = aj[j]; /* block col. index */ 645671cb588SHong Zhang rtmp_ptr = rtmp + vj*bs2; 646671cb588SHong Zhang for (i=0; i<bs2; i++) *rtmp_ptr++ = *ap++; 647671cb588SHong Zhang } 648671cb588SHong Zhang 649671cb588SHong Zhang /* modify k-th row by adding in those rows i with U(i,k) != 0 */ 650671cb588SHong Zhang ierr = PetscMemcpy(dk,rtmp+k*bs2,bs2*sizeof(MatScalar));CHKERRQ(ierr); 651671cb588SHong Zhang i = jl[k]; /* first row to be added to k_th row */ 652671cb588SHong Zhang 653057f5ba7SHong Zhang while (i < k){ 654671cb588SHong Zhang nexti = jl[i]; /* next row to be added to k_th row */ 655671cb588SHong Zhang 656671cb588SHong Zhang /* compute multiplier */ 657671cb588SHong Zhang ili = il[i]; /* index of first nonzero element in U(i,k:bms-1) */ 658671cb588SHong Zhang 659671cb588SHong Zhang /* uik = -inv(Di)*U_bar(i,k) */ 660671cb588SHong Zhang diag = ba + i*bs2; 661671cb588SHong Zhang u = ba + ili*bs2; 662671cb588SHong Zhang ierr = PetscMemzero(uik,bs2*sizeof(MatScalar));CHKERRQ(ierr); 663671cb588SHong Zhang Kernel_A_gets_A_minus_B_times_C(bs,uik,diag,u); 664671cb588SHong Zhang 665671cb588SHong Zhang /* update D(k) += -U(i,k)^T * U_bar(i,k) */ 666671cb588SHong Zhang Kernel_A_gets_A_plus_Btranspose_times_C(bs,dk,uik,u); 667671cb588SHong Zhang 668671cb588SHong Zhang /* update -U(i,k) */ 669671cb588SHong Zhang ierr = PetscMemcpy(ba+ili*bs2,uik,bs2*sizeof(MatScalar));CHKERRQ(ierr); 670671cb588SHong Zhang 671671cb588SHong Zhang /* add multiple of row i to k-th row ... */ 672671cb588SHong Zhang jmin = ili + 1; jmax = bi[i+1]; 673671cb588SHong Zhang if (jmin < jmax){ 674671cb588SHong Zhang for (j=jmin; j<jmax; j++) { 675671cb588SHong Zhang /* rtmp += -U(i,k)^T * U_bar(i,j) */ 676671cb588SHong Zhang rtmp_ptr = rtmp + bj[j]*bs2; 677671cb588SHong Zhang u = ba + j*bs2; 678671cb588SHong Zhang Kernel_A_gets_A_plus_Btranspose_times_C(bs,rtmp_ptr,uik,u); 679671cb588SHong Zhang } 680671cb588SHong Zhang 681671cb588SHong Zhang /* ... add i to row list for next nonzero entry */ 682671cb588SHong Zhang il[i] = jmin; /* update il(i) in column k+1, ... mbs-1 */ 683671cb588SHong Zhang j = bj[jmin]; 684671cb588SHong Zhang jl[i] = jl[j]; jl[j] = i; /* update jl */ 685671cb588SHong Zhang } 686671cb588SHong Zhang i = nexti; 687671cb588SHong Zhang } 688671cb588SHong Zhang 689671cb588SHong Zhang /* save nonzero entries in k-th row of U ... */ 690671cb588SHong Zhang 691671cb588SHong Zhang /* invert diagonal block */ 692671cb588SHong Zhang diag = ba+k*bs2; 693671cb588SHong Zhang ierr = PetscMemcpy(diag,dk,bs2*sizeof(MatScalar));CHKERRQ(ierr); 694671cb588SHong Zhang Kernel_A_gets_inverse_A(bs,diag,pivots,work); 695671cb588SHong Zhang 696671cb588SHong Zhang jmin = bi[k]; jmax = bi[k+1]; 697671cb588SHong Zhang if (jmin < jmax) { 698671cb588SHong Zhang for (j=jmin; j<jmax; j++){ 699671cb588SHong Zhang vj = bj[j]; /* block col. index of U */ 700671cb588SHong Zhang u = ba + j*bs2; 701671cb588SHong Zhang rtmp_ptr = rtmp + vj*bs2; 702671cb588SHong Zhang for (k1=0; k1<bs2; k1++){ 703671cb588SHong Zhang *u++ = *rtmp_ptr; 704671cb588SHong Zhang *rtmp_ptr++ = 0.0; 705671cb588SHong Zhang } 706671cb588SHong Zhang } 707671cb588SHong Zhang 708671cb588SHong Zhang /* ... add k to row list for first nonzero entry in k-th row */ 709671cb588SHong Zhang il[k] = jmin; 710671cb588SHong Zhang i = bj[jmin]; 711671cb588SHong Zhang jl[k] = jl[i]; jl[i] = k; 712671cb588SHong Zhang } 713671cb588SHong Zhang } 714671cb588SHong Zhang 715671cb588SHong Zhang ierr = PetscFree(rtmp);CHKERRQ(ierr); 716671cb588SHong Zhang ierr = PetscFree(il);CHKERRQ(ierr); 717671cb588SHong Zhang ierr = PetscFree(dk);CHKERRQ(ierr); 718671cb588SHong Zhang ierr = PetscFree(pivots);CHKERRQ(ierr); 719671cb588SHong Zhang 720671cb588SHong Zhang C->factor = FACTOR_CHOLESKY; 721671cb588SHong Zhang C->assembled = PETSC_TRUE; 722671cb588SHong Zhang C->preallocated = PETSC_TRUE; 723b0a32e0cSBarry Smith PetscLogFlops(1.3333*bs*bs2*b->mbs); /* from inverting diagonal blocks */ 724671cb588SHong Zhang PetscFunctionReturn(0); 725671cb588SHong Zhang } 726671cb588SHong Zhang 72749b5e25fSSatish Balay /* 728fcf159c0SHong Zhang Numeric U^T*D*U factorization for SBAIJ format. Modified from SNF of YSMP. 729cc0c071aSHong Zhang Version for blocks 2 by 2. 73049b5e25fSSatish Balay */ 7314a2ae208SSatish Balay #undef __FUNCT__ 7324a2ae208SSatish Balay #define __FUNCT__ "MatCholeskyFactorNumeric_SeqSBAIJ_2" 7336f9a564bSHong Zhang int MatCholeskyFactorNumeric_SeqSBAIJ_2(Mat A,Mat *B) 73449b5e25fSSatish Balay { 73549b5e25fSSatish Balay Mat C = *B; 73691602c66SHong Zhang Mat_SeqSBAIJ *a = (Mat_SeqSBAIJ*)A->data,*b = (Mat_SeqSBAIJ *)C->data; 737cc0c071aSHong Zhang IS perm = b->row; 738cc0c071aSHong Zhang int *perm_ptr,ierr,i,j,mbs=a->mbs,*bi=b->i,*bj=b->j; 739cc0c071aSHong Zhang int *ai,*aj,*a2anew,k,k1,jmin,jmax,*jl,*il,vj,nexti,ili; 740a1723e09SHong Zhang MatScalar *ba = b->a,*aa,*ap,*dk,*uik; 741cc0c071aSHong Zhang MatScalar *u,*diag,*rtmp,*rtmp_ptr; 74249b5e25fSSatish Balay 74349b5e25fSSatish Balay PetscFunctionBegin; 744671cb588SHong Zhang 74591602c66SHong Zhang /* initialization */ 74691602c66SHong Zhang /* il and jl record the first nonzero element in each row of the accessing 74791602c66SHong Zhang window U(0:k, k:mbs-1). 74891602c66SHong Zhang jl: list of rows to be added to uneliminated rows 74991602c66SHong Zhang i>= k: jl(i) is the first row to be added to row i 75091602c66SHong Zhang i< k: jl(i) is the row following row i in some list of rows 75191602c66SHong Zhang jl(i) = mbs indicates the end of a list 75291602c66SHong Zhang il(i): points to the first nonzero element in columns k,...,mbs-1 of 75391602c66SHong Zhang row i of U */ 75482502324SSatish Balay ierr = PetscMalloc(4*mbs*sizeof(MatScalar),&rtmp);CHKERRQ(ierr); 755cc0c071aSHong Zhang ierr = PetscMemzero(rtmp,4*mbs*sizeof(MatScalar));CHKERRQ(ierr); 75682502324SSatish Balay ierr = PetscMalloc(2*mbs*sizeof(int),&il);CHKERRQ(ierr); 75728de702eSHong Zhang jl = il + mbs; 75891602c66SHong Zhang for (i=0; i<mbs; i++) { 7593845f261SHong Zhang jl[i] = mbs; il[0] = 0; 76091602c66SHong Zhang } 76182502324SSatish Balay ierr = PetscMalloc(8*sizeof(MatScalar),&dk);CHKERRQ(ierr); 76228de702eSHong Zhang uik = dk + 4; 763cc0c071aSHong Zhang ierr = ISGetIndices(perm,&perm_ptr);CHKERRQ(ierr); 764cc0c071aSHong Zhang 765cc0c071aSHong Zhang /* check permutation */ 766cc0c071aSHong Zhang if (!a->permute){ 767cc0c071aSHong Zhang ai = a->i; aj = a->j; aa = a->a; 768cc0c071aSHong Zhang } else { 769cc0c071aSHong Zhang ai = a->inew; aj = a->jnew; 77082502324SSatish Balay ierr = PetscMalloc(4*ai[mbs]*sizeof(MatScalar),&aa);CHKERRQ(ierr); 771cc0c071aSHong Zhang ierr = PetscMemcpy(aa,a->a,4*ai[mbs]*sizeof(MatScalar));CHKERRQ(ierr); 77282502324SSatish Balay ierr = PetscMalloc(ai[mbs]*sizeof(int),&a2anew);CHKERRQ(ierr); 773cc0c071aSHong Zhang ierr = PetscMemcpy(a2anew,a->a2anew,(ai[mbs])*sizeof(int));CHKERRQ(ierr); 774cc0c071aSHong Zhang 775cc0c071aSHong Zhang for (i=0; i<mbs; i++){ 776cc0c071aSHong Zhang jmin = ai[i]; jmax = ai[i+1]; 777cc0c071aSHong Zhang for (j=jmin; j<jmax; j++){ 778cc0c071aSHong Zhang while (a2anew[j] != j){ 779cc0c071aSHong Zhang k = a2anew[j]; a2anew[j] = a2anew[k]; a2anew[k] = k; 780cc0c071aSHong Zhang for (k1=0; k1<4; k1++){ 781cc0c071aSHong Zhang dk[k1] = aa[k*4+k1]; 782cc0c071aSHong Zhang aa[k*4+k1] = aa[j*4+k1]; 783cc0c071aSHong Zhang aa[j*4+k1] = dk[k1]; 784cc0c071aSHong Zhang } 785cc0c071aSHong Zhang } 786cc0c071aSHong Zhang /* transform columnoriented blocks that lie in the lower triangle to roworiented blocks */ 787cc0c071aSHong Zhang if (i > aj[j]){ 788a1723e09SHong Zhang /* printf("change orientation, row: %d, col: %d\n",i,aj[j]); */ 789cc0c071aSHong Zhang ap = aa + j*4; /* ptr to the beginning of the block */ 790cc0c071aSHong Zhang dk[1] = ap[1]; /* swap ap[1] and ap[2] */ 791cc0c071aSHong Zhang ap[1] = ap[2]; 792cc0c071aSHong Zhang ap[2] = dk[1]; 793cc0c071aSHong Zhang } 794cc0c071aSHong Zhang } 795cc0c071aSHong Zhang } 796ac355199SBarry Smith ierr = PetscFree(a2anew);CHKERRQ(ierr); 797cc0c071aSHong Zhang } 7983845f261SHong Zhang 79991602c66SHong Zhang /* for each row k */ 80091602c66SHong Zhang for (k = 0; k<mbs; k++){ 80191602c66SHong Zhang 80291602c66SHong Zhang /*initialize k-th row with elements nonzero in row perm(k) of A */ 803cc0c071aSHong Zhang jmin = ai[perm_ptr[k]]; jmax = ai[perm_ptr[k]+1]; 804cc0c071aSHong Zhang ap = aa + jmin*4; 80591602c66SHong Zhang for (j = jmin; j < jmax; j++){ 806cc0c071aSHong Zhang vj = perm_ptr[aj[j]]; /* block col. index */ 807cc0c071aSHong Zhang rtmp_ptr = rtmp + vj*4; 808cc0c071aSHong Zhang for (i=0; i<4; i++) *rtmp_ptr++ = *ap++; 80991602c66SHong Zhang } 81091602c66SHong Zhang 81191602c66SHong Zhang /* modify k-th row by adding in those rows i with U(i,k) != 0 */ 812cc0c071aSHong Zhang ierr = PetscMemcpy(dk,rtmp+k*4,4*sizeof(MatScalar));CHKERRQ(ierr); 81391602c66SHong Zhang i = jl[k]; /* first row to be added to k_th row */ 81491602c66SHong Zhang 815057f5ba7SHong Zhang while (i < k){ 81691602c66SHong Zhang nexti = jl[i]; /* next row to be added to k_th row */ 81791602c66SHong Zhang 8183845f261SHong Zhang /* compute multiplier */ 81991602c66SHong Zhang ili = il[i]; /* index of first nonzero element in U(i,k:bms-1) */ 8203845f261SHong Zhang 8213845f261SHong Zhang /* uik = -inv(Di)*U_bar(i,k): - ba[ili]*ba[i] */ 822cc0c071aSHong Zhang diag = ba + i*4; 823cc0c071aSHong Zhang u = ba + ili*4; 824cc0c071aSHong Zhang uik[0] = -(diag[0]*u[0] + diag[2]*u[1]); 825cc0c071aSHong Zhang uik[1] = -(diag[1]*u[0] + diag[3]*u[1]); 826cc0c071aSHong Zhang uik[2] = -(diag[0]*u[2] + diag[2]*u[3]); 827cc0c071aSHong Zhang uik[3] = -(diag[1]*u[2] + diag[3]*u[3]); 8283845f261SHong Zhang 8293845f261SHong Zhang /* update D(k) += -U(i,k)^T * U_bar(i,k): dk += uik*ba[ili] */ 830cc0c071aSHong Zhang dk[0] += uik[0]*u[0] + uik[1]*u[1]; 831cc0c071aSHong Zhang dk[1] += uik[2]*u[0] + uik[3]*u[1]; 832cc0c071aSHong Zhang dk[2] += uik[0]*u[2] + uik[1]*u[3]; 833cc0c071aSHong Zhang dk[3] += uik[2]*u[2] + uik[3]*u[3]; 8343845f261SHong Zhang 8353845f261SHong Zhang /* update -U(i,k): ba[ili] = uik */ 836cc0c071aSHong Zhang ierr = PetscMemcpy(ba+ili*4,uik,4*sizeof(MatScalar));CHKERRQ(ierr); 83791602c66SHong Zhang 83891602c66SHong Zhang /* add multiple of row i to k-th row ... */ 83991602c66SHong Zhang jmin = ili + 1; jmax = bi[i+1]; 84091602c66SHong Zhang if (jmin < jmax){ 8413845f261SHong Zhang for (j=jmin; j<jmax; j++) { 8423845f261SHong Zhang /* rtmp += -U(i,k)^T * U_bar(i,j): rtmp[bj[j]] += uik*ba[j]; */ 843cc0c071aSHong Zhang rtmp_ptr = rtmp + bj[j]*4; 844cc0c071aSHong Zhang u = ba + j*4; 845cc0c071aSHong Zhang rtmp_ptr[0] += uik[0]*u[0] + uik[1]*u[1]; 846cc0c071aSHong Zhang rtmp_ptr[1] += uik[2]*u[0] + uik[3]*u[1]; 847cc0c071aSHong Zhang rtmp_ptr[2] += uik[0]*u[2] + uik[1]*u[3]; 848cc0c071aSHong Zhang rtmp_ptr[3] += uik[2]*u[2] + uik[3]*u[3]; 8493845f261SHong Zhang } 8503845f261SHong Zhang 85191602c66SHong Zhang /* ... add i to row list for next nonzero entry */ 85291602c66SHong Zhang il[i] = jmin; /* update il(i) in column k+1, ... mbs-1 */ 85391602c66SHong Zhang j = bj[jmin]; 85491602c66SHong Zhang jl[i] = jl[j]; jl[j] = i; /* update jl */ 85591602c66SHong Zhang } 856a1723e09SHong Zhang i = nexti; 85791602c66SHong Zhang } 858cc0c071aSHong Zhang 85991602c66SHong Zhang /* save nonzero entries in k-th row of U ... */ 8603845f261SHong Zhang 861cc0c071aSHong Zhang /* invert diagonal block */ 862cc0c071aSHong Zhang diag = ba+k*4; 863cc0c071aSHong Zhang ierr = PetscMemcpy(diag,dk,4*sizeof(MatScalar));CHKERRQ(ierr); 8643845f261SHong Zhang ierr = Kernel_A_gets_inverse_A_2(diag);CHKERRQ(ierr); 8653845f261SHong Zhang 86691602c66SHong Zhang jmin = bi[k]; jmax = bi[k+1]; 86791602c66SHong Zhang if (jmin < jmax) { 86891602c66SHong Zhang for (j=jmin; j<jmax; j++){ 869cc0c071aSHong Zhang vj = bj[j]; /* block col. index of U */ 870cc0c071aSHong Zhang u = ba + j*4; 871cc0c071aSHong Zhang rtmp_ptr = rtmp + vj*4; 872cc0c071aSHong Zhang for (k1=0; k1<4; k1++){ 873cc0c071aSHong Zhang *u++ = *rtmp_ptr; 874cc0c071aSHong Zhang *rtmp_ptr++ = 0.0; 875cc0c071aSHong Zhang } 876cc0c071aSHong Zhang } 8773845f261SHong Zhang 87891602c66SHong Zhang /* ... add k to row list for first nonzero entry in k-th row */ 87991602c66SHong Zhang il[k] = jmin; 88091602c66SHong Zhang i = bj[jmin]; 88191602c66SHong Zhang jl[k] = jl[i]; jl[i] = k; 88291602c66SHong Zhang } 88391602c66SHong Zhang } 8843845f261SHong Zhang 88549b5e25fSSatish Balay ierr = PetscFree(rtmp);CHKERRQ(ierr); 88691602c66SHong Zhang ierr = PetscFree(il);CHKERRQ(ierr); 8873845f261SHong Zhang ierr = PetscFree(dk);CHKERRQ(ierr); 88891602c66SHong Zhang if (a->permute) { 88991602c66SHong Zhang ierr = PetscFree(aa);CHKERRQ(ierr); 89091602c66SHong Zhang } 891cc0c071aSHong Zhang ierr = ISRestoreIndices(perm,&perm_ptr);CHKERRQ(ierr); 89291602c66SHong Zhang C->factor = FACTOR_CHOLESKY; 89349b5e25fSSatish Balay C->assembled = PETSC_TRUE; 8945c0bcdfcSHong Zhang C->preallocated = PETSC_TRUE; 895b0a32e0cSBarry Smith PetscLogFlops(1.3333*8*b->mbs); /* from inverting diagonal blocks */ 89649b5e25fSSatish Balay PetscFunctionReturn(0); 89749b5e25fSSatish Balay } 89891602c66SHong Zhang 89949b5e25fSSatish Balay /* 90049b5e25fSSatish Balay Version for when blocks are 2 by 2 Using natural ordering 90149b5e25fSSatish Balay */ 9024a2ae208SSatish Balay #undef __FUNCT__ 9034a2ae208SSatish Balay #define __FUNCT__ "MatCholeskyFactorNumeric_SeqSBAIJ_2_NaturalOrdering" 9046f9a564bSHong Zhang int MatCholeskyFactorNumeric_SeqSBAIJ_2_NaturalOrdering(Mat A,Mat *B) 90549b5e25fSSatish Balay { 90649b5e25fSSatish Balay Mat C = *B; 907ab27746eSHong Zhang Mat_SeqSBAIJ *a = (Mat_SeqSBAIJ*)A->data,*b = (Mat_SeqSBAIJ *)C->data; 908ab27746eSHong Zhang int ierr,i,j,mbs=a->mbs,*bi=b->i,*bj=b->j; 90971149678SHong Zhang int *ai,*aj,k,k1,jmin,jmax,*jl,*il,vj,nexti,ili; 910ab27746eSHong Zhang MatScalar *ba = b->a,*aa,*ap,*dk,*uik; 911ab27746eSHong Zhang MatScalar *u,*diag,*rtmp,*rtmp_ptr; 91249b5e25fSSatish Balay 91349b5e25fSSatish Balay PetscFunctionBegin; 914671cb588SHong Zhang 915ab27746eSHong Zhang /* initialization */ 916ab27746eSHong Zhang /* il and jl record the first nonzero element in each row of the accessing 917ab27746eSHong Zhang window U(0:k, k:mbs-1). 918ab27746eSHong Zhang jl: list of rows to be added to uneliminated rows 919ab27746eSHong Zhang i>= k: jl(i) is the first row to be added to row i 920ab27746eSHong Zhang i< k: jl(i) is the row following row i in some list of rows 921ab27746eSHong Zhang jl(i) = mbs indicates the end of a list 922ab27746eSHong Zhang il(i): points to the first nonzero element in columns k,...,mbs-1 of 923ab27746eSHong Zhang row i of U */ 92482502324SSatish Balay ierr = PetscMalloc(4*mbs*sizeof(MatScalar),&rtmp);CHKERRQ(ierr); 925ab27746eSHong Zhang ierr = PetscMemzero(rtmp,4*mbs*sizeof(MatScalar));CHKERRQ(ierr); 92682502324SSatish Balay ierr = PetscMalloc(2*mbs*sizeof(int),&il);CHKERRQ(ierr); 92728de702eSHong Zhang jl = il + mbs; 928ab27746eSHong Zhang for (i=0; i<mbs; i++) { 929ab27746eSHong Zhang jl[i] = mbs; il[0] = 0; 93049b5e25fSSatish Balay } 93182502324SSatish Balay ierr = PetscMalloc(8*sizeof(MatScalar),&dk);CHKERRQ(ierr); 93228de702eSHong Zhang uik = dk + 4; 933ab27746eSHong Zhang 934ab27746eSHong Zhang ai = a->i; aj = a->j; aa = a->a; 935ab27746eSHong Zhang 936ab27746eSHong Zhang /* for each row k */ 937ab27746eSHong Zhang for (k = 0; k<mbs; k++){ 938ab27746eSHong Zhang 939ab27746eSHong Zhang /*initialize k-th row with elements nonzero in row k of A */ 940ab27746eSHong Zhang jmin = ai[k]; jmax = ai[k+1]; 941ab27746eSHong Zhang ap = aa + jmin*4; 942ab27746eSHong Zhang for (j = jmin; j < jmax; j++){ 943ab27746eSHong Zhang vj = aj[j]; /* block col. index */ 944ab27746eSHong Zhang rtmp_ptr = rtmp + vj*4; 945ab27746eSHong Zhang for (i=0; i<4; i++) *rtmp_ptr++ = *ap++; 94649b5e25fSSatish Balay } 947ab27746eSHong Zhang 948ab27746eSHong Zhang /* modify k-th row by adding in those rows i with U(i,k) != 0 */ 949ab27746eSHong Zhang ierr = PetscMemcpy(dk,rtmp+k*4,4*sizeof(MatScalar));CHKERRQ(ierr); 950ab27746eSHong Zhang i = jl[k]; /* first row to be added to k_th row */ 951ab27746eSHong Zhang 952057f5ba7SHong Zhang while (i < k){ 953ab27746eSHong Zhang nexti = jl[i]; /* next row to be added to k_th row */ 954ab27746eSHong Zhang 955ab27746eSHong Zhang /* compute multiplier */ 956ab27746eSHong Zhang ili = il[i]; /* index of first nonzero element in U(i,k:bms-1) */ 957ab27746eSHong Zhang 958ab27746eSHong Zhang /* uik = -inv(Di)*U_bar(i,k): - ba[ili]*ba[i] */ 959ab27746eSHong Zhang diag = ba + i*4; 960ab27746eSHong Zhang u = ba + ili*4; 961ab27746eSHong Zhang uik[0] = -(diag[0]*u[0] + diag[2]*u[1]); 962ab27746eSHong Zhang uik[1] = -(diag[1]*u[0] + diag[3]*u[1]); 963ab27746eSHong Zhang uik[2] = -(diag[0]*u[2] + diag[2]*u[3]); 964ab27746eSHong Zhang uik[3] = -(diag[1]*u[2] + diag[3]*u[3]); 965ab27746eSHong Zhang 966ab27746eSHong Zhang /* update D(k) += -U(i,k)^T * U_bar(i,k): dk += uik*ba[ili] */ 967ab27746eSHong Zhang dk[0] += uik[0]*u[0] + uik[1]*u[1]; 968ab27746eSHong Zhang dk[1] += uik[2]*u[0] + uik[3]*u[1]; 969ab27746eSHong Zhang dk[2] += uik[0]*u[2] + uik[1]*u[3]; 970ab27746eSHong Zhang dk[3] += uik[2]*u[2] + uik[3]*u[3]; 971ab27746eSHong Zhang 972ab27746eSHong Zhang /* update -U(i,k): ba[ili] = uik */ 973ab27746eSHong Zhang ierr = PetscMemcpy(ba+ili*4,uik,4*sizeof(MatScalar));CHKERRQ(ierr); 974ab27746eSHong Zhang 975ab27746eSHong Zhang /* add multiple of row i to k-th row ... */ 976ab27746eSHong Zhang jmin = ili + 1; jmax = bi[i+1]; 977ab27746eSHong Zhang if (jmin < jmax){ 978ab27746eSHong Zhang for (j=jmin; j<jmax; j++) { 979ab27746eSHong Zhang /* rtmp += -U(i,k)^T * U_bar(i,j): rtmp[bj[j]] += uik*ba[j]; */ 980ab27746eSHong Zhang rtmp_ptr = rtmp + bj[j]*4; 981ab27746eSHong Zhang u = ba + j*4; 982ab27746eSHong Zhang rtmp_ptr[0] += uik[0]*u[0] + uik[1]*u[1]; 983ab27746eSHong Zhang rtmp_ptr[1] += uik[2]*u[0] + uik[3]*u[1]; 984ab27746eSHong Zhang rtmp_ptr[2] += uik[0]*u[2] + uik[1]*u[3]; 985ab27746eSHong Zhang rtmp_ptr[3] += uik[2]*u[2] + uik[3]*u[3]; 98649b5e25fSSatish Balay } 987ab27746eSHong Zhang 988ab27746eSHong Zhang /* ... add i to row list for next nonzero entry */ 989ab27746eSHong Zhang il[i] = jmin; /* update il(i) in column k+1, ... mbs-1 */ 990ab27746eSHong Zhang j = bj[jmin]; 991ab27746eSHong Zhang jl[i] = jl[j]; jl[j] = i; /* update jl */ 99249b5e25fSSatish Balay } 993ab27746eSHong Zhang i = nexti; 99449b5e25fSSatish Balay } 995ab27746eSHong Zhang 996ab27746eSHong Zhang /* save nonzero entries in k-th row of U ... */ 997ab27746eSHong Zhang 99849b5e25fSSatish Balay /* invert diagonal block */ 999ab27746eSHong Zhang diag = ba+k*4; 1000ab27746eSHong Zhang ierr = PetscMemcpy(diag,dk,4*sizeof(MatScalar));CHKERRQ(ierr); 1001ab27746eSHong Zhang ierr = Kernel_A_gets_inverse_A_2(diag);CHKERRQ(ierr); 1002ab27746eSHong Zhang 1003ab27746eSHong Zhang jmin = bi[k]; jmax = bi[k+1]; 1004ab27746eSHong Zhang if (jmin < jmax) { 1005ab27746eSHong Zhang for (j=jmin; j<jmax; j++){ 1006ab27746eSHong Zhang vj = bj[j]; /* block col. index of U */ 1007ab27746eSHong Zhang u = ba + j*4; 1008ab27746eSHong Zhang rtmp_ptr = rtmp + vj*4; 1009ab27746eSHong Zhang for (k1=0; k1<4; k1++){ 1010ab27746eSHong Zhang *u++ = *rtmp_ptr; 1011ab27746eSHong Zhang *rtmp_ptr++ = 0.0; 1012ab27746eSHong Zhang } 1013ab27746eSHong Zhang } 1014ab27746eSHong Zhang 1015ab27746eSHong Zhang /* ... add k to row list for first nonzero entry in k-th row */ 1016ab27746eSHong Zhang il[k] = jmin; 1017ab27746eSHong Zhang i = bj[jmin]; 1018ab27746eSHong Zhang jl[k] = jl[i]; jl[i] = k; 1019ab27746eSHong Zhang } 102049b5e25fSSatish Balay } 102149b5e25fSSatish Balay 102249b5e25fSSatish Balay ierr = PetscFree(rtmp);CHKERRQ(ierr); 1023ab27746eSHong Zhang ierr = PetscFree(il);CHKERRQ(ierr); 1024ab27746eSHong Zhang ierr = PetscFree(dk);CHKERRQ(ierr); 1025ab27746eSHong Zhang 1026ab27746eSHong Zhang C->factor = FACTOR_CHOLESKY; 102749b5e25fSSatish Balay C->assembled = PETSC_TRUE; 10285c0bcdfcSHong Zhang C->preallocated = PETSC_TRUE; 1029b0a32e0cSBarry Smith PetscLogFlops(1.3333*8*b->mbs); /* from inverting diagonal blocks */ 103049b5e25fSSatish Balay PetscFunctionReturn(0); 103149b5e25fSSatish Balay } 103249b5e25fSSatish Balay 103349b5e25fSSatish Balay /* 10345c0bcdfcSHong Zhang Numeric U^T*D*U factorization for SBAIJ format. Modified from SNF of YSMP. 103591602c66SHong Zhang Version for blocks are 1 by 1. 103649b5e25fSSatish Balay */ 10374a2ae208SSatish Balay #undef __FUNCT__ 10384a2ae208SSatish Balay #define __FUNCT__ "MatCholeskyFactorNumeric_SeqSBAIJ_1" 10396f9a564bSHong Zhang int MatCholeskyFactorNumeric_SeqSBAIJ_1(Mat A,Mat *B) 104049b5e25fSSatish Balay { 104149b5e25fSSatish Balay Mat C = *B; 104249b5e25fSSatish Balay Mat_SeqSBAIJ *a = (Mat_SeqSBAIJ*)A->data,*b = (Mat_SeqSBAIJ *)C->data; 104349b5e25fSSatish Balay IS ip = b->row; 1044351d0355SHong Zhang int *rip,ierr,i,j,mbs = a->mbs,*bi = b->i,*bj = b->j; 1045cb718733SHong Zhang int *ai,*aj,*r; 1046ab27746eSHong Zhang int k,jmin,jmax,*jl,*il,vj,nexti,ili; 1047066653e3SSatish Balay MatScalar *rtmp; 10482d007305SHong Zhang MatScalar *ba = b->a,*aa,ak; 104949b5e25fSSatish Balay MatScalar dk,uikdi; 105049b5e25fSSatish Balay 105149b5e25fSSatish Balay PetscFunctionBegin; 105249b5e25fSSatish Balay ierr = ISGetIndices(ip,&rip);CHKERRQ(ierr); 1053cb718733SHong Zhang if (!a->permute){ 10542d007305SHong Zhang ai = a->i; aj = a->j; aa = a->a; 10552d007305SHong Zhang } else { 10562d007305SHong Zhang ai = a->inew; aj = a->jnew; 105782502324SSatish Balay ierr = PetscMalloc(ai[mbs]*sizeof(MatScalar),&aa);CHKERRQ(ierr); 1058cb718733SHong Zhang ierr = PetscMemcpy(aa,a->a,ai[mbs]*sizeof(MatScalar));CHKERRQ(ierr); 105982502324SSatish Balay ierr = PetscMalloc(ai[mbs]*sizeof(int),&r);CHKERRQ(ierr); 10602d007305SHong Zhang ierr= PetscMemcpy(r,a->a2anew,(ai[mbs])*sizeof(int));CHKERRQ(ierr); 10612d007305SHong Zhang 10622d007305SHong Zhang jmin = ai[0]; jmax = ai[mbs]; 10632d007305SHong Zhang for (j=jmin; j<jmax; j++){ 1064cb718733SHong Zhang while (r[j] != j){ 10652d007305SHong Zhang k = r[j]; r[j] = r[k]; r[k] = k; 10662d007305SHong Zhang ak = aa[k]; aa[k] = aa[j]; aa[j] = ak; 10672d007305SHong Zhang } 10682d007305SHong Zhang } 1069ac355199SBarry Smith ierr = PetscFree(r);CHKERRQ(ierr); 10702d007305SHong Zhang } 10712d007305SHong Zhang 107291602c66SHong Zhang /* initialization */ 107349b5e25fSSatish Balay /* il and jl record the first nonzero element in each row of the accessing 107449b5e25fSSatish Balay window U(0:k, k:mbs-1). 107549b5e25fSSatish Balay jl: list of rows to be added to uneliminated rows 107649b5e25fSSatish Balay i>= k: jl(i) is the first row to be added to row i 107749b5e25fSSatish Balay i< k: jl(i) is the row following row i in some list of rows 107849b5e25fSSatish Balay jl(i) = mbs indicates the end of a list 107949b5e25fSSatish Balay il(i): points to the first nonzero element in columns k,...,mbs-1 of 108049b5e25fSSatish Balay row i of U */ 108182502324SSatish Balay ierr = PetscMalloc(mbs*sizeof(MatScalar),&rtmp);CHKERRQ(ierr); 108282502324SSatish Balay ierr = PetscMalloc(2*mbs*sizeof(int),&il);CHKERRQ(ierr); 108328de702eSHong Zhang jl = il + mbs; 108449b5e25fSSatish Balay for (i=0; i<mbs; i++) { 108549b5e25fSSatish Balay rtmp[i] = 0.0; jl[i] = mbs; il[0] = 0; 108649b5e25fSSatish Balay } 108749b5e25fSSatish Balay 108891602c66SHong Zhang /* for each row k */ 108949b5e25fSSatish Balay for (k = 0; k<mbs; k++){ 109049b5e25fSSatish Balay 109191602c66SHong Zhang /*initialize k-th row with elements nonzero in row perm(k) of A */ 109249b5e25fSSatish Balay jmin = ai[rip[k]]; jmax = ai[rip[k]+1]; 1093057f5ba7SHong Zhang 109449b5e25fSSatish Balay for (j = jmin; j < jmax; j++){ 1095351d0355SHong Zhang vj = rip[aj[j]]; 1096ab27746eSHong Zhang rtmp[vj] = aa[j]; 109749b5e25fSSatish Balay } 109849b5e25fSSatish Balay 109991602c66SHong Zhang /* modify k-th row by adding in those rows i with U(i,k) != 0 */ 110049b5e25fSSatish Balay dk = rtmp[k]; 110149b5e25fSSatish Balay i = jl[k]; /* first row to be added to k_th row */ 110249b5e25fSSatish Balay 1103057f5ba7SHong Zhang while (i < k){ 110449b5e25fSSatish Balay nexti = jl[i]; /* next row to be added to k_th row */ 110549b5e25fSSatish Balay 110691602c66SHong Zhang /* compute multiplier, update D(k) and U(i,k) */ 110749b5e25fSSatish Balay ili = il[i]; /* index of first nonzero element in U(i,k:bms-1) */ 110849b5e25fSSatish Balay uikdi = - ba[ili]*ba[i]; 110949b5e25fSSatish Balay dk += uikdi*ba[ili]; 1110658e7b3eSHong Zhang ba[ili] = uikdi; /* -U(i,k) */ 111149b5e25fSSatish Balay 111291602c66SHong Zhang /* add multiple of row i to k-th row ... */ 111349b5e25fSSatish Balay jmin = ili + 1; jmax = bi[i+1]; 111449b5e25fSSatish Balay if (jmin < jmax){ 111549b5e25fSSatish Balay for (j=jmin; j<jmax; j++) rtmp[bj[j]] += uikdi*ba[j]; 111691602c66SHong Zhang /* ... add i to row list for next nonzero entry */ 111749b5e25fSSatish Balay il[i] = jmin; /* update il(i) in column k+1, ... mbs-1 */ 111849b5e25fSSatish Balay j = bj[jmin]; 111949b5e25fSSatish Balay jl[i] = jl[j]; jl[j] = i; /* update jl */ 112049b5e25fSSatish Balay } 1121ab27746eSHong Zhang i = nexti; 112249b5e25fSSatish Balay } 112349b5e25fSSatish Balay 112491602c66SHong Zhang /* check for zero pivot and save diagoanl element */ 112549b5e25fSSatish Balay if (dk == 0.0){ 112629bbc08cSBarry Smith SETERRQ(PETSC_ERR_MAT_LU_ZRPVT,"Zero pivot"); 1127671cb588SHong Zhang /* 11281223c01bSHong Zhang } else if (PetscRealPart(dk) < 0.0){ 11291223c01bSHong Zhang SETERRQ2(PETSC_ERR_MAT_LU_ZRPVT,"Negative pivot: d[%d] = %g\n",k,dk); 1130671cb588SHong Zhang */ 113149b5e25fSSatish Balay } 113249b5e25fSSatish Balay 113391602c66SHong Zhang /* save nonzero entries in k-th row of U ... */ 1134f3dd7b2dSKris Buschelman ba[k] = 1.0/dk; 113549b5e25fSSatish Balay jmin = bi[k]; jmax = bi[k+1]; 113649b5e25fSSatish Balay if (jmin < jmax) { 113749b5e25fSSatish Balay for (j=jmin; j<jmax; j++){ 1138cc0c071aSHong Zhang vj = bj[j]; ba[j] = rtmp[vj]; rtmp[vj] = 0.0; 113949b5e25fSSatish Balay } 114091602c66SHong Zhang /* ... add k to row list for first nonzero entry in k-th row */ 114149b5e25fSSatish Balay il[k] = jmin; 114249b5e25fSSatish Balay i = bj[jmin]; 114349b5e25fSSatish Balay jl[k] = jl[i]; jl[i] = k; 114449b5e25fSSatish Balay } 114549b5e25fSSatish Balay } 114649b5e25fSSatish Balay 114749b5e25fSSatish Balay ierr = PetscFree(rtmp);CHKERRQ(ierr); 114849b5e25fSSatish Balay ierr = PetscFree(il);CHKERRQ(ierr); 1149cb718733SHong Zhang if (a->permute){ 1150cb718733SHong Zhang ierr = PetscFree(aa);CHKERRQ(ierr); 1151cb718733SHong Zhang } 115249b5e25fSSatish Balay 115349b5e25fSSatish Balay ierr = ISRestoreIndices(ip,&rip);CHKERRQ(ierr); 11548be8c0c7SHong Zhang C->factor = FACTOR_CHOLESKY; 115549b5e25fSSatish Balay C->assembled = PETSC_TRUE; 11565c0bcdfcSHong Zhang C->preallocated = PETSC_TRUE; 1157b0a32e0cSBarry Smith PetscLogFlops(b->mbs); 115849b5e25fSSatish Balay PetscFunctionReturn(0); 115949b5e25fSSatish Balay } 116049b5e25fSSatish Balay 1161671cb588SHong Zhang /* 1162671cb588SHong Zhang Version for when blocks are 1 by 1 Using natural ordering 1163671cb588SHong Zhang */ 11644a2ae208SSatish Balay #undef __FUNCT__ 11654a2ae208SSatish Balay #define __FUNCT__ "MatCholeskyFactorNumeric_SeqSBAIJ_1_NaturalOrdering" 1166671cb588SHong Zhang int MatCholeskyFactorNumeric_SeqSBAIJ_1_NaturalOrdering(Mat A,Mat *B) 1167671cb588SHong Zhang { 1168671cb588SHong Zhang Mat C = *B; 1169671cb588SHong Zhang Mat_SeqSBAIJ *a = (Mat_SeqSBAIJ*)A->data,*b = (Mat_SeqSBAIJ *)C->data; 1170671cb588SHong Zhang int ierr,i,j,mbs = a->mbs,*bi = b->i,*bj = b->j; 11711ad1de41SHong Zhang int *ai,*aj; 1172671cb588SHong Zhang int k,jmin,jmax,*jl,*il,vj,nexti,ili; 11731ad1de41SHong Zhang MatScalar *rtmp,*ba = b->a,*aa,dk,uikdi; 1174671cb588SHong Zhang 1175671cb588SHong Zhang PetscFunctionBegin; 1176671cb588SHong Zhang 1177671cb588SHong Zhang /* initialization */ 1178671cb588SHong Zhang /* il and jl record the first nonzero element in each row of the accessing 1179671cb588SHong Zhang window U(0:k, k:mbs-1). 1180671cb588SHong Zhang jl: list of rows to be added to uneliminated rows 1181671cb588SHong Zhang i>= k: jl(i) is the first row to be added to row i 1182671cb588SHong Zhang i< k: jl(i) is the row following row i in some list of rows 1183671cb588SHong Zhang jl(i) = mbs indicates the end of a list 1184671cb588SHong Zhang il(i): points to the first nonzero element in columns k,...,mbs-1 of 1185671cb588SHong Zhang row i of U */ 118682502324SSatish Balay ierr = PetscMalloc(mbs*sizeof(MatScalar),&rtmp);CHKERRQ(ierr); 118782502324SSatish Balay ierr = PetscMalloc(2*mbs*sizeof(int),&il);CHKERRQ(ierr); 118828de702eSHong Zhang jl = il + mbs; 1189671cb588SHong Zhang for (i=0; i<mbs; i++) { 1190671cb588SHong Zhang rtmp[i] = 0.0; jl[i] = mbs; il[0] = 0; 1191671cb588SHong Zhang } 1192671cb588SHong Zhang 1193671cb588SHong Zhang ai = a->i; aj = a->j; aa = a->a; 1194671cb588SHong Zhang 1195671cb588SHong Zhang /* for each row k */ 1196671cb588SHong Zhang for (k = 0; k<mbs; k++){ 1197671cb588SHong Zhang 1198671cb588SHong Zhang /*initialize k-th row with elements nonzero in row perm(k) of A */ 1199671cb588SHong Zhang jmin = ai[k]; jmax = ai[k+1]; 1200057f5ba7SHong Zhang 1201671cb588SHong Zhang for (j = jmin; j < jmax; j++){ 1202671cb588SHong Zhang vj = aj[j]; 1203671cb588SHong Zhang rtmp[vj] = aa[j]; 1204671cb588SHong Zhang } 1205671cb588SHong Zhang 1206671cb588SHong Zhang /* modify k-th row by adding in those rows i with U(i,k) != 0 */ 1207671cb588SHong Zhang dk = rtmp[k]; 1208671cb588SHong Zhang i = jl[k]; /* first row to be added to k_th row */ 1209671cb588SHong Zhang 1210057f5ba7SHong Zhang while (i < k){ 1211671cb588SHong Zhang nexti = jl[i]; /* next row to be added to k_th row */ 1212671cb588SHong Zhang 1213671cb588SHong Zhang /* compute multiplier, update D(k) and U(i,k) */ 1214671cb588SHong Zhang ili = il[i]; /* index of first nonzero element in U(i,k:bms-1) */ 1215671cb588SHong Zhang uikdi = - ba[ili]*ba[i]; 1216671cb588SHong Zhang dk += uikdi*ba[ili]; 1217671cb588SHong Zhang ba[ili] = uikdi; /* -U(i,k) */ 1218671cb588SHong Zhang 1219671cb588SHong Zhang /* add multiple of row i to k-th row ... */ 1220671cb588SHong Zhang jmin = ili + 1; jmax = bi[i+1]; 1221671cb588SHong Zhang if (jmin < jmax){ 1222671cb588SHong Zhang for (j=jmin; j<jmax; j++) rtmp[bj[j]] += uikdi*ba[j]; 1223671cb588SHong Zhang /* ... add i to row list for next nonzero entry */ 1224671cb588SHong Zhang il[i] = jmin; /* update il(i) in column k+1, ... mbs-1 */ 1225671cb588SHong Zhang j = bj[jmin]; 1226671cb588SHong Zhang jl[i] = jl[j]; jl[j] = i; /* update jl */ 1227671cb588SHong Zhang } 1228671cb588SHong Zhang i = nexti; 1229671cb588SHong Zhang } 1230671cb588SHong Zhang 1231671cb588SHong Zhang /* check for zero pivot and save diagoanl element */ 1232671cb588SHong Zhang if (dk == 0.0){ 1233671cb588SHong Zhang SETERRQ(PETSC_ERR_MAT_LU_ZRPVT,"Zero pivot"); 1234671cb588SHong Zhang /* 1235671cb588SHong Zhang } else if (PetscRealPart(dk) < 0){ 12361223c01bSHong Zhang SETERRQ2(PETSC_ERR_MAT_LU_ZRPVT,"Negative pivot: d[%d] = %g\n",k,dk); 1237671cb588SHong Zhang */ 1238671cb588SHong Zhang } 1239671cb588SHong Zhang 1240671cb588SHong Zhang /* save nonzero entries in k-th row of U ... */ 1241671cb588SHong Zhang ba[k] = 1.0/dk; 1242671cb588SHong Zhang jmin = bi[k]; jmax = bi[k+1]; 1243671cb588SHong Zhang if (jmin < jmax) { 1244671cb588SHong Zhang for (j=jmin; j<jmax; j++){ 1245671cb588SHong Zhang vj = bj[j]; ba[j] = rtmp[vj]; rtmp[vj] = 0.0; 1246671cb588SHong Zhang } 1247671cb588SHong Zhang /* ... add k to row list for first nonzero entry in k-th row */ 1248671cb588SHong Zhang il[k] = jmin; 1249671cb588SHong Zhang i = bj[jmin]; 1250671cb588SHong Zhang jl[k] = jl[i]; jl[i] = k; 1251671cb588SHong Zhang } 1252671cb588SHong Zhang } 1253671cb588SHong Zhang 1254671cb588SHong Zhang ierr = PetscFree(rtmp);CHKERRQ(ierr); 1255671cb588SHong Zhang ierr = PetscFree(il);CHKERRQ(ierr); 1256671cb588SHong Zhang 1257671cb588SHong Zhang C->factor = FACTOR_CHOLESKY; 1258671cb588SHong Zhang C->assembled = PETSC_TRUE; 1259671cb588SHong Zhang C->preallocated = PETSC_TRUE; 1260b0a32e0cSBarry Smith PetscLogFlops(b->mbs); 1261671cb588SHong Zhang PetscFunctionReturn(0); 1262671cb588SHong Zhang } 1263671cb588SHong Zhang 12644a2ae208SSatish Balay #undef __FUNCT__ 1265653a6975SHong Zhang #define __FUNCT__ "MatCholeskyFactorNumeric_SeqSBAIJ_1_NaturalOrdering_inplace" 1266653a6975SHong Zhang int MatCholeskyFactorNumeric_SeqSBAIJ_1_NaturalOrdering_inplace(Mat A,Mat *B) 1267653a6975SHong Zhang { 1268653a6975SHong Zhang Mat C = *B; 1269653a6975SHong Zhang Mat_SeqSBAIJ *a=(Mat_SeqSBAIJ*)A->data,*b=(Mat_SeqSBAIJ *)C->data; 1270653a6975SHong Zhang int ierr,i,j,mbs = a->mbs; 1271653a6975SHong Zhang int *ai=a->i,*aj=a->j,*bi=b->i,*bj=b->j; 12720b9fc187SSatish Balay int k,jmin,*jl,*il,nexti,ili,*acol,*bcol,nz; 1273653a6975SHong Zhang MatScalar *rtmp,*ba=b->a,*aa=a->a,dk,uikdi,*aval,*bval; 1274653a6975SHong Zhang 1275653a6975SHong Zhang PetscFunctionBegin; 1276653a6975SHong Zhang /* initialization */ 1277653a6975SHong Zhang /* il and jl record the first nonzero element in each row of the accessing 1278653a6975SHong Zhang window U(0:k, k:mbs-1). 1279653a6975SHong Zhang jl: list of rows to be added to uneliminated rows 1280653a6975SHong Zhang i>= k: jl(i) is the first row to be added to row i 1281653a6975SHong Zhang i< k: jl(i) is the row following row i in some list of rows 1282653a6975SHong Zhang jl(i) = mbs indicates the end of a list 1283653a6975SHong Zhang il(i): points to the first nonzero element in U(i,k:mbs-1) 1284653a6975SHong Zhang */ 1285653a6975SHong Zhang ierr = PetscMalloc(mbs*sizeof(MatScalar),&rtmp);CHKERRQ(ierr); 1286653a6975SHong Zhang ierr = PetscMalloc(2*mbs*sizeof(int),&il);CHKERRQ(ierr); 1287653a6975SHong Zhang jl = il + mbs; 1288653a6975SHong Zhang for (i=0; i<mbs; i++) { 1289653a6975SHong Zhang rtmp[i] = 0.0; jl[i] = mbs; il[0] = 0; 1290653a6975SHong Zhang } 1291653a6975SHong Zhang 1292653a6975SHong Zhang /* for each row k */ 1293653a6975SHong Zhang for (k = 0; k<mbs; k++){ 1294653a6975SHong Zhang 1295653a6975SHong Zhang /*initialize k-th row with elements nonzero in row perm(k) of A */ 1296653a6975SHong Zhang nz = ai[k+1] - ai[k]; 1297653a6975SHong Zhang acol = aj + ai[k]; 1298653a6975SHong Zhang aval = aa + ai[k]; 1299653a6975SHong Zhang bval = ba + bi[k]; 1300653a6975SHong Zhang while (nz -- ){ 1301653a6975SHong Zhang rtmp[*acol++] = *aval++; 1302653a6975SHong Zhang *bval++ = 0.0; /* for in-place factorization */ 1303653a6975SHong Zhang } 1304653a6975SHong Zhang 1305653a6975SHong Zhang /* modify k-th row by adding in those rows i with U(i,k) != 0 */ 1306653a6975SHong Zhang dk = rtmp[k]; 1307653a6975SHong Zhang i = jl[k]; /* first row to be added to k_th row */ 1308653a6975SHong Zhang 1309653a6975SHong Zhang while (i < k){ 1310653a6975SHong Zhang nexti = jl[i]; /* next row to be added to k_th row */ 1311*064503c5SHong Zhang /* printf("factnum, k %d, i %d\n", k,i); */ 1312653a6975SHong Zhang 1313653a6975SHong Zhang /* compute multiplier, update D(k) and U(i,k) */ 1314653a6975SHong Zhang ili = il[i]; /* index of first nonzero element in U(i,k:bms-1) */ 1315653a6975SHong Zhang uikdi = - ba[ili]*ba[bi[i]]; 1316653a6975SHong Zhang dk += uikdi*ba[ili]; 1317653a6975SHong Zhang ba[ili] = uikdi; /* -U(i,k) */ 1318653a6975SHong Zhang 1319653a6975SHong Zhang /* add multiple of row i to k-th row ... */ 1320653a6975SHong Zhang jmin = ili + 1; 1321653a6975SHong Zhang nz = bi[i+1] - jmin; 1322653a6975SHong Zhang if (nz > 0){ 1323653a6975SHong Zhang bcol = bj + jmin; 1324653a6975SHong Zhang bval = ba + jmin; 1325653a6975SHong Zhang while (nz --) rtmp[*bcol++] += uikdi*(*bval++); 1326653a6975SHong Zhang /* ... add i to row list for next nonzero entry */ 1327653a6975SHong Zhang il[i] = jmin; /* update il(i) in column k+1, ... mbs-1 */ 1328653a6975SHong Zhang j = bj[jmin]; 1329653a6975SHong Zhang jl[i] = jl[j]; jl[j] = i; /* update jl */ 1330653a6975SHong Zhang } 1331653a6975SHong Zhang i = nexti; 1332653a6975SHong Zhang } 1333653a6975SHong Zhang 1334653a6975SHong Zhang /* check for zero pivot and save diagoanl element */ 1335*064503c5SHong Zhang if (dk == 0.0){ 1336653a6975SHong Zhang SETERRQ(PETSC_ERR_MAT_LU_ZRPVT,"Zero pivot"); 1337*064503c5SHong Zhang } else if (PetscAbs(dk) < 1.e-10) { 1338*064503c5SHong Zhang printf(" dk %g is too small\n",dk); 1339*064503c5SHong Zhang } 1340653a6975SHong Zhang 1341653a6975SHong Zhang /* save nonzero entries in k-th row of U ... */ 1342653a6975SHong Zhang ba[bi[k]] = 1.0/dk; 1343653a6975SHong Zhang jmin = bi[k]+1; 1344653a6975SHong Zhang nz = bi[k+1] - jmin; 1345653a6975SHong Zhang if (nz){ 1346653a6975SHong Zhang bcol = bj + jmin; 1347653a6975SHong Zhang bval = ba + jmin; 1348653a6975SHong Zhang while (nz--){ 1349653a6975SHong Zhang *bval++ = rtmp[*bcol]; 1350653a6975SHong Zhang rtmp[*bcol++] = 0.0; 1351653a6975SHong Zhang } 1352653a6975SHong Zhang /* ... add k to row list for first nonzero entry in k-th row */ 1353653a6975SHong Zhang il[k] = jmin; 1354653a6975SHong Zhang i = bj[jmin]; 1355653a6975SHong Zhang jl[k] = jl[i]; jl[i] = k; 1356653a6975SHong Zhang } 1357653a6975SHong Zhang } 1358653a6975SHong Zhang 1359653a6975SHong Zhang ierr = PetscFree(rtmp);CHKERRQ(ierr); 1360653a6975SHong Zhang ierr = PetscFree(il);CHKERRQ(ierr); 1361653a6975SHong Zhang 1362653a6975SHong Zhang C->factor = FACTOR_CHOLESKY; 1363653a6975SHong Zhang C->assembled = PETSC_TRUE; 1364653a6975SHong Zhang C->preallocated = PETSC_TRUE; 1365653a6975SHong Zhang PetscLogFlops(b->mbs); 1366653a6975SHong Zhang PetscFunctionReturn(0); 1367653a6975SHong Zhang } 1368653a6975SHong Zhang 1369653a6975SHong Zhang #undef __FUNCT__ 13704a2ae208SSatish Balay #define __FUNCT__ "MatCholeskyFactor_SeqSBAIJ" 1371b8b23757SHong Zhang int MatCholeskyFactor_SeqSBAIJ(Mat A,IS perm,PetscReal f) 137249b5e25fSSatish Balay { 13734445ddedSHong Zhang int ierr; 137449b5e25fSSatish Balay Mat C; 137549b5e25fSSatish Balay 137649b5e25fSSatish Balay PetscFunctionBegin; 1377b8b23757SHong Zhang ierr = MatCholeskyFactorSymbolic(A,perm,f,&C);CHKERRQ(ierr); 1378a4ada70bSHong Zhang ierr = MatCholeskyFactorNumeric(A,&C);CHKERRQ(ierr); 13794445ddedSHong Zhang ierr = MatHeaderCopy(A,C);CHKERRQ(ierr); 138049b5e25fSSatish Balay PetscFunctionReturn(0); 138149b5e25fSSatish Balay } 138249b5e25fSSatish Balay 138349b5e25fSSatish Balay 1384