xref: /petsc/src/mat/impls/sbaij/seq/sbaijfact.c (revision be1d678a52e6eff2808b2fa31ae986cdbf03c9fe)
1*be1d678aSKris Buschelman #define PETSCMAT_DLL
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/inline/ilu.h"
649a6740bSHong Zhang #include "include/petscis.h"
749b5e25fSSatish Balay 
88dc9108eSHong Zhang #if !defined(PETSC_USE_COMPLEX)
95f9f512dSHong Zhang /*
105f9f512dSHong Zhang   input:
11c037c3f7SHong Zhang    F -- numeric factor
125f9f512dSHong Zhang   output:
13c037c3f7SHong Zhang    nneg, nzero, npos: matrix inertia
145f9f512dSHong Zhang */
155f9f512dSHong Zhang 
165f9f512dSHong Zhang #undef __FUNCT__
175f9f512dSHong Zhang #define __FUNCT__ "MatGetInertia_SeqSBAIJ"
1813f74950SBarry Smith PetscErrorCode MatGetInertia_SeqSBAIJ(Mat F,PetscInt *nneig,PetscInt *nzero,PetscInt *npos)
195f9f512dSHong Zhang {
20638f5ce0SDinesh Kaushik   Mat_SeqSBAIJ *fact_ptr = (Mat_SeqSBAIJ*)F->data;
213e0d88b5SBarry Smith   PetscScalar  *dd = fact_ptr->a;
2213f74950SBarry Smith   PetscInt     mbs=fact_ptr->mbs,bs=F->bs,i,nneig_tmp,npos_tmp,*fi = fact_ptr->i;
235f9f512dSHong Zhang 
245f9f512dSHong Zhang   PetscFunctionBegin;
2577431f27SBarry Smith   if (bs != 1) SETERRQ1(PETSC_ERR_SUP,"No support for bs: %D >1 yet",bs);
26eeeff2ecSHong Zhang   nneig_tmp = 0; npos_tmp = 0;
27eeeff2ecSHong Zhang   for (i=0; i<mbs; i++){
28eeeff2ecSHong Zhang     if (PetscRealPart(dd[*fi]) > 0.0){
29eeeff2ecSHong Zhang       npos_tmp++;
30eeeff2ecSHong Zhang     } else if (PetscRealPart(dd[*fi]) < 0.0){
31eeeff2ecSHong Zhang       nneig_tmp++;
325f9f512dSHong Zhang     }
33eeeff2ecSHong Zhang     fi++;
343e0d88b5SBarry Smith   }
35eeeff2ecSHong Zhang   if (nneig) *nneig = nneig_tmp;
36eeeff2ecSHong Zhang   if (npos)  *npos  = npos_tmp;
37eeeff2ecSHong Zhang   if (nzero) *nzero = mbs - nneig_tmp - npos_tmp;
38eeeff2ecSHong Zhang 
395f9f512dSHong Zhang   PetscFunctionReturn(0);
405f9f512dSHong Zhang }
418dc9108eSHong Zhang #endif /* !defined(PETSC_USE_COMPLEX) */
425f9f512dSHong Zhang 
435f9f512dSHong Zhang /*
445f9f512dSHong Zhang   Symbolic U^T*D*U factorization for SBAIJ format. Modified from SSF of YSMP.
4510c27e3dSHong Zhang   Use Modified Sparse Row (MSR) storage for u and ju. See page 85, "Iterative Methods ..." by Saad.
465f9f512dSHong Zhang */
4710c27e3dSHong Zhang #undef __FUNCT__
4810c27e3dSHong Zhang #define __FUNCT__ "MatCholeskyFactorSymbolic_SeqSBAIJ_MSR"
4910c27e3dSHong Zhang PetscErrorCode MatCholeskyFactorSymbolic_SeqSBAIJ_MSR(Mat A,IS perm,MatFactorInfo *info,Mat *B)
5010c27e3dSHong Zhang {
5110c27e3dSHong Zhang   Mat_SeqSBAIJ   *a = (Mat_SeqSBAIJ*)A->data,*b;
5210c27e3dSHong Zhang   PetscErrorCode ierr;
5310c27e3dSHong Zhang   PetscInt       *rip,i,mbs = a->mbs,*ai,*aj;
5410c27e3dSHong Zhang   PetscInt       *jutmp,bs = A->bs,bs2=a->bs2;
5510c27e3dSHong Zhang   PetscInt       m,reallocs = 0,prow;
5610c27e3dSHong Zhang   PetscInt       *jl,*q,jmin,jmax,juidx,nzk,qm,*iu,*ju,k,j,vj,umax,maxadd;
5710c27e3dSHong Zhang   PetscReal      f = info->fill;
5810c27e3dSHong Zhang   PetscTruth     perm_identity;
5910c27e3dSHong Zhang 
6010c27e3dSHong Zhang   PetscFunctionBegin;
6110c27e3dSHong Zhang   /* check whether perm is the identity mapping */
6210c27e3dSHong Zhang   ierr = ISIdentity(perm,&perm_identity);CHKERRQ(ierr);
6310c27e3dSHong Zhang   ierr = ISGetIndices(perm,&rip);CHKERRQ(ierr);
6410c27e3dSHong Zhang 
6510c27e3dSHong Zhang   if (perm_identity){ /* without permutation */
6610c27e3dSHong Zhang     a->permute = PETSC_FALSE;
6710c27e3dSHong Zhang     ai = a->i; aj = a->j;
6810c27e3dSHong Zhang   } else {            /* non-trivial permutation */
6910c27e3dSHong Zhang     a->permute = PETSC_TRUE;
7010c27e3dSHong Zhang     ierr = MatReorderingSeqSBAIJ(A,perm);CHKERRQ(ierr);
7110c27e3dSHong Zhang     ai = a->inew; aj = a->jnew;
7210c27e3dSHong Zhang   }
7310c27e3dSHong Zhang 
7410c27e3dSHong Zhang   /* initialization */
7510c27e3dSHong Zhang   ierr  = PetscMalloc((mbs+1)*sizeof(PetscInt),&iu);CHKERRQ(ierr);
7610c27e3dSHong Zhang   umax  = (PetscInt)(f*ai[mbs] + 1); umax += mbs + 1;
7710c27e3dSHong Zhang   ierr  = PetscMalloc(umax*sizeof(PetscInt),&ju);CHKERRQ(ierr);
7810c27e3dSHong Zhang   iu[0] = mbs+1;
7910c27e3dSHong Zhang   juidx = mbs + 1; /* index for ju */
8010c27e3dSHong Zhang   ierr  = PetscMalloc(2*mbs*sizeof(PetscInt),&jl);CHKERRQ(ierr); /* linked list for pivot row */
8110c27e3dSHong Zhang   q     = jl + mbs;   /* linked list for col index */
8210c27e3dSHong Zhang   for (i=0; i<mbs; i++){
8310c27e3dSHong Zhang     jl[i] = mbs;
8410c27e3dSHong Zhang     q[i] = 0;
8510c27e3dSHong Zhang   }
8610c27e3dSHong Zhang 
8710c27e3dSHong Zhang   /* for each row k */
8810c27e3dSHong Zhang   for (k=0; k<mbs; k++){
8910c27e3dSHong Zhang     for (i=0; i<mbs; i++) q[i] = 0;  /* to be removed! */
9010c27e3dSHong Zhang     nzk  = 0; /* num. of nz blocks in k-th block row with diagonal block excluded */
9110c27e3dSHong Zhang     q[k] = mbs;
9210c27e3dSHong Zhang     /* initialize nonzero structure of k-th row to row rip[k] of A */
9310c27e3dSHong Zhang     jmin = ai[rip[k]] +1; /* exclude diag[k] */
9410c27e3dSHong Zhang     jmax = ai[rip[k]+1];
9510c27e3dSHong Zhang     for (j=jmin; j<jmax; j++){
9610c27e3dSHong Zhang       vj = rip[aj[j]]; /* col. value */
9710c27e3dSHong Zhang       if(vj > k){
9810c27e3dSHong Zhang         qm = k;
9910c27e3dSHong Zhang         do {
10010c27e3dSHong Zhang           m  = qm; qm = q[m];
10110c27e3dSHong Zhang         } while(qm < vj);
10210c27e3dSHong Zhang         if (qm == vj) {
10310c27e3dSHong Zhang           SETERRQ(PETSC_ERR_PLIB,"Duplicate entry in A\n");
10410c27e3dSHong Zhang         }
10510c27e3dSHong Zhang         nzk++;
10610c27e3dSHong Zhang         q[m]  = vj;
10710c27e3dSHong Zhang         q[vj] = qm;
10810c27e3dSHong Zhang       } /* if(vj > k) */
10910c27e3dSHong Zhang     } /* for (j=jmin; j<jmax; j++) */
11010c27e3dSHong Zhang 
11110c27e3dSHong Zhang     /* modify nonzero structure of k-th row by computing fill-in
11210c27e3dSHong Zhang        for each row i to be merged in */
11310c27e3dSHong Zhang     prow = k;
11410c27e3dSHong Zhang     prow = jl[prow]; /* next pivot row (== mbs for symbolic factorization) */
11510c27e3dSHong Zhang 
11610c27e3dSHong Zhang     while (prow < k){
11710c27e3dSHong Zhang       /* merge row prow into k-th row */
11810c27e3dSHong Zhang       jmin = iu[prow] + 1; jmax = iu[prow+1];
11910c27e3dSHong Zhang       qm = k;
12010c27e3dSHong Zhang       for (j=jmin; j<jmax; j++){
12110c27e3dSHong Zhang         vj = ju[j];
12210c27e3dSHong Zhang         do {
12310c27e3dSHong Zhang           m = qm; qm = q[m];
12410c27e3dSHong Zhang         } while (qm < vj);
12510c27e3dSHong Zhang         if (qm != vj){
12610c27e3dSHong Zhang          nzk++; q[m] = vj; q[vj] = qm; qm = vj;
12710c27e3dSHong Zhang         }
12810c27e3dSHong Zhang       }
12910c27e3dSHong Zhang       prow = jl[prow]; /* next pivot row */
13010c27e3dSHong Zhang     }
13110c27e3dSHong Zhang 
13210c27e3dSHong Zhang     /* add k to row list for first nonzero element in k-th row */
13310c27e3dSHong Zhang     if (nzk > 0){
13410c27e3dSHong Zhang       i = q[k]; /* col value of first nonzero element in U(k, k+1:mbs-1) */
13510c27e3dSHong Zhang       jl[k] = jl[i]; jl[i] = k;
13610c27e3dSHong Zhang     }
13710c27e3dSHong Zhang     iu[k+1] = iu[k] + nzk;
13810c27e3dSHong Zhang 
13910c27e3dSHong Zhang     /* allocate more space to ju if needed */
14010c27e3dSHong Zhang     if (iu[k+1] > umax) {
14110c27e3dSHong Zhang       /* estimate how much additional space we will need */
14210c27e3dSHong Zhang       /* use the strategy suggested by David Hysom <hysom@perch-t.icase.edu> */
14310c27e3dSHong Zhang       /* just double the memory each time */
14410c27e3dSHong Zhang       maxadd = umax;
14510c27e3dSHong Zhang       if (maxadd < nzk) maxadd = (mbs-k)*(nzk+1)/2;
14610c27e3dSHong Zhang       umax += maxadd;
14710c27e3dSHong Zhang 
14810c27e3dSHong Zhang       /* allocate a longer ju */
14910c27e3dSHong Zhang       ierr = PetscMalloc(umax*sizeof(PetscInt),&jutmp);CHKERRQ(ierr);
15010c27e3dSHong Zhang       ierr = PetscMemcpy(jutmp,ju,iu[k]*sizeof(PetscInt));CHKERRQ(ierr);
15110c27e3dSHong Zhang       ierr = PetscFree(ju);CHKERRQ(ierr);
15210c27e3dSHong Zhang       ju   = jutmp;
15310c27e3dSHong Zhang       reallocs++; /* count how many times we realloc */
15410c27e3dSHong Zhang     }
15510c27e3dSHong Zhang 
15610c27e3dSHong Zhang     /* save nonzero structure of k-th row in ju */
15710c27e3dSHong Zhang     i=k;
15810c27e3dSHong Zhang     while (nzk --) {
15910c27e3dSHong Zhang       i           = q[i];
16010c27e3dSHong Zhang       ju[juidx++] = i;
16110c27e3dSHong Zhang     }
16210c27e3dSHong Zhang   }
16310c27e3dSHong Zhang 
16463ba0a88SBarry Smith #if defined(PETSC_USE_DEBUG)
16510c27e3dSHong Zhang   if (ai[mbs] != 0) {
16610c27e3dSHong Zhang     PetscReal af = ((PetscReal)iu[mbs])/((PetscReal)ai[mbs]);
16763ba0a88SBarry Smith     ierr = PetscLogInfo((A,"MatCholeskyFactorSymbolic_SeqSBAIJ:Reallocs %D Fill ratio:given %g needed %g\n",reallocs,f,af));CHKERRQ(ierr);
16863ba0a88SBarry Smith     ierr = PetscLogInfo((A,"MatCholeskyFactorSymbolic_SeqSBAIJ:Run with -pc_cholesky_fill %g or use \n",af));CHKERRQ(ierr);
16963ba0a88SBarry Smith     ierr = PetscLogInfo((A,"MatCholeskyFactorSymbolic_SeqSBAIJ:PCCholeskySetFill(pc,%g);\n",af));CHKERRQ(ierr);
17063ba0a88SBarry Smith     ierr = PetscLogInfo((A,"MatCholeskyFactorSymbolic_SeqSBAIJ:for best performance.\n"));CHKERRQ(ierr);
17110c27e3dSHong Zhang   } else {
17263ba0a88SBarry Smith     ierr = PetscLogInfo((A,"MatCholeskyFactorSymbolic_SeqSBAIJ:Empty matrix.\n"));CHKERRQ(ierr);
17310c27e3dSHong Zhang   }
17463ba0a88SBarry Smith #endif
17510c27e3dSHong Zhang 
17610c27e3dSHong Zhang   ierr = ISRestoreIndices(perm,&rip);CHKERRQ(ierr);
17710c27e3dSHong Zhang   ierr = PetscFree(jl);CHKERRQ(ierr);
17810c27e3dSHong Zhang 
17910c27e3dSHong Zhang   /* put together the new matrix */
18010c27e3dSHong Zhang   ierr = MatCreate(A->comm,bs*mbs,bs*mbs,bs*mbs,bs*mbs,B);CHKERRQ(ierr);
18110c27e3dSHong Zhang   ierr = MatSetType(*B,A->type_name);CHKERRQ(ierr);
18210c27e3dSHong Zhang   ierr = MatSeqSBAIJSetPreallocation(*B,bs,0,PETSC_NULL);CHKERRQ(ierr);
18310c27e3dSHong Zhang 
184efee365bSSatish Balay   /* ierr = PetscLogObjectParent(*B,iperm);CHKERRQ(ierr); */
18510c27e3dSHong Zhang   b = (Mat_SeqSBAIJ*)(*B)->data;
18610c27e3dSHong Zhang   ierr = PetscFree(b->imax);CHKERRQ(ierr);
18710c27e3dSHong Zhang   b->singlemalloc = PETSC_FALSE;
18810c27e3dSHong Zhang   /* the next line frees the default space generated by the Create() */
18910c27e3dSHong Zhang   ierr = PetscFree(b->a);CHKERRQ(ierr);
19010c27e3dSHong Zhang   ierr = PetscFree(b->ilen);CHKERRQ(ierr);
19110c27e3dSHong Zhang   ierr = PetscMalloc((iu[mbs]+1)*sizeof(MatScalar)*bs2,&b->a);CHKERRQ(ierr);
19210c27e3dSHong Zhang   b->j    = ju;
19310c27e3dSHong Zhang   b->i    = iu;
19410c27e3dSHong Zhang   b->diag = 0;
19510c27e3dSHong Zhang   b->ilen = 0;
19610c27e3dSHong Zhang   b->imax = 0;
19710c27e3dSHong Zhang   b->row  = perm;
19810c27e3dSHong Zhang   b->pivotinblocks = PETSC_FALSE; /* need to get from MatFactorInfo */
19910c27e3dSHong Zhang   ierr    = PetscObjectReference((PetscObject)perm);CHKERRQ(ierr);
20010c27e3dSHong Zhang   b->icol = perm;
20110c27e3dSHong Zhang   ierr    = PetscObjectReference((PetscObject)perm);CHKERRQ(ierr);
20210c27e3dSHong Zhang   ierr    = PetscMalloc((bs*mbs+bs)*sizeof(PetscScalar),&b->solve_work);CHKERRQ(ierr);
20310c27e3dSHong Zhang   /* In b structure:  Free imax, ilen, old a, old j.
20410c27e3dSHong Zhang      Allocate idnew, solve_work, new a, new j */
20552e6d16bSBarry Smith   ierr = PetscLogObjectMemory(*B,(iu[mbs]-mbs)*(sizeof(PetscInt)+sizeof(MatScalar)));CHKERRQ(ierr);
20610c27e3dSHong Zhang   b->maxnz = b->nz = iu[mbs];
20710c27e3dSHong Zhang 
20810c27e3dSHong Zhang   (*B)->factor                 = FACTOR_CHOLESKY;
20910c27e3dSHong Zhang   (*B)->info.factor_mallocs    = reallocs;
21010c27e3dSHong Zhang   (*B)->info.fill_ratio_given  = f;
21110c27e3dSHong Zhang   if (ai[mbs] != 0) {
21210c27e3dSHong Zhang     (*B)->info.fill_ratio_needed = ((PetscReal)iu[mbs])/((PetscReal)ai[mbs]);
21310c27e3dSHong Zhang   } else {
21410c27e3dSHong Zhang     (*B)->info.fill_ratio_needed = 0.0;
21510c27e3dSHong Zhang   }
21610c27e3dSHong Zhang 
21710c27e3dSHong Zhang   if (perm_identity){
21810c27e3dSHong Zhang     switch (bs) {
21910c27e3dSHong Zhang       case 1:
22010c27e3dSHong Zhang         (*B)->ops->choleskyfactornumeric = MatCholeskyFactorNumeric_SeqSBAIJ_1_NaturalOrdering;
22110c27e3dSHong Zhang         (*B)->ops->solve           = MatSolve_SeqSBAIJ_1_NaturalOrdering;
22263ba0a88SBarry Smith         ierr = PetscLogInfo((A,"MatICCFactorSymbolic_SeqSBAIJ:Using special in-place natural ordering factor and solve BS=1\n"));CHKERRQ(ierr);
22310c27e3dSHong Zhang         break;
22410c27e3dSHong Zhang       case 2:
22510c27e3dSHong Zhang         (*B)->ops->choleskyfactornumeric = MatCholeskyFactorNumeric_SeqSBAIJ_2_NaturalOrdering;
22610c27e3dSHong Zhang         (*B)->ops->solve           = MatSolve_SeqSBAIJ_2_NaturalOrdering;
22763ba0a88SBarry Smith         ierr = PetscLogInfo((A,"MatICCFactorSymbolic_SeqSBAIJ:Using special in-place natural ordering factor and solve BS=2\n"));CHKERRQ(ierr);
22810c27e3dSHong Zhang         break;
22910c27e3dSHong Zhang       case 3:
23010c27e3dSHong Zhang         (*B)->ops->choleskyfactornumeric = MatCholeskyFactorNumeric_SeqSBAIJ_3_NaturalOrdering;
23110c27e3dSHong Zhang         (*B)->ops->solve           = MatSolve_SeqSBAIJ_3_NaturalOrdering;
23263ba0a88SBarry Smith         ierr = PetscLogInfo((A,"MatICCFactorSymbolic_SeqSBAIJ:sing special in-place natural ordering factor and solve BS=3\n"));CHKERRQ(ierr);
23310c27e3dSHong Zhang         break;
23410c27e3dSHong Zhang       case 4:
23510c27e3dSHong Zhang         (*B)->ops->choleskyfactornumeric = MatCholeskyFactorNumeric_SeqSBAIJ_4_NaturalOrdering;
23610c27e3dSHong Zhang         (*B)->ops->solve           = MatSolve_SeqSBAIJ_4_NaturalOrdering;
23763ba0a88SBarry Smith         ierr = PetscLogInfo((A,"MatICCFactorSymbolic_SeqSBAIJ:Using special in-place natural ordering factor and solve BS=4\n"));CHKERRQ(ierr);
23810c27e3dSHong Zhang         break;
23910c27e3dSHong Zhang       case 5:
24010c27e3dSHong Zhang         (*B)->ops->choleskyfactornumeric = MatCholeskyFactorNumeric_SeqSBAIJ_5_NaturalOrdering;
24110c27e3dSHong Zhang         (*B)->ops->solve           = MatSolve_SeqSBAIJ_5_NaturalOrdering;
24263ba0a88SBarry Smith         ierr = PetscLogInfo((A,"MatICCFactorSymbolic_SeqSBAIJ:Using special in-place natural ordering factor and solve BS=5\n"));CHKERRQ(ierr);
24310c27e3dSHong Zhang         break;
24410c27e3dSHong Zhang       case 6:
24510c27e3dSHong Zhang         (*B)->ops->choleskyfactornumeric = MatCholeskyFactorNumeric_SeqSBAIJ_6_NaturalOrdering;
24610c27e3dSHong Zhang         (*B)->ops->solve           = MatSolve_SeqSBAIJ_6_NaturalOrdering;
24763ba0a88SBarry Smith         ierr = PetscLogInfo((A,"MatICCFactorSymbolic_SeqSBAIJ:Using special in-place natural ordering factor and solve BS=6\n"));CHKERRQ(ierr);
24810c27e3dSHong Zhang         break;
24910c27e3dSHong Zhang       case 7:
25010c27e3dSHong Zhang         (*B)->ops->choleskyfactornumeric = MatCholeskyFactorNumeric_SeqSBAIJ_7_NaturalOrdering;
25110c27e3dSHong Zhang         (*B)->ops->solve           = MatSolve_SeqSBAIJ_7_NaturalOrdering;
25263ba0a88SBarry Smith         ierr = PetscLogInfo((A,"MatICCFactorSymbolic_SeqSBAIJ:Using special in-place natural ordering factor and solve BS=7\n"));CHKERRQ(ierr);
25310c27e3dSHong Zhang       break;
25410c27e3dSHong Zhang       default:
25510c27e3dSHong Zhang         (*B)->ops->choleskyfactornumeric = MatCholeskyFactorNumeric_SeqSBAIJ_N_NaturalOrdering;
25610c27e3dSHong Zhang         (*B)->ops->solve           = MatSolve_SeqSBAIJ_N_NaturalOrdering;
25763ba0a88SBarry Smith         ierr = PetscLogInfo((A,"MatICCFactorSymbolic_SeqSBAIJ:Using special in-place natural ordering factor and solve BS>7\n"));CHKERRQ(ierr);
25810c27e3dSHong Zhang       break;
25910c27e3dSHong Zhang     }
26010c27e3dSHong Zhang   }
26110c27e3dSHong Zhang   PetscFunctionReturn(0);
26210c27e3dSHong Zhang }
26310c27e3dSHong Zhang /*
26410c27e3dSHong Zhang     Symbolic U^T*D*U factorization for SBAIJ format.
26510c27e3dSHong Zhang */
26698a8e78dSHong Zhang #include "petscbt.h"
26798a8e78dSHong Zhang #include "src/mat/utils/freespace.h"
2684a2ae208SSatish Balay #undef __FUNCT__
2694a2ae208SSatish Balay #define __FUNCT__ "MatCholeskyFactorSymbolic_SeqSBAIJ"
27098a8e78dSHong Zhang PetscErrorCode MatCholeskyFactorSymbolic_SeqSBAIJ(Mat A,IS perm,MatFactorInfo *info,Mat *fact)
27149b5e25fSSatish Balay {
27298a8e78dSHong Zhang   Mat_SeqSBAIJ   *a = (Mat_SeqSBAIJ*)A->data;
27398a8e78dSHong Zhang   Mat_SeqSBAIJ   *b;
27498a8e78dSHong Zhang   Mat            B;
2756849ba73SBarry Smith   PetscErrorCode ierr;
276671cb588SHong Zhang   PetscTruth     perm_identity;
27798a8e78dSHong Zhang   PetscReal      fill = info->fill;
2787625dc9aSHong Zhang   PetscInt       *rip,i,mbs=a->mbs,bs=A->bs,*ai,*aj,reallocs=0,prow;
27998a8e78dSHong Zhang   PetscInt       *jl,jmin,jmax,nzk,*ui,k,j,*il,nextprow;
2807625dc9aSHong Zhang   PetscInt       nlnk,*lnk,ncols,*cols,*uj,**ui_ptr,*uj_ptr;
28198a8e78dSHong Zhang   FreeSpaceList  free_space=PETSC_NULL,current_space=PETSC_NULL;
28298a8e78dSHong Zhang   PetscBT        lnkbt;
28349b5e25fSSatish Balay 
28449b5e25fSSatish Balay   PetscFunctionBegin;
28510c27e3dSHong Zhang   /*
28610c27e3dSHong Zhang    This code originally uses Modified Sparse Row (MSR) storage
28710c27e3dSHong Zhang    (see page 85, "Iterative Methods ..." by Saad) for the output matrix B - bad choise!
28810c27e3dSHong Zhang    Then it is rewritten so the factor B takes seqsbaij format. However the associated
28910c27e3dSHong Zhang    MatCholeskyFactorNumeric_() have not been modified for the cases of bs>1 or !perm_identity,
29010c27e3dSHong Zhang    thus the original code in MSR format is still used for these cases.
29110c27e3dSHong Zhang    The code below should replace MatCholeskyFactorSymbolic_SeqSBAIJ_MSR() whenever
29210c27e3dSHong Zhang    MatCholeskyFactorNumeric_() is modified for using sbaij symbolic factor.
29310c27e3dSHong Zhang   */
294fff829cfSHong Zhang   if (bs > 1){
29598a8e78dSHong Zhang     ierr = MatCholeskyFactorSymbolic_SeqSBAIJ_MSR(A,perm,info,fact);CHKERRQ(ierr);
296fff829cfSHong Zhang     PetscFunctionReturn(0);
297fff829cfSHong Zhang   }
29810c27e3dSHong Zhang 
29998a8e78dSHong Zhang   /* check whether perm is the identity mapping */
30098a8e78dSHong Zhang   ierr = ISIdentity(perm,&perm_identity);CHKERRQ(ierr);
30198a8e78dSHong Zhang 
302fff829cfSHong Zhang   if (perm_identity){
303fff829cfSHong Zhang     a->permute = PETSC_FALSE;
304fff829cfSHong Zhang     ai = a->i; aj = a->j;
305fff829cfSHong Zhang   } else {
306fff829cfSHong Zhang     a->permute = PETSC_TRUE;
307fff829cfSHong Zhang     ierr = MatReorderingSeqSBAIJ(A,perm);CHKERRQ(ierr);
308fff829cfSHong Zhang     ai = a->inew; aj = a->jnew;
309fff829cfSHong Zhang   }
310fff829cfSHong Zhang   ierr = ISGetIndices(perm,&rip);CHKERRQ(ierr);
311fff829cfSHong Zhang 
312fff829cfSHong Zhang   /* initialization */
3137625dc9aSHong Zhang   ierr  = PetscMalloc((mbs+1)*sizeof(PetscInt),&ui);CHKERRQ(ierr);
31498a8e78dSHong Zhang   ui[0] = 0;
31598a8e78dSHong Zhang 
31698a8e78dSHong Zhang   /* jl: linked list for storing indices of the pivot rows
3177625dc9aSHong Zhang      il: il[i] points to the 1st nonzero entry of U(i,k:mbs-1) */
3187625dc9aSHong Zhang   ierr = PetscMalloc((3*mbs+1)*sizeof(PetscInt)+mbs*sizeof(PetscInt*),&jl);CHKERRQ(ierr);
3197625dc9aSHong Zhang   il     = jl + mbs;
3207625dc9aSHong Zhang   cols   = il + mbs;
3217625dc9aSHong Zhang   ui_ptr = (PetscInt**)(cols + mbs);
3227625dc9aSHong Zhang 
3237625dc9aSHong Zhang   for (i=0; i<mbs; i++){
3247625dc9aSHong Zhang     jl[i] = mbs; il[i] = 0;
325fff829cfSHong Zhang   }
326fff829cfSHong Zhang 
32798a8e78dSHong Zhang   /* create and initialize a linked list for storing column indices of the active row k */
3287625dc9aSHong Zhang   nlnk = mbs + 1;
3297625dc9aSHong Zhang   ierr = PetscLLCreate(mbs,mbs,nlnk,lnk,lnkbt);CHKERRQ(ierr);
330fff829cfSHong Zhang 
3317625dc9aSHong Zhang   /* initial FreeSpace size is fill*(ai[mbs]+1) */
3327625dc9aSHong Zhang   ierr = GetMoreSpace((PetscInt)(fill*(ai[mbs]+1)),&free_space);CHKERRQ(ierr);
33398a8e78dSHong Zhang   current_space = free_space;
33498a8e78dSHong Zhang 
3357625dc9aSHong Zhang   for (k=0; k<mbs; k++){  /* for each active row k */
33698a8e78dSHong Zhang     /* initialize lnk by the column indices of row rip[k] of A */
33798a8e78dSHong Zhang     nzk   = 0;
33898a8e78dSHong Zhang     ncols = ai[rip[k]+1] - ai[rip[k]];
3397625dc9aSHong Zhang     for (j=0; j<ncols; j++){
3407625dc9aSHong Zhang       i = *(aj + ai[rip[k]] + j);
3417625dc9aSHong Zhang       cols[j] = rip[i];
3427625dc9aSHong Zhang     }
3437625dc9aSHong Zhang     ierr = PetscLLAdd(ncols,cols,mbs,nlnk,lnk,lnkbt);CHKERRQ(ierr);
34498a8e78dSHong Zhang     nzk += nlnk;
34598a8e78dSHong Zhang 
34698a8e78dSHong Zhang     /* update lnk by computing fill-in for each pivot row to be merged in */
34798a8e78dSHong Zhang     prow = jl[k]; /* 1st pivot row */
348fff829cfSHong Zhang 
349fff829cfSHong Zhang     while (prow < k){
350fff829cfSHong Zhang       nextprow = jl[prow];
35198a8e78dSHong Zhang       /* merge prow into k-th row */
3527625dc9aSHong Zhang       jmin = il[prow] + 1;  /* index of the 2nd nzero entry in U(prow,k:mbs-1) */
35398a8e78dSHong Zhang       jmax = ui[prow+1];
35498a8e78dSHong Zhang       ncols = jmax-jmin;
3557625dc9aSHong Zhang       uj_ptr = ui_ptr[prow] + jmin - ui[prow]; /* points to the 2nd nzero entry in U(prow,k:mbs-1) */
3565a8e39fbSHong Zhang       ierr = PetscLLAddSorted(ncols,uj_ptr,mbs,nlnk,lnk,lnkbt);CHKERRQ(ierr);
35798a8e78dSHong Zhang       nzk += nlnk;
358fff829cfSHong Zhang 
35998a8e78dSHong Zhang       /* update il and jl for prow */
360fff829cfSHong Zhang       if (jmin < jmax){
361fff829cfSHong Zhang         il[prow] = jmin;
3627625dc9aSHong Zhang         j = *uj_ptr; jl[prow] = jl[j]; jl[j] = prow;
363fff829cfSHong Zhang       }
364fff829cfSHong Zhang       prow = nextprow;
365fff829cfSHong Zhang     }
366fff829cfSHong Zhang 
36798a8e78dSHong Zhang     /* if free space is not available, make more free space */
36898a8e78dSHong Zhang     if (current_space->local_remaining<nzk) {
3697625dc9aSHong Zhang       i = mbs - k + 1; /* num of unfactored rows */
37098a8e78dSHong Zhang       i = PetscMin(i*nzk, i*(i-1)); /* i*nzk, i*(i-1): estimated and max additional space needed */
37198a8e78dSHong Zhang       ierr = GetMoreSpace(i,&current_space);CHKERRQ(ierr);
37298a8e78dSHong Zhang       reallocs++;
37398a8e78dSHong Zhang     }
37498a8e78dSHong Zhang 
37598a8e78dSHong Zhang     /* copy data into free space, then initialize lnk */
3767625dc9aSHong Zhang     ierr = PetscLLClean(mbs,mbs,nzk,lnk,current_space->array,lnkbt);CHKERRQ(ierr);
37798a8e78dSHong Zhang 
37898a8e78dSHong Zhang     /* add the k-th row into il and jl */
37998a8e78dSHong Zhang     if (nzk-1 > 0){
3807625dc9aSHong Zhang       i = current_space->array[1]; /* col value of the first nonzero element in U(k, k+1:mbs-1) */
381fff829cfSHong Zhang       jl[k] = jl[i]; jl[i] = k;
38298a8e78dSHong Zhang       il[k] = ui[k] + 1;
383fff829cfSHong Zhang     }
3847625dc9aSHong Zhang     ui_ptr[k] = current_space->array;
38598a8e78dSHong Zhang     current_space->array           += nzk;
38698a8e78dSHong Zhang     current_space->local_used      += nzk;
38798a8e78dSHong Zhang     current_space->local_remaining -= nzk;
388fff829cfSHong Zhang 
38998a8e78dSHong Zhang     ui[k+1] = ui[k] + nzk;
390fff829cfSHong Zhang   }
391fff829cfSHong Zhang 
39263ba0a88SBarry Smith #if defined(PETSC_USE_DEBUG)
3937625dc9aSHong Zhang   if (ai[mbs] != 0) {
3947625dc9aSHong Zhang     PetscReal af = ((PetscReal)ui[mbs])/((PetscReal)ai[mbs]);
39563ba0a88SBarry Smith     ierr = PetscLogInfo((A,"MatCholeskyFactorSymbolic_SeqSBAIJ:Reallocs %D Fill ratio:given %g needed %g\n",reallocs,fill,af));CHKERRQ(ierr);
39663ba0a88SBarry Smith     ierr = PetscLogInfo((A,"MatCholeskyFactorSymbolic_SeqSBAIJ:Run with -pc_cholesky_fill %g or use \n",af));CHKERRQ(ierr);
39763ba0a88SBarry Smith     ierr = PetscLogInfo((A,"MatCholeskyFactorSymbolic_SeqSBAIJ:PCCholeskySetFill(pc,%g) for best performance.\n",af));CHKERRQ(ierr);
398fff829cfSHong Zhang   } else {
39963ba0a88SBarry Smith     ierr = PetscLogInfo((A,"MatCholeskyFactorSymbolic_SeqSBAIJ:Empty matrix.\n"));CHKERRQ(ierr);
400fff829cfSHong Zhang   }
40163ba0a88SBarry Smith #endif
402fff829cfSHong Zhang 
403fff829cfSHong Zhang   ierr = ISRestoreIndices(perm,&rip);CHKERRQ(ierr);
404fff829cfSHong Zhang   ierr = PetscFree(jl);CHKERRQ(ierr);
405fff829cfSHong Zhang 
40698a8e78dSHong Zhang   /* destroy list of free space and other temporary array(s) */
4077625dc9aSHong Zhang   ierr = PetscMalloc((ui[mbs]+1)*sizeof(PetscInt),&uj);CHKERRQ(ierr);
40898a8e78dSHong Zhang   ierr = MakeSpaceContiguous(&free_space,uj);CHKERRQ(ierr);
40998a8e78dSHong Zhang   ierr = PetscLLDestroy(lnk,lnkbt);CHKERRQ(ierr);
410fff829cfSHong Zhang 
41198a8e78dSHong Zhang   /* put together the new matrix in MATSEQSBAIJ format */
4127625dc9aSHong Zhang   ierr = MatCreate(PETSC_COMM_SELF,mbs,mbs,mbs,mbs,fact);CHKERRQ(ierr);
41398a8e78dSHong Zhang   B    = *fact;
41498a8e78dSHong Zhang   ierr = MatSetType(B,MATSEQSBAIJ);CHKERRQ(ierr);
41598a8e78dSHong Zhang   ierr = MatSeqSBAIJSetPreallocation(B,bs,0,PETSC_NULL);CHKERRQ(ierr);
41698a8e78dSHong Zhang 
41798a8e78dSHong Zhang   b = (Mat_SeqSBAIJ*)B->data;
418fff829cfSHong Zhang   ierr = PetscFree(b->imax);CHKERRQ(ierr);
419fff829cfSHong Zhang   b->singlemalloc = PETSC_FALSE;
420fff829cfSHong Zhang   /* the next line frees the default space generated by the Create() */
421fff829cfSHong Zhang   ierr = PetscFree(b->a);CHKERRQ(ierr);
422fff829cfSHong Zhang   ierr = PetscFree(b->ilen);CHKERRQ(ierr);
4237625dc9aSHong Zhang   ierr = PetscMalloc((ui[mbs]+1)*sizeof(MatScalar),&b->a);CHKERRQ(ierr);
42498a8e78dSHong Zhang   b->j    = uj;
42598a8e78dSHong Zhang   b->i    = ui;
426fff829cfSHong Zhang   b->diag = 0;
427fff829cfSHong Zhang   b->ilen = 0;
428fff829cfSHong Zhang   b->imax = 0;
429fff829cfSHong Zhang   b->row  = perm;
430fff829cfSHong Zhang   b->pivotinblocks = PETSC_FALSE; /* need to get from MatFactorInfo */
431fff829cfSHong Zhang   ierr    = PetscObjectReference((PetscObject)perm);CHKERRQ(ierr);
432fff829cfSHong Zhang   b->icol = perm;
433fff829cfSHong Zhang   ierr    = PetscObjectReference((PetscObject)perm);CHKERRQ(ierr);
4347625dc9aSHong Zhang   ierr    = PetscMalloc((mbs+1)*sizeof(PetscScalar),&b->solve_work);CHKERRQ(ierr);
43552e6d16bSBarry Smith   ierr    = PetscLogObjectMemory(B,(ui[mbs]-mbs)*(sizeof(PetscInt)+sizeof(MatScalar)));CHKERRQ(ierr);
4367625dc9aSHong Zhang   b->maxnz = b->nz = ui[mbs];
437fff829cfSHong Zhang 
43898a8e78dSHong Zhang   B->factor                 = FACTOR_CHOLESKY;
43998a8e78dSHong Zhang   B->info.factor_mallocs    = reallocs;
44098a8e78dSHong Zhang   B->info.fill_ratio_given  = fill;
4417625dc9aSHong Zhang   if (ai[mbs] != 0) {
4427625dc9aSHong Zhang     B->info.fill_ratio_needed = ((PetscReal)ui[mbs])/((PetscReal)ai[mbs]);
443fff829cfSHong Zhang   } else {
44498a8e78dSHong Zhang     B->info.fill_ratio_needed = 0.0;
445fff829cfSHong Zhang   }
446fff829cfSHong Zhang 
447fff829cfSHong Zhang   if (perm_identity){
44898a8e78dSHong Zhang     switch (bs) {
44998a8e78dSHong Zhang       case 1:
45098a8e78dSHong Zhang         B->ops->choleskyfactornumeric = MatCholeskyFactorNumeric_SeqSBAIJ_1_NaturalOrdering;
45198a8e78dSHong Zhang         B->ops->solve           = MatSolve_SeqSBAIJ_1_NaturalOrdering;
45263ba0a88SBarry Smith         ierr = PetscLogInfo((A,"MatCholeskyFactorSymbolic_SeqSBAIJ:Using special in-place natural ordering factor and solve BS=1\n"));CHKERRQ(ierr);
45398a8e78dSHong Zhang         break;
45498a8e78dSHong Zhang       case 2:
45598a8e78dSHong Zhang         B->ops->choleskyfactornumeric = MatCholeskyFactorNumeric_SeqSBAIJ_2_NaturalOrdering;
45698a8e78dSHong Zhang         B->ops->solve           = MatSolve_SeqSBAIJ_2_NaturalOrdering;
45763ba0a88SBarry Smith         ierr = PetscLogInfo((A,"MatCholeskyFactorSymbolic_SeqSBAIJ:Using special in-place natural ordering factor and solve BS=2\n"));CHKERRQ(ierr);
45898a8e78dSHong Zhang         break;
45998a8e78dSHong Zhang       case 3:
46098a8e78dSHong Zhang         B->ops->choleskyfactornumeric = MatCholeskyFactorNumeric_SeqSBAIJ_3_NaturalOrdering;
46198a8e78dSHong Zhang         B->ops->solve           = MatSolve_SeqSBAIJ_3_NaturalOrdering;
46263ba0a88SBarry Smith         ierr = PetscLogInfo((A,"MatCholeskyFactorSymbolic_SeqSBAIJ:sing special in-place natural ordering factor and solve BS=3\n"));CHKERRQ(ierr);
46398a8e78dSHong Zhang         break;
46498a8e78dSHong Zhang       case 4:
46598a8e78dSHong Zhang         B->ops->choleskyfactornumeric = MatCholeskyFactorNumeric_SeqSBAIJ_4_NaturalOrdering;
46698a8e78dSHong Zhang         B->ops->solve           = MatSolve_SeqSBAIJ_4_NaturalOrdering;
46763ba0a88SBarry Smith         ierr = PetscLogInfo((A,"MatCholeskyFactorSymbolic_SeqSBAIJ:Using special in-place natural ordering factor and solve BS=4\n"));CHKERRQ(ierr);
46898a8e78dSHong Zhang         break;
46998a8e78dSHong Zhang       case 5:
47098a8e78dSHong Zhang         B->ops->choleskyfactornumeric = MatCholeskyFactorNumeric_SeqSBAIJ_5_NaturalOrdering;
47198a8e78dSHong Zhang         B->ops->solve           = MatSolve_SeqSBAIJ_5_NaturalOrdering;
47263ba0a88SBarry Smith         ierr = PetscLogInfo((A,"MatCholeskyFactorSymbolic_SeqSBAIJ:Using special in-place natural ordering factor and solve BS=5\n"));CHKERRQ(ierr);
47398a8e78dSHong Zhang         break;
47498a8e78dSHong Zhang       case 6:
47598a8e78dSHong Zhang         B->ops->choleskyfactornumeric = MatCholeskyFactorNumeric_SeqSBAIJ_6_NaturalOrdering;
47698a8e78dSHong Zhang         B->ops->solve           = MatSolve_SeqSBAIJ_6_NaturalOrdering;
47763ba0a88SBarry Smith         ierr = PetscLogInfo((A,"MatCholeskyFactorSymbolic_SeqSBAIJ:Using special in-place natural ordering factor and solve BS=6\n"));CHKERRQ(ierr);
47898a8e78dSHong Zhang         break;
47998a8e78dSHong Zhang       case 7:
48098a8e78dSHong Zhang         B->ops->choleskyfactornumeric = MatCholeskyFactorNumeric_SeqSBAIJ_7_NaturalOrdering;
48198a8e78dSHong Zhang         B->ops->solve           = MatSolve_SeqSBAIJ_7_NaturalOrdering;
48263ba0a88SBarry Smith         ierr = PetscLogInfo((A,"MatCholeskyFactorSymbolic_SeqSBAIJ:Using special in-place natural ordering factor and solve BS=7\n"));CHKERRQ(ierr);
48398a8e78dSHong Zhang       break;
48498a8e78dSHong Zhang       default:
48598a8e78dSHong Zhang         B->ops->choleskyfactornumeric = MatCholeskyFactorNumeric_SeqSBAIJ_N_NaturalOrdering;
48698a8e78dSHong Zhang         B->ops->solve           = MatSolve_SeqSBAIJ_N_NaturalOrdering;
48763ba0a88SBarry Smith         ierr = PetscLogInfo((A,"MatCholeskyFactorSymbolic_SeqSBAIJ:Using special in-place natural ordering factor and solve BS>7\n"));CHKERRQ(ierr);
48898a8e78dSHong Zhang       break;
48998a8e78dSHong Zhang     }
49098a8e78dSHong Zhang   }
491064503c5SHong Zhang   PetscFunctionReturn(0);
492064503c5SHong Zhang }
4934a2ae208SSatish Balay #undef __FUNCT__
4944a2ae208SSatish Balay #define __FUNCT__ "MatCholeskyFactorNumeric_SeqSBAIJ_N"
495af281ebdSHong Zhang PetscErrorCode MatCholeskyFactorNumeric_SeqSBAIJ_N(Mat A,MatFactorInfo *info,Mat *B)
49649b5e25fSSatish Balay {
49749b5e25fSSatish Balay   Mat            C = *B;
4984c16a6a6SHong Zhang   Mat_SeqSBAIJ   *a = (Mat_SeqSBAIJ*)A->data,*b = (Mat_SeqSBAIJ *)C->data;
4994c16a6a6SHong Zhang   IS             perm = b->row;
5006849ba73SBarry Smith   PetscErrorCode ierr;
50113f74950SBarry Smith   PetscInt       *perm_ptr,i,j,mbs=a->mbs,*bi=b->i,*bj=b->j;
50213f74950SBarry Smith   PetscInt       *ai,*aj,*a2anew,k,k1,jmin,jmax,*jl,*il,vj,nexti,ili;
50313f74950SBarry Smith   PetscInt       bs=A->bs,bs2 = a->bs2;
5044c16a6a6SHong Zhang   MatScalar      *ba = b->a,*aa,*ap,*dk,*uik;
5054c16a6a6SHong Zhang   MatScalar      *u,*diag,*rtmp,*rtmp_ptr;
50628de702eSHong Zhang   MatScalar      *work;
50713f74950SBarry Smith   PetscInt       *pivots;
5084c16a6a6SHong Zhang 
5094c16a6a6SHong Zhang   PetscFunctionBegin;
5104c16a6a6SHong Zhang   /* initialization */
51182502324SSatish Balay   ierr = PetscMalloc(bs2*mbs*sizeof(MatScalar),&rtmp);CHKERRQ(ierr);
5124c16a6a6SHong Zhang   ierr = PetscMemzero(rtmp,bs2*mbs*sizeof(MatScalar));CHKERRQ(ierr);
51313f74950SBarry Smith   ierr = PetscMalloc(2*mbs*sizeof(PetscInt),&il);CHKERRQ(ierr);
51428de702eSHong Zhang   jl   = il + mbs;
5154c16a6a6SHong Zhang   for (i=0; i<mbs; i++) {
5164c16a6a6SHong Zhang     jl[i] = mbs; il[0] = 0;
5174c16a6a6SHong Zhang   }
518b0a32e0cSBarry Smith   ierr = PetscMalloc((2*bs2+bs)*sizeof(MatScalar),&dk);CHKERRQ(ierr);
51928de702eSHong Zhang   uik  = dk + bs2;
52028de702eSHong Zhang   work = uik + bs2;
52113f74950SBarry Smith   ierr = PetscMalloc(bs*sizeof(PetscInt),&pivots);CHKERRQ(ierr);
5224c16a6a6SHong Zhang 
5234c16a6a6SHong Zhang   ierr  = ISGetIndices(perm,&perm_ptr);CHKERRQ(ierr);
5244c16a6a6SHong Zhang 
5254c16a6a6SHong Zhang   /* check permutation */
5264c16a6a6SHong Zhang   if (!a->permute){
5274c16a6a6SHong Zhang     ai = a->i; aj = a->j; aa = a->a;
5284c16a6a6SHong Zhang   } else {
5294c16a6a6SHong Zhang     ai   = a->inew; aj = a->jnew;
53082502324SSatish Balay     ierr = PetscMalloc(bs2*ai[mbs]*sizeof(MatScalar),&aa);CHKERRQ(ierr);
5314c16a6a6SHong Zhang     ierr = PetscMemcpy(aa,a->a,bs2*ai[mbs]*sizeof(MatScalar));CHKERRQ(ierr);
53213f74950SBarry Smith     ierr = PetscMalloc(ai[mbs]*sizeof(PetscInt),&a2anew);CHKERRQ(ierr);
53313f74950SBarry Smith     ierr = PetscMemcpy(a2anew,a->a2anew,(ai[mbs])*sizeof(PetscInt));CHKERRQ(ierr);
5344c16a6a6SHong Zhang 
5354c16a6a6SHong Zhang     for (i=0; i<mbs; i++){
5364c16a6a6SHong Zhang       jmin = ai[i]; jmax = ai[i+1];
5374c16a6a6SHong Zhang       for (j=jmin; j<jmax; j++){
5384c16a6a6SHong Zhang         while (a2anew[j] != j){
5394c16a6a6SHong Zhang           k = a2anew[j]; a2anew[j] = a2anew[k]; a2anew[k] = k;
5404c16a6a6SHong Zhang           for (k1=0; k1<bs2; k1++){
5414c16a6a6SHong Zhang             dk[k1]       = aa[k*bs2+k1];
5424c16a6a6SHong Zhang             aa[k*bs2+k1] = aa[j*bs2+k1];
5434c16a6a6SHong Zhang             aa[j*bs2+k1] = dk[k1];
5444c16a6a6SHong Zhang           }
5454c16a6a6SHong Zhang         }
5464c16a6a6SHong Zhang         /* transform columnoriented blocks that lie in the lower triangle to roworiented blocks */
5474c16a6a6SHong Zhang         if (i > aj[j]){
5484c16a6a6SHong Zhang           /* printf("change orientation, row: %d, col: %d\n",i,aj[j]); */
5494c16a6a6SHong Zhang           ap = aa + j*bs2;                     /* ptr to the beginning of j-th block of aa */
5504c16a6a6SHong Zhang           for (k=0; k<bs2; k++) dk[k] = ap[k]; /* dk <- j-th block of aa */
5514c16a6a6SHong Zhang           for (k=0; k<bs; k++){               /* j-th block of aa <- dk^T */
5524c16a6a6SHong Zhang             for (k1=0; k1<bs; k1++) *ap++ = dk[k + bs*k1];
5534c16a6a6SHong Zhang           }
5544c16a6a6SHong Zhang         }
5554c16a6a6SHong Zhang       }
5564c16a6a6SHong Zhang     }
557323b833fSBarry Smith     ierr = PetscFree(a2anew);CHKERRQ(ierr);
5584c16a6a6SHong Zhang   }
5594c16a6a6SHong Zhang 
5604c16a6a6SHong Zhang   /* for each row k */
5614c16a6a6SHong Zhang   for (k = 0; k<mbs; k++){
5624c16a6a6SHong Zhang 
5634c16a6a6SHong Zhang     /*initialize k-th row with elements nonzero in row perm(k) of A */
5644c16a6a6SHong Zhang     jmin = ai[perm_ptr[k]]; jmax = ai[perm_ptr[k]+1];
565057f5ba7SHong Zhang 
5664c16a6a6SHong Zhang     ap = aa + jmin*bs2;
5674c16a6a6SHong Zhang     for (j = jmin; j < jmax; j++){
5684c16a6a6SHong Zhang       vj = perm_ptr[aj[j]];         /* block col. index */
5694c16a6a6SHong Zhang       rtmp_ptr = rtmp + vj*bs2;
5704c16a6a6SHong Zhang       for (i=0; i<bs2; i++) *rtmp_ptr++ = *ap++;
5714c16a6a6SHong Zhang     }
5724c16a6a6SHong Zhang 
5734c16a6a6SHong Zhang     /* modify k-th row by adding in those rows i with U(i,k) != 0 */
5744c16a6a6SHong Zhang     ierr = PetscMemcpy(dk,rtmp+k*bs2,bs2*sizeof(MatScalar));CHKERRQ(ierr);
5754c16a6a6SHong Zhang     i = jl[k]; /* first row to be added to k_th row  */
5764c16a6a6SHong Zhang 
577057f5ba7SHong Zhang     while (i < k){
5784c16a6a6SHong Zhang       nexti = jl[i]; /* next row to be added to k_th row */
5794c16a6a6SHong Zhang 
5804c16a6a6SHong Zhang       /* compute multiplier */
5814c16a6a6SHong Zhang       ili = il[i];  /* index of first nonzero element in U(i,k:bms-1) */
5824c16a6a6SHong Zhang 
5834c16a6a6SHong Zhang       /* uik = -inv(Di)*U_bar(i,k) */
5844c16a6a6SHong Zhang       diag = ba + i*bs2;
5854c16a6a6SHong Zhang       u    = ba + ili*bs2;
5864c16a6a6SHong Zhang       ierr = PetscMemzero(uik,bs2*sizeof(MatScalar));CHKERRQ(ierr);
5874c16a6a6SHong Zhang       Kernel_A_gets_A_minus_B_times_C(bs,uik,diag,u);
5884c16a6a6SHong Zhang 
5894c16a6a6SHong Zhang       /* update D(k) += -U(i,k)^T * U_bar(i,k) */
5904c16a6a6SHong Zhang       Kernel_A_gets_A_plus_Btranspose_times_C(bs,dk,uik,u);
5914c16a6a6SHong Zhang 
5924c16a6a6SHong Zhang       /* update -U(i,k) */
5934c16a6a6SHong Zhang       ierr = PetscMemcpy(ba+ili*bs2,uik,bs2*sizeof(MatScalar));CHKERRQ(ierr);
5944c16a6a6SHong Zhang 
5954c16a6a6SHong Zhang       /* add multiple of row i to k-th row ... */
5964c16a6a6SHong Zhang       jmin = ili + 1; jmax = bi[i+1];
5974c16a6a6SHong Zhang       if (jmin < jmax){
5984c16a6a6SHong Zhang         for (j=jmin; j<jmax; j++) {
5994c16a6a6SHong Zhang           /* rtmp += -U(i,k)^T * U_bar(i,j) */
6004c16a6a6SHong Zhang           rtmp_ptr = rtmp + bj[j]*bs2;
6014c16a6a6SHong Zhang           u = ba + j*bs2;
6024c16a6a6SHong Zhang           Kernel_A_gets_A_plus_Btranspose_times_C(bs,rtmp_ptr,uik,u);
6034c16a6a6SHong Zhang         }
6044c16a6a6SHong Zhang 
6054c16a6a6SHong Zhang         /* ... add i to row list for next nonzero entry */
6064c16a6a6SHong Zhang         il[i] = jmin;             /* update il(i) in column k+1, ... mbs-1 */
6074c16a6a6SHong Zhang         j     = bj[jmin];
6084c16a6a6SHong Zhang         jl[i] = jl[j]; jl[j] = i; /* update jl */
6094c16a6a6SHong Zhang       }
6104c16a6a6SHong Zhang       i = nexti;
6114c16a6a6SHong Zhang     }
6124c16a6a6SHong Zhang 
6134c16a6a6SHong Zhang     /* save nonzero entries in k-th row of U ... */
6144c16a6a6SHong Zhang 
6154c16a6a6SHong Zhang     /* invert diagonal block */
6164c16a6a6SHong Zhang     diag = ba+k*bs2;
6174c16a6a6SHong Zhang     ierr = PetscMemcpy(diag,dk,bs2*sizeof(MatScalar));CHKERRQ(ierr);
618d230e6fdSBarry Smith     ierr = Kernel_A_gets_inverse_A(bs,diag,pivots,work);CHKERRQ(ierr);
6194c16a6a6SHong Zhang 
6204c16a6a6SHong Zhang     jmin = bi[k]; jmax = bi[k+1];
6214c16a6a6SHong Zhang     if (jmin < jmax) {
6224c16a6a6SHong Zhang       for (j=jmin; j<jmax; j++){
6234c16a6a6SHong Zhang          vj = bj[j];           /* block col. index of U */
6244c16a6a6SHong Zhang          u   = ba + j*bs2;
6254c16a6a6SHong Zhang          rtmp_ptr = rtmp + vj*bs2;
6264c16a6a6SHong Zhang          for (k1=0; k1<bs2; k1++){
6274c16a6a6SHong Zhang            *u++        = *rtmp_ptr;
6284c16a6a6SHong Zhang            *rtmp_ptr++ = 0.0;
6294c16a6a6SHong Zhang          }
6304c16a6a6SHong Zhang       }
6314c16a6a6SHong Zhang 
6324c16a6a6SHong Zhang       /* ... add k to row list for first nonzero entry in k-th row */
6334c16a6a6SHong Zhang       il[k] = jmin;
6344c16a6a6SHong Zhang       i     = bj[jmin];
6354c16a6a6SHong Zhang       jl[k] = jl[i]; jl[i] = k;
6364c16a6a6SHong Zhang     }
6374c16a6a6SHong Zhang   }
6384c16a6a6SHong Zhang 
6394c16a6a6SHong Zhang   ierr = PetscFree(rtmp);CHKERRQ(ierr);
6404c16a6a6SHong Zhang   ierr = PetscFree(il);CHKERRQ(ierr);
6414c16a6a6SHong Zhang   ierr = PetscFree(dk);CHKERRQ(ierr);
6424c16a6a6SHong Zhang   ierr = PetscFree(pivots);CHKERRQ(ierr);
6434c16a6a6SHong Zhang   if (a->permute){
6444c16a6a6SHong Zhang     ierr = PetscFree(aa);CHKERRQ(ierr);
6454c16a6a6SHong Zhang   }
6464c16a6a6SHong Zhang 
6474c16a6a6SHong Zhang   ierr = ISRestoreIndices(perm,&perm_ptr);CHKERRQ(ierr);
6484c16a6a6SHong Zhang   C->factor       = FACTOR_CHOLESKY;
6494c16a6a6SHong Zhang   C->assembled    = PETSC_TRUE;
6504c16a6a6SHong Zhang   C->preallocated = PETSC_TRUE;
651efee365bSSatish Balay   ierr = PetscLogFlops(1.3333*bs*bs2*b->mbs);CHKERRQ(ierr); /* from inverting diagonal blocks */
6524c16a6a6SHong Zhang   PetscFunctionReturn(0);
6534c16a6a6SHong Zhang }
654d4edadd4SHong Zhang 
6554a2ae208SSatish Balay #undef __FUNCT__
6564a2ae208SSatish Balay #define __FUNCT__ "MatCholeskyFactorNumeric_SeqSBAIJ_N_NaturalOrdering"
657af281ebdSHong Zhang PetscErrorCode MatCholeskyFactorNumeric_SeqSBAIJ_N_NaturalOrdering(Mat A,MatFactorInfo *info,Mat *B)
658671cb588SHong Zhang {
659671cb588SHong Zhang   Mat            C = *B;
660671cb588SHong Zhang   Mat_SeqSBAIJ   *a = (Mat_SeqSBAIJ*)A->data,*b = (Mat_SeqSBAIJ *)C->data;
661dfbe8321SBarry Smith   PetscErrorCode ierr;
66213f74950SBarry Smith   PetscInt       i,j,mbs=a->mbs,*bi=b->i,*bj=b->j;
66313f74950SBarry Smith   PetscInt       *ai,*aj,k,k1,jmin,jmax,*jl,*il,vj,nexti,ili;
66413f74950SBarry Smith   PetscInt       bs=A->bs,bs2 = a->bs2;
665671cb588SHong Zhang   MatScalar      *ba = b->a,*aa,*ap,*dk,*uik;
666671cb588SHong Zhang   MatScalar      *u,*diag,*rtmp,*rtmp_ptr;
66728de702eSHong Zhang   MatScalar      *work;
66813f74950SBarry Smith   PetscInt       *pivots;
669671cb588SHong Zhang 
670671cb588SHong Zhang   PetscFunctionBegin;
67182502324SSatish Balay   ierr = PetscMalloc(bs2*mbs*sizeof(MatScalar),&rtmp);CHKERRQ(ierr);
672671cb588SHong Zhang   ierr = PetscMemzero(rtmp,bs2*mbs*sizeof(MatScalar));CHKERRQ(ierr);
67313f74950SBarry Smith   ierr = PetscMalloc(2*mbs*sizeof(PetscInt),&il);CHKERRQ(ierr);
67428de702eSHong Zhang   jl   = il + mbs;
675671cb588SHong Zhang   for (i=0; i<mbs; i++) {
676671cb588SHong Zhang     jl[i] = mbs; il[0] = 0;
677671cb588SHong Zhang   }
678b0a32e0cSBarry Smith   ierr = PetscMalloc((2*bs2+bs)*sizeof(MatScalar),&dk);CHKERRQ(ierr);
67928de702eSHong Zhang   uik  = dk + bs2;
68028de702eSHong Zhang   work = uik + bs2;
68113f74950SBarry Smith   ierr = PetscMalloc(bs*sizeof(PetscInt),&pivots);CHKERRQ(ierr);
682671cb588SHong Zhang 
683671cb588SHong Zhang   ai = a->i; aj = a->j; aa = a->a;
684671cb588SHong Zhang 
685671cb588SHong Zhang   /* for each row k */
686671cb588SHong Zhang   for (k = 0; k<mbs; k++){
687671cb588SHong Zhang 
688671cb588SHong Zhang     /*initialize k-th row with elements nonzero in row k of A */
689671cb588SHong Zhang     jmin = ai[k]; jmax = ai[k+1];
690671cb588SHong Zhang     ap = aa + jmin*bs2;
691671cb588SHong Zhang     for (j = jmin; j < jmax; j++){
692671cb588SHong Zhang       vj = aj[j];         /* block col. index */
693671cb588SHong Zhang       rtmp_ptr = rtmp + vj*bs2;
694671cb588SHong Zhang       for (i=0; i<bs2; i++) *rtmp_ptr++ = *ap++;
695671cb588SHong Zhang     }
696671cb588SHong Zhang 
697671cb588SHong Zhang     /* modify k-th row by adding in those rows i with U(i,k) != 0 */
698671cb588SHong Zhang     ierr = PetscMemcpy(dk,rtmp+k*bs2,bs2*sizeof(MatScalar));CHKERRQ(ierr);
699671cb588SHong Zhang     i = jl[k]; /* first row to be added to k_th row  */
700671cb588SHong Zhang 
701057f5ba7SHong Zhang     while (i < k){
702671cb588SHong Zhang       nexti = jl[i]; /* next row to be added to k_th row */
703671cb588SHong Zhang 
704671cb588SHong Zhang       /* compute multiplier */
705671cb588SHong Zhang       ili = il[i];  /* index of first nonzero element in U(i,k:bms-1) */
706671cb588SHong Zhang 
707671cb588SHong Zhang       /* uik = -inv(Di)*U_bar(i,k) */
708671cb588SHong Zhang       diag = ba + i*bs2;
709671cb588SHong Zhang       u    = ba + ili*bs2;
710671cb588SHong Zhang       ierr = PetscMemzero(uik,bs2*sizeof(MatScalar));CHKERRQ(ierr);
711671cb588SHong Zhang       Kernel_A_gets_A_minus_B_times_C(bs,uik,diag,u);
712671cb588SHong Zhang 
713671cb588SHong Zhang       /* update D(k) += -U(i,k)^T * U_bar(i,k) */
714671cb588SHong Zhang       Kernel_A_gets_A_plus_Btranspose_times_C(bs,dk,uik,u);
715671cb588SHong Zhang 
716671cb588SHong Zhang       /* update -U(i,k) */
717671cb588SHong Zhang       ierr = PetscMemcpy(ba+ili*bs2,uik,bs2*sizeof(MatScalar));CHKERRQ(ierr);
718671cb588SHong Zhang 
719671cb588SHong Zhang       /* add multiple of row i to k-th row ... */
720671cb588SHong Zhang       jmin = ili + 1; jmax = bi[i+1];
721671cb588SHong Zhang       if (jmin < jmax){
722671cb588SHong Zhang         for (j=jmin; j<jmax; j++) {
723671cb588SHong Zhang           /* rtmp += -U(i,k)^T * U_bar(i,j) */
724671cb588SHong Zhang           rtmp_ptr = rtmp + bj[j]*bs2;
725671cb588SHong Zhang           u = ba + j*bs2;
726671cb588SHong Zhang           Kernel_A_gets_A_plus_Btranspose_times_C(bs,rtmp_ptr,uik,u);
727671cb588SHong Zhang         }
728671cb588SHong Zhang 
729671cb588SHong Zhang         /* ... add i to row list for next nonzero entry */
730671cb588SHong Zhang         il[i] = jmin;             /* update il(i) in column k+1, ... mbs-1 */
731671cb588SHong Zhang         j     = bj[jmin];
732671cb588SHong Zhang         jl[i] = jl[j]; jl[j] = i; /* update jl */
733671cb588SHong Zhang       }
734671cb588SHong Zhang       i = nexti;
735671cb588SHong Zhang     }
736671cb588SHong Zhang 
737671cb588SHong Zhang     /* save nonzero entries in k-th row of U ... */
738671cb588SHong Zhang 
739671cb588SHong Zhang     /* invert diagonal block */
740671cb588SHong Zhang     diag = ba+k*bs2;
741671cb588SHong Zhang     ierr = PetscMemcpy(diag,dk,bs2*sizeof(MatScalar));CHKERRQ(ierr);
742d230e6fdSBarry Smith     ierr = Kernel_A_gets_inverse_A(bs,diag,pivots,work);CHKERRQ(ierr);
743671cb588SHong Zhang 
744671cb588SHong Zhang     jmin = bi[k]; jmax = bi[k+1];
745671cb588SHong Zhang     if (jmin < jmax) {
746671cb588SHong Zhang       for (j=jmin; j<jmax; j++){
747671cb588SHong Zhang          vj = bj[j];           /* block col. index of U */
748671cb588SHong Zhang          u   = ba + j*bs2;
749671cb588SHong Zhang          rtmp_ptr = rtmp + vj*bs2;
750671cb588SHong Zhang          for (k1=0; k1<bs2; k1++){
751671cb588SHong Zhang            *u++        = *rtmp_ptr;
752671cb588SHong Zhang            *rtmp_ptr++ = 0.0;
753671cb588SHong Zhang          }
754671cb588SHong Zhang       }
755671cb588SHong Zhang 
756671cb588SHong Zhang       /* ... add k to row list for first nonzero entry in k-th row */
757671cb588SHong Zhang       il[k] = jmin;
758671cb588SHong Zhang       i     = bj[jmin];
759671cb588SHong Zhang       jl[k] = jl[i]; jl[i] = k;
760671cb588SHong Zhang     }
761671cb588SHong Zhang   }
762671cb588SHong Zhang 
763671cb588SHong Zhang   ierr = PetscFree(rtmp);CHKERRQ(ierr);
764671cb588SHong Zhang   ierr = PetscFree(il);CHKERRQ(ierr);
765671cb588SHong Zhang   ierr = PetscFree(dk);CHKERRQ(ierr);
766671cb588SHong Zhang   ierr = PetscFree(pivots);CHKERRQ(ierr);
767671cb588SHong Zhang 
768671cb588SHong Zhang   C->factor    = FACTOR_CHOLESKY;
769671cb588SHong Zhang   C->assembled = PETSC_TRUE;
770671cb588SHong Zhang   C->preallocated = PETSC_TRUE;
771efee365bSSatish Balay   ierr = PetscLogFlops(1.3333*bs*bs2*b->mbs);CHKERRQ(ierr); /* from inverting diagonal blocks */
772671cb588SHong Zhang   PetscFunctionReturn(0);
773671cb588SHong Zhang }
774671cb588SHong Zhang 
77549b5e25fSSatish Balay /*
776fcf159c0SHong Zhang     Numeric U^T*D*U factorization for SBAIJ format. Modified from SNF of YSMP.
777cc0c071aSHong Zhang     Version for blocks 2 by 2.
77849b5e25fSSatish Balay */
7794a2ae208SSatish Balay #undef __FUNCT__
7804a2ae208SSatish Balay #define __FUNCT__ "MatCholeskyFactorNumeric_SeqSBAIJ_2"
781af281ebdSHong Zhang PetscErrorCode MatCholeskyFactorNumeric_SeqSBAIJ_2(Mat A,MatFactorInfo *info,Mat *B)
78249b5e25fSSatish Balay {
78349b5e25fSSatish Balay   Mat            C = *B;
78491602c66SHong Zhang   Mat_SeqSBAIJ   *a = (Mat_SeqSBAIJ*)A->data,*b = (Mat_SeqSBAIJ *)C->data;
785cc0c071aSHong Zhang   IS             perm = b->row;
7866849ba73SBarry Smith   PetscErrorCode ierr;
78713f74950SBarry Smith   PetscInt       *perm_ptr,i,j,mbs=a->mbs,*bi=b->i,*bj=b->j;
78813f74950SBarry Smith   PetscInt       *ai,*aj,*a2anew,k,k1,jmin,jmax,*jl,*il,vj,nexti,ili;
789a1723e09SHong Zhang   MatScalar      *ba = b->a,*aa,*ap,*dk,*uik;
790cc0c071aSHong Zhang   MatScalar      *u,*diag,*rtmp,*rtmp_ptr;
79149b5e25fSSatish Balay 
79249b5e25fSSatish Balay   PetscFunctionBegin;
79391602c66SHong Zhang   /* initialization */
79491602c66SHong Zhang   /* il and jl record the first nonzero element in each row of the accessing
79591602c66SHong Zhang      window U(0:k, k:mbs-1).
79691602c66SHong Zhang      jl:    list of rows to be added to uneliminated rows
79791602c66SHong Zhang             i>= k: jl(i) is the first row to be added to row i
79891602c66SHong Zhang             i<  k: jl(i) is the row following row i in some list of rows
79991602c66SHong Zhang             jl(i) = mbs indicates the end of a list
80091602c66SHong Zhang      il(i): points to the first nonzero element in columns k,...,mbs-1 of
80191602c66SHong Zhang             row i of U */
80282502324SSatish Balay   ierr = PetscMalloc(4*mbs*sizeof(MatScalar),&rtmp);CHKERRQ(ierr);
803cc0c071aSHong Zhang   ierr = PetscMemzero(rtmp,4*mbs*sizeof(MatScalar));CHKERRQ(ierr);
80413f74950SBarry Smith   ierr = PetscMalloc(2*mbs*sizeof(PetscInt),&il);CHKERRQ(ierr);
80528de702eSHong Zhang   jl   = il + mbs;
80691602c66SHong Zhang   for (i=0; i<mbs; i++) {
8073845f261SHong Zhang     jl[i] = mbs; il[0] = 0;
80891602c66SHong Zhang   }
80982502324SSatish Balay   ierr = PetscMalloc(8*sizeof(MatScalar),&dk);CHKERRQ(ierr);
81028de702eSHong Zhang   uik  = dk + 4;
811cc0c071aSHong Zhang   ierr = ISGetIndices(perm,&perm_ptr);CHKERRQ(ierr);
812cc0c071aSHong Zhang 
813cc0c071aSHong Zhang   /* check permutation */
814cc0c071aSHong Zhang   if (!a->permute){
815cc0c071aSHong Zhang     ai = a->i; aj = a->j; aa = a->a;
816cc0c071aSHong Zhang   } else {
817cc0c071aSHong Zhang     ai   = a->inew; aj = a->jnew;
81882502324SSatish Balay     ierr = PetscMalloc(4*ai[mbs]*sizeof(MatScalar),&aa);CHKERRQ(ierr);
819cc0c071aSHong Zhang     ierr = PetscMemcpy(aa,a->a,4*ai[mbs]*sizeof(MatScalar));CHKERRQ(ierr);
82013f74950SBarry Smith     ierr = PetscMalloc(ai[mbs]*sizeof(PetscInt),&a2anew);CHKERRQ(ierr);
82113f74950SBarry Smith     ierr = PetscMemcpy(a2anew,a->a2anew,(ai[mbs])*sizeof(PetscInt));CHKERRQ(ierr);
822cc0c071aSHong Zhang 
823cc0c071aSHong Zhang     for (i=0; i<mbs; i++){
824cc0c071aSHong Zhang       jmin = ai[i]; jmax = ai[i+1];
825cc0c071aSHong Zhang       for (j=jmin; j<jmax; j++){
826cc0c071aSHong Zhang         while (a2anew[j] != j){
827cc0c071aSHong Zhang           k = a2anew[j]; a2anew[j] = a2anew[k]; a2anew[k] = k;
828cc0c071aSHong Zhang           for (k1=0; k1<4; k1++){
829cc0c071aSHong Zhang             dk[k1]       = aa[k*4+k1];
830cc0c071aSHong Zhang             aa[k*4+k1] = aa[j*4+k1];
831cc0c071aSHong Zhang             aa[j*4+k1] = dk[k1];
832cc0c071aSHong Zhang           }
833cc0c071aSHong Zhang         }
834cc0c071aSHong Zhang         /* transform columnoriented blocks that lie in the lower triangle to roworiented blocks */
835cc0c071aSHong Zhang         if (i > aj[j]){
836a1723e09SHong Zhang           /* printf("change orientation, row: %d, col: %d\n",i,aj[j]); */
837cc0c071aSHong Zhang           ap = aa + j*4;     /* ptr to the beginning of the block */
838cc0c071aSHong Zhang           dk[1] = ap[1];     /* swap ap[1] and ap[2] */
839cc0c071aSHong Zhang           ap[1] = ap[2];
840cc0c071aSHong Zhang           ap[2] = dk[1];
841cc0c071aSHong Zhang         }
842cc0c071aSHong Zhang       }
843cc0c071aSHong Zhang     }
844ac355199SBarry Smith     ierr = PetscFree(a2anew);CHKERRQ(ierr);
845cc0c071aSHong Zhang   }
8463845f261SHong Zhang 
84791602c66SHong Zhang   /* for each row k */
84891602c66SHong Zhang   for (k = 0; k<mbs; k++){
84991602c66SHong Zhang 
85091602c66SHong Zhang     /*initialize k-th row with elements nonzero in row perm(k) of A */
851cc0c071aSHong Zhang     jmin = ai[perm_ptr[k]]; jmax = ai[perm_ptr[k]+1];
852cc0c071aSHong Zhang     ap = aa + jmin*4;
85391602c66SHong Zhang     for (j = jmin; j < jmax; j++){
854cc0c071aSHong Zhang       vj = perm_ptr[aj[j]];         /* block col. index */
855cc0c071aSHong Zhang       rtmp_ptr = rtmp + vj*4;
856cc0c071aSHong Zhang       for (i=0; i<4; i++) *rtmp_ptr++ = *ap++;
85791602c66SHong Zhang     }
85891602c66SHong Zhang 
85991602c66SHong Zhang     /* modify k-th row by adding in those rows i with U(i,k) != 0 */
860cc0c071aSHong Zhang     ierr = PetscMemcpy(dk,rtmp+k*4,4*sizeof(MatScalar));CHKERRQ(ierr);
86191602c66SHong Zhang     i = jl[k]; /* first row to be added to k_th row  */
86291602c66SHong Zhang 
863057f5ba7SHong Zhang     while (i < k){
86491602c66SHong Zhang       nexti = jl[i]; /* next row to be added to k_th row */
86591602c66SHong Zhang 
8663845f261SHong Zhang       /* compute multiplier */
86791602c66SHong Zhang       ili = il[i];  /* index of first nonzero element in U(i,k:bms-1) */
8683845f261SHong Zhang 
8693845f261SHong Zhang       /* uik = -inv(Di)*U_bar(i,k): - ba[ili]*ba[i] */
870cc0c071aSHong Zhang       diag = ba + i*4;
871cc0c071aSHong Zhang       u    = ba + ili*4;
872cc0c071aSHong Zhang       uik[0] = -(diag[0]*u[0] + diag[2]*u[1]);
873cc0c071aSHong Zhang       uik[1] = -(diag[1]*u[0] + diag[3]*u[1]);
874cc0c071aSHong Zhang       uik[2] = -(diag[0]*u[2] + diag[2]*u[3]);
875cc0c071aSHong Zhang       uik[3] = -(diag[1]*u[2] + diag[3]*u[3]);
8763845f261SHong Zhang 
8773845f261SHong Zhang       /* update D(k) += -U(i,k)^T * U_bar(i,k): dk += uik*ba[ili] */
878cc0c071aSHong Zhang       dk[0] += uik[0]*u[0] + uik[1]*u[1];
879cc0c071aSHong Zhang       dk[1] += uik[2]*u[0] + uik[3]*u[1];
880cc0c071aSHong Zhang       dk[2] += uik[0]*u[2] + uik[1]*u[3];
881cc0c071aSHong Zhang       dk[3] += uik[2]*u[2] + uik[3]*u[3];
8823845f261SHong Zhang 
8833845f261SHong Zhang       /* update -U(i,k): ba[ili] = uik */
884cc0c071aSHong Zhang       ierr = PetscMemcpy(ba+ili*4,uik,4*sizeof(MatScalar));CHKERRQ(ierr);
88591602c66SHong Zhang 
88691602c66SHong Zhang       /* add multiple of row i to k-th row ... */
88791602c66SHong Zhang       jmin = ili + 1; jmax = bi[i+1];
88891602c66SHong Zhang       if (jmin < jmax){
8893845f261SHong Zhang         for (j=jmin; j<jmax; j++) {
8903845f261SHong Zhang           /* rtmp += -U(i,k)^T * U_bar(i,j): rtmp[bj[j]] += uik*ba[j]; */
891cc0c071aSHong Zhang           rtmp_ptr = rtmp + bj[j]*4;
892cc0c071aSHong Zhang           u = ba + j*4;
893cc0c071aSHong Zhang           rtmp_ptr[0] += uik[0]*u[0] + uik[1]*u[1];
894cc0c071aSHong Zhang           rtmp_ptr[1] += uik[2]*u[0] + uik[3]*u[1];
895cc0c071aSHong Zhang           rtmp_ptr[2] += uik[0]*u[2] + uik[1]*u[3];
896cc0c071aSHong Zhang           rtmp_ptr[3] += uik[2]*u[2] + uik[3]*u[3];
8973845f261SHong Zhang         }
8983845f261SHong Zhang 
89991602c66SHong Zhang         /* ... add i to row list for next nonzero entry */
90091602c66SHong Zhang         il[i] = jmin;             /* update il(i) in column k+1, ... mbs-1 */
90191602c66SHong Zhang         j     = bj[jmin];
90291602c66SHong Zhang         jl[i] = jl[j]; jl[j] = i; /* update jl */
90391602c66SHong Zhang       }
904a1723e09SHong Zhang       i = nexti;
90591602c66SHong Zhang     }
906cc0c071aSHong Zhang 
90791602c66SHong Zhang     /* save nonzero entries in k-th row of U ... */
9083845f261SHong Zhang 
909cc0c071aSHong Zhang     /* invert diagonal block */
910cc0c071aSHong Zhang     diag = ba+k*4;
911cc0c071aSHong Zhang     ierr = PetscMemcpy(diag,dk,4*sizeof(MatScalar));CHKERRQ(ierr);
9123845f261SHong Zhang     ierr = Kernel_A_gets_inverse_A_2(diag);CHKERRQ(ierr);
9133845f261SHong Zhang 
91491602c66SHong Zhang     jmin = bi[k]; jmax = bi[k+1];
91591602c66SHong Zhang     if (jmin < jmax) {
91691602c66SHong Zhang       for (j=jmin; j<jmax; j++){
917cc0c071aSHong Zhang          vj = bj[j];           /* block col. index of U */
918cc0c071aSHong Zhang          u   = ba + j*4;
919cc0c071aSHong Zhang          rtmp_ptr = rtmp + vj*4;
920cc0c071aSHong Zhang          for (k1=0; k1<4; k1++){
921cc0c071aSHong Zhang            *u++        = *rtmp_ptr;
922cc0c071aSHong Zhang            *rtmp_ptr++ = 0.0;
923cc0c071aSHong Zhang          }
924cc0c071aSHong Zhang       }
9253845f261SHong Zhang 
92691602c66SHong Zhang       /* ... add k to row list for first nonzero entry in k-th row */
92791602c66SHong Zhang       il[k] = jmin;
92891602c66SHong Zhang       i     = bj[jmin];
92991602c66SHong Zhang       jl[k] = jl[i]; jl[i] = k;
93091602c66SHong Zhang     }
93191602c66SHong Zhang   }
9323845f261SHong Zhang 
93349b5e25fSSatish Balay   ierr = PetscFree(rtmp);CHKERRQ(ierr);
93491602c66SHong Zhang   ierr = PetscFree(il);CHKERRQ(ierr);
9353845f261SHong Zhang   ierr = PetscFree(dk);CHKERRQ(ierr);
93691602c66SHong Zhang   if (a->permute) {
93791602c66SHong Zhang     ierr = PetscFree(aa);CHKERRQ(ierr);
93891602c66SHong Zhang   }
939cc0c071aSHong Zhang   ierr = ISRestoreIndices(perm,&perm_ptr);CHKERRQ(ierr);
94091602c66SHong Zhang   C->factor    = FACTOR_CHOLESKY;
94149b5e25fSSatish Balay   C->assembled = PETSC_TRUE;
9425c0bcdfcSHong Zhang   C->preallocated = PETSC_TRUE;
943efee365bSSatish Balay   ierr = PetscLogFlops(1.3333*8*b->mbs);CHKERRQ(ierr); /* from inverting diagonal blocks */
94449b5e25fSSatish Balay   PetscFunctionReturn(0);
94549b5e25fSSatish Balay }
94691602c66SHong Zhang 
94749b5e25fSSatish Balay /*
94849b5e25fSSatish Balay       Version for when blocks are 2 by 2 Using natural ordering
94949b5e25fSSatish Balay */
9504a2ae208SSatish Balay #undef __FUNCT__
9514a2ae208SSatish Balay #define __FUNCT__ "MatCholeskyFactorNumeric_SeqSBAIJ_2_NaturalOrdering"
952af281ebdSHong Zhang PetscErrorCode MatCholeskyFactorNumeric_SeqSBAIJ_2_NaturalOrdering(Mat A,MatFactorInfo *info,Mat *B)
95349b5e25fSSatish Balay {
95449b5e25fSSatish Balay   Mat            C = *B;
955ab27746eSHong Zhang   Mat_SeqSBAIJ   *a = (Mat_SeqSBAIJ*)A->data,*b = (Mat_SeqSBAIJ *)C->data;
956dfbe8321SBarry Smith   PetscErrorCode ierr;
95713f74950SBarry Smith   PetscInt       i,j,mbs=a->mbs,*bi=b->i,*bj=b->j;
95813f74950SBarry Smith   PetscInt       *ai,*aj,k,k1,jmin,jmax,*jl,*il,vj,nexti,ili;
959ab27746eSHong Zhang   MatScalar      *ba = b->a,*aa,*ap,*dk,*uik;
960ab27746eSHong Zhang   MatScalar      *u,*diag,*rtmp,*rtmp_ptr;
96149b5e25fSSatish Balay 
96249b5e25fSSatish Balay   PetscFunctionBegin;
963ab27746eSHong Zhang   /* initialization */
964ab27746eSHong Zhang   /* il and jl record the first nonzero element in each row of the accessing
965ab27746eSHong Zhang      window U(0:k, k:mbs-1).
966ab27746eSHong Zhang      jl:    list of rows to be added to uneliminated rows
967ab27746eSHong Zhang             i>= k: jl(i) is the first row to be added to row i
968ab27746eSHong Zhang             i<  k: jl(i) is the row following row i in some list of rows
969ab27746eSHong Zhang             jl(i) = mbs indicates the end of a list
970ab27746eSHong Zhang      il(i): points to the first nonzero element in columns k,...,mbs-1 of
971ab27746eSHong Zhang             row i of U */
97282502324SSatish Balay   ierr = PetscMalloc(4*mbs*sizeof(MatScalar),&rtmp);CHKERRQ(ierr);
973ab27746eSHong Zhang   ierr = PetscMemzero(rtmp,4*mbs*sizeof(MatScalar));CHKERRQ(ierr);
97413f74950SBarry Smith   ierr = PetscMalloc(2*mbs*sizeof(PetscInt),&il);CHKERRQ(ierr);
97528de702eSHong Zhang   jl   = il + mbs;
976ab27746eSHong Zhang   for (i=0; i<mbs; i++) {
977ab27746eSHong Zhang     jl[i] = mbs; il[0] = 0;
97849b5e25fSSatish Balay   }
97982502324SSatish Balay   ierr = PetscMalloc(8*sizeof(MatScalar),&dk);CHKERRQ(ierr);
98028de702eSHong Zhang   uik  = dk + 4;
981ab27746eSHong Zhang 
982ab27746eSHong Zhang   ai = a->i; aj = a->j; aa = a->a;
983ab27746eSHong Zhang 
984ab27746eSHong Zhang   /* for each row k */
985ab27746eSHong Zhang   for (k = 0; k<mbs; k++){
986ab27746eSHong Zhang 
987ab27746eSHong Zhang     /*initialize k-th row with elements nonzero in row k of A */
988ab27746eSHong Zhang     jmin = ai[k]; jmax = ai[k+1];
989ab27746eSHong Zhang     ap = aa + jmin*4;
990ab27746eSHong Zhang     for (j = jmin; j < jmax; j++){
991ab27746eSHong Zhang       vj = aj[j];         /* block col. index */
992ab27746eSHong Zhang       rtmp_ptr = rtmp + vj*4;
993ab27746eSHong Zhang       for (i=0; i<4; i++) *rtmp_ptr++ = *ap++;
99449b5e25fSSatish Balay     }
995ab27746eSHong Zhang 
996ab27746eSHong Zhang     /* modify k-th row by adding in those rows i with U(i,k) != 0 */
997ab27746eSHong Zhang     ierr = PetscMemcpy(dk,rtmp+k*4,4*sizeof(MatScalar));CHKERRQ(ierr);
998ab27746eSHong Zhang     i = jl[k]; /* first row to be added to k_th row  */
999ab27746eSHong Zhang 
1000057f5ba7SHong Zhang     while (i < k){
1001ab27746eSHong Zhang       nexti = jl[i]; /* next row to be added to k_th row */
1002ab27746eSHong Zhang 
1003ab27746eSHong Zhang       /* compute multiplier */
1004ab27746eSHong Zhang       ili = il[i];  /* index of first nonzero element in U(i,k:bms-1) */
1005ab27746eSHong Zhang 
1006ab27746eSHong Zhang       /* uik = -inv(Di)*U_bar(i,k): - ba[ili]*ba[i] */
1007ab27746eSHong Zhang       diag = ba + i*4;
1008ab27746eSHong Zhang       u    = ba + ili*4;
1009ab27746eSHong Zhang       uik[0] = -(diag[0]*u[0] + diag[2]*u[1]);
1010ab27746eSHong Zhang       uik[1] = -(diag[1]*u[0] + diag[3]*u[1]);
1011ab27746eSHong Zhang       uik[2] = -(diag[0]*u[2] + diag[2]*u[3]);
1012ab27746eSHong Zhang       uik[3] = -(diag[1]*u[2] + diag[3]*u[3]);
1013ab27746eSHong Zhang 
1014ab27746eSHong Zhang       /* update D(k) += -U(i,k)^T * U_bar(i,k): dk += uik*ba[ili] */
1015ab27746eSHong Zhang       dk[0] += uik[0]*u[0] + uik[1]*u[1];
1016ab27746eSHong Zhang       dk[1] += uik[2]*u[0] + uik[3]*u[1];
1017ab27746eSHong Zhang       dk[2] += uik[0]*u[2] + uik[1]*u[3];
1018ab27746eSHong Zhang       dk[3] += uik[2]*u[2] + uik[3]*u[3];
1019ab27746eSHong Zhang 
1020ab27746eSHong Zhang       /* update -U(i,k): ba[ili] = uik */
1021ab27746eSHong Zhang       ierr = PetscMemcpy(ba+ili*4,uik,4*sizeof(MatScalar));CHKERRQ(ierr);
1022ab27746eSHong Zhang 
1023ab27746eSHong Zhang       /* add multiple of row i to k-th row ... */
1024ab27746eSHong Zhang       jmin = ili + 1; jmax = bi[i+1];
1025ab27746eSHong Zhang       if (jmin < jmax){
1026ab27746eSHong Zhang         for (j=jmin; j<jmax; j++) {
1027ab27746eSHong Zhang           /* rtmp += -U(i,k)^T * U_bar(i,j): rtmp[bj[j]] += uik*ba[j]; */
1028ab27746eSHong Zhang           rtmp_ptr = rtmp + bj[j]*4;
1029ab27746eSHong Zhang           u = ba + j*4;
1030ab27746eSHong Zhang           rtmp_ptr[0] += uik[0]*u[0] + uik[1]*u[1];
1031ab27746eSHong Zhang           rtmp_ptr[1] += uik[2]*u[0] + uik[3]*u[1];
1032ab27746eSHong Zhang           rtmp_ptr[2] += uik[0]*u[2] + uik[1]*u[3];
1033ab27746eSHong Zhang           rtmp_ptr[3] += uik[2]*u[2] + uik[3]*u[3];
103449b5e25fSSatish Balay         }
1035ab27746eSHong Zhang 
1036ab27746eSHong Zhang         /* ... add i to row list for next nonzero entry */
1037ab27746eSHong Zhang         il[i] = jmin;             /* update il(i) in column k+1, ... mbs-1 */
1038ab27746eSHong Zhang         j     = bj[jmin];
1039ab27746eSHong Zhang         jl[i] = jl[j]; jl[j] = i; /* update jl */
104049b5e25fSSatish Balay       }
1041ab27746eSHong Zhang       i = nexti;
104249b5e25fSSatish Balay     }
1043ab27746eSHong Zhang 
1044ab27746eSHong Zhang     /* save nonzero entries in k-th row of U ... */
1045ab27746eSHong Zhang 
104649b5e25fSSatish Balay     /* invert diagonal block */
1047ab27746eSHong Zhang     diag = ba+k*4;
1048ab27746eSHong Zhang     ierr = PetscMemcpy(diag,dk,4*sizeof(MatScalar));CHKERRQ(ierr);
1049ab27746eSHong Zhang     ierr = Kernel_A_gets_inverse_A_2(diag);CHKERRQ(ierr);
1050ab27746eSHong Zhang 
1051ab27746eSHong Zhang     jmin = bi[k]; jmax = bi[k+1];
1052ab27746eSHong Zhang     if (jmin < jmax) {
1053ab27746eSHong Zhang       for (j=jmin; j<jmax; j++){
1054ab27746eSHong Zhang          vj = bj[j];           /* block col. index of U */
1055ab27746eSHong Zhang          u   = ba + j*4;
1056ab27746eSHong Zhang          rtmp_ptr = rtmp + vj*4;
1057ab27746eSHong Zhang          for (k1=0; k1<4; k1++){
1058ab27746eSHong Zhang            *u++        = *rtmp_ptr;
1059ab27746eSHong Zhang            *rtmp_ptr++ = 0.0;
1060ab27746eSHong Zhang          }
1061ab27746eSHong Zhang       }
1062ab27746eSHong Zhang 
1063ab27746eSHong Zhang       /* ... add k to row list for first nonzero entry in k-th row */
1064ab27746eSHong Zhang       il[k] = jmin;
1065ab27746eSHong Zhang       i     = bj[jmin];
1066ab27746eSHong Zhang       jl[k] = jl[i]; jl[i] = k;
1067ab27746eSHong Zhang     }
106849b5e25fSSatish Balay   }
106949b5e25fSSatish Balay 
107049b5e25fSSatish Balay   ierr = PetscFree(rtmp);CHKERRQ(ierr);
1071ab27746eSHong Zhang   ierr = PetscFree(il);CHKERRQ(ierr);
1072ab27746eSHong Zhang   ierr = PetscFree(dk);CHKERRQ(ierr);
1073ab27746eSHong Zhang 
1074ab27746eSHong Zhang   C->factor    = FACTOR_CHOLESKY;
107549b5e25fSSatish Balay   C->assembled = PETSC_TRUE;
10765c0bcdfcSHong Zhang   C->preallocated = PETSC_TRUE;
1077efee365bSSatish Balay   ierr = PetscLogFlops(1.3333*8*b->mbs);CHKERRQ(ierr); /* from inverting diagonal blocks */
107849b5e25fSSatish Balay   PetscFunctionReturn(0);
107949b5e25fSSatish Balay }
108049b5e25fSSatish Balay 
108149b5e25fSSatish Balay /*
108298a8e78dSHong Zhang     Numeric U^T*D*U factorization for SBAIJ format.
108391602c66SHong Zhang     Version for blocks are 1 by 1.
108449b5e25fSSatish Balay */
10854a2ae208SSatish Balay #undef __FUNCT__
10864a2ae208SSatish Balay #define __FUNCT__ "MatCholeskyFactorNumeric_SeqSBAIJ_1"
1087af281ebdSHong Zhang PetscErrorCode MatCholeskyFactorNumeric_SeqSBAIJ_1(Mat A,MatFactorInfo *info,Mat *B)
108849b5e25fSSatish Balay {
108949b5e25fSSatish Balay   Mat            C = *B;
109049b5e25fSSatish Balay   Mat_SeqSBAIJ   *a=(Mat_SeqSBAIJ*)A->data,*b=(Mat_SeqSBAIJ *)C->data;
109149b5e25fSSatish Balay   IS             ip=b->row;
10926849ba73SBarry Smith   PetscErrorCode ierr;
1093997a0949SHong Zhang   PetscInt       *rip,i,j,mbs=a->mbs,*bi=b->i,*bj=b->j,*bcol;
1094fff829cfSHong Zhang   PetscInt       *ai,*aj,*a2anew;
1095997a0949SHong Zhang   PetscInt       k,jmin,jmax,*jl,*il,col,nexti,ili,nz;
1096997a0949SHong Zhang   MatScalar      *rtmp,*ba=b->a,*bval,*aa,dk,uikdi;
10973cea4cbeSHong Zhang   PetscReal      zeropivot,rs,shiftnz;
10983cea4cbeSHong Zhang   PetscTruth     shiftpd;
10993cea4cbeSHong Zhang   ChShift_Ctx    sctx;
11003cea4cbeSHong Zhang   PetscInt       newshift;
110149b5e25fSSatish Balay 
110249b5e25fSSatish Balay   PetscFunctionBegin;
11033cea4cbeSHong Zhang   /* initialization */
11043cea4cbeSHong Zhang   shiftnz   = info->shiftnz;
11053cea4cbeSHong Zhang   shiftpd   = info->shiftpd;
11063cea4cbeSHong Zhang   zeropivot = info->zeropivot;
11073cea4cbeSHong Zhang 
110849b5e25fSSatish Balay   ierr  = ISGetIndices(ip,&rip);CHKERRQ(ierr);
1109cb718733SHong Zhang   if (!a->permute){
11102d007305SHong Zhang     ai = a->i; aj = a->j; aa = a->a;
11112d007305SHong Zhang   } else {
11122d007305SHong Zhang     ai = a->inew; aj = a->jnew;
1113fff829cfSHong Zhang     nz = ai[mbs];
1114fff829cfSHong Zhang     ierr = PetscMalloc(nz*sizeof(MatScalar),&aa);CHKERRQ(ierr);
1115fff829cfSHong Zhang     a2anew = a->a2anew;
1116997a0949SHong Zhang     bval   = a->a;
1117fff829cfSHong Zhang     for (j=0; j<nz; j++){
1118997a0949SHong Zhang       aa[a2anew[j]] = *(bval++);
11192d007305SHong Zhang     }
11202d007305SHong Zhang   }
11212d007305SHong Zhang 
112291602c66SHong Zhang   /* initialization */
112349b5e25fSSatish Balay   /* il and jl record the first nonzero element in each row of the accessing
112449b5e25fSSatish Balay      window U(0:k, k:mbs-1).
112549b5e25fSSatish Balay      jl:    list of rows to be added to uneliminated rows
112649b5e25fSSatish Balay             i>= k: jl(i) is the first row to be added to row i
112749b5e25fSSatish Balay             i<  k: jl(i) is the row following row i in some list of rows
112849b5e25fSSatish Balay             jl(i) = mbs indicates the end of a list
112949b5e25fSSatish Balay      il(i): points to the first nonzero element in columns k,...,mbs-1 of
113049b5e25fSSatish Balay             row i of U */
1131997a0949SHong Zhang   nz   = (2*mbs+1)*sizeof(PetscInt)+mbs*sizeof(MatScalar);
1132997a0949SHong Zhang   ierr = PetscMalloc(nz,&il);CHKERRQ(ierr);
113328de702eSHong Zhang   jl   = il + mbs;
1134997a0949SHong Zhang   rtmp = (MatScalar*)(jl + mbs);
1135997a0949SHong Zhang 
11363cea4cbeSHong Zhang   sctx.shift_amount = 0;
11373cea4cbeSHong Zhang   sctx.nshift       = 0;
1138997a0949SHong Zhang   do {
11393cea4cbeSHong Zhang     sctx.chshift = PETSC_FALSE;
114049b5e25fSSatish Balay     for (i=0; i<mbs; i++) {
114149b5e25fSSatish Balay       rtmp[i] = 0.0; jl[i] = mbs; il[0] = 0;
114249b5e25fSSatish Balay     }
1143997a0949SHong Zhang 
114449b5e25fSSatish Balay     for (k = 0; k<mbs; k++){
1145997a0949SHong Zhang       /*initialize k-th row by the perm[k]-th row of A */
114649b5e25fSSatish Balay       jmin = ai[rip[k]]; jmax = ai[rip[k]+1];
11477701de02SHong Zhang       bval = ba + bi[k];
114849b5e25fSSatish Balay       for (j = jmin; j < jmax; j++){
1149997a0949SHong Zhang         col = rip[aj[j]];
1150997a0949SHong Zhang         rtmp[col] = aa[j];
11517701de02SHong Zhang         *bval++  = 0.0; /* for in-place factorization */
115249b5e25fSSatish Balay       }
11533cea4cbeSHong Zhang 
11543cea4cbeSHong Zhang       /* shift the diagonal of the matrix */
11553cea4cbeSHong Zhang       if (sctx.nshift) rtmp[k] += sctx.shift_amount;
115649b5e25fSSatish Balay 
115791602c66SHong Zhang       /* modify k-th row by adding in those rows i with U(i,k)!=0 */
115849b5e25fSSatish Balay       dk = rtmp[k];
115949b5e25fSSatish Balay       i = jl[k]; /* first row to be added to k_th row  */
116049b5e25fSSatish Balay 
1161057f5ba7SHong Zhang       while (i < k){
116249b5e25fSSatish Balay         nexti = jl[i]; /* next row to be added to k_th row */
116349b5e25fSSatish Balay 
1164fff829cfSHong Zhang         /* compute multiplier, update diag(k) and U(i,k) */
116549b5e25fSSatish Balay         ili = il[i];  /* index of first nonzero element in U(i,k:bms-1) */
1166997a0949SHong Zhang         uikdi = - ba[ili]*ba[bi[i]];  /* diagonal(k) */
116749b5e25fSSatish Balay         dk += uikdi*ba[ili];
1168658e7b3eSHong Zhang         ba[ili] = uikdi; /* -U(i,k) */
116949b5e25fSSatish Balay 
1170997a0949SHong Zhang         /* add multiple of row i to k-th row */
117149b5e25fSSatish Balay         jmin = ili + 1; jmax = bi[i+1];
117249b5e25fSSatish Balay         if (jmin < jmax){
117349b5e25fSSatish Balay           for (j=jmin; j<jmax; j++) rtmp[bj[j]] += uikdi*ba[j];
1174fff829cfSHong Zhang           /* update il and jl for row i */
1175fff829cfSHong Zhang           il[i] = jmin;
1176fff829cfSHong Zhang           j = bj[jmin]; jl[i] = jl[j]; jl[j] = i;
117749b5e25fSSatish Balay         }
1178ab27746eSHong Zhang         i = nexti;
117949b5e25fSSatish Balay       }
118049b5e25fSSatish Balay 
11813cea4cbeSHong Zhang       /* shift the diagonals when zero pivot is detected */
11823cea4cbeSHong Zhang       /* compute rs=sum of abs(off-diagonal) */
11833cea4cbeSHong Zhang       rs   = 0.0;
1184997a0949SHong Zhang       jmin = bi[k]+1;
1185997a0949SHong Zhang       nz   = bi[k+1] - jmin;
1186997a0949SHong Zhang       if (nz){
1187997a0949SHong Zhang         bcol = bj + jmin;
1188997a0949SHong Zhang         while (nz--){
118989f845c8SHong Zhang           rs += PetscAbsScalar(rtmp[*bcol]);
119089f845c8SHong Zhang           bcol++;
1191997a0949SHong Zhang         }
1192997a0949SHong Zhang       }
11933cea4cbeSHong Zhang 
11943cea4cbeSHong Zhang       sctx.rs = rs;
11953cea4cbeSHong Zhang       sctx.pv = dk;
11963e8c821fSHong Zhang       ierr = MatCholeskyCheckShift_inline(info,sctx,newshift);CHKERRQ(ierr);
11973cea4cbeSHong Zhang       if (newshift == 1){
11983cea4cbeSHong Zhang         break;    /* sctx.shift_amount is updated */
11993cea4cbeSHong Zhang       } else if (newshift == -1){
12003cea4cbeSHong Zhang         SETERRQ4(PETSC_ERR_MAT_LU_ZRPVT,"Zero pivot row %D value %g tolerance %g * rs %g",k,PetscAbsScalar(dk),zeropivot,rs);
120149b5e25fSSatish Balay       }
120249b5e25fSSatish Balay 
1203997a0949SHong Zhang       /* copy data into U(k,:) */
120498a8e78dSHong Zhang       ba[bi[k]] = 1.0/dk; /* U(k,k) */
1205fff829cfSHong Zhang       jmin = bi[k]+1; jmax = bi[k+1];
120649b5e25fSSatish Balay       if (jmin < jmax) {
120749b5e25fSSatish Balay         for (j=jmin; j<jmax; j++){
1208997a0949SHong Zhang           col = bj[j]; ba[j] = rtmp[col]; rtmp[col] = 0.0;
120949b5e25fSSatish Balay         }
121098a8e78dSHong Zhang         /* add the k-th row into il and jl */
121149b5e25fSSatish Balay         il[k] = jmin;
121298a8e78dSHong Zhang         i = bj[jmin]; jl[k] = jl[i]; jl[i] = k;
121349b5e25fSSatish Balay       }
121449b5e25fSSatish Balay     }
12153cea4cbeSHong Zhang   } while (sctx.chshift);
121649b5e25fSSatish Balay   ierr = PetscFree(il);CHKERRQ(ierr);
121798a8e78dSHong Zhang   if (a->permute){ierr = PetscFree(aa);CHKERRQ(ierr);}
121849b5e25fSSatish Balay 
121949b5e25fSSatish Balay   ierr = ISRestoreIndices(ip,&rip);CHKERRQ(ierr);
12208be8c0c7SHong Zhang   C->factor       = FACTOR_CHOLESKY;
122149b5e25fSSatish Balay   C->assembled    = PETSC_TRUE;
12225c0bcdfcSHong Zhang   C->preallocated = PETSC_TRUE;
1223efee365bSSatish Balay   ierr = PetscLogFlops(C->m);CHKERRQ(ierr);
12243cea4cbeSHong Zhang     if (sctx.nshift){
12253cea4cbeSHong Zhang     if (shiftnz) {
122663ba0a88SBarry Smith       ierr = PetscLogInfo((0,"MatCholeskyFactorNumeric_SeqSBAIJ_1: number of shiftnz tries %D, shift_amount %g\n",sctx.nshift,sctx.shift_amount));CHKERRQ(ierr);
12273cea4cbeSHong Zhang     } else if (shiftpd) {
122863ba0a88SBarry Smith       ierr = PetscLogInfo((0,"MatCholeskyFactorNumeric_SeqSBAIJ_1: number of shiftpd tries %D, shift_amount %g\n",sctx.nshift,sctx.shift_amount));CHKERRQ(ierr);
1229997a0949SHong Zhang     }
1230997a0949SHong Zhang   }
123149b5e25fSSatish Balay   PetscFunctionReturn(0);
123249b5e25fSSatish Balay }
123349b5e25fSSatish Balay 
1234671cb588SHong Zhang /*
1235671cb588SHong Zhang   Version for when blocks are 1 by 1 Using natural ordering
1236671cb588SHong Zhang */
12374a2ae208SSatish Balay #undef __FUNCT__
12384a2ae208SSatish Balay #define __FUNCT__ "MatCholeskyFactorNumeric_SeqSBAIJ_1_NaturalOrdering"
1239af281ebdSHong Zhang PetscErrorCode MatCholeskyFactorNumeric_SeqSBAIJ_1_NaturalOrdering(Mat A,MatFactorInfo *info,Mat *B)
1240671cb588SHong Zhang {
1241671cb588SHong Zhang   Mat            C = *B;
1242671cb588SHong Zhang   Mat_SeqSBAIJ   *a=(Mat_SeqSBAIJ*)A->data,*b=(Mat_SeqSBAIJ *)C->data;
1243dfbe8321SBarry Smith   PetscErrorCode ierr;
124413f74950SBarry Smith   PetscInt       i,j,mbs = a->mbs;
124513f74950SBarry Smith   PetscInt       *ai=a->i,*aj=a->j,*bi=b->i,*bj=b->j;
12463cea4cbeSHong Zhang   PetscInt       k,jmin,*jl,*il,nexti,ili,*acol,*bcol,nz;
1247653a6975SHong Zhang   MatScalar      *rtmp,*ba=b->a,*aa=a->a,dk,uikdi,*aval,*bval;
12483cea4cbeSHong Zhang   PetscReal      zeropivot,rs,shiftnz;
12493cea4cbeSHong Zhang   PetscTruth     shiftpd;
12503cea4cbeSHong Zhang   ChShift_Ctx    sctx;
12513cea4cbeSHong Zhang   PetscInt       newshift;
1252653a6975SHong Zhang 
1253653a6975SHong Zhang   PetscFunctionBegin;
1254653a6975SHong Zhang   /* initialization */
12553cea4cbeSHong Zhang   shiftnz   = info->shiftnz;
12563cea4cbeSHong Zhang   shiftpd   = info->shiftpd;
12573cea4cbeSHong Zhang   zeropivot = info->zeropivot;
12583cea4cbeSHong Zhang 
1259653a6975SHong Zhang   /* il and jl record the first nonzero element in each row of the accessing
1260653a6975SHong Zhang      window U(0:k, k:mbs-1).
1261653a6975SHong Zhang      jl:    list of rows to be added to uneliminated rows
1262653a6975SHong Zhang             i>= k: jl(i) is the first row to be added to row i
1263653a6975SHong Zhang             i<  k: jl(i) is the row following row i in some list of rows
1264653a6975SHong Zhang             jl(i) = mbs indicates the end of a list
1265653a6975SHong Zhang      il(i): points to the first nonzero element in U(i,k:mbs-1)
1266653a6975SHong Zhang   */
1267653a6975SHong Zhang   ierr = PetscMalloc(mbs*sizeof(MatScalar),&rtmp);CHKERRQ(ierr);
126813f74950SBarry Smith   ierr = PetscMalloc(2*mbs*sizeof(PetscInt),&il);CHKERRQ(ierr);
1269653a6975SHong Zhang   jl   = il + mbs;
1270b00f7748SHong Zhang 
12713cea4cbeSHong Zhang   sctx.shift_amount = 0;
12723cea4cbeSHong Zhang   sctx.nshift       = 0;
1273b00f7748SHong Zhang   do {
12743cea4cbeSHong Zhang     sctx.chshift = PETSC_FALSE;
1275653a6975SHong Zhang     for (i=0; i<mbs; i++) {
1276653a6975SHong Zhang       rtmp[i] = 0.0; jl[i] = mbs; il[0] = 0;
1277653a6975SHong Zhang     }
1278653a6975SHong Zhang 
1279997a0949SHong Zhang     for (k = 0; k<mbs; k++){
1280653a6975SHong Zhang       /*initialize k-th row with elements nonzero in row perm(k) of A */
1281653a6975SHong Zhang       nz   = ai[k+1] - ai[k];
1282653a6975SHong Zhang       acol = aj + ai[k];
1283653a6975SHong Zhang       aval = aa + ai[k];
1284653a6975SHong Zhang       bval = ba + bi[k];
1285653a6975SHong Zhang       while (nz -- ){
1286653a6975SHong Zhang         rtmp[*acol++] = *aval++;
1287653a6975SHong Zhang         *bval++       = 0.0; /* for in-place factorization */
1288653a6975SHong Zhang       }
12893cea4cbeSHong Zhang 
12903cea4cbeSHong Zhang       /* shift the diagonal of the matrix */
12913cea4cbeSHong Zhang       if (sctx.nshift) rtmp[k] += sctx.shift_amount;
1292653a6975SHong Zhang 
1293653a6975SHong Zhang       /* modify k-th row by adding in those rows i with U(i,k)!=0 */
1294653a6975SHong Zhang       dk = rtmp[k];
1295653a6975SHong Zhang       i  = jl[k]; /* first row to be added to k_th row  */
1296653a6975SHong Zhang 
1297653a6975SHong Zhang       while (i < k){
1298653a6975SHong Zhang         nexti = jl[i]; /* next row to be added to k_th row */
1299653a6975SHong Zhang         /* compute multiplier, update D(k) and U(i,k) */
1300653a6975SHong Zhang         ili   = il[i];  /* index of first nonzero element in U(i,k:bms-1) */
1301653a6975SHong Zhang         uikdi = - ba[ili]*ba[bi[i]];
1302653a6975SHong Zhang         dk   += uikdi*ba[ili];
1303653a6975SHong Zhang         ba[ili] = uikdi; /* -U(i,k) */
1304653a6975SHong Zhang 
1305653a6975SHong Zhang         /* add multiple of row i to k-th row ... */
1306653a6975SHong Zhang         jmin = ili + 1;
1307653a6975SHong Zhang         nz   = bi[i+1] - jmin;
1308653a6975SHong Zhang         if (nz > 0){
1309653a6975SHong Zhang           bcol = bj + jmin;
1310653a6975SHong Zhang           bval = ba + jmin;
1311653a6975SHong Zhang           while (nz --) rtmp[*bcol++] += uikdi*(*bval++);
1312997a0949SHong Zhang           /* update il and jl for i-th row */
1313997a0949SHong Zhang           il[i] = jmin;
1314997a0949SHong Zhang           j = bj[jmin]; jl[i] = jl[j]; jl[j] = i;
1315653a6975SHong Zhang         }
1316653a6975SHong Zhang         i = nexti;
1317653a6975SHong Zhang       }
1318653a6975SHong Zhang 
13193cea4cbeSHong Zhang       /* shift the diagonals when zero pivot is detected */
13203cea4cbeSHong Zhang       /* compute rs=sum of abs(off-diagonal) */
13213cea4cbeSHong Zhang       rs   = 0.0;
132221c26570Svictorle       jmin = bi[k]+1;
132321c26570Svictorle       nz   = bi[k+1] - jmin;
132421c26570Svictorle       if (nz){
132521c26570Svictorle         bcol = bj + jmin;
132621c26570Svictorle         while (nz--){
132789f845c8SHong Zhang           rs += PetscAbsScalar(rtmp[*bcol]);
132889f845c8SHong Zhang           bcol++;
132921c26570Svictorle         }
133021c26570Svictorle       }
13313cea4cbeSHong Zhang 
13323cea4cbeSHong Zhang       sctx.rs = rs;
13333cea4cbeSHong Zhang       sctx.pv = dk;
13343e8c821fSHong Zhang       ierr = MatCholeskyCheckShift_inline(info,sctx,newshift);CHKERRQ(ierr);
13353cea4cbeSHong Zhang       if (newshift == 1){
13363cea4cbeSHong Zhang         break;    /* sctx.shift_amount is updated */
13373cea4cbeSHong Zhang       } else if (newshift == -1){
13383cea4cbeSHong Zhang         SETERRQ4(PETSC_ERR_MAT_LU_ZRPVT,"Zero pivot row %D value %g tolerance %g * rs %g",k,PetscAbsScalar(dk),zeropivot,rs);
1339064503c5SHong Zhang       }
1340653a6975SHong Zhang 
1341997a0949SHong Zhang       /* copy data into U(k,:) */
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         }
1352997a0949SHong Zhang         /* add k-th row into il and jl */
1353653a6975SHong Zhang         il[k] = jmin;
1354997a0949SHong Zhang         i = bj[jmin]; jl[k] = jl[i]; jl[i] = k;
1355653a6975SHong Zhang       }
1356b00f7748SHong Zhang     } /* end of for (k = 0; k<mbs; k++) */
13573cea4cbeSHong Zhang   } while (sctx.chshift);
1358653a6975SHong Zhang   ierr = PetscFree(rtmp);CHKERRQ(ierr);
1359653a6975SHong Zhang   ierr = PetscFree(il);CHKERRQ(ierr);
1360653a6975SHong Zhang 
1361653a6975SHong Zhang   C->factor       = FACTOR_CHOLESKY;
1362653a6975SHong Zhang   C->assembled    = PETSC_TRUE;
1363653a6975SHong Zhang   C->preallocated = PETSC_TRUE;
1364efee365bSSatish Balay   ierr = PetscLogFlops(C->m);CHKERRQ(ierr);
13653cea4cbeSHong Zhang   if (sctx.nshift){
13663cea4cbeSHong Zhang     if (shiftnz) {
136763ba0a88SBarry Smith       ierr = PetscLogInfo((0,"MatCholeskyFactorNumeric_SeqSBAIJ_1_NaturalOrdering: number of shiftnz tries %D, shift_amount %g\n",sctx.nshift,sctx.shift_amount));CHKERRQ(ierr);
13683cea4cbeSHong Zhang     } else if (shiftpd) {
136963ba0a88SBarry Smith       ierr = PetscLogInfo((0,"MatCholeskyFactorNumeric_SeqSBAIJ_1_NaturalOrdering: number of shiftpd tries %D, shift_amount %g\n",sctx.nshift,sctx.shift_amount));CHKERRQ(ierr);
1370b00f7748SHong Zhang     }
1371fb10cecfSBarry Smith   }
1372653a6975SHong Zhang   PetscFunctionReturn(0);
1373653a6975SHong Zhang }
1374653a6975SHong Zhang 
1375653a6975SHong Zhang #undef __FUNCT__
13764a2ae208SSatish Balay #define __FUNCT__ "MatCholeskyFactor_SeqSBAIJ"
1377dfbe8321SBarry Smith PetscErrorCode MatCholeskyFactor_SeqSBAIJ(Mat A,IS perm,MatFactorInfo *info)
137849b5e25fSSatish Balay {
1379dfbe8321SBarry Smith   PetscErrorCode ierr;
138049b5e25fSSatish Balay   Mat            C;
138149b5e25fSSatish Balay 
138249b5e25fSSatish Balay   PetscFunctionBegin;
138315e8a5b3SHong Zhang   ierr = MatCholeskyFactorSymbolic(A,perm,info,&C);CHKERRQ(ierr);
1384af281ebdSHong Zhang   ierr = MatCholeskyFactorNumeric(A,info,&C);CHKERRQ(ierr);
13854445ddedSHong Zhang   ierr = MatHeaderCopy(A,C);CHKERRQ(ierr);
138649b5e25fSSatish Balay   PetscFunctionReturn(0);
138749b5e25fSSatish Balay }
138849b5e25fSSatish Balay 
138949b5e25fSSatish Balay 
1390