xref: /petsc/src/mat/impls/sbaij/seq/sbaijfact.c (revision d33dd5588a96a5be8b420e7b75d740ade8c3f361)
1be1d678aSKris 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;
22899cda47SBarry Smith   PetscInt     mbs=fact_ptr->mbs,bs=F->rmap.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;
54899cda47SBarry Smith   PetscInt       *jutmp,bs = A->rmap.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 
1646cf91177SBarry Smith #if defined(PETSC_USE_INFO)
16510c27e3dSHong Zhang   if (ai[mbs] != 0) {
16610c27e3dSHong Zhang     PetscReal af = ((PetscReal)iu[mbs])/((PetscReal)ai[mbs]);
167ae15b995SBarry Smith     ierr = PetscInfo3(A,"Reallocs %D Fill ratio:given %G needed %G\n",reallocs,f,af);CHKERRQ(ierr);
168ae15b995SBarry Smith     ierr = PetscInfo1(A,"Run with -pc_factor_fill %G or use \n",af);CHKERRQ(ierr);
169ae15b995SBarry Smith     ierr = PetscInfo1(A,"PCFactorSetFill(pc,%G);\n",af);CHKERRQ(ierr);
170ae15b995SBarry Smith     ierr = PetscInfo(A,"for best performance.\n");CHKERRQ(ierr);
17110c27e3dSHong Zhang   } else {
172ae15b995SBarry Smith     ierr = PetscInfo(A,"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 */
180f69a0ea3SMatthew Knepley   ierr = MatCreate(A->comm,B);CHKERRQ(ierr);
181f69a0ea3SMatthew Knepley   ierr = MatSetSizes(*B,bs*mbs,bs*mbs,bs*mbs,bs*mbs);CHKERRQ(ierr);
18210c27e3dSHong Zhang   ierr = MatSetType(*B,A->type_name);CHKERRQ(ierr);
183ab93d7beSBarry Smith   ierr = MatSeqSBAIJSetPreallocation_SeqSBAIJ(*B,bs,MAT_SKIP_ALLOCATION,PETSC_NULL);CHKERRQ(ierr);
18410c27e3dSHong Zhang 
185efee365bSSatish Balay   /* ierr = PetscLogObjectParent(*B,iperm);CHKERRQ(ierr); */
18610c27e3dSHong Zhang   b = (Mat_SeqSBAIJ*)(*B)->data;
18710c27e3dSHong Zhang   b->singlemalloc = PETSC_FALSE;
188e6b907acSBarry Smith   b->free_a       = PETSC_TRUE;
189e6b907acSBarry Smith   b->free_ij       = PETSC_TRUE;
19010c27e3dSHong Zhang   ierr = PetscMalloc((iu[mbs]+1)*sizeof(MatScalar)*bs2,&b->a);CHKERRQ(ierr);
19110c27e3dSHong Zhang   b->j    = ju;
19210c27e3dSHong Zhang   b->i    = iu;
19310c27e3dSHong Zhang   b->diag = 0;
19410c27e3dSHong Zhang   b->ilen = 0;
19510c27e3dSHong Zhang   b->imax = 0;
19610c27e3dSHong Zhang   b->row  = perm;
19710c27e3dSHong Zhang   b->pivotinblocks = PETSC_FALSE; /* need to get from MatFactorInfo */
19810c27e3dSHong Zhang   ierr    = PetscObjectReference((PetscObject)perm);CHKERRQ(ierr);
19910c27e3dSHong Zhang   b->icol = perm;
20010c27e3dSHong Zhang   ierr    = PetscObjectReference((PetscObject)perm);CHKERRQ(ierr);
20110c27e3dSHong Zhang   ierr    = PetscMalloc((bs*mbs+bs)*sizeof(PetscScalar),&b->solve_work);CHKERRQ(ierr);
20210c27e3dSHong Zhang   /* In b structure:  Free imax, ilen, old a, old j.
20310c27e3dSHong Zhang      Allocate idnew, solve_work, new a, new j */
20452e6d16bSBarry Smith   ierr = PetscLogObjectMemory(*B,(iu[mbs]-mbs)*(sizeof(PetscInt)+sizeof(MatScalar)));CHKERRQ(ierr);
20510c27e3dSHong Zhang   b->maxnz = b->nz = iu[mbs];
20610c27e3dSHong Zhang 
20710c27e3dSHong Zhang   (*B)->factor                 = FACTOR_CHOLESKY;
20810c27e3dSHong Zhang   (*B)->info.factor_mallocs    = reallocs;
20910c27e3dSHong Zhang   (*B)->info.fill_ratio_given  = f;
21010c27e3dSHong Zhang   if (ai[mbs] != 0) {
21110c27e3dSHong Zhang     (*B)->info.fill_ratio_needed = ((PetscReal)iu[mbs])/((PetscReal)ai[mbs]);
21210c27e3dSHong Zhang   } else {
21310c27e3dSHong Zhang     (*B)->info.fill_ratio_needed = 0.0;
21410c27e3dSHong Zhang   }
21510c27e3dSHong Zhang 
21610c27e3dSHong Zhang   if (perm_identity){
21710c27e3dSHong Zhang     switch (bs) {
21810c27e3dSHong Zhang       case 1:
21910c27e3dSHong Zhang         (*B)->ops->choleskyfactornumeric = MatCholeskyFactorNumeric_SeqSBAIJ_1_NaturalOrdering;
22010c27e3dSHong Zhang         (*B)->ops->solve                 = MatSolve_SeqSBAIJ_1_NaturalOrdering;
221ae15b995SBarry Smith         ierr = PetscInfo(A,"Using special in-place natural ordering factor and solve BS=1\n");CHKERRQ(ierr);
22210c27e3dSHong Zhang         break;
22310c27e3dSHong Zhang       case 2:
22410c27e3dSHong Zhang         (*B)->ops->choleskyfactornumeric = MatCholeskyFactorNumeric_SeqSBAIJ_2_NaturalOrdering;
22510c27e3dSHong Zhang         (*B)->ops->solve           = MatSolve_SeqSBAIJ_2_NaturalOrdering;
226ae15b995SBarry Smith         ierr = PetscInfo(A,"Using special in-place natural ordering factor and solve BS=2\n");CHKERRQ(ierr);
22710c27e3dSHong Zhang         break;
22810c27e3dSHong Zhang       case 3:
22910c27e3dSHong Zhang         (*B)->ops->choleskyfactornumeric = MatCholeskyFactorNumeric_SeqSBAIJ_3_NaturalOrdering;
23010c27e3dSHong Zhang         (*B)->ops->solve           = MatSolve_SeqSBAIJ_3_NaturalOrdering;
231ae15b995SBarry Smith         ierr = PetscInfo(A,"Using special in-place natural ordering factor and solve BS=3\n");CHKERRQ(ierr);
23210c27e3dSHong Zhang         break;
23310c27e3dSHong Zhang       case 4:
23410c27e3dSHong Zhang         (*B)->ops->choleskyfactornumeric = MatCholeskyFactorNumeric_SeqSBAIJ_4_NaturalOrdering;
23510c27e3dSHong Zhang         (*B)->ops->solve           = MatSolve_SeqSBAIJ_4_NaturalOrdering;
236ae15b995SBarry Smith         ierr = PetscInfo(A,"Using special in-place natural ordering factor and solve BS=4\n");CHKERRQ(ierr);
23710c27e3dSHong Zhang         break;
23810c27e3dSHong Zhang       case 5:
23910c27e3dSHong Zhang         (*B)->ops->choleskyfactornumeric = MatCholeskyFactorNumeric_SeqSBAIJ_5_NaturalOrdering;
24010c27e3dSHong Zhang         (*B)->ops->solve           = MatSolve_SeqSBAIJ_5_NaturalOrdering;
241ae15b995SBarry Smith         ierr = PetscInfo(A,"Using special in-place natural ordering factor and solve BS=5\n");CHKERRQ(ierr);
24210c27e3dSHong Zhang         break;
24310c27e3dSHong Zhang       case 6:
24410c27e3dSHong Zhang         (*B)->ops->choleskyfactornumeric = MatCholeskyFactorNumeric_SeqSBAIJ_6_NaturalOrdering;
24510c27e3dSHong Zhang         (*B)->ops->solve           = MatSolve_SeqSBAIJ_6_NaturalOrdering;
246ae15b995SBarry Smith         ierr = PetscInfo(A,"Using special in-place natural ordering factor and solve BS=6\n");CHKERRQ(ierr);
24710c27e3dSHong Zhang         break;
24810c27e3dSHong Zhang       case 7:
24910c27e3dSHong Zhang         (*B)->ops->choleskyfactornumeric = MatCholeskyFactorNumeric_SeqSBAIJ_7_NaturalOrdering;
25010c27e3dSHong Zhang         (*B)->ops->solve           = MatSolve_SeqSBAIJ_7_NaturalOrdering;
251ae15b995SBarry Smith         ierr = PetscInfo(A,"Using special in-place natural ordering factor and solve BS=7\n");CHKERRQ(ierr);
25210c27e3dSHong Zhang       break;
25310c27e3dSHong Zhang       default:
25410c27e3dSHong Zhang         (*B)->ops->choleskyfactornumeric = MatCholeskyFactorNumeric_SeqSBAIJ_N_NaturalOrdering;
25510c27e3dSHong Zhang         (*B)->ops->solve           = MatSolve_SeqSBAIJ_N_NaturalOrdering;
256ae15b995SBarry Smith         ierr = PetscInfo(A,"Using special in-place natural ordering factor and solve BS>7\n");CHKERRQ(ierr);
25710c27e3dSHong Zhang       break;
25810c27e3dSHong Zhang     }
25910c27e3dSHong Zhang   }
26010c27e3dSHong Zhang   PetscFunctionReturn(0);
26110c27e3dSHong Zhang }
26210c27e3dSHong Zhang /*
26310c27e3dSHong Zhang     Symbolic U^T*D*U factorization for SBAIJ format.
26410c27e3dSHong Zhang */
26598a8e78dSHong Zhang #include "petscbt.h"
26698a8e78dSHong Zhang #include "src/mat/utils/freespace.h"
2674a2ae208SSatish Balay #undef __FUNCT__
2684a2ae208SSatish Balay #define __FUNCT__ "MatCholeskyFactorSymbolic_SeqSBAIJ"
26998a8e78dSHong Zhang PetscErrorCode MatCholeskyFactorSymbolic_SeqSBAIJ(Mat A,IS perm,MatFactorInfo *info,Mat *fact)
27049b5e25fSSatish Balay {
27198a8e78dSHong Zhang   Mat_SeqSBAIJ       *a = (Mat_SeqSBAIJ*)A->data;
27298a8e78dSHong Zhang   Mat_SeqSBAIJ       *b;
27398a8e78dSHong Zhang   Mat                B;
2746849ba73SBarry Smith   PetscErrorCode     ierr;
275671cb588SHong Zhang   PetscTruth         perm_identity;
27698a8e78dSHong Zhang   PetscReal          fill = info->fill;
277899cda47SBarry Smith   PetscInt           *rip,i,mbs=a->mbs,bs=A->rmap.bs,*ai,*aj,reallocs=0,prow;
27898a8e78dSHong Zhang   PetscInt           *jl,jmin,jmax,nzk,*ui,k,j,*il,nextprow;
2797625dc9aSHong Zhang   PetscInt           nlnk,*lnk,ncols,*cols,*uj,**ui_ptr,*uj_ptr;
280a1a86e44SBarry Smith   PetscFreeSpaceList free_space=PETSC_NULL,current_space=PETSC_NULL;
28198a8e78dSHong Zhang   PetscBT            lnkbt;
28249b5e25fSSatish Balay 
28349b5e25fSSatish Balay   PetscFunctionBegin;
28410c27e3dSHong Zhang   /*
28510c27e3dSHong Zhang    This code originally uses Modified Sparse Row (MSR) storage
28610c27e3dSHong Zhang    (see page 85, "Iterative Methods ..." by Saad) for the output matrix B - bad choise!
28710c27e3dSHong Zhang    Then it is rewritten so the factor B takes seqsbaij format. However the associated
28810c27e3dSHong Zhang    MatCholeskyFactorNumeric_() have not been modified for the cases of bs>1 or !perm_identity,
28910c27e3dSHong Zhang    thus the original code in MSR format is still used for these cases.
29010c27e3dSHong Zhang    The code below should replace MatCholeskyFactorSymbolic_SeqSBAIJ_MSR() whenever
29110c27e3dSHong Zhang    MatCholeskyFactorNumeric_() is modified for using sbaij symbolic factor.
29210c27e3dSHong Zhang   */
293fff829cfSHong Zhang   if (bs > 1){
29498a8e78dSHong Zhang     ierr = MatCholeskyFactorSymbolic_SeqSBAIJ_MSR(A,perm,info,fact);CHKERRQ(ierr);
295fff829cfSHong Zhang     PetscFunctionReturn(0);
296fff829cfSHong Zhang   }
29710c27e3dSHong Zhang 
29898a8e78dSHong Zhang   /* check whether perm is the identity mapping */
29998a8e78dSHong Zhang   ierr = ISIdentity(perm,&perm_identity);CHKERRQ(ierr);
30098a8e78dSHong Zhang 
301fff829cfSHong Zhang   if (perm_identity){
302fff829cfSHong Zhang     a->permute = PETSC_FALSE;
303fff829cfSHong Zhang     ai = a->i; aj = a->j;
304fff829cfSHong Zhang   } else {
305*d33dd558SHong Zhang     SETERRQ(PETSC_ERR_SUP,"Matrix reordering is not supported for sbaij matrix. Use aij format");
306*d33dd558SHong Zhang     /* There are bugs for reordeing. Needs further work.
307*d33dd558SHong Zhang        MatReordering for sbaij cannot be efficient. User should use aij formt! */
308fff829cfSHong Zhang     a->permute = PETSC_TRUE;
309fff829cfSHong Zhang     ierr = MatReorderingSeqSBAIJ(A,perm);CHKERRQ(ierr);
310fff829cfSHong Zhang     ai = a->inew; aj = a->jnew;
311fff829cfSHong Zhang   }
312fff829cfSHong Zhang   ierr = ISGetIndices(perm,&rip);CHKERRQ(ierr);
313fff829cfSHong Zhang 
314fff829cfSHong Zhang   /* initialization */
3157625dc9aSHong Zhang   ierr  = PetscMalloc((mbs+1)*sizeof(PetscInt),&ui);CHKERRQ(ierr);
31698a8e78dSHong Zhang   ui[0] = 0;
31798a8e78dSHong Zhang 
31898a8e78dSHong Zhang   /* jl: linked list for storing indices of the pivot rows
3197625dc9aSHong Zhang      il: il[i] points to the 1st nonzero entry of U(i,k:mbs-1) */
3207625dc9aSHong Zhang   ierr = PetscMalloc((3*mbs+1)*sizeof(PetscInt)+mbs*sizeof(PetscInt*),&jl);CHKERRQ(ierr);
3217625dc9aSHong Zhang   il     = jl + mbs;
3227625dc9aSHong Zhang   cols   = il + mbs;
3237625dc9aSHong Zhang   ui_ptr = (PetscInt**)(cols + mbs);
3247625dc9aSHong Zhang 
3257625dc9aSHong Zhang   for (i=0; i<mbs; i++){
3267625dc9aSHong Zhang     jl[i] = mbs; il[i] = 0;
327fff829cfSHong Zhang   }
328fff829cfSHong Zhang 
32998a8e78dSHong Zhang   /* create and initialize a linked list for storing column indices of the active row k */
3307625dc9aSHong Zhang   nlnk = mbs + 1;
3317625dc9aSHong Zhang   ierr = PetscLLCreate(mbs,mbs,nlnk,lnk,lnkbt);CHKERRQ(ierr);
332fff829cfSHong Zhang 
3337625dc9aSHong Zhang   /* initial FreeSpace size is fill*(ai[mbs]+1) */
334a1a86e44SBarry Smith   ierr = PetscFreeSpaceGet((PetscInt)(fill*(ai[mbs]+1)),&free_space);CHKERRQ(ierr);
33598a8e78dSHong Zhang   current_space = free_space;
33698a8e78dSHong Zhang 
3377625dc9aSHong Zhang   for (k=0; k<mbs; k++){  /* for each active row k */
33898a8e78dSHong Zhang     /* initialize lnk by the column indices of row rip[k] of A */
33998a8e78dSHong Zhang     nzk   = 0;
34098a8e78dSHong Zhang     ncols = ai[rip[k]+1] - ai[rip[k]];
3417625dc9aSHong Zhang     for (j=0; j<ncols; j++){
3427625dc9aSHong Zhang       i = *(aj + ai[rip[k]] + j);
3437625dc9aSHong Zhang       cols[j] = rip[i];
3447625dc9aSHong Zhang     }
3457625dc9aSHong Zhang     ierr = PetscLLAdd(ncols,cols,mbs,nlnk,lnk,lnkbt);CHKERRQ(ierr);
34698a8e78dSHong Zhang     nzk += nlnk;
34798a8e78dSHong Zhang 
34898a8e78dSHong Zhang     /* update lnk by computing fill-in for each pivot row to be merged in */
34998a8e78dSHong Zhang     prow = jl[k]; /* 1st pivot row */
350fff829cfSHong Zhang 
351fff829cfSHong Zhang     while (prow < k){
352fff829cfSHong Zhang       nextprow = jl[prow];
35398a8e78dSHong Zhang       /* merge prow into k-th row */
3547625dc9aSHong Zhang       jmin = il[prow] + 1;  /* index of the 2nd nzero entry in U(prow,k:mbs-1) */
35598a8e78dSHong Zhang       jmax = ui[prow+1];
35698a8e78dSHong Zhang       ncols = jmax-jmin;
3577625dc9aSHong Zhang       uj_ptr = ui_ptr[prow] + jmin - ui[prow]; /* points to the 2nd nzero entry in U(prow,k:mbs-1) */
3585a8e39fbSHong Zhang       ierr = PetscLLAddSorted(ncols,uj_ptr,mbs,nlnk,lnk,lnkbt);CHKERRQ(ierr);
35998a8e78dSHong Zhang       nzk += nlnk;
360fff829cfSHong Zhang 
36198a8e78dSHong Zhang       /* update il and jl for prow */
362fff829cfSHong Zhang       if (jmin < jmax){
363fff829cfSHong Zhang         il[prow] = jmin;
3647625dc9aSHong Zhang         j = *uj_ptr; jl[prow] = jl[j]; jl[j] = prow;
365fff829cfSHong Zhang       }
366fff829cfSHong Zhang       prow = nextprow;
367fff829cfSHong Zhang     }
368fff829cfSHong Zhang 
36998a8e78dSHong Zhang     /* if free space is not available, make more free space */
37098a8e78dSHong Zhang     if (current_space->local_remaining<nzk) {
3717625dc9aSHong Zhang       i = mbs - k + 1; /* num of unfactored rows */
37298a8e78dSHong Zhang       i = PetscMin(i*nzk, i*(i-1)); /* i*nzk, i*(i-1): estimated and max additional space needed */
373a1a86e44SBarry Smith       ierr = PetscFreeSpaceGet(i,&current_space);CHKERRQ(ierr);
37498a8e78dSHong Zhang       reallocs++;
37598a8e78dSHong Zhang     }
37698a8e78dSHong Zhang 
37798a8e78dSHong Zhang     /* copy data into free space, then initialize lnk */
3787625dc9aSHong Zhang     ierr = PetscLLClean(mbs,mbs,nzk,lnk,current_space->array,lnkbt);CHKERRQ(ierr);
37998a8e78dSHong Zhang 
38098a8e78dSHong Zhang     /* add the k-th row into il and jl */
38198a8e78dSHong Zhang     if (nzk-1 > 0){
3827625dc9aSHong Zhang       i = current_space->array[1]; /* col value of the first nonzero element in U(k, k+1:mbs-1) */
383fff829cfSHong Zhang       jl[k] = jl[i]; jl[i] = k;
38498a8e78dSHong Zhang       il[k] = ui[k] + 1;
385fff829cfSHong Zhang     }
3867625dc9aSHong Zhang     ui_ptr[k] = current_space->array;
38798a8e78dSHong Zhang     current_space->array           += nzk;
38898a8e78dSHong Zhang     current_space->local_used      += nzk;
38998a8e78dSHong Zhang     current_space->local_remaining -= nzk;
390fff829cfSHong Zhang 
39198a8e78dSHong Zhang     ui[k+1] = ui[k] + nzk;
392fff829cfSHong Zhang   }
393fff829cfSHong Zhang 
3946cf91177SBarry Smith #if defined(PETSC_USE_INFO)
3957625dc9aSHong Zhang   if (ai[mbs] != 0) {
3967625dc9aSHong Zhang     PetscReal af = ((PetscReal)ui[mbs])/((PetscReal)ai[mbs]);
397ae15b995SBarry Smith     ierr = PetscInfo3(A,"Reallocs %D Fill ratio:given %G needed %G\n",reallocs,fill,af);CHKERRQ(ierr);
398ae15b995SBarry Smith     ierr = PetscInfo1(A,"Run with -pc_factor_fill %G or use \n",af);CHKERRQ(ierr);
399ae15b995SBarry Smith     ierr = PetscInfo1(A,"PCFactorSetFill(pc,%G) for best performance.\n",af);CHKERRQ(ierr);
400fff829cfSHong Zhang   } else {
401ae15b995SBarry Smith     ierr = PetscInfo(A,"Empty matrix.\n");CHKERRQ(ierr);
402fff829cfSHong Zhang   }
40363ba0a88SBarry Smith #endif
404fff829cfSHong Zhang 
405fff829cfSHong Zhang   ierr = ISRestoreIndices(perm,&rip);CHKERRQ(ierr);
406fff829cfSHong Zhang   ierr = PetscFree(jl);CHKERRQ(ierr);
407fff829cfSHong Zhang 
40898a8e78dSHong Zhang   /* destroy list of free space and other temporary array(s) */
4097625dc9aSHong Zhang   ierr = PetscMalloc((ui[mbs]+1)*sizeof(PetscInt),&uj);CHKERRQ(ierr);
410a1a86e44SBarry Smith   ierr = PetscFreeSpaceContiguous(&free_space,uj);CHKERRQ(ierr);
41198a8e78dSHong Zhang   ierr = PetscLLDestroy(lnk,lnkbt);CHKERRQ(ierr);
412fff829cfSHong Zhang 
41398a8e78dSHong Zhang   /* put together the new matrix in MATSEQSBAIJ format */
414f69a0ea3SMatthew Knepley   ierr = MatCreate(PETSC_COMM_SELF,fact);CHKERRQ(ierr);
415f69a0ea3SMatthew Knepley   ierr = MatSetSizes(*fact,mbs,mbs,mbs,mbs);CHKERRQ(ierr);
41698a8e78dSHong Zhang   B    = *fact;
41798a8e78dSHong Zhang   ierr = MatSetType(B,MATSEQSBAIJ);CHKERRQ(ierr);
418ab93d7beSBarry Smith   ierr = MatSeqSBAIJSetPreallocation_SeqSBAIJ(B,bs,MAT_SKIP_ALLOCATION,PETSC_NULL);CHKERRQ(ierr);
41998a8e78dSHong Zhang 
42098a8e78dSHong Zhang   b = (Mat_SeqSBAIJ*)B->data;
421fff829cfSHong Zhang   b->singlemalloc = PETSC_FALSE;
422e6b907acSBarry Smith   b->free_a       = PETSC_TRUE;
423e6b907acSBarry Smith   b->free_ij      = PETSC_TRUE;
4247625dc9aSHong Zhang   ierr = PetscMalloc((ui[mbs]+1)*sizeof(MatScalar),&b->a);CHKERRQ(ierr);
42598a8e78dSHong Zhang   b->j    = uj;
42698a8e78dSHong Zhang   b->i    = ui;
427fff829cfSHong Zhang   b->diag = 0;
428fff829cfSHong Zhang   b->ilen = 0;
429fff829cfSHong Zhang   b->imax = 0;
430fff829cfSHong Zhang   b->row  = perm;
431fff829cfSHong Zhang   b->pivotinblocks = PETSC_FALSE; /* need to get from MatFactorInfo */
432fff829cfSHong Zhang   ierr    = PetscObjectReference((PetscObject)perm);CHKERRQ(ierr);
433fff829cfSHong Zhang   b->icol = perm;
434fff829cfSHong Zhang   ierr    = PetscObjectReference((PetscObject)perm);CHKERRQ(ierr);
4357625dc9aSHong Zhang   ierr    = PetscMalloc((mbs+1)*sizeof(PetscScalar),&b->solve_work);CHKERRQ(ierr);
43652e6d16bSBarry Smith   ierr    = PetscLogObjectMemory(B,(ui[mbs]-mbs)*(sizeof(PetscInt)+sizeof(MatScalar)));CHKERRQ(ierr);
4377625dc9aSHong Zhang   b->maxnz = b->nz = ui[mbs];
438fff829cfSHong Zhang 
43998a8e78dSHong Zhang   B->factor                 = FACTOR_CHOLESKY;
44098a8e78dSHong Zhang   B->info.factor_mallocs    = reallocs;
44198a8e78dSHong Zhang   B->info.fill_ratio_given  = fill;
4427625dc9aSHong Zhang   if (ai[mbs] != 0) {
4437625dc9aSHong Zhang     B->info.fill_ratio_needed = ((PetscReal)ui[mbs])/((PetscReal)ai[mbs]);
444fff829cfSHong Zhang   } else {
44598a8e78dSHong Zhang     B->info.fill_ratio_needed = 0.0;
446fff829cfSHong Zhang   }
447fff829cfSHong Zhang 
448fff829cfSHong Zhang   if (perm_identity){
44998a8e78dSHong Zhang     switch (bs) {
45098a8e78dSHong Zhang       case 1:
45198a8e78dSHong Zhang         B->ops->choleskyfactornumeric = MatCholeskyFactorNumeric_SeqSBAIJ_1_NaturalOrdering;
45298a8e78dSHong Zhang         B->ops->solve           = MatSolve_SeqSBAIJ_1_NaturalOrdering;
453ae15b995SBarry Smith         ierr = PetscInfo(A,"Using special in-place natural ordering factor and solve BS=1\n");CHKERRQ(ierr);
45498a8e78dSHong Zhang         break;
45598a8e78dSHong Zhang       case 2:
45698a8e78dSHong Zhang         B->ops->choleskyfactornumeric = MatCholeskyFactorNumeric_SeqSBAIJ_2_NaturalOrdering;
45798a8e78dSHong Zhang         B->ops->solve           = MatSolve_SeqSBAIJ_2_NaturalOrdering;
458ae15b995SBarry Smith         ierr = PetscInfo(A,"Using special in-place natural ordering factor and solve BS=2\n");CHKERRQ(ierr);
45998a8e78dSHong Zhang         break;
46098a8e78dSHong Zhang       case 3:
46198a8e78dSHong Zhang         B->ops->choleskyfactornumeric = MatCholeskyFactorNumeric_SeqSBAIJ_3_NaturalOrdering;
46298a8e78dSHong Zhang         B->ops->solve           = MatSolve_SeqSBAIJ_3_NaturalOrdering;
463ae15b995SBarry Smith         ierr = PetscInfo(A,"Using special in-place natural ordering factor and solve BS=3\n");CHKERRQ(ierr);
46498a8e78dSHong Zhang         break;
46598a8e78dSHong Zhang       case 4:
46698a8e78dSHong Zhang         B->ops->choleskyfactornumeric = MatCholeskyFactorNumeric_SeqSBAIJ_4_NaturalOrdering;
46798a8e78dSHong Zhang         B->ops->solve           = MatSolve_SeqSBAIJ_4_NaturalOrdering;
468ae15b995SBarry Smith         ierr = PetscInfo(A,"Using special in-place natural ordering factor and solve BS=4\n");CHKERRQ(ierr);
46998a8e78dSHong Zhang         break;
47098a8e78dSHong Zhang       case 5:
47198a8e78dSHong Zhang         B->ops->choleskyfactornumeric = MatCholeskyFactorNumeric_SeqSBAIJ_5_NaturalOrdering;
47298a8e78dSHong Zhang         B->ops->solve           = MatSolve_SeqSBAIJ_5_NaturalOrdering;
473ae15b995SBarry Smith         ierr = PetscInfo(A,"Using special in-place natural ordering factor and solve BS=5\n");CHKERRQ(ierr);
47498a8e78dSHong Zhang         break;
47598a8e78dSHong Zhang       case 6:
47698a8e78dSHong Zhang         B->ops->choleskyfactornumeric = MatCholeskyFactorNumeric_SeqSBAIJ_6_NaturalOrdering;
47798a8e78dSHong Zhang         B->ops->solve           = MatSolve_SeqSBAIJ_6_NaturalOrdering;
478ae15b995SBarry Smith         ierr = PetscInfo(A,"Using special in-place natural ordering factor and solve BS=6\n");CHKERRQ(ierr);
47998a8e78dSHong Zhang         break;
48098a8e78dSHong Zhang       case 7:
48198a8e78dSHong Zhang         B->ops->choleskyfactornumeric = MatCholeskyFactorNumeric_SeqSBAIJ_7_NaturalOrdering;
48298a8e78dSHong Zhang         B->ops->solve           = MatSolve_SeqSBAIJ_7_NaturalOrdering;
483ae15b995SBarry Smith         ierr = PetscInfo(A,"Using special in-place natural ordering factor and solve BS=7\n");CHKERRQ(ierr);
48498a8e78dSHong Zhang       break;
48598a8e78dSHong Zhang       default:
48698a8e78dSHong Zhang         B->ops->choleskyfactornumeric = MatCholeskyFactorNumeric_SeqSBAIJ_N_NaturalOrdering;
48798a8e78dSHong Zhang         B->ops->solve           = MatSolve_SeqSBAIJ_N_NaturalOrdering;
488ae15b995SBarry Smith         ierr = PetscInfo(A,"Using special in-place natural ordering factor and solve BS>7\n");CHKERRQ(ierr);
48998a8e78dSHong Zhang       break;
49098a8e78dSHong Zhang     }
49198a8e78dSHong Zhang   }
492064503c5SHong Zhang   PetscFunctionReturn(0);
493064503c5SHong Zhang }
4944a2ae208SSatish Balay #undef __FUNCT__
4954a2ae208SSatish Balay #define __FUNCT__ "MatCholeskyFactorNumeric_SeqSBAIJ_N"
496af281ebdSHong Zhang PetscErrorCode MatCholeskyFactorNumeric_SeqSBAIJ_N(Mat A,MatFactorInfo *info,Mat *B)
49749b5e25fSSatish Balay {
49849b5e25fSSatish Balay   Mat            C = *B;
4994c16a6a6SHong Zhang   Mat_SeqSBAIJ   *a = (Mat_SeqSBAIJ*)A->data,*b = (Mat_SeqSBAIJ *)C->data;
5004c16a6a6SHong Zhang   IS             perm = b->row;
5016849ba73SBarry Smith   PetscErrorCode ierr;
50213f74950SBarry Smith   PetscInt       *perm_ptr,i,j,mbs=a->mbs,*bi=b->i,*bj=b->j;
50313f74950SBarry Smith   PetscInt       *ai,*aj,*a2anew,k,k1,jmin,jmax,*jl,*il,vj,nexti,ili;
50439c4164eSSatish Balay   PetscInt       bs=A->rmap.bs,bs2 = a->bs2,bslog = 0;
5054c16a6a6SHong Zhang   MatScalar      *ba = b->a,*aa,*ap,*dk,*uik;
5064c16a6a6SHong Zhang   MatScalar      *u,*diag,*rtmp,*rtmp_ptr;
50728de702eSHong Zhang   MatScalar      *work;
50813f74950SBarry Smith   PetscInt       *pivots;
5094c16a6a6SHong Zhang 
5104c16a6a6SHong Zhang   PetscFunctionBegin;
5114c16a6a6SHong Zhang   /* initialization */
51282502324SSatish Balay   ierr = PetscMalloc(bs2*mbs*sizeof(MatScalar),&rtmp);CHKERRQ(ierr);
5134c16a6a6SHong Zhang   ierr = PetscMemzero(rtmp,bs2*mbs*sizeof(MatScalar));CHKERRQ(ierr);
51413f74950SBarry Smith   ierr = PetscMalloc(2*mbs*sizeof(PetscInt),&il);CHKERRQ(ierr);
51528de702eSHong Zhang   jl   = il + mbs;
5164c16a6a6SHong Zhang   for (i=0; i<mbs; i++) {
5174c16a6a6SHong Zhang     jl[i] = mbs; il[0] = 0;
5184c16a6a6SHong Zhang   }
519b0a32e0cSBarry Smith   ierr = PetscMalloc((2*bs2+bs)*sizeof(MatScalar),&dk);CHKERRQ(ierr);
52028de702eSHong Zhang   uik  = dk + bs2;
52128de702eSHong Zhang   work = uik + bs2;
52213f74950SBarry Smith   ierr = PetscMalloc(bs*sizeof(PetscInt),&pivots);CHKERRQ(ierr);
5234c16a6a6SHong Zhang 
5244c16a6a6SHong Zhang   ierr  = ISGetIndices(perm,&perm_ptr);CHKERRQ(ierr);
5254c16a6a6SHong Zhang 
5264c16a6a6SHong Zhang   /* check permutation */
5274c16a6a6SHong Zhang   if (!a->permute){
5284c16a6a6SHong Zhang     ai = a->i; aj = a->j; aa = a->a;
5294c16a6a6SHong Zhang   } else {
5304c16a6a6SHong Zhang     ai   = a->inew; aj = a->jnew;
53182502324SSatish Balay     ierr = PetscMalloc(bs2*ai[mbs]*sizeof(MatScalar),&aa);CHKERRQ(ierr);
5324c16a6a6SHong Zhang     ierr = PetscMemcpy(aa,a->a,bs2*ai[mbs]*sizeof(MatScalar));CHKERRQ(ierr);
53313f74950SBarry Smith     ierr = PetscMalloc(ai[mbs]*sizeof(PetscInt),&a2anew);CHKERRQ(ierr);
53413f74950SBarry Smith     ierr = PetscMemcpy(a2anew,a->a2anew,(ai[mbs])*sizeof(PetscInt));CHKERRQ(ierr);
5354c16a6a6SHong Zhang 
536187a9f4bSHong Zhang     /* flops in while loop */
537187a9f4bSHong Zhang     bslog = 2*bs*bs2;
538187a9f4bSHong Zhang 
5394c16a6a6SHong Zhang     for (i=0; i<mbs; i++){
5404c16a6a6SHong Zhang       jmin = ai[i]; jmax = ai[i+1];
5414c16a6a6SHong Zhang       for (j=jmin; j<jmax; j++){
5424c16a6a6SHong Zhang         while (a2anew[j] != j){
5434c16a6a6SHong Zhang           k = a2anew[j]; a2anew[j] = a2anew[k]; a2anew[k] = k;
5444c16a6a6SHong Zhang           for (k1=0; k1<bs2; k1++){
5454c16a6a6SHong Zhang             dk[k1]       = aa[k*bs2+k1];
5464c16a6a6SHong Zhang             aa[k*bs2+k1] = aa[j*bs2+k1];
5474c16a6a6SHong Zhang             aa[j*bs2+k1] = dk[k1];
5484c16a6a6SHong Zhang           }
5494c16a6a6SHong Zhang         }
5504c16a6a6SHong Zhang         /* transform columnoriented blocks that lie in the lower triangle to roworiented blocks */
5514c16a6a6SHong Zhang         if (i > aj[j]){
5524c16a6a6SHong Zhang           /* printf("change orientation, row: %d, col: %d\n",i,aj[j]); */
5534c16a6a6SHong Zhang           ap = aa + j*bs2;                     /* ptr to the beginning of j-th block of aa */
5544c16a6a6SHong Zhang           for (k=0; k<bs2; k++) dk[k] = ap[k]; /* dk <- j-th block of aa */
5554c16a6a6SHong Zhang           for (k=0; k<bs; k++){               /* j-th block of aa <- dk^T */
5564c16a6a6SHong Zhang             for (k1=0; k1<bs; k1++) *ap++ = dk[k + bs*k1];
5574c16a6a6SHong Zhang           }
5584c16a6a6SHong Zhang         }
5594c16a6a6SHong Zhang       }
5604c16a6a6SHong Zhang     }
561323b833fSBarry Smith     ierr = PetscFree(a2anew);CHKERRQ(ierr);
5624c16a6a6SHong Zhang   }
5634c16a6a6SHong Zhang 
5644c16a6a6SHong Zhang   /* for each row k */
5654c16a6a6SHong Zhang   for (k = 0; k<mbs; k++){
5664c16a6a6SHong Zhang 
5674c16a6a6SHong Zhang     /*initialize k-th row with elements nonzero in row perm(k) of A */
5684c16a6a6SHong Zhang     jmin = ai[perm_ptr[k]]; jmax = ai[perm_ptr[k]+1];
569057f5ba7SHong Zhang 
5704c16a6a6SHong Zhang     ap = aa + jmin*bs2;
5714c16a6a6SHong Zhang     for (j = jmin; j < jmax; j++){
5724c16a6a6SHong Zhang       vj = perm_ptr[aj[j]];         /* block col. index */
5734c16a6a6SHong Zhang       rtmp_ptr = rtmp + vj*bs2;
5744c16a6a6SHong Zhang       for (i=0; i<bs2; i++) *rtmp_ptr++ = *ap++;
5754c16a6a6SHong Zhang     }
5764c16a6a6SHong Zhang 
5774c16a6a6SHong Zhang     /* modify k-th row by adding in those rows i with U(i,k) != 0 */
5784c16a6a6SHong Zhang     ierr = PetscMemcpy(dk,rtmp+k*bs2,bs2*sizeof(MatScalar));CHKERRQ(ierr);
5794c16a6a6SHong Zhang     i = jl[k]; /* first row to be added to k_th row  */
5804c16a6a6SHong Zhang 
581057f5ba7SHong Zhang     while (i < k){
5824c16a6a6SHong Zhang       nexti = jl[i]; /* next row to be added to k_th row */
5834c16a6a6SHong Zhang 
5844c16a6a6SHong Zhang       /* compute multiplier */
5854c16a6a6SHong Zhang       ili = il[i];  /* index of first nonzero element in U(i,k:bms-1) */
5864c16a6a6SHong Zhang 
5874c16a6a6SHong Zhang       /* uik = -inv(Di)*U_bar(i,k) */
5884c16a6a6SHong Zhang       diag = ba + i*bs2;
5894c16a6a6SHong Zhang       u    = ba + ili*bs2;
5904c16a6a6SHong Zhang       ierr = PetscMemzero(uik,bs2*sizeof(MatScalar));CHKERRQ(ierr);
5914c16a6a6SHong Zhang       Kernel_A_gets_A_minus_B_times_C(bs,uik,diag,u);
5924c16a6a6SHong Zhang 
5934c16a6a6SHong Zhang       /* update D(k) += -U(i,k)^T * U_bar(i,k) */
5944c16a6a6SHong Zhang       Kernel_A_gets_A_plus_Btranspose_times_C(bs,dk,uik,u);
595187a9f4bSHong Zhang       ierr = PetscLogFlops(bslog*2);CHKERRQ(ierr);
5964c16a6a6SHong Zhang 
5974c16a6a6SHong Zhang       /* update -U(i,k) */
5984c16a6a6SHong Zhang       ierr = PetscMemcpy(ba+ili*bs2,uik,bs2*sizeof(MatScalar));CHKERRQ(ierr);
5994c16a6a6SHong Zhang 
6004c16a6a6SHong Zhang       /* add multiple of row i to k-th row ... */
6014c16a6a6SHong Zhang       jmin = ili + 1; jmax = bi[i+1];
6024c16a6a6SHong Zhang       if (jmin < jmax){
6034c16a6a6SHong Zhang         for (j=jmin; j<jmax; j++) {
6044c16a6a6SHong Zhang           /* rtmp += -U(i,k)^T * U_bar(i,j) */
6054c16a6a6SHong Zhang           rtmp_ptr = rtmp + bj[j]*bs2;
6064c16a6a6SHong Zhang           u = ba + j*bs2;
6074c16a6a6SHong Zhang           Kernel_A_gets_A_plus_Btranspose_times_C(bs,rtmp_ptr,uik,u);
6084c16a6a6SHong Zhang         }
609187a9f4bSHong Zhang         ierr = PetscLogFlops(bslog*(jmax-jmin));CHKERRQ(ierr);
6104c16a6a6SHong Zhang 
6114c16a6a6SHong Zhang         /* ... add i to row list for next nonzero entry */
6124c16a6a6SHong Zhang         il[i] = jmin;             /* update il(i) in column k+1, ... mbs-1 */
6134c16a6a6SHong Zhang         j     = bj[jmin];
6144c16a6a6SHong Zhang         jl[i] = jl[j]; jl[j] = i; /* update jl */
6154c16a6a6SHong Zhang       }
6164c16a6a6SHong Zhang       i = nexti;
6174c16a6a6SHong Zhang     }
6184c16a6a6SHong Zhang 
6194c16a6a6SHong Zhang     /* save nonzero entries in k-th row of U ... */
6204c16a6a6SHong Zhang 
6214c16a6a6SHong Zhang     /* invert diagonal block */
6224c16a6a6SHong Zhang     diag = ba+k*bs2;
6234c16a6a6SHong Zhang     ierr = PetscMemcpy(diag,dk,bs2*sizeof(MatScalar));CHKERRQ(ierr);
624d230e6fdSBarry Smith     ierr = Kernel_A_gets_inverse_A(bs,diag,pivots,work);CHKERRQ(ierr);
6254c16a6a6SHong Zhang 
6264c16a6a6SHong Zhang     jmin = bi[k]; jmax = bi[k+1];
6274c16a6a6SHong Zhang     if (jmin < jmax) {
6284c16a6a6SHong Zhang       for (j=jmin; j<jmax; j++){
6294c16a6a6SHong Zhang          vj = bj[j];           /* block col. index of U */
6304c16a6a6SHong Zhang          u   = ba + j*bs2;
6314c16a6a6SHong Zhang          rtmp_ptr = rtmp + vj*bs2;
6324c16a6a6SHong Zhang          for (k1=0; k1<bs2; k1++){
6334c16a6a6SHong Zhang            *u++        = *rtmp_ptr;
6344c16a6a6SHong Zhang            *rtmp_ptr++ = 0.0;
6354c16a6a6SHong Zhang          }
6364c16a6a6SHong Zhang       }
6374c16a6a6SHong Zhang 
6384c16a6a6SHong Zhang       /* ... add k to row list for first nonzero entry in k-th row */
6394c16a6a6SHong Zhang       il[k] = jmin;
6404c16a6a6SHong Zhang       i     = bj[jmin];
6414c16a6a6SHong Zhang       jl[k] = jl[i]; jl[i] = k;
6424c16a6a6SHong Zhang     }
6434c16a6a6SHong Zhang   }
6444c16a6a6SHong Zhang 
6454c16a6a6SHong Zhang   ierr = PetscFree(rtmp);CHKERRQ(ierr);
6464c16a6a6SHong Zhang   ierr = PetscFree(il);CHKERRQ(ierr);
6474c16a6a6SHong Zhang   ierr = PetscFree(dk);CHKERRQ(ierr);
6484c16a6a6SHong Zhang   ierr = PetscFree(pivots);CHKERRQ(ierr);
6494c16a6a6SHong Zhang   if (a->permute){
6504c16a6a6SHong Zhang     ierr = PetscFree(aa);CHKERRQ(ierr);
6514c16a6a6SHong Zhang   }
6524c16a6a6SHong Zhang 
6534c16a6a6SHong Zhang   ierr = ISRestoreIndices(perm,&perm_ptr);CHKERRQ(ierr);
6544c16a6a6SHong Zhang   C->factor       = FACTOR_CHOLESKY;
6554c16a6a6SHong Zhang   C->assembled    = PETSC_TRUE;
6564c16a6a6SHong Zhang   C->preallocated = PETSC_TRUE;
657efee365bSSatish Balay   ierr = PetscLogFlops(1.3333*bs*bs2*b->mbs);CHKERRQ(ierr); /* from inverting diagonal blocks */
6584c16a6a6SHong Zhang   PetscFunctionReturn(0);
6594c16a6a6SHong Zhang }
660d4edadd4SHong Zhang 
6614a2ae208SSatish Balay #undef __FUNCT__
6624a2ae208SSatish Balay #define __FUNCT__ "MatCholeskyFactorNumeric_SeqSBAIJ_N_NaturalOrdering"
663af281ebdSHong Zhang PetscErrorCode MatCholeskyFactorNumeric_SeqSBAIJ_N_NaturalOrdering(Mat A,MatFactorInfo *info,Mat *B)
664671cb588SHong Zhang {
665671cb588SHong Zhang   Mat            C = *B;
666671cb588SHong Zhang   Mat_SeqSBAIJ   *a = (Mat_SeqSBAIJ*)A->data,*b = (Mat_SeqSBAIJ *)C->data;
667dfbe8321SBarry Smith   PetscErrorCode ierr;
66813f74950SBarry Smith   PetscInt       i,j,mbs=a->mbs,*bi=b->i,*bj=b->j;
66913f74950SBarry Smith   PetscInt       *ai,*aj,k,k1,jmin,jmax,*jl,*il,vj,nexti,ili;
670187a9f4bSHong Zhang   PetscInt       bs=A->rmap.bs,bs2 = a->bs2,bslog;
671671cb588SHong Zhang   MatScalar      *ba = b->a,*aa,*ap,*dk,*uik;
672671cb588SHong Zhang   MatScalar      *u,*diag,*rtmp,*rtmp_ptr;
67328de702eSHong Zhang   MatScalar      *work;
67413f74950SBarry Smith   PetscInt       *pivots;
675671cb588SHong Zhang 
676671cb588SHong Zhang   PetscFunctionBegin;
67782502324SSatish Balay   ierr = PetscMalloc(bs2*mbs*sizeof(MatScalar),&rtmp);CHKERRQ(ierr);
678671cb588SHong Zhang   ierr = PetscMemzero(rtmp,bs2*mbs*sizeof(MatScalar));CHKERRQ(ierr);
67913f74950SBarry Smith   ierr = PetscMalloc(2*mbs*sizeof(PetscInt),&il);CHKERRQ(ierr);
68028de702eSHong Zhang   jl   = il + mbs;
681671cb588SHong Zhang   for (i=0; i<mbs; i++) {
682671cb588SHong Zhang     jl[i] = mbs; il[0] = 0;
683671cb588SHong Zhang   }
684b0a32e0cSBarry Smith   ierr = PetscMalloc((2*bs2+bs)*sizeof(MatScalar),&dk);CHKERRQ(ierr);
68528de702eSHong Zhang   uik  = dk + bs2;
68628de702eSHong Zhang   work = uik + bs2;
68713f74950SBarry Smith   ierr = PetscMalloc(bs*sizeof(PetscInt),&pivots);CHKERRQ(ierr);
688671cb588SHong Zhang 
689671cb588SHong Zhang   ai = a->i; aj = a->j; aa = a->a;
690671cb588SHong Zhang 
691187a9f4bSHong Zhang   /* flops in while loop */
692187a9f4bSHong Zhang   bslog = 2*bs*bs2;
693187a9f4bSHong Zhang 
694671cb588SHong Zhang   /* for each row k */
695671cb588SHong Zhang   for (k = 0; k<mbs; k++){
696671cb588SHong Zhang 
697671cb588SHong Zhang     /*initialize k-th row with elements nonzero in row k of A */
698671cb588SHong Zhang     jmin = ai[k]; jmax = ai[k+1];
699671cb588SHong Zhang     ap = aa + jmin*bs2;
700671cb588SHong Zhang     for (j = jmin; j < jmax; j++){
701671cb588SHong Zhang       vj = aj[j];         /* block col. index */
702671cb588SHong Zhang       rtmp_ptr = rtmp + vj*bs2;
703671cb588SHong Zhang       for (i=0; i<bs2; i++) *rtmp_ptr++ = *ap++;
704671cb588SHong Zhang     }
705671cb588SHong Zhang 
706671cb588SHong Zhang     /* modify k-th row by adding in those rows i with U(i,k) != 0 */
707671cb588SHong Zhang     ierr = PetscMemcpy(dk,rtmp+k*bs2,bs2*sizeof(MatScalar));CHKERRQ(ierr);
708671cb588SHong Zhang     i = jl[k]; /* first row to be added to k_th row  */
709671cb588SHong Zhang 
710057f5ba7SHong Zhang     while (i < k){
711671cb588SHong Zhang       nexti = jl[i]; /* next row to be added to k_th row */
712671cb588SHong Zhang 
713671cb588SHong Zhang       /* compute multiplier */
714671cb588SHong Zhang       ili = il[i];  /* index of first nonzero element in U(i,k:bms-1) */
715671cb588SHong Zhang 
716671cb588SHong Zhang       /* uik = -inv(Di)*U_bar(i,k) */
717671cb588SHong Zhang       diag = ba + i*bs2;
718671cb588SHong Zhang       u    = ba + ili*bs2;
719671cb588SHong Zhang       ierr = PetscMemzero(uik,bs2*sizeof(MatScalar));CHKERRQ(ierr);
720671cb588SHong Zhang       Kernel_A_gets_A_minus_B_times_C(bs,uik,diag,u);
721671cb588SHong Zhang 
722671cb588SHong Zhang       /* update D(k) += -U(i,k)^T * U_bar(i,k) */
723671cb588SHong Zhang       Kernel_A_gets_A_plus_Btranspose_times_C(bs,dk,uik,u);
724187a9f4bSHong Zhang       ierr = PetscLogFlops(bslog*2);CHKERRQ(ierr);
725671cb588SHong Zhang 
726671cb588SHong Zhang       /* update -U(i,k) */
727671cb588SHong Zhang       ierr = PetscMemcpy(ba+ili*bs2,uik,bs2*sizeof(MatScalar));CHKERRQ(ierr);
728671cb588SHong Zhang 
729671cb588SHong Zhang       /* add multiple of row i to k-th row ... */
730671cb588SHong Zhang       jmin = ili + 1; jmax = bi[i+1];
731671cb588SHong Zhang       if (jmin < jmax){
732671cb588SHong Zhang         for (j=jmin; j<jmax; j++) {
733671cb588SHong Zhang           /* rtmp += -U(i,k)^T * U_bar(i,j) */
734671cb588SHong Zhang           rtmp_ptr = rtmp + bj[j]*bs2;
735671cb588SHong Zhang           u = ba + j*bs2;
736671cb588SHong Zhang           Kernel_A_gets_A_plus_Btranspose_times_C(bs,rtmp_ptr,uik,u);
737671cb588SHong Zhang         }
738187a9f4bSHong Zhang         ierr = PetscLogFlops(bslog*(jmax-jmin));CHKERRQ(ierr);
739671cb588SHong Zhang 
740671cb588SHong Zhang         /* ... add i to row list for next nonzero entry */
741671cb588SHong Zhang         il[i] = jmin;             /* update il(i) in column k+1, ... mbs-1 */
742671cb588SHong Zhang         j     = bj[jmin];
743671cb588SHong Zhang         jl[i] = jl[j]; jl[j] = i; /* update jl */
744671cb588SHong Zhang       }
745671cb588SHong Zhang       i = nexti;
746671cb588SHong Zhang     }
747671cb588SHong Zhang 
748671cb588SHong Zhang     /* save nonzero entries in k-th row of U ... */
749671cb588SHong Zhang 
750671cb588SHong Zhang     /* invert diagonal block */
751671cb588SHong Zhang     diag = ba+k*bs2;
752671cb588SHong Zhang     ierr = PetscMemcpy(diag,dk,bs2*sizeof(MatScalar));CHKERRQ(ierr);
753d230e6fdSBarry Smith     ierr = Kernel_A_gets_inverse_A(bs,diag,pivots,work);CHKERRQ(ierr);
754671cb588SHong Zhang 
755671cb588SHong Zhang     jmin = bi[k]; jmax = bi[k+1];
756671cb588SHong Zhang     if (jmin < jmax) {
757671cb588SHong Zhang       for (j=jmin; j<jmax; j++){
758671cb588SHong Zhang          vj = bj[j];           /* block col. index of U */
759671cb588SHong Zhang          u   = ba + j*bs2;
760671cb588SHong Zhang          rtmp_ptr = rtmp + vj*bs2;
761671cb588SHong Zhang          for (k1=0; k1<bs2; k1++){
762671cb588SHong Zhang            *u++        = *rtmp_ptr;
763671cb588SHong Zhang            *rtmp_ptr++ = 0.0;
764671cb588SHong Zhang          }
765671cb588SHong Zhang       }
766671cb588SHong Zhang 
767671cb588SHong Zhang       /* ... add k to row list for first nonzero entry in k-th row */
768671cb588SHong Zhang       il[k] = jmin;
769671cb588SHong Zhang       i     = bj[jmin];
770671cb588SHong Zhang       jl[k] = jl[i]; jl[i] = k;
771671cb588SHong Zhang     }
772671cb588SHong Zhang   }
773671cb588SHong Zhang 
774671cb588SHong Zhang   ierr = PetscFree(rtmp);CHKERRQ(ierr);
775671cb588SHong Zhang   ierr = PetscFree(il);CHKERRQ(ierr);
776671cb588SHong Zhang   ierr = PetscFree(dk);CHKERRQ(ierr);
777671cb588SHong Zhang   ierr = PetscFree(pivots);CHKERRQ(ierr);
778671cb588SHong Zhang 
779671cb588SHong Zhang   C->factor    = FACTOR_CHOLESKY;
780671cb588SHong Zhang   C->assembled = PETSC_TRUE;
781671cb588SHong Zhang   C->preallocated = PETSC_TRUE;
782efee365bSSatish Balay   ierr = PetscLogFlops(1.3333*bs*bs2*b->mbs);CHKERRQ(ierr); /* from inverting diagonal blocks */
783671cb588SHong Zhang   PetscFunctionReturn(0);
784671cb588SHong Zhang }
785671cb588SHong Zhang 
78649b5e25fSSatish Balay /*
787fcf159c0SHong Zhang     Numeric U^T*D*U factorization for SBAIJ format. Modified from SNF of YSMP.
788cc0c071aSHong Zhang     Version for blocks 2 by 2.
78949b5e25fSSatish Balay */
7904a2ae208SSatish Balay #undef __FUNCT__
7914a2ae208SSatish Balay #define __FUNCT__ "MatCholeskyFactorNumeric_SeqSBAIJ_2"
792af281ebdSHong Zhang PetscErrorCode MatCholeskyFactorNumeric_SeqSBAIJ_2(Mat A,MatFactorInfo *info,Mat *B)
79349b5e25fSSatish Balay {
79449b5e25fSSatish Balay   Mat            C = *B;
79591602c66SHong Zhang   Mat_SeqSBAIJ   *a = (Mat_SeqSBAIJ*)A->data,*b = (Mat_SeqSBAIJ *)C->data;
796cc0c071aSHong Zhang   IS             perm = b->row;
7976849ba73SBarry Smith   PetscErrorCode ierr;
79813f74950SBarry Smith   PetscInt       *perm_ptr,i,j,mbs=a->mbs,*bi=b->i,*bj=b->j;
79913f74950SBarry Smith   PetscInt       *ai,*aj,*a2anew,k,k1,jmin,jmax,*jl,*il,vj,nexti,ili;
800a1723e09SHong Zhang   MatScalar      *ba = b->a,*aa,*ap,*dk,*uik;
801cc0c071aSHong Zhang   MatScalar      *u,*diag,*rtmp,*rtmp_ptr;
80249b5e25fSSatish Balay 
80349b5e25fSSatish Balay   PetscFunctionBegin;
80491602c66SHong Zhang   /* initialization */
80591602c66SHong Zhang   /* il and jl record the first nonzero element in each row of the accessing
80691602c66SHong Zhang      window U(0:k, k:mbs-1).
80791602c66SHong Zhang      jl:    list of rows to be added to uneliminated rows
80891602c66SHong Zhang             i>= k: jl(i) is the first row to be added to row i
80991602c66SHong Zhang             i<  k: jl(i) is the row following row i in some list of rows
81091602c66SHong Zhang             jl(i) = mbs indicates the end of a list
81191602c66SHong Zhang      il(i): points to the first nonzero element in columns k,...,mbs-1 of
81291602c66SHong Zhang             row i of U */
81382502324SSatish Balay   ierr = PetscMalloc(4*mbs*sizeof(MatScalar),&rtmp);CHKERRQ(ierr);
814cc0c071aSHong Zhang   ierr = PetscMemzero(rtmp,4*mbs*sizeof(MatScalar));CHKERRQ(ierr);
81513f74950SBarry Smith   ierr = PetscMalloc(2*mbs*sizeof(PetscInt),&il);CHKERRQ(ierr);
81628de702eSHong Zhang   jl   = il + mbs;
81791602c66SHong Zhang   for (i=0; i<mbs; i++) {
8183845f261SHong Zhang     jl[i] = mbs; il[0] = 0;
81991602c66SHong Zhang   }
82082502324SSatish Balay   ierr = PetscMalloc(8*sizeof(MatScalar),&dk);CHKERRQ(ierr);
82128de702eSHong Zhang   uik  = dk + 4;
822cc0c071aSHong Zhang   ierr = ISGetIndices(perm,&perm_ptr);CHKERRQ(ierr);
823cc0c071aSHong Zhang 
824cc0c071aSHong Zhang   /* check permutation */
825cc0c071aSHong Zhang   if (!a->permute){
826cc0c071aSHong Zhang     ai = a->i; aj = a->j; aa = a->a;
827cc0c071aSHong Zhang   } else {
828cc0c071aSHong Zhang     ai   = a->inew; aj = a->jnew;
82982502324SSatish Balay     ierr = PetscMalloc(4*ai[mbs]*sizeof(MatScalar),&aa);CHKERRQ(ierr);
830cc0c071aSHong Zhang     ierr = PetscMemcpy(aa,a->a,4*ai[mbs]*sizeof(MatScalar));CHKERRQ(ierr);
83113f74950SBarry Smith     ierr = PetscMalloc(ai[mbs]*sizeof(PetscInt),&a2anew);CHKERRQ(ierr);
83213f74950SBarry Smith     ierr = PetscMemcpy(a2anew,a->a2anew,(ai[mbs])*sizeof(PetscInt));CHKERRQ(ierr);
833cc0c071aSHong Zhang 
834cc0c071aSHong Zhang     for (i=0; i<mbs; i++){
835cc0c071aSHong Zhang       jmin = ai[i]; jmax = ai[i+1];
836cc0c071aSHong Zhang       for (j=jmin; j<jmax; j++){
837cc0c071aSHong Zhang         while (a2anew[j] != j){
838cc0c071aSHong Zhang           k = a2anew[j]; a2anew[j] = a2anew[k]; a2anew[k] = k;
839cc0c071aSHong Zhang           for (k1=0; k1<4; k1++){
840cc0c071aSHong Zhang             dk[k1]       = aa[k*4+k1];
841cc0c071aSHong Zhang             aa[k*4+k1] = aa[j*4+k1];
842cc0c071aSHong Zhang             aa[j*4+k1] = dk[k1];
843cc0c071aSHong Zhang           }
844cc0c071aSHong Zhang         }
845cc0c071aSHong Zhang         /* transform columnoriented blocks that lie in the lower triangle to roworiented blocks */
846cc0c071aSHong Zhang         if (i > aj[j]){
847a1723e09SHong Zhang           /* printf("change orientation, row: %d, col: %d\n",i,aj[j]); */
848cc0c071aSHong Zhang           ap = aa + j*4;     /* ptr to the beginning of the block */
849cc0c071aSHong Zhang           dk[1] = ap[1];     /* swap ap[1] and ap[2] */
850cc0c071aSHong Zhang           ap[1] = ap[2];
851cc0c071aSHong Zhang           ap[2] = dk[1];
852cc0c071aSHong Zhang         }
853cc0c071aSHong Zhang       }
854cc0c071aSHong Zhang     }
855ac355199SBarry Smith     ierr = PetscFree(a2anew);CHKERRQ(ierr);
856cc0c071aSHong Zhang   }
8573845f261SHong Zhang 
85891602c66SHong Zhang   /* for each row k */
85991602c66SHong Zhang   for (k = 0; k<mbs; k++){
86091602c66SHong Zhang 
86191602c66SHong Zhang     /*initialize k-th row with elements nonzero in row perm(k) of A */
862cc0c071aSHong Zhang     jmin = ai[perm_ptr[k]]; jmax = ai[perm_ptr[k]+1];
863cc0c071aSHong Zhang     ap = aa + jmin*4;
86491602c66SHong Zhang     for (j = jmin; j < jmax; j++){
865cc0c071aSHong Zhang       vj = perm_ptr[aj[j]];         /* block col. index */
866cc0c071aSHong Zhang       rtmp_ptr = rtmp + vj*4;
867cc0c071aSHong Zhang       for (i=0; i<4; i++) *rtmp_ptr++ = *ap++;
86891602c66SHong Zhang     }
86991602c66SHong Zhang 
87091602c66SHong Zhang     /* modify k-th row by adding in those rows i with U(i,k) != 0 */
871cc0c071aSHong Zhang     ierr = PetscMemcpy(dk,rtmp+k*4,4*sizeof(MatScalar));CHKERRQ(ierr);
87291602c66SHong Zhang     i = jl[k]; /* first row to be added to k_th row  */
87391602c66SHong Zhang 
874057f5ba7SHong Zhang     while (i < k){
87591602c66SHong Zhang       nexti = jl[i]; /* next row to be added to k_th row */
87691602c66SHong Zhang 
8773845f261SHong Zhang       /* compute multiplier */
87891602c66SHong Zhang       ili = il[i];  /* index of first nonzero element in U(i,k:bms-1) */
8793845f261SHong Zhang 
8803845f261SHong Zhang       /* uik = -inv(Di)*U_bar(i,k): - ba[ili]*ba[i] */
881cc0c071aSHong Zhang       diag = ba + i*4;
882cc0c071aSHong Zhang       u    = ba + ili*4;
883cc0c071aSHong Zhang       uik[0] = -(diag[0]*u[0] + diag[2]*u[1]);
884cc0c071aSHong Zhang       uik[1] = -(diag[1]*u[0] + diag[3]*u[1]);
885cc0c071aSHong Zhang       uik[2] = -(diag[0]*u[2] + diag[2]*u[3]);
886cc0c071aSHong Zhang       uik[3] = -(diag[1]*u[2] + diag[3]*u[3]);
8873845f261SHong Zhang 
8883845f261SHong Zhang       /* update D(k) += -U(i,k)^T * U_bar(i,k): dk += uik*ba[ili] */
889cc0c071aSHong Zhang       dk[0] += uik[0]*u[0] + uik[1]*u[1];
890cc0c071aSHong Zhang       dk[1] += uik[2]*u[0] + uik[3]*u[1];
891cc0c071aSHong Zhang       dk[2] += uik[0]*u[2] + uik[1]*u[3];
892cc0c071aSHong Zhang       dk[3] += uik[2]*u[2] + uik[3]*u[3];
8933845f261SHong Zhang 
894187a9f4bSHong Zhang       ierr = PetscLogFlops(16*2);CHKERRQ(ierr);
895187a9f4bSHong Zhang 
8963845f261SHong Zhang       /* update -U(i,k): ba[ili] = uik */
897cc0c071aSHong Zhang       ierr = PetscMemcpy(ba+ili*4,uik,4*sizeof(MatScalar));CHKERRQ(ierr);
89891602c66SHong Zhang 
89991602c66SHong Zhang       /* add multiple of row i to k-th row ... */
90091602c66SHong Zhang       jmin = ili + 1; jmax = bi[i+1];
90191602c66SHong Zhang       if (jmin < jmax){
9023845f261SHong Zhang         for (j=jmin; j<jmax; j++) {
9033845f261SHong Zhang           /* rtmp += -U(i,k)^T * U_bar(i,j): rtmp[bj[j]] += uik*ba[j]; */
904cc0c071aSHong Zhang           rtmp_ptr = rtmp + bj[j]*4;
905cc0c071aSHong Zhang           u = ba + j*4;
906cc0c071aSHong Zhang           rtmp_ptr[0] += uik[0]*u[0] + uik[1]*u[1];
907cc0c071aSHong Zhang           rtmp_ptr[1] += uik[2]*u[0] + uik[3]*u[1];
908cc0c071aSHong Zhang           rtmp_ptr[2] += uik[0]*u[2] + uik[1]*u[3];
909cc0c071aSHong Zhang           rtmp_ptr[3] += uik[2]*u[2] + uik[3]*u[3];
9103845f261SHong Zhang         }
911187a9f4bSHong Zhang         ierr = PetscLogFlops(16*(jmax-jmin));CHKERRQ(ierr);
9123845f261SHong Zhang 
91391602c66SHong Zhang         /* ... add i to row list for next nonzero entry */
91491602c66SHong Zhang         il[i] = jmin;             /* update il(i) in column k+1, ... mbs-1 */
91591602c66SHong Zhang         j     = bj[jmin];
91691602c66SHong Zhang         jl[i] = jl[j]; jl[j] = i; /* update jl */
91791602c66SHong Zhang       }
918a1723e09SHong Zhang       i = nexti;
91991602c66SHong Zhang     }
920cc0c071aSHong Zhang 
92191602c66SHong Zhang     /* save nonzero entries in k-th row of U ... */
9223845f261SHong Zhang 
923cc0c071aSHong Zhang     /* invert diagonal block */
924cc0c071aSHong Zhang     diag = ba+k*4;
925cc0c071aSHong Zhang     ierr = PetscMemcpy(diag,dk,4*sizeof(MatScalar));CHKERRQ(ierr);
9263845f261SHong Zhang     ierr = Kernel_A_gets_inverse_A_2(diag);CHKERRQ(ierr);
9273845f261SHong Zhang 
92891602c66SHong Zhang     jmin = bi[k]; jmax = bi[k+1];
92991602c66SHong Zhang     if (jmin < jmax) {
93091602c66SHong Zhang       for (j=jmin; j<jmax; j++){
931cc0c071aSHong Zhang          vj = bj[j];           /* block col. index of U */
932cc0c071aSHong Zhang          u   = ba + j*4;
933cc0c071aSHong Zhang          rtmp_ptr = rtmp + vj*4;
934cc0c071aSHong Zhang          for (k1=0; k1<4; k1++){
935cc0c071aSHong Zhang            *u++        = *rtmp_ptr;
936cc0c071aSHong Zhang            *rtmp_ptr++ = 0.0;
937cc0c071aSHong Zhang          }
938cc0c071aSHong Zhang       }
9393845f261SHong Zhang 
94091602c66SHong Zhang       /* ... add k to row list for first nonzero entry in k-th row */
94191602c66SHong Zhang       il[k] = jmin;
94291602c66SHong Zhang       i     = bj[jmin];
94391602c66SHong Zhang       jl[k] = jl[i]; jl[i] = k;
94491602c66SHong Zhang     }
94591602c66SHong Zhang   }
9463845f261SHong Zhang 
94749b5e25fSSatish Balay   ierr = PetscFree(rtmp);CHKERRQ(ierr);
94891602c66SHong Zhang   ierr = PetscFree(il);CHKERRQ(ierr);
9493845f261SHong Zhang   ierr = PetscFree(dk);CHKERRQ(ierr);
95091602c66SHong Zhang   if (a->permute) {
95191602c66SHong Zhang     ierr = PetscFree(aa);CHKERRQ(ierr);
95291602c66SHong Zhang   }
953cc0c071aSHong Zhang   ierr = ISRestoreIndices(perm,&perm_ptr);CHKERRQ(ierr);
95491602c66SHong Zhang   C->factor    = FACTOR_CHOLESKY;
95549b5e25fSSatish Balay   C->assembled = PETSC_TRUE;
9565c0bcdfcSHong Zhang   C->preallocated = PETSC_TRUE;
957efee365bSSatish Balay   ierr = PetscLogFlops(1.3333*8*b->mbs);CHKERRQ(ierr); /* from inverting diagonal blocks */
95849b5e25fSSatish Balay   PetscFunctionReturn(0);
95949b5e25fSSatish Balay }
96091602c66SHong Zhang 
96149b5e25fSSatish Balay /*
96249b5e25fSSatish Balay       Version for when blocks are 2 by 2 Using natural ordering
96349b5e25fSSatish Balay */
9644a2ae208SSatish Balay #undef __FUNCT__
9654a2ae208SSatish Balay #define __FUNCT__ "MatCholeskyFactorNumeric_SeqSBAIJ_2_NaturalOrdering"
966af281ebdSHong Zhang PetscErrorCode MatCholeskyFactorNumeric_SeqSBAIJ_2_NaturalOrdering(Mat A,MatFactorInfo *info,Mat *B)
96749b5e25fSSatish Balay {
96849b5e25fSSatish Balay   Mat            C = *B;
969ab27746eSHong Zhang   Mat_SeqSBAIJ   *a = (Mat_SeqSBAIJ*)A->data,*b = (Mat_SeqSBAIJ *)C->data;
970dfbe8321SBarry Smith   PetscErrorCode ierr;
97113f74950SBarry Smith   PetscInt       i,j,mbs=a->mbs,*bi=b->i,*bj=b->j;
97213f74950SBarry Smith   PetscInt       *ai,*aj,k,k1,jmin,jmax,*jl,*il,vj,nexti,ili;
973ab27746eSHong Zhang   MatScalar      *ba = b->a,*aa,*ap,*dk,*uik;
974ab27746eSHong Zhang   MatScalar      *u,*diag,*rtmp,*rtmp_ptr;
97549b5e25fSSatish Balay 
97649b5e25fSSatish Balay   PetscFunctionBegin;
977ab27746eSHong Zhang   /* initialization */
978ab27746eSHong Zhang   /* il and jl record the first nonzero element in each row of the accessing
979ab27746eSHong Zhang      window U(0:k, k:mbs-1).
980ab27746eSHong Zhang      jl:    list of rows to be added to uneliminated rows
981ab27746eSHong Zhang             i>= k: jl(i) is the first row to be added to row i
982ab27746eSHong Zhang             i<  k: jl(i) is the row following row i in some list of rows
983ab27746eSHong Zhang             jl(i) = mbs indicates the end of a list
984ab27746eSHong Zhang      il(i): points to the first nonzero element in columns k,...,mbs-1 of
985ab27746eSHong Zhang             row i of U */
98682502324SSatish Balay   ierr = PetscMalloc(4*mbs*sizeof(MatScalar),&rtmp);CHKERRQ(ierr);
987ab27746eSHong Zhang   ierr = PetscMemzero(rtmp,4*mbs*sizeof(MatScalar));CHKERRQ(ierr);
98813f74950SBarry Smith   ierr = PetscMalloc(2*mbs*sizeof(PetscInt),&il);CHKERRQ(ierr);
98928de702eSHong Zhang   jl   = il + mbs;
990ab27746eSHong Zhang   for (i=0; i<mbs; i++) {
991ab27746eSHong Zhang     jl[i] = mbs; il[0] = 0;
99249b5e25fSSatish Balay   }
99382502324SSatish Balay   ierr = PetscMalloc(8*sizeof(MatScalar),&dk);CHKERRQ(ierr);
99428de702eSHong Zhang   uik  = dk + 4;
995ab27746eSHong Zhang 
996ab27746eSHong Zhang   ai = a->i; aj = a->j; aa = a->a;
997ab27746eSHong Zhang 
998ab27746eSHong Zhang   /* for each row k */
999ab27746eSHong Zhang   for (k = 0; k<mbs; k++){
1000ab27746eSHong Zhang 
1001ab27746eSHong Zhang     /*initialize k-th row with elements nonzero in row k of A */
1002ab27746eSHong Zhang     jmin = ai[k]; jmax = ai[k+1];
1003ab27746eSHong Zhang     ap = aa + jmin*4;
1004ab27746eSHong Zhang     for (j = jmin; j < jmax; j++){
1005ab27746eSHong Zhang       vj = aj[j];         /* block col. index */
1006ab27746eSHong Zhang       rtmp_ptr = rtmp + vj*4;
1007ab27746eSHong Zhang       for (i=0; i<4; i++) *rtmp_ptr++ = *ap++;
100849b5e25fSSatish Balay     }
1009ab27746eSHong Zhang 
1010ab27746eSHong Zhang     /* modify k-th row by adding in those rows i with U(i,k) != 0 */
1011ab27746eSHong Zhang     ierr = PetscMemcpy(dk,rtmp+k*4,4*sizeof(MatScalar));CHKERRQ(ierr);
1012ab27746eSHong Zhang     i = jl[k]; /* first row to be added to k_th row  */
1013ab27746eSHong Zhang 
1014057f5ba7SHong Zhang     while (i < k){
1015ab27746eSHong Zhang       nexti = jl[i]; /* next row to be added to k_th row */
1016ab27746eSHong Zhang 
1017ab27746eSHong Zhang       /* compute multiplier */
1018ab27746eSHong Zhang       ili = il[i];  /* index of first nonzero element in U(i,k:bms-1) */
1019ab27746eSHong Zhang 
1020ab27746eSHong Zhang       /* uik = -inv(Di)*U_bar(i,k): - ba[ili]*ba[i] */
1021ab27746eSHong Zhang       diag = ba + i*4;
1022ab27746eSHong Zhang       u    = ba + ili*4;
1023ab27746eSHong Zhang       uik[0] = -(diag[0]*u[0] + diag[2]*u[1]);
1024ab27746eSHong Zhang       uik[1] = -(diag[1]*u[0] + diag[3]*u[1]);
1025ab27746eSHong Zhang       uik[2] = -(diag[0]*u[2] + diag[2]*u[3]);
1026ab27746eSHong Zhang       uik[3] = -(diag[1]*u[2] + diag[3]*u[3]);
1027ab27746eSHong Zhang 
1028ab27746eSHong Zhang       /* update D(k) += -U(i,k)^T * U_bar(i,k): dk += uik*ba[ili] */
1029ab27746eSHong Zhang       dk[0] += uik[0]*u[0] + uik[1]*u[1];
1030ab27746eSHong Zhang       dk[1] += uik[2]*u[0] + uik[3]*u[1];
1031ab27746eSHong Zhang       dk[2] += uik[0]*u[2] + uik[1]*u[3];
1032ab27746eSHong Zhang       dk[3] += uik[2]*u[2] + uik[3]*u[3];
1033ab27746eSHong Zhang 
1034187a9f4bSHong Zhang       ierr = PetscLogFlops(16*2);CHKERRQ(ierr);
1035187a9f4bSHong Zhang 
1036ab27746eSHong Zhang       /* update -U(i,k): ba[ili] = uik */
1037ab27746eSHong Zhang       ierr = PetscMemcpy(ba+ili*4,uik,4*sizeof(MatScalar));CHKERRQ(ierr);
1038ab27746eSHong Zhang 
1039ab27746eSHong Zhang       /* add multiple of row i to k-th row ... */
1040ab27746eSHong Zhang       jmin = ili + 1; jmax = bi[i+1];
1041ab27746eSHong Zhang       if (jmin < jmax){
1042ab27746eSHong Zhang         for (j=jmin; j<jmax; j++) {
1043ab27746eSHong Zhang           /* rtmp += -U(i,k)^T * U_bar(i,j): rtmp[bj[j]] += uik*ba[j]; */
1044ab27746eSHong Zhang           rtmp_ptr = rtmp + bj[j]*4;
1045ab27746eSHong Zhang           u = ba + j*4;
1046ab27746eSHong Zhang           rtmp_ptr[0] += uik[0]*u[0] + uik[1]*u[1];
1047ab27746eSHong Zhang           rtmp_ptr[1] += uik[2]*u[0] + uik[3]*u[1];
1048ab27746eSHong Zhang           rtmp_ptr[2] += uik[0]*u[2] + uik[1]*u[3];
1049ab27746eSHong Zhang           rtmp_ptr[3] += uik[2]*u[2] + uik[3]*u[3];
105049b5e25fSSatish Balay         }
1051187a9f4bSHong Zhang         ierr = PetscLogFlops(16*(jmax-jmin));CHKERRQ(ierr);
1052ab27746eSHong Zhang 
1053ab27746eSHong Zhang         /* ... add i to row list for next nonzero entry */
1054ab27746eSHong Zhang         il[i] = jmin;             /* update il(i) in column k+1, ... mbs-1 */
1055ab27746eSHong Zhang         j     = bj[jmin];
1056ab27746eSHong Zhang         jl[i] = jl[j]; jl[j] = i; /* update jl */
105749b5e25fSSatish Balay       }
1058ab27746eSHong Zhang       i = nexti;
105949b5e25fSSatish Balay     }
1060ab27746eSHong Zhang 
1061ab27746eSHong Zhang     /* save nonzero entries in k-th row of U ... */
1062ab27746eSHong Zhang 
106349b5e25fSSatish Balay     /* invert diagonal block */
1064ab27746eSHong Zhang     diag = ba+k*4;
1065ab27746eSHong Zhang     ierr = PetscMemcpy(diag,dk,4*sizeof(MatScalar));CHKERRQ(ierr);
1066ab27746eSHong Zhang     ierr = Kernel_A_gets_inverse_A_2(diag);CHKERRQ(ierr);
1067ab27746eSHong Zhang 
1068ab27746eSHong Zhang     jmin = bi[k]; jmax = bi[k+1];
1069ab27746eSHong Zhang     if (jmin < jmax) {
1070ab27746eSHong Zhang       for (j=jmin; j<jmax; j++){
1071ab27746eSHong Zhang          vj = bj[j];           /* block col. index of U */
1072ab27746eSHong Zhang          u   = ba + j*4;
1073ab27746eSHong Zhang          rtmp_ptr = rtmp + vj*4;
1074ab27746eSHong Zhang          for (k1=0; k1<4; k1++){
1075ab27746eSHong Zhang            *u++        = *rtmp_ptr;
1076ab27746eSHong Zhang            *rtmp_ptr++ = 0.0;
1077ab27746eSHong Zhang          }
1078ab27746eSHong Zhang       }
1079ab27746eSHong Zhang 
1080ab27746eSHong Zhang       /* ... add k to row list for first nonzero entry in k-th row */
1081ab27746eSHong Zhang       il[k] = jmin;
1082ab27746eSHong Zhang       i     = bj[jmin];
1083ab27746eSHong Zhang       jl[k] = jl[i]; jl[i] = k;
1084ab27746eSHong Zhang     }
108549b5e25fSSatish Balay   }
108649b5e25fSSatish Balay 
108749b5e25fSSatish Balay   ierr = PetscFree(rtmp);CHKERRQ(ierr);
1088ab27746eSHong Zhang   ierr = PetscFree(il);CHKERRQ(ierr);
1089ab27746eSHong Zhang   ierr = PetscFree(dk);CHKERRQ(ierr);
1090ab27746eSHong Zhang 
1091ab27746eSHong Zhang   C->factor    = FACTOR_CHOLESKY;
109249b5e25fSSatish Balay   C->assembled = PETSC_TRUE;
10935c0bcdfcSHong Zhang   C->preallocated = PETSC_TRUE;
1094efee365bSSatish Balay   ierr = PetscLogFlops(1.3333*8*b->mbs);CHKERRQ(ierr); /* from inverting diagonal blocks */
109549b5e25fSSatish Balay   PetscFunctionReturn(0);
109649b5e25fSSatish Balay }
109749b5e25fSSatish Balay 
109849b5e25fSSatish Balay /*
109998a8e78dSHong Zhang     Numeric U^T*D*U factorization for SBAIJ format.
110091602c66SHong Zhang     Version for blocks are 1 by 1.
110149b5e25fSSatish Balay */
11024a2ae208SSatish Balay #undef __FUNCT__
11034a2ae208SSatish Balay #define __FUNCT__ "MatCholeskyFactorNumeric_SeqSBAIJ_1"
1104af281ebdSHong Zhang PetscErrorCode MatCholeskyFactorNumeric_SeqSBAIJ_1(Mat A,MatFactorInfo *info,Mat *B)
110549b5e25fSSatish Balay {
110649b5e25fSSatish Balay   Mat            C = *B;
110749b5e25fSSatish Balay   Mat_SeqSBAIJ   *a=(Mat_SeqSBAIJ*)A->data,*b=(Mat_SeqSBAIJ *)C->data;
110849b5e25fSSatish Balay   IS             ip=b->row;
11096849ba73SBarry Smith   PetscErrorCode ierr;
1110997a0949SHong Zhang   PetscInt       *rip,i,j,mbs=a->mbs,*bi=b->i,*bj=b->j,*bcol;
1111fff829cfSHong Zhang   PetscInt       *ai,*aj,*a2anew;
1112997a0949SHong Zhang   PetscInt       k,jmin,jmax,*jl,*il,col,nexti,ili,nz;
1113997a0949SHong Zhang   MatScalar      *rtmp,*ba=b->a,*bval,*aa,dk,uikdi;
11143cea4cbeSHong Zhang   PetscReal      zeropivot,rs,shiftnz;
1115fbf22428SSatish Balay   PetscReal      shiftpd;
11163cea4cbeSHong Zhang   ChShift_Ctx    sctx;
11173cea4cbeSHong Zhang   PetscInt       newshift;
111849b5e25fSSatish Balay 
111949b5e25fSSatish Balay   PetscFunctionBegin;
11203cea4cbeSHong Zhang   /* initialization */
11213cea4cbeSHong Zhang   shiftnz   = info->shiftnz;
11223cea4cbeSHong Zhang   shiftpd   = info->shiftpd;
11233cea4cbeSHong Zhang   zeropivot = info->zeropivot;
11243cea4cbeSHong Zhang 
112549b5e25fSSatish Balay   ierr  = ISGetIndices(ip,&rip);CHKERRQ(ierr);
1126cb718733SHong Zhang   if (!a->permute){
11272d007305SHong Zhang     ai = a->i; aj = a->j; aa = a->a;
11282d007305SHong Zhang   } else {
11292d007305SHong Zhang     ai = a->inew; aj = a->jnew;
1130fff829cfSHong Zhang     nz = ai[mbs];
1131fff829cfSHong Zhang     ierr = PetscMalloc(nz*sizeof(MatScalar),&aa);CHKERRQ(ierr);
1132fff829cfSHong Zhang     a2anew = a->a2anew;
1133997a0949SHong Zhang     bval   = a->a;
1134fff829cfSHong Zhang     for (j=0; j<nz; j++){
1135997a0949SHong Zhang       aa[a2anew[j]] = *(bval++);
11362d007305SHong Zhang     }
11372d007305SHong Zhang   }
11382d007305SHong Zhang 
113991602c66SHong Zhang   /* initialization */
114049b5e25fSSatish Balay   /* il and jl record the first nonzero element in each row of the accessing
114149b5e25fSSatish Balay      window U(0:k, k:mbs-1).
114249b5e25fSSatish Balay      jl:    list of rows to be added to uneliminated rows
114349b5e25fSSatish Balay             i>= k: jl(i) is the first row to be added to row i
114449b5e25fSSatish Balay             i<  k: jl(i) is the row following row i in some list of rows
114549b5e25fSSatish Balay             jl(i) = mbs indicates the end of a list
114649b5e25fSSatish Balay      il(i): points to the first nonzero element in columns k,...,mbs-1 of
114749b5e25fSSatish Balay             row i of U */
1148997a0949SHong Zhang   nz   = (2*mbs+1)*sizeof(PetscInt)+mbs*sizeof(MatScalar);
1149997a0949SHong Zhang   ierr = PetscMalloc(nz,&il);CHKERRQ(ierr);
115028de702eSHong Zhang   jl   = il + mbs;
1151997a0949SHong Zhang   rtmp = (MatScalar*)(jl + mbs);
1152997a0949SHong Zhang 
11533cea4cbeSHong Zhang   sctx.shift_amount = 0;
11543cea4cbeSHong Zhang   sctx.nshift       = 0;
1155997a0949SHong Zhang   do {
11563cea4cbeSHong Zhang     sctx.chshift = PETSC_FALSE;
115749b5e25fSSatish Balay     for (i=0; i<mbs; i++) {
115849b5e25fSSatish Balay       rtmp[i] = 0.0; jl[i] = mbs; il[0] = 0;
115949b5e25fSSatish Balay     }
1160997a0949SHong Zhang 
116149b5e25fSSatish Balay     for (k = 0; k<mbs; k++){
1162997a0949SHong Zhang       /*initialize k-th row by the perm[k]-th row of A */
116349b5e25fSSatish Balay       jmin = ai[rip[k]]; jmax = ai[rip[k]+1];
11647701de02SHong Zhang       bval = ba + bi[k];
116549b5e25fSSatish Balay       for (j = jmin; j < jmax; j++){
1166997a0949SHong Zhang         col = rip[aj[j]];
1167997a0949SHong Zhang         rtmp[col] = aa[j];
11687701de02SHong Zhang         *bval++  = 0.0; /* for in-place factorization */
116949b5e25fSSatish Balay       }
11703cea4cbeSHong Zhang 
11713cea4cbeSHong Zhang       /* shift the diagonal of the matrix */
11723cea4cbeSHong Zhang       if (sctx.nshift) rtmp[k] += sctx.shift_amount;
117349b5e25fSSatish Balay 
117491602c66SHong Zhang       /* modify k-th row by adding in those rows i with U(i,k)!=0 */
117549b5e25fSSatish Balay       dk = rtmp[k];
117649b5e25fSSatish Balay       i = jl[k]; /* first row to be added to k_th row  */
117749b5e25fSSatish Balay 
1178057f5ba7SHong Zhang       while (i < k){
117949b5e25fSSatish Balay         nexti = jl[i]; /* next row to be added to k_th row */
118049b5e25fSSatish Balay 
1181fff829cfSHong Zhang         /* compute multiplier, update diag(k) and U(i,k) */
118249b5e25fSSatish Balay         ili = il[i];  /* index of first nonzero element in U(i,k:bms-1) */
1183997a0949SHong Zhang         uikdi = - ba[ili]*ba[bi[i]];  /* diagonal(k) */
118449b5e25fSSatish Balay         dk += uikdi*ba[ili];
1185658e7b3eSHong Zhang         ba[ili] = uikdi; /* -U(i,k) */
118649b5e25fSSatish Balay 
1187997a0949SHong Zhang         /* add multiple of row i to k-th row */
118849b5e25fSSatish Balay         jmin = ili + 1; jmax = bi[i+1];
118949b5e25fSSatish Balay         if (jmin < jmax){
119049b5e25fSSatish Balay           for (j=jmin; j<jmax; j++) rtmp[bj[j]] += uikdi*ba[j];
1191187a9f4bSHong Zhang           ierr = PetscLogFlops(2*(jmax-jmin));CHKERRQ(ierr);
1192187a9f4bSHong Zhang 
1193fff829cfSHong Zhang           /* update il and jl for row i */
1194fff829cfSHong Zhang           il[i] = jmin;
1195fff829cfSHong Zhang           j = bj[jmin]; jl[i] = jl[j]; jl[j] = i;
119649b5e25fSSatish Balay         }
1197ab27746eSHong Zhang         i = nexti;
119849b5e25fSSatish Balay       }
119949b5e25fSSatish Balay 
12003cea4cbeSHong Zhang       /* shift the diagonals when zero pivot is detected */
12013cea4cbeSHong Zhang       /* compute rs=sum of abs(off-diagonal) */
12023cea4cbeSHong Zhang       rs   = 0.0;
1203997a0949SHong Zhang       jmin = bi[k]+1;
1204997a0949SHong Zhang       nz   = bi[k+1] - jmin;
1205997a0949SHong Zhang       if (nz){
1206997a0949SHong Zhang         bcol = bj + jmin;
1207997a0949SHong Zhang         while (nz--){
120889f845c8SHong Zhang           rs += PetscAbsScalar(rtmp[*bcol]);
120989f845c8SHong Zhang           bcol++;
1210997a0949SHong Zhang         }
1211997a0949SHong Zhang       }
12123cea4cbeSHong Zhang 
12133cea4cbeSHong Zhang       sctx.rs = rs;
12143cea4cbeSHong Zhang       sctx.pv = dk;
121545938b79SHong Zhang       ierr = MatCholeskyCheckShift_inline(info,sctx,k,newshift);CHKERRQ(ierr);
121645938b79SHong Zhang       if (newshift == 1) break;    /* sctx.shift_amount is updated */
121749b5e25fSSatish Balay 
1218997a0949SHong Zhang       /* copy data into U(k,:) */
121998a8e78dSHong Zhang       ba[bi[k]] = 1.0/dk; /* U(k,k) */
1220fff829cfSHong Zhang       jmin = bi[k]+1; jmax = bi[k+1];
122149b5e25fSSatish Balay       if (jmin < jmax) {
122249b5e25fSSatish Balay         for (j=jmin; j<jmax; j++){
1223997a0949SHong Zhang           col = bj[j]; ba[j] = rtmp[col]; rtmp[col] = 0.0;
122449b5e25fSSatish Balay         }
122598a8e78dSHong Zhang         /* add the k-th row into il and jl */
122649b5e25fSSatish Balay         il[k] = jmin;
122798a8e78dSHong Zhang         i = bj[jmin]; jl[k] = jl[i]; jl[i] = k;
122849b5e25fSSatish Balay       }
122949b5e25fSSatish Balay     }
12303cea4cbeSHong Zhang   } while (sctx.chshift);
123149b5e25fSSatish Balay   ierr = PetscFree(il);CHKERRQ(ierr);
123298a8e78dSHong Zhang   if (a->permute){ierr = PetscFree(aa);CHKERRQ(ierr);}
123349b5e25fSSatish Balay 
123449b5e25fSSatish Balay   ierr = ISRestoreIndices(ip,&rip);CHKERRQ(ierr);
12358be8c0c7SHong Zhang   C->factor       = FACTOR_CHOLESKY;
123649b5e25fSSatish Balay   C->assembled    = PETSC_TRUE;
12375c0bcdfcSHong Zhang   C->preallocated = PETSC_TRUE;
1238899cda47SBarry Smith   ierr = PetscLogFlops(C->rmap.N);CHKERRQ(ierr);
12393cea4cbeSHong Zhang   if (sctx.nshift){
12403cea4cbeSHong Zhang     if (shiftnz) {
1241ae15b995SBarry Smith       ierr = PetscInfo2(0,"number of shiftnz tries %D, shift_amount %G\n",sctx.nshift,sctx.shift_amount);CHKERRQ(ierr);
12423cea4cbeSHong Zhang     } else if (shiftpd) {
1243ae15b995SBarry Smith       ierr = PetscInfo2(0,"number of shiftpd tries %D, shift_amount %G\n",sctx.nshift,sctx.shift_amount);CHKERRQ(ierr);
1244997a0949SHong Zhang     }
1245997a0949SHong Zhang   }
124649b5e25fSSatish Balay   PetscFunctionReturn(0);
124749b5e25fSSatish Balay }
124849b5e25fSSatish Balay 
1249671cb588SHong Zhang /*
1250671cb588SHong Zhang   Version for when blocks are 1 by 1 Using natural ordering
1251671cb588SHong Zhang */
12524a2ae208SSatish Balay #undef __FUNCT__
12534a2ae208SSatish Balay #define __FUNCT__ "MatCholeskyFactorNumeric_SeqSBAIJ_1_NaturalOrdering"
1254af281ebdSHong Zhang PetscErrorCode MatCholeskyFactorNumeric_SeqSBAIJ_1_NaturalOrdering(Mat A,MatFactorInfo *info,Mat *B)
1255671cb588SHong Zhang {
1256671cb588SHong Zhang   Mat            C = *B;
1257671cb588SHong Zhang   Mat_SeqSBAIJ   *a=(Mat_SeqSBAIJ*)A->data,*b=(Mat_SeqSBAIJ *)C->data;
1258dfbe8321SBarry Smith   PetscErrorCode ierr;
125913f74950SBarry Smith   PetscInt       i,j,mbs = a->mbs;
126013f74950SBarry Smith   PetscInt       *ai=a->i,*aj=a->j,*bi=b->i,*bj=b->j;
12613cea4cbeSHong Zhang   PetscInt       k,jmin,*jl,*il,nexti,ili,*acol,*bcol,nz;
1262653a6975SHong Zhang   MatScalar      *rtmp,*ba=b->a,*aa=a->a,dk,uikdi,*aval,*bval;
12633cea4cbeSHong Zhang   PetscReal      zeropivot,rs,shiftnz;
1264fbf22428SSatish Balay   PetscReal      shiftpd;
12653cea4cbeSHong Zhang   ChShift_Ctx    sctx;
12663cea4cbeSHong Zhang   PetscInt       newshift;
1267653a6975SHong Zhang 
1268653a6975SHong Zhang   PetscFunctionBegin;
1269653a6975SHong Zhang   /* initialization */
12703cea4cbeSHong Zhang   shiftnz   = info->shiftnz;
12713cea4cbeSHong Zhang   shiftpd   = info->shiftpd;
12723cea4cbeSHong Zhang   zeropivot = info->zeropivot;
12733cea4cbeSHong Zhang 
1274653a6975SHong Zhang   /* il and jl record the first nonzero element in each row of the accessing
1275653a6975SHong Zhang      window U(0:k, k:mbs-1).
1276653a6975SHong Zhang      jl:    list of rows to be added to uneliminated rows
1277653a6975SHong Zhang             i>= k: jl(i) is the first row to be added to row i
1278653a6975SHong Zhang             i<  k: jl(i) is the row following row i in some list of rows
1279653a6975SHong Zhang             jl(i) = mbs indicates the end of a list
1280653a6975SHong Zhang      il(i): points to the first nonzero element in U(i,k:mbs-1)
1281653a6975SHong Zhang   */
1282653a6975SHong Zhang   ierr = PetscMalloc(mbs*sizeof(MatScalar),&rtmp);CHKERRQ(ierr);
128313f74950SBarry Smith   ierr = PetscMalloc(2*mbs*sizeof(PetscInt),&il);CHKERRQ(ierr);
1284653a6975SHong Zhang   jl   = il + mbs;
1285b00f7748SHong Zhang 
12863cea4cbeSHong Zhang   sctx.shift_amount = 0;
12873cea4cbeSHong Zhang   sctx.nshift       = 0;
1288b00f7748SHong Zhang   do {
12893cea4cbeSHong Zhang     sctx.chshift = PETSC_FALSE;
1290653a6975SHong Zhang     for (i=0; i<mbs; i++) {
1291653a6975SHong Zhang       rtmp[i] = 0.0; jl[i] = mbs; il[0] = 0;
1292653a6975SHong Zhang     }
1293653a6975SHong Zhang 
1294997a0949SHong Zhang     for (k = 0; k<mbs; k++){
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       }
13043cea4cbeSHong Zhang 
13053cea4cbeSHong Zhang       /* shift the diagonal of the matrix */
13063cea4cbeSHong Zhang       if (sctx.nshift) rtmp[k] += sctx.shift_amount;
1307653a6975SHong Zhang 
1308653a6975SHong Zhang       /* modify k-th row by adding in those rows i with U(i,k)!=0 */
1309653a6975SHong Zhang       dk = rtmp[k];
1310653a6975SHong Zhang       i  = jl[k]; /* first row to be added to k_th row  */
1311653a6975SHong Zhang 
1312653a6975SHong Zhang       while (i < k){
1313653a6975SHong Zhang         nexti = jl[i]; /* next row to be added to k_th row */
1314653a6975SHong Zhang         /* compute multiplier, update D(k) and U(i,k) */
1315653a6975SHong Zhang         ili   = il[i];  /* index of first nonzero element in U(i,k:bms-1) */
1316653a6975SHong Zhang         uikdi = - ba[ili]*ba[bi[i]];
1317653a6975SHong Zhang         dk   += uikdi*ba[ili];
1318653a6975SHong Zhang         ba[ili] = uikdi; /* -U(i,k) */
1319653a6975SHong Zhang 
1320653a6975SHong Zhang         /* add multiple of row i to k-th row ... */
1321653a6975SHong Zhang         jmin = ili + 1;
1322653a6975SHong Zhang         nz   = bi[i+1] - jmin;
1323653a6975SHong Zhang         if (nz > 0){
1324653a6975SHong Zhang           bcol = bj + jmin;
1325653a6975SHong Zhang           bval = ba + jmin;
1326187a9f4bSHong Zhang           ierr = PetscLogFlops(2*nz);CHKERRQ(ierr);
1327653a6975SHong Zhang           while (nz --) rtmp[*bcol++] += uikdi*(*bval++);
1328187a9f4bSHong Zhang 
1329997a0949SHong Zhang           /* update il and jl for i-th row */
1330997a0949SHong Zhang           il[i] = jmin;
1331997a0949SHong Zhang           j = bj[jmin]; jl[i] = jl[j]; jl[j] = i;
1332653a6975SHong Zhang         }
1333653a6975SHong Zhang         i = nexti;
1334653a6975SHong Zhang       }
1335653a6975SHong Zhang 
13363cea4cbeSHong Zhang       /* shift the diagonals when zero pivot is detected */
13373cea4cbeSHong Zhang       /* compute rs=sum of abs(off-diagonal) */
13383cea4cbeSHong Zhang       rs   = 0.0;
133921c26570Svictorle       jmin = bi[k]+1;
134021c26570Svictorle       nz   = bi[k+1] - jmin;
134121c26570Svictorle       if (nz){
134221c26570Svictorle         bcol = bj + jmin;
134321c26570Svictorle         while (nz--){
134489f845c8SHong Zhang           rs += PetscAbsScalar(rtmp[*bcol]);
134589f845c8SHong Zhang           bcol++;
134621c26570Svictorle         }
134721c26570Svictorle       }
13483cea4cbeSHong Zhang 
13493cea4cbeSHong Zhang       sctx.rs = rs;
13503cea4cbeSHong Zhang       sctx.pv = dk;
135145938b79SHong Zhang       ierr = MatCholeskyCheckShift_inline(info,sctx,k,newshift);CHKERRQ(ierr);
135245938b79SHong Zhang       if (newshift == 1) break;    /* sctx.shift_amount is updated */
1353653a6975SHong Zhang 
1354997a0949SHong Zhang       /* copy data into U(k,:) */
1355653a6975SHong Zhang       ba[bi[k]] = 1.0/dk;
1356653a6975SHong Zhang       jmin      = bi[k]+1;
1357653a6975SHong Zhang       nz        = bi[k+1] - jmin;
1358653a6975SHong Zhang       if (nz){
1359653a6975SHong Zhang         bcol = bj + jmin;
1360653a6975SHong Zhang         bval = ba + jmin;
1361653a6975SHong Zhang         while (nz--){
1362653a6975SHong Zhang           *bval++       = rtmp[*bcol];
1363653a6975SHong Zhang           rtmp[*bcol++] = 0.0;
1364653a6975SHong Zhang         }
1365997a0949SHong Zhang         /* add k-th row into il and jl */
1366653a6975SHong Zhang         il[k] = jmin;
1367997a0949SHong Zhang         i = bj[jmin]; jl[k] = jl[i]; jl[i] = k;
1368653a6975SHong Zhang       }
1369b00f7748SHong Zhang     } /* end of for (k = 0; k<mbs; k++) */
13703cea4cbeSHong Zhang   } while (sctx.chshift);
1371653a6975SHong Zhang   ierr = PetscFree(rtmp);CHKERRQ(ierr);
1372653a6975SHong Zhang   ierr = PetscFree(il);CHKERRQ(ierr);
1373653a6975SHong Zhang 
1374653a6975SHong Zhang   C->factor       = FACTOR_CHOLESKY;
1375653a6975SHong Zhang   C->assembled    = PETSC_TRUE;
1376653a6975SHong Zhang   C->preallocated = PETSC_TRUE;
1377899cda47SBarry Smith   ierr = PetscLogFlops(C->rmap.N);CHKERRQ(ierr);
13783cea4cbeSHong Zhang   if (sctx.nshift){
13793cea4cbeSHong Zhang     if (shiftnz) {
1380ae15b995SBarry Smith       ierr = PetscInfo2(0,"number of shiftnz tries %D, shift_amount %G\n",sctx.nshift,sctx.shift_amount);CHKERRQ(ierr);
13813cea4cbeSHong Zhang     } else if (shiftpd) {
1382ae15b995SBarry Smith       ierr = PetscInfo2(0,"number of shiftpd tries %D, shift_amount %G\n",sctx.nshift,sctx.shift_amount);CHKERRQ(ierr);
1383b00f7748SHong Zhang     }
1384fb10cecfSBarry Smith   }
1385653a6975SHong Zhang   PetscFunctionReturn(0);
1386653a6975SHong Zhang }
1387653a6975SHong Zhang 
1388653a6975SHong Zhang #undef __FUNCT__
13894a2ae208SSatish Balay #define __FUNCT__ "MatCholeskyFactor_SeqSBAIJ"
1390dfbe8321SBarry Smith PetscErrorCode MatCholeskyFactor_SeqSBAIJ(Mat A,IS perm,MatFactorInfo *info)
139149b5e25fSSatish Balay {
1392dfbe8321SBarry Smith   PetscErrorCode ierr;
139349b5e25fSSatish Balay   Mat            C;
139449b5e25fSSatish Balay 
139549b5e25fSSatish Balay   PetscFunctionBegin;
139615e8a5b3SHong Zhang   ierr = MatCholeskyFactorSymbolic(A,perm,info,&C);CHKERRQ(ierr);
1397af281ebdSHong Zhang   ierr = MatCholeskyFactorNumeric(A,info,&C);CHKERRQ(ierr);
13984445ddedSHong Zhang   ierr = MatHeaderCopy(A,C);CHKERRQ(ierr);
139949b5e25fSSatish Balay   PetscFunctionReturn(0);
140049b5e25fSSatish Balay }
140149b5e25fSSatish Balay 
140249b5e25fSSatish Balay 
1403