xref: /petsc/src/mat/impls/sbaij/seq/sbaijfact.c (revision fff829cf019b5079f7f709086c75661a07a2e190)
149b5e25fSSatish Balay 
249b5e25fSSatish Balay #include "src/mat/impls/baij/seq/baij.h"
33a7fca6bSBarry Smith #include "src/mat/impls/sbaij/seq/sbaij.h"
449b5e25fSSatish Balay #include "src/inline/ilu.h"
549a6740bSHong Zhang #include "include/petscis.h"
649b5e25fSSatish Balay 
78dc9108eSHong Zhang #if !defined(PETSC_USE_COMPLEX)
85f9f512dSHong Zhang /*
95f9f512dSHong Zhang   input:
10c037c3f7SHong Zhang    F -- numeric factor
115f9f512dSHong Zhang   output:
12c037c3f7SHong Zhang    nneg, nzero, npos: matrix inertia
135f9f512dSHong Zhang */
145f9f512dSHong Zhang 
155f9f512dSHong Zhang #undef __FUNCT__
165f9f512dSHong Zhang #define __FUNCT__ "MatGetInertia_SeqSBAIJ"
1713f74950SBarry Smith PetscErrorCode MatGetInertia_SeqSBAIJ(Mat F,PetscInt *nneig,PetscInt *nzero,PetscInt *npos)
185f9f512dSHong Zhang {
19638f5ce0SDinesh Kaushik   Mat_SeqSBAIJ *fact_ptr = (Mat_SeqSBAIJ*)F->data;
203e0d88b5SBarry Smith   PetscScalar  *dd = fact_ptr->a;
2113f74950SBarry Smith   PetscInt     mbs=fact_ptr->mbs,bs=F->bs,i,nneig_tmp,npos_tmp,*fi = fact_ptr->i;
225f9f512dSHong Zhang 
235f9f512dSHong Zhang   PetscFunctionBegin;
2477431f27SBarry Smith   if (bs != 1) SETERRQ1(PETSC_ERR_SUP,"No support for bs: %D >1 yet",bs);
25eeeff2ecSHong Zhang   nneig_tmp = 0; npos_tmp = 0;
26eeeff2ecSHong Zhang   for (i=0; i<mbs; i++){
27eeeff2ecSHong Zhang     if (PetscRealPart(dd[*fi]) > 0.0){
28eeeff2ecSHong Zhang       npos_tmp++;
29eeeff2ecSHong Zhang     } else if (PetscRealPart(dd[*fi]) < 0.0){
30eeeff2ecSHong Zhang       nneig_tmp++;
315f9f512dSHong Zhang     }
32eeeff2ecSHong Zhang     fi++;
333e0d88b5SBarry Smith   }
34eeeff2ecSHong Zhang   if (nneig) *nneig = nneig_tmp;
35eeeff2ecSHong Zhang   if (npos)  *npos  = npos_tmp;
36eeeff2ecSHong Zhang   if (nzero) *nzero = mbs - nneig_tmp - npos_tmp;
37eeeff2ecSHong Zhang 
385f9f512dSHong Zhang   PetscFunctionReturn(0);
395f9f512dSHong Zhang }
408dc9108eSHong Zhang #endif /* !defined(PETSC_USE_COMPLEX) */
415f9f512dSHong Zhang 
425f9f512dSHong Zhang /*
435f9f512dSHong Zhang   Symbolic U^T*D*U factorization for SBAIJ format. Modified from SSF of YSMP.
4410c27e3dSHong Zhang   Use Modified Sparse Row (MSR) storage for u and ju. See page 85, "Iterative Methods ..." by Saad.
455f9f512dSHong Zhang */
4610c27e3dSHong Zhang #undef __FUNCT__
4710c27e3dSHong Zhang #define __FUNCT__ "MatCholeskyFactorSymbolic_SeqSBAIJ_MSR"
4810c27e3dSHong Zhang PetscErrorCode MatCholeskyFactorSymbolic_SeqSBAIJ_MSR(Mat A,IS perm,MatFactorInfo *info,Mat *B)
4910c27e3dSHong Zhang {
5010c27e3dSHong Zhang   Mat_SeqSBAIJ   *a = (Mat_SeqSBAIJ*)A->data,*b;
5110c27e3dSHong Zhang   PetscErrorCode ierr;
5210c27e3dSHong Zhang   PetscInt       *rip,i,mbs = a->mbs,*ai,*aj;
5310c27e3dSHong Zhang   PetscInt       *jutmp,bs = A->bs,bs2=a->bs2;
5410c27e3dSHong Zhang   PetscInt       m,reallocs = 0,prow;
5510c27e3dSHong Zhang   PetscInt       *jl,*q,jmin,jmax,juidx,nzk,qm,*iu,*ju,k,j,vj,umax,maxadd;
5610c27e3dSHong Zhang   PetscReal      f = info->fill;
5710c27e3dSHong Zhang   PetscTruth     perm_identity;
5810c27e3dSHong Zhang 
5910c27e3dSHong Zhang   PetscFunctionBegin;
6010c27e3dSHong Zhang   /* check whether perm is the identity mapping */
6110c27e3dSHong Zhang   ierr = ISIdentity(perm,&perm_identity);CHKERRQ(ierr);
6210c27e3dSHong Zhang   ierr = ISGetIndices(perm,&rip);CHKERRQ(ierr);
6310c27e3dSHong Zhang 
6410c27e3dSHong Zhang   if (perm_identity){ /* without permutation */
6510c27e3dSHong Zhang     a->permute = PETSC_FALSE;
6610c27e3dSHong Zhang     ai = a->i; aj = a->j;
6710c27e3dSHong Zhang   } else {            /* non-trivial permutation */
6810c27e3dSHong Zhang     a->permute = PETSC_TRUE;
6910c27e3dSHong Zhang     ierr = MatReorderingSeqSBAIJ(A,perm);CHKERRQ(ierr);
7010c27e3dSHong Zhang     ai = a->inew; aj = a->jnew;
7110c27e3dSHong Zhang   }
7210c27e3dSHong Zhang 
7310c27e3dSHong Zhang   /* initialization */
7410c27e3dSHong Zhang   ierr  = PetscMalloc((mbs+1)*sizeof(PetscInt),&iu);CHKERRQ(ierr);
7510c27e3dSHong Zhang   umax  = (PetscInt)(f*ai[mbs] + 1); umax += mbs + 1;
7610c27e3dSHong Zhang   ierr  = PetscMalloc(umax*sizeof(PetscInt),&ju);CHKERRQ(ierr);
7710c27e3dSHong Zhang   iu[0] = mbs+1;
7810c27e3dSHong Zhang   juidx = mbs + 1; /* index for ju */
7910c27e3dSHong Zhang   ierr  = PetscMalloc(2*mbs*sizeof(PetscInt),&jl);CHKERRQ(ierr); /* linked list for pivot row */
8010c27e3dSHong Zhang   q     = jl + mbs;   /* linked list for col index */
8110c27e3dSHong Zhang   for (i=0; i<mbs; i++){
8210c27e3dSHong Zhang     jl[i] = mbs;
8310c27e3dSHong Zhang     q[i] = 0;
8410c27e3dSHong Zhang   }
8510c27e3dSHong Zhang 
8610c27e3dSHong Zhang   /* for each row k */
8710c27e3dSHong Zhang   for (k=0; k<mbs; k++){
8810c27e3dSHong Zhang     for (i=0; i<mbs; i++) q[i] = 0;  /* to be removed! */
8910c27e3dSHong Zhang     nzk  = 0; /* num. of nz blocks in k-th block row with diagonal block excluded */
9010c27e3dSHong Zhang     q[k] = mbs;
9110c27e3dSHong Zhang     /* initialize nonzero structure of k-th row to row rip[k] of A */
9210c27e3dSHong Zhang     jmin = ai[rip[k]] +1; /* exclude diag[k] */
9310c27e3dSHong Zhang     jmax = ai[rip[k]+1];
9410c27e3dSHong Zhang     for (j=jmin; j<jmax; j++){
9510c27e3dSHong Zhang       vj = rip[aj[j]]; /* col. value */
9610c27e3dSHong Zhang       if(vj > k){
9710c27e3dSHong Zhang         qm = k;
9810c27e3dSHong Zhang         do {
9910c27e3dSHong Zhang           m  = qm; qm = q[m];
10010c27e3dSHong Zhang         } while(qm < vj);
10110c27e3dSHong Zhang         if (qm == vj) {
10210c27e3dSHong Zhang           SETERRQ(PETSC_ERR_PLIB,"Duplicate entry in A\n");
10310c27e3dSHong Zhang         }
10410c27e3dSHong Zhang         nzk++;
10510c27e3dSHong Zhang         q[m]  = vj;
10610c27e3dSHong Zhang         q[vj] = qm;
10710c27e3dSHong Zhang       } /* if(vj > k) */
10810c27e3dSHong Zhang     } /* for (j=jmin; j<jmax; j++) */
10910c27e3dSHong Zhang 
11010c27e3dSHong Zhang     /* modify nonzero structure of k-th row by computing fill-in
11110c27e3dSHong Zhang        for each row i to be merged in */
11210c27e3dSHong Zhang     prow = k;
11310c27e3dSHong Zhang     prow = jl[prow]; /* next pivot row (== mbs for symbolic factorization) */
11410c27e3dSHong Zhang 
11510c27e3dSHong Zhang     while (prow < k){
11610c27e3dSHong Zhang       /* merge row prow into k-th row */
11710c27e3dSHong Zhang       jmin = iu[prow] + 1; jmax = iu[prow+1];
11810c27e3dSHong Zhang       qm = k;
11910c27e3dSHong Zhang       for (j=jmin; j<jmax; j++){
12010c27e3dSHong Zhang         vj = ju[j];
12110c27e3dSHong Zhang         do {
12210c27e3dSHong Zhang           m = qm; qm = q[m];
12310c27e3dSHong Zhang         } while (qm < vj);
12410c27e3dSHong Zhang         if (qm != vj){
12510c27e3dSHong Zhang          nzk++; q[m] = vj; q[vj] = qm; qm = vj;
12610c27e3dSHong Zhang         }
12710c27e3dSHong Zhang       }
12810c27e3dSHong Zhang       prow = jl[prow]; /* next pivot row */
12910c27e3dSHong Zhang     }
13010c27e3dSHong Zhang 
13110c27e3dSHong Zhang     /* add k to row list for first nonzero element in k-th row */
13210c27e3dSHong Zhang     if (nzk > 0){
13310c27e3dSHong Zhang       i = q[k]; /* col value of first nonzero element in U(k, k+1:mbs-1) */
13410c27e3dSHong Zhang       jl[k] = jl[i]; jl[i] = k;
13510c27e3dSHong Zhang     }
13610c27e3dSHong Zhang     iu[k+1] = iu[k] + nzk;
13710c27e3dSHong Zhang 
13810c27e3dSHong Zhang     /* allocate more space to ju if needed */
13910c27e3dSHong Zhang     if (iu[k+1] > umax) {
14010c27e3dSHong Zhang       /* estimate how much additional space we will need */
14110c27e3dSHong Zhang       /* use the strategy suggested by David Hysom <hysom@perch-t.icase.edu> */
14210c27e3dSHong Zhang       /* just double the memory each time */
14310c27e3dSHong Zhang       maxadd = umax;
14410c27e3dSHong Zhang       if (maxadd < nzk) maxadd = (mbs-k)*(nzk+1)/2;
14510c27e3dSHong Zhang       umax += maxadd;
14610c27e3dSHong Zhang 
14710c27e3dSHong Zhang       /* allocate a longer ju */
14810c27e3dSHong Zhang       ierr = PetscMalloc(umax*sizeof(PetscInt),&jutmp);CHKERRQ(ierr);
14910c27e3dSHong Zhang       ierr = PetscMemcpy(jutmp,ju,iu[k]*sizeof(PetscInt));CHKERRQ(ierr);
15010c27e3dSHong Zhang       ierr = PetscFree(ju);CHKERRQ(ierr);
15110c27e3dSHong Zhang       ju   = jutmp;
15210c27e3dSHong Zhang       reallocs++; /* count how many times we realloc */
15310c27e3dSHong Zhang     }
15410c27e3dSHong Zhang 
15510c27e3dSHong Zhang     /* save nonzero structure of k-th row in ju */
15610c27e3dSHong Zhang     i=k;
15710c27e3dSHong Zhang     while (nzk --) {
15810c27e3dSHong Zhang       i           = q[i];
15910c27e3dSHong Zhang       ju[juidx++] = i;
16010c27e3dSHong Zhang     }
16110c27e3dSHong Zhang   }
16210c27e3dSHong Zhang 
16310c27e3dSHong Zhang   if (ai[mbs] != 0) {
16410c27e3dSHong Zhang     PetscReal af = ((PetscReal)iu[mbs])/((PetscReal)ai[mbs]);
16510c27e3dSHong Zhang     PetscLogInfo(A,"MatCholeskyFactorSymbolic_SeqSBAIJ:Reallocs %D Fill ratio:given %g needed %g\n",reallocs,f,af);
16610c27e3dSHong Zhang     PetscLogInfo(A,"MatCholeskyFactorSymbolic_SeqSBAIJ:Run with -pc_cholesky_fill %g or use \n",af);
16710c27e3dSHong Zhang     PetscLogInfo(A,"MatCholeskyFactorSymbolic_SeqSBAIJ:PCCholeskySetFill(pc,%g);\n",af);
16810c27e3dSHong Zhang     PetscLogInfo(A,"MatCholeskyFactorSymbolic_SeqSBAIJ:for best performance.\n");
16910c27e3dSHong Zhang   } else {
17010c27e3dSHong Zhang      PetscLogInfo(A,"MatCholeskyFactorSymbolic_SeqSBAIJ:Empty matrix.\n");
17110c27e3dSHong Zhang   }
17210c27e3dSHong Zhang 
17310c27e3dSHong Zhang   ierr = ISRestoreIndices(perm,&rip);CHKERRQ(ierr);
17410c27e3dSHong Zhang   ierr = PetscFree(jl);CHKERRQ(ierr);
17510c27e3dSHong Zhang 
17610c27e3dSHong Zhang   /* put together the new matrix */
17710c27e3dSHong Zhang   ierr = MatCreate(A->comm,bs*mbs,bs*mbs,bs*mbs,bs*mbs,B);CHKERRQ(ierr);
17810c27e3dSHong Zhang   ierr = MatSetType(*B,A->type_name);CHKERRQ(ierr);
17910c27e3dSHong Zhang   ierr = MatSeqSBAIJSetPreallocation(*B,bs,0,PETSC_NULL);CHKERRQ(ierr);
18010c27e3dSHong Zhang 
18110c27e3dSHong Zhang   /* PetscLogObjectParent(*B,iperm); */
18210c27e3dSHong Zhang   b = (Mat_SeqSBAIJ*)(*B)->data;
18310c27e3dSHong Zhang   ierr = PetscFree(b->imax);CHKERRQ(ierr);
18410c27e3dSHong Zhang   b->singlemalloc = PETSC_FALSE;
18510c27e3dSHong Zhang   /* the next line frees the default space generated by the Create() */
18610c27e3dSHong Zhang   ierr = PetscFree(b->a);CHKERRQ(ierr);
18710c27e3dSHong Zhang   ierr = PetscFree(b->ilen);CHKERRQ(ierr);
18810c27e3dSHong Zhang   ierr = PetscMalloc((iu[mbs]+1)*sizeof(MatScalar)*bs2,&b->a);CHKERRQ(ierr);
18910c27e3dSHong Zhang   b->j    = ju;
19010c27e3dSHong Zhang   b->i    = iu;
19110c27e3dSHong Zhang   b->diag = 0;
19210c27e3dSHong Zhang   b->ilen = 0;
19310c27e3dSHong Zhang   b->imax = 0;
19410c27e3dSHong Zhang   b->row  = perm;
19510c27e3dSHong Zhang   b->pivotinblocks = PETSC_FALSE; /* need to get from MatFactorInfo */
19610c27e3dSHong Zhang   ierr    = PetscObjectReference((PetscObject)perm);CHKERRQ(ierr);
19710c27e3dSHong Zhang   b->icol = perm;
19810c27e3dSHong Zhang   ierr    = PetscObjectReference((PetscObject)perm);CHKERRQ(ierr);
19910c27e3dSHong Zhang   ierr    = PetscMalloc((bs*mbs+bs)*sizeof(PetscScalar),&b->solve_work);CHKERRQ(ierr);
20010c27e3dSHong Zhang   /* In b structure:  Free imax, ilen, old a, old j.
20110c27e3dSHong Zhang      Allocate idnew, solve_work, new a, new j */
20210c27e3dSHong Zhang   PetscLogObjectMemory(*B,(iu[mbs]-mbs)*(sizeof(PetscInt)+sizeof(MatScalar)));
20310c27e3dSHong Zhang   b->maxnz = b->nz = iu[mbs];
20410c27e3dSHong Zhang 
20510c27e3dSHong Zhang   (*B)->factor                 = FACTOR_CHOLESKY;
20610c27e3dSHong Zhang   (*B)->info.factor_mallocs    = reallocs;
20710c27e3dSHong Zhang   (*B)->info.fill_ratio_given  = f;
20810c27e3dSHong Zhang   if (ai[mbs] != 0) {
20910c27e3dSHong Zhang     (*B)->info.fill_ratio_needed = ((PetscReal)iu[mbs])/((PetscReal)ai[mbs]);
21010c27e3dSHong Zhang   } else {
21110c27e3dSHong Zhang     (*B)->info.fill_ratio_needed = 0.0;
21210c27e3dSHong Zhang   }
21310c27e3dSHong Zhang 
21410c27e3dSHong Zhang   if (perm_identity){
21510c27e3dSHong Zhang     switch (bs) {
21610c27e3dSHong Zhang       case 1:
21710c27e3dSHong Zhang         (*B)->ops->choleskyfactornumeric = MatCholeskyFactorNumeric_SeqSBAIJ_1_NaturalOrdering;
21810c27e3dSHong Zhang         (*B)->ops->solve           = MatSolve_SeqSBAIJ_1_NaturalOrdering;
21910c27e3dSHong Zhang         PetscLogInfo(A,"MatICCFactorSymbolic_SeqSBAIJ:Using special in-place natural ordering factor and solve BS=1\n");
22010c27e3dSHong Zhang         break;
22110c27e3dSHong Zhang       case 2:
22210c27e3dSHong Zhang         (*B)->ops->choleskyfactornumeric = MatCholeskyFactorNumeric_SeqSBAIJ_2_NaturalOrdering;
22310c27e3dSHong Zhang         (*B)->ops->solve           = MatSolve_SeqSBAIJ_2_NaturalOrdering;
22410c27e3dSHong Zhang         PetscLogInfo(A,"MatICCFactorSymbolic_SeqSBAIJ:Using special in-place natural ordering factor and solve BS=2\n");
22510c27e3dSHong Zhang         break;
22610c27e3dSHong Zhang       case 3:
22710c27e3dSHong Zhang         (*B)->ops->choleskyfactornumeric = MatCholeskyFactorNumeric_SeqSBAIJ_3_NaturalOrdering;
22810c27e3dSHong Zhang         (*B)->ops->solve           = MatSolve_SeqSBAIJ_3_NaturalOrdering;
22910c27e3dSHong Zhang         PetscLogInfo(A,"MatICCFactorSymbolic_SeqSBAIJ:sing special in-place natural ordering factor and solve BS=3\n");
23010c27e3dSHong Zhang         break;
23110c27e3dSHong Zhang       case 4:
23210c27e3dSHong Zhang         (*B)->ops->choleskyfactornumeric = MatCholeskyFactorNumeric_SeqSBAIJ_4_NaturalOrdering;
23310c27e3dSHong Zhang         (*B)->ops->solve           = MatSolve_SeqSBAIJ_4_NaturalOrdering;
23410c27e3dSHong Zhang         PetscLogInfo(A,"MatICCFactorSymbolic_SeqSBAIJ:Using special in-place natural ordering factor and solve BS=4\n");
23510c27e3dSHong Zhang         break;
23610c27e3dSHong Zhang       case 5:
23710c27e3dSHong Zhang         (*B)->ops->choleskyfactornumeric = MatCholeskyFactorNumeric_SeqSBAIJ_5_NaturalOrdering;
23810c27e3dSHong Zhang         (*B)->ops->solve           = MatSolve_SeqSBAIJ_5_NaturalOrdering;
23910c27e3dSHong Zhang         PetscLogInfo(A,"MatICCFactorSymbolic_SeqSBAIJ:Using special in-place natural ordering factor and solve BS=5\n");
24010c27e3dSHong Zhang         break;
24110c27e3dSHong Zhang       case 6:
24210c27e3dSHong Zhang         (*B)->ops->choleskyfactornumeric = MatCholeskyFactorNumeric_SeqSBAIJ_6_NaturalOrdering;
24310c27e3dSHong Zhang         (*B)->ops->solve           = MatSolve_SeqSBAIJ_6_NaturalOrdering;
24410c27e3dSHong Zhang         PetscLogInfo(A,"MatICCFactorSymbolic_SeqSBAIJ:Using special in-place natural ordering factor and solve BS=6\n");
24510c27e3dSHong Zhang         break;
24610c27e3dSHong Zhang       case 7:
24710c27e3dSHong Zhang         (*B)->ops->choleskyfactornumeric = MatCholeskyFactorNumeric_SeqSBAIJ_7_NaturalOrdering;
24810c27e3dSHong Zhang         (*B)->ops->solve           = MatSolve_SeqSBAIJ_7_NaturalOrdering;
24910c27e3dSHong Zhang         PetscLogInfo(A,"MatICCFactorSymbolic_SeqSBAIJ:Using special in-place natural ordering factor and solve BS=7\n");
25010c27e3dSHong Zhang       break;
25110c27e3dSHong Zhang       default:
25210c27e3dSHong Zhang         (*B)->ops->choleskyfactornumeric = MatCholeskyFactorNumeric_SeqSBAIJ_N_NaturalOrdering;
25310c27e3dSHong Zhang         (*B)->ops->solve           = MatSolve_SeqSBAIJ_N_NaturalOrdering;
25410c27e3dSHong Zhang         PetscLogInfo(A,"MatICCFactorSymbolic_SeqSBAIJ:Using special in-place natural ordering factor and solve BS>7\n");
25510c27e3dSHong Zhang       break;
25610c27e3dSHong Zhang     }
25710c27e3dSHong Zhang   }
25810c27e3dSHong Zhang   PetscFunctionReturn(0);
25910c27e3dSHong Zhang }
26010c27e3dSHong Zhang /*
26110c27e3dSHong Zhang     Symbolic U^T*D*U factorization for SBAIJ format.
26210c27e3dSHong Zhang */
2634a2ae208SSatish Balay #undef __FUNCT__
2644a2ae208SSatish Balay #define __FUNCT__ "MatCholeskyFactorSymbolic_SeqSBAIJ"
265dfbe8321SBarry Smith PetscErrorCode MatCholeskyFactorSymbolic_SeqSBAIJ(Mat A,IS perm,MatFactorInfo *info,Mat *B)
26649b5e25fSSatish Balay {
26749b5e25fSSatish Balay   Mat_SeqSBAIJ   *a = (Mat_SeqSBAIJ*)A->data,*b;
2686849ba73SBarry Smith   PetscErrorCode ierr;
26913f74950SBarry Smith   PetscInt       *rip,i,mbs = a->mbs,*ai,*aj;
27013f74950SBarry Smith   PetscInt       *jutmp,bs = A->bs,bs2=a->bs2;
27113f74950SBarry Smith   PetscInt       m,reallocs = 0,prow;
27213f74950SBarry Smith   PetscInt       *jl,*q,jmin,jmax,juidx,nzk,qm,*iu,*ju,k,j,vj,umax,maxadd;
27313f74950SBarry Smith   PetscInt       *il,ili,nextprow;
27415e8a5b3SHong Zhang   PetscReal      f = info->fill;
275671cb588SHong Zhang   PetscTruth     perm_identity;
27649b5e25fSSatish Balay 
27749b5e25fSSatish Balay   PetscFunctionBegin;
27810c27e3dSHong Zhang   /*
27910c27e3dSHong Zhang    This code originally uses Modified Sparse Row (MSR) storage
28010c27e3dSHong Zhang    (see page 85, "Iterative Methods ..." by Saad) for the output matrix B - bad choise!
28110c27e3dSHong Zhang    Then it is rewritten so the factor B takes seqsbaij format. However the associated
28210c27e3dSHong Zhang    MatCholeskyFactorNumeric_() have not been modified for the cases of bs>1 or !perm_identity,
28310c27e3dSHong Zhang    thus the original code in MSR format is still used for these cases.
28410c27e3dSHong Zhang    The code below should replace MatCholeskyFactorSymbolic_SeqSBAIJ_MSR() whenever
28510c27e3dSHong Zhang    MatCholeskyFactorNumeric_() is modified for using sbaij symbolic factor.
28610c27e3dSHong Zhang   */
287*fff829cfSHong Zhang   /* check whether perm is the identity mapping */
288*fff829cfSHong Zhang   ierr = ISIdentity(perm,&perm_identity);CHKERRQ(ierr);
289*fff829cfSHong Zhang   if (bs>1){
290*fff829cfSHong Zhang     a->permute = PETSC_TRUE;
291*fff829cfSHong Zhang     ierr = MatCholeskyFactorSymbolic_SeqSBAIJ_MSR(A,perm,info,B);CHKERRQ(ierr);
292*fff829cfSHong Zhang     PetscFunctionReturn(0);
293*fff829cfSHong Zhang   }
29410c27e3dSHong Zhang 
295*fff829cfSHong Zhang   /* At present, the code below works only for perm_identity=PETSC_TRUE */
296*fff829cfSHong Zhang   if (perm_identity){
297*fff829cfSHong Zhang     a->permute = PETSC_FALSE;
298*fff829cfSHong Zhang     ai = a->i; aj = a->j;
299*fff829cfSHong Zhang   } else {
300*fff829cfSHong Zhang     a->permute = PETSC_TRUE;
301*fff829cfSHong Zhang     ierr = MatReorderingSeqSBAIJ(A,perm);CHKERRQ(ierr);
302*fff829cfSHong Zhang     ai = a->inew; aj = a->jnew;
303*fff829cfSHong Zhang   }
304*fff829cfSHong Zhang 
305*fff829cfSHong Zhang   ierr = ISGetIndices(perm,&rip);CHKERRQ(ierr);
306*fff829cfSHong Zhang 
307*fff829cfSHong Zhang   /* initialization */
308*fff829cfSHong Zhang   ierr  = PetscMalloc((mbs+1)*sizeof(PetscInt),&iu);CHKERRQ(ierr);
309*fff829cfSHong Zhang   umax  = (PetscInt)(f*ai[mbs] + 1);
310*fff829cfSHong Zhang   ierr  = PetscMalloc(umax*sizeof(PetscInt),&ju);CHKERRQ(ierr);
311*fff829cfSHong Zhang   iu[0] = 0;
312*fff829cfSHong Zhang   juidx = 0; /* index for ju */
313*fff829cfSHong Zhang   ierr  = PetscMalloc((3*mbs+1)*sizeof(PetscInt),&jl);CHKERRQ(ierr); /* linked list for getting pivot row */
314*fff829cfSHong Zhang   q     = jl + mbs;   /* linked list for col index of active row */
315*fff829cfSHong Zhang   il    = q  + mbs;
316*fff829cfSHong Zhang   for (i=0; i<mbs; i++){
317*fff829cfSHong Zhang     jl[i] = mbs;
318*fff829cfSHong Zhang     q[i]  = 0;
319*fff829cfSHong Zhang     il[i] = 0;
320*fff829cfSHong Zhang   }
321*fff829cfSHong Zhang 
322*fff829cfSHong Zhang   /* for each row k */
323*fff829cfSHong Zhang   for (k=0; k<mbs; k++){
324*fff829cfSHong Zhang     nzk  = 0; /* num. of nz blocks in k-th block row with diagonal block excluded */
325*fff829cfSHong Zhang     q[k] = mbs;
326*fff829cfSHong Zhang     /* initialize nonzero structure of k-th row to row rip[k] of A */
327*fff829cfSHong Zhang     jmin = ai[rip[k]] +1; /* exclude diag[k] */
328*fff829cfSHong Zhang     jmax = ai[rip[k]+1];
329*fff829cfSHong Zhang     for (j=jmin; j<jmax; j++){
330*fff829cfSHong Zhang       vj = rip[aj[j]]; /* col. value */
331*fff829cfSHong Zhang       if(vj > k){
332*fff829cfSHong Zhang         qm = k;
333*fff829cfSHong Zhang         do {
334*fff829cfSHong Zhang           m  = qm; qm = q[m];
335*fff829cfSHong Zhang         } while(qm < vj);
336*fff829cfSHong Zhang         if (qm == vj) {
337*fff829cfSHong Zhang           SETERRQ(PETSC_ERR_PLIB,"Duplicate entry in A\n");
338*fff829cfSHong Zhang         }
339*fff829cfSHong Zhang         nzk++;
340*fff829cfSHong Zhang         q[m]  = vj;
341*fff829cfSHong Zhang         q[vj] = qm;
342*fff829cfSHong Zhang       } /* if(vj > k) */
343*fff829cfSHong Zhang     } /* for (j=jmin; j<jmax; j++) */
344*fff829cfSHong Zhang 
345*fff829cfSHong Zhang     /* modify nonzero structure of k-th row by computing fill-in
346*fff829cfSHong Zhang        for each row i to be merged in */
347*fff829cfSHong Zhang     prow = k;
348*fff829cfSHong Zhang     prow = jl[prow]; /* next pivot row (== mbs for symbolic factorization) */
349*fff829cfSHong Zhang 
350*fff829cfSHong Zhang     while (prow < k){
351*fff829cfSHong Zhang       nextprow = jl[prow];
352*fff829cfSHong Zhang 
353*fff829cfSHong Zhang       /* merge row prow into k-th row */
354*fff829cfSHong Zhang       ili = il[prow];
355*fff829cfSHong Zhang       jmin = ili + 1;  /* points to 2nd nzero entry in U(prow,k:mbs-1) */
356*fff829cfSHong Zhang       jmax = iu[prow+1];
357*fff829cfSHong Zhang       qm = k;
358*fff829cfSHong Zhang       for (j=jmin; j<jmax; j++){
359*fff829cfSHong Zhang         vj = ju[j];
360*fff829cfSHong Zhang         do {
361*fff829cfSHong Zhang           m = qm; qm = q[m];
362*fff829cfSHong Zhang         } while (qm < vj);
363*fff829cfSHong Zhang         if (qm != vj){  /* a fill */
364*fff829cfSHong Zhang           nzk++; q[m] = vj; q[vj] = qm; qm = vj;
365*fff829cfSHong Zhang         }
366*fff829cfSHong Zhang       } /* end of for (j=jmin; j<jmax; j++) */
367*fff829cfSHong Zhang       if (jmin < jmax){
368*fff829cfSHong Zhang         il[prow] = jmin;
369*fff829cfSHong Zhang         j = ju[jmin];
370*fff829cfSHong Zhang         jl[prow] = jl[j]; jl[j] = prow;  /* update jl */
371*fff829cfSHong Zhang       }
372*fff829cfSHong Zhang       prow = nextprow;
373*fff829cfSHong Zhang     }
374*fff829cfSHong Zhang 
375*fff829cfSHong Zhang     /* update il and jl */
376*fff829cfSHong Zhang     if (nzk > 0){
377*fff829cfSHong Zhang       i = q[k]; /* col value of the first nonzero element in U(k, k+1:mbs-1) */
378*fff829cfSHong Zhang       jl[k] = jl[i]; jl[i] = k;
379*fff829cfSHong Zhang       il[k] = iu[k] + 1;
380*fff829cfSHong Zhang     }
381*fff829cfSHong Zhang     iu[k+1] = iu[k] + nzk + 1;  /* include diag[k] */
382*fff829cfSHong Zhang 
383*fff829cfSHong Zhang     /* allocate more space to ju if needed */
384*fff829cfSHong Zhang     if (iu[k+1] > umax) {
385*fff829cfSHong Zhang       /* estimate how much additional space we will need */
386*fff829cfSHong Zhang       /* use the strategy suggested by David Hysom <hysom@perch-t.icase.edu> */
387*fff829cfSHong Zhang       /* just double the memory each time */
388*fff829cfSHong Zhang       maxadd = umax;
389*fff829cfSHong Zhang       if (maxadd < nzk) maxadd = (mbs-k)*(nzk+1)/2;
390*fff829cfSHong Zhang       umax += maxadd;
391*fff829cfSHong Zhang 
392*fff829cfSHong Zhang       /* allocate a longer ju */
393*fff829cfSHong Zhang       ierr = PetscMalloc(umax*sizeof(PetscInt),&jutmp);CHKERRQ(ierr);
394*fff829cfSHong Zhang       ierr = PetscMemcpy(jutmp,ju,iu[k]*sizeof(PetscInt));CHKERRQ(ierr);
395*fff829cfSHong Zhang       ierr = PetscFree(ju);CHKERRQ(ierr);
396*fff829cfSHong Zhang       ju   = jutmp;
397*fff829cfSHong Zhang       reallocs++; /* count how many times we realloc */
398*fff829cfSHong Zhang     }
399*fff829cfSHong Zhang 
400*fff829cfSHong Zhang     /* save nonzero structure of k-th row in ju */
401*fff829cfSHong Zhang     ju[juidx++] = k; /* diag[k] */
402*fff829cfSHong Zhang     i = k;
403*fff829cfSHong Zhang     while (nzk --) {
404*fff829cfSHong Zhang       i           = q[i];
405*fff829cfSHong Zhang       ju[juidx++] = i;
406*fff829cfSHong Zhang     }
407*fff829cfSHong Zhang   }
408*fff829cfSHong Zhang 
409*fff829cfSHong Zhang   if (ai[mbs] != 0) {
410*fff829cfSHong Zhang     PetscReal af = ((PetscReal)iu[mbs])/((PetscReal)ai[mbs]);
411*fff829cfSHong Zhang     PetscLogInfo(A,"MatCholeskyFactorSymbolic_SeqSBAIJ:Reallocs %D Fill ratio:given %g needed %g\n",reallocs,f,af);
412*fff829cfSHong Zhang     PetscLogInfo(A,"MatCholeskyFactorSymbolic_SeqSBAIJ:Run with -pc_cholesky_fill %g or use \n",af);
413*fff829cfSHong Zhang     PetscLogInfo(A,"MatCholeskyFactorSymbolic_SeqSBAIJ:PCCholeskySetFill(pc,%g);\n",af);
414*fff829cfSHong Zhang     PetscLogInfo(A,"MatCholeskyFactorSymbolic_SeqSBAIJ:for best performance.\n");
415*fff829cfSHong Zhang   } else {
416*fff829cfSHong Zhang      PetscLogInfo(A,"MatCholeskyFactorSymbolic_SeqSBAIJ:Empty matrix.\n");
417*fff829cfSHong Zhang   }
418*fff829cfSHong Zhang 
419*fff829cfSHong Zhang   ierr = ISRestoreIndices(perm,&rip);CHKERRQ(ierr);
420*fff829cfSHong Zhang   /* ierr = PetscFree(q);CHKERRQ(ierr); */
421*fff829cfSHong Zhang   ierr = PetscFree(jl);CHKERRQ(ierr);
422*fff829cfSHong Zhang 
423*fff829cfSHong Zhang   /* put together the new matrix */
424*fff829cfSHong Zhang   ierr = MatCreate(A->comm,bs*mbs,bs*mbs,bs*mbs,bs*mbs,B);CHKERRQ(ierr);
425*fff829cfSHong Zhang   ierr = MatSetType(*B,A->type_name);CHKERRQ(ierr);
426*fff829cfSHong Zhang   ierr = MatSeqSBAIJSetPreallocation(*B,bs,0,PETSC_NULL);CHKERRQ(ierr);
427*fff829cfSHong Zhang 
428*fff829cfSHong Zhang   /* PetscLogObjectParent(*B,iperm); */
429*fff829cfSHong Zhang   b = (Mat_SeqSBAIJ*)(*B)->data;
430*fff829cfSHong Zhang   ierr = PetscFree(b->imax);CHKERRQ(ierr);
431*fff829cfSHong Zhang   b->singlemalloc = PETSC_FALSE;
432*fff829cfSHong Zhang   /* the next line frees the default space generated by the Create() */
433*fff829cfSHong Zhang   ierr = PetscFree(b->a);CHKERRQ(ierr);
434*fff829cfSHong Zhang   ierr = PetscFree(b->ilen);CHKERRQ(ierr);
435*fff829cfSHong Zhang   ierr = PetscMalloc((iu[mbs]+1)*sizeof(MatScalar)*bs2,&b->a);CHKERRQ(ierr);
436*fff829cfSHong Zhang   b->j    = ju;
437*fff829cfSHong Zhang   b->i    = iu;
438*fff829cfSHong Zhang   b->diag = 0;
439*fff829cfSHong Zhang   b->ilen = 0;
440*fff829cfSHong Zhang   b->imax = 0;
441*fff829cfSHong Zhang   b->row  = perm;
442*fff829cfSHong Zhang   b->pivotinblocks = PETSC_FALSE; /* need to get from MatFactorInfo */
443*fff829cfSHong Zhang   ierr    = PetscObjectReference((PetscObject)perm);CHKERRQ(ierr);
444*fff829cfSHong Zhang   b->icol = perm;
445*fff829cfSHong Zhang   ierr    = PetscObjectReference((PetscObject)perm);CHKERRQ(ierr);
446*fff829cfSHong Zhang   ierr    = PetscMalloc((bs*mbs+bs)*sizeof(PetscScalar),&b->solve_work);CHKERRQ(ierr);
447*fff829cfSHong Zhang   /* In b structure:  Free imax, ilen, old a, old j.
448*fff829cfSHong Zhang      Allocate idnew, solve_work, new a, new j */
449*fff829cfSHong Zhang   PetscLogObjectMemory(*B,(iu[mbs]-mbs)*(sizeof(PetscInt)+sizeof(MatScalar)));
450*fff829cfSHong Zhang   b->maxnz = b->nz = iu[mbs];
451*fff829cfSHong Zhang 
452*fff829cfSHong Zhang   (*B)->factor                 = FACTOR_CHOLESKY;
453*fff829cfSHong Zhang   (*B)->info.factor_mallocs    = reallocs;
454*fff829cfSHong Zhang   (*B)->info.fill_ratio_given  = f;
455*fff829cfSHong Zhang   if (ai[mbs] != 0) {
456*fff829cfSHong Zhang     (*B)->info.fill_ratio_needed = ((PetscReal)iu[mbs])/((PetscReal)ai[mbs]);
457*fff829cfSHong Zhang   } else {
458*fff829cfSHong Zhang     (*B)->info.fill_ratio_needed = 0.0;
459*fff829cfSHong Zhang   }
460*fff829cfSHong Zhang 
461*fff829cfSHong Zhang   if (perm_identity){
462*fff829cfSHong Zhang     (*B)->ops->choleskyfactornumeric = MatCholeskyFactorNumeric_SeqSBAIJ_1_NaturalOrdering;
463*fff829cfSHong Zhang     (*B)->ops->solve           = MatSolve_SeqSBAIJ_1_NaturalOrdering;
464*fff829cfSHong Zhang     (*B)->ops->solvetranspose  = MatSolve_SeqSBAIJ_1_NaturalOrdering;
465*fff829cfSHong Zhang     PetscLogInfo(A,"MatICCFactorSymbolic_SeqSBAIJ:Using special natural ordering factor and solve BS=1\n");
466*fff829cfSHong Zhang   }
467*fff829cfSHong Zhang #ifdef OLD
468cb718733SHong Zhang   /* check whether perm is the identity mapping */
469671cb588SHong Zhang   ierr = ISIdentity(perm,&perm_identity);CHKERRQ(ierr);
47010c27e3dSHong Zhang   if (bs>1 || !perm_identity){
47110c27e3dSHong Zhang     a->permute = PETSC_TRUE;
47210c27e3dSHong Zhang     ierr = MatCholeskyFactorSymbolic_SeqSBAIJ_MSR(A,perm,info,B);CHKERRQ(ierr);
47310c27e3dSHong Zhang     PetscFunctionReturn(0);
47410c27e3dSHong Zhang   }
475064503c5SHong Zhang 
47610c27e3dSHong Zhang   /* At present, the code below works only for perm_identity=PETSC_TRUE */
47710c27e3dSHong Zhang   a->permute = PETSC_FALSE;
478064503c5SHong Zhang 
479064503c5SHong Zhang   ierr = ISGetIndices(perm,&rip);CHKERRQ(ierr);
480064503c5SHong Zhang   ai = a->i; aj = a->j;
481064503c5SHong Zhang 
482064503c5SHong Zhang   /* initialization */
48313f74950SBarry Smith   ierr  = PetscMalloc((mbs+1)*sizeof(PetscInt),&iu);CHKERRQ(ierr);
48413f74950SBarry Smith   umax  = (PetscInt)(f*ai[mbs] + 1);
48513f74950SBarry Smith   ierr  = PetscMalloc(umax*sizeof(PetscInt),&ju);CHKERRQ(ierr);
486064503c5SHong Zhang   iu[0] = 0;
487064503c5SHong Zhang   juidx = 0; /* index for ju */
48813f74950SBarry Smith   ierr  = PetscMalloc((3*mbs+1)*sizeof(PetscInt),&jl);CHKERRQ(ierr); /* linked list for getting pivot row */
489064503c5SHong Zhang   q     = jl + mbs;   /* linked list for col index of active row */
490064503c5SHong Zhang   il    = q  + mbs;
491064503c5SHong Zhang   for (i=0; i<mbs; i++){
492064503c5SHong Zhang     jl[i] = mbs;
493064503c5SHong Zhang     q[i]  = 0;
494064503c5SHong Zhang     il[i] = 0;
495064503c5SHong Zhang   }
496064503c5SHong Zhang 
497064503c5SHong Zhang   /* for each row k */
498064503c5SHong Zhang   for (k=0; k<mbs; k++){
499064503c5SHong Zhang     nzk  = 0; /* num. of nz blocks in k-th block row with diagonal block excluded */
500064503c5SHong Zhang     q[k] = mbs;
501064503c5SHong Zhang     /* initialize nonzero structure of k-th row to row rip[k] of A */
502064503c5SHong Zhang     jmin = ai[rip[k]] +1; /* exclude diag[k] */
503064503c5SHong Zhang     jmax = ai[rip[k]+1];
504064503c5SHong Zhang     for (j=jmin; j<jmax; j++){
505064503c5SHong Zhang       vj = rip[aj[j]]; /* col. value */
506064503c5SHong Zhang       if(vj > k){
507064503c5SHong Zhang         qm = k;
508064503c5SHong Zhang         do {
509064503c5SHong Zhang           m  = qm; qm = q[m];
510064503c5SHong Zhang         } while(qm < vj);
511064503c5SHong Zhang         if (qm == vj) {
512e005ede5SBarry Smith           SETERRQ(PETSC_ERR_PLIB,"Duplicate entry in A\n");
513064503c5SHong Zhang         }
514064503c5SHong Zhang         nzk++;
515064503c5SHong Zhang         q[m]  = vj;
516064503c5SHong Zhang         q[vj] = qm;
517064503c5SHong Zhang       } /* if(vj > k) */
518064503c5SHong Zhang     } /* for (j=jmin; j<jmax; j++) */
519064503c5SHong Zhang 
520064503c5SHong Zhang     /* modify nonzero structure of k-th row by computing fill-in
521064503c5SHong Zhang        for each row i to be merged in */
522064503c5SHong Zhang     prow = k;
523064503c5SHong Zhang     prow = jl[prow]; /* next pivot row (== mbs for symbolic factorization) */
524064503c5SHong Zhang 
525064503c5SHong Zhang     while (prow < k){
526064503c5SHong Zhang       nextprow = jl[prow];
527064503c5SHong Zhang 
528064503c5SHong Zhang       /* merge row prow into k-th row */
529064503c5SHong Zhang       ili = il[prow];
530064503c5SHong Zhang       jmin = ili + 1;  /* points to 2nd nzero entry in U(prow,k:mbs-1) */
531064503c5SHong Zhang       jmax = iu[prow+1];
532064503c5SHong Zhang       qm = k;
533064503c5SHong Zhang       for (j=jmin; j<jmax; j++){
534064503c5SHong Zhang         vj = ju[j];
535064503c5SHong Zhang         do {
536064503c5SHong Zhang           m = qm; qm = q[m];
537064503c5SHong Zhang         } while (qm < vj);
538064503c5SHong Zhang         if (qm != vj){  /* a fill */
539064503c5SHong Zhang           nzk++; q[m] = vj; q[vj] = qm; qm = vj;
540064503c5SHong Zhang         }
541064503c5SHong Zhang       } /* end of for (j=jmin; j<jmax; j++) */
542064503c5SHong Zhang       if (jmin < jmax){
543064503c5SHong Zhang         il[prow] = jmin;
544064503c5SHong Zhang         j = ju[jmin];
545064503c5SHong Zhang         jl[prow] = jl[j]; jl[j] = prow;  /* update jl */
546064503c5SHong Zhang       }
547064503c5SHong Zhang       prow = nextprow;
548064503c5SHong Zhang     }
549064503c5SHong Zhang 
550064503c5SHong Zhang     /* update il and jl */
551064503c5SHong Zhang     if (nzk > 0){
552064503c5SHong Zhang       i = q[k]; /* col value of the first nonzero element in U(k, k+1:mbs-1) */
553064503c5SHong Zhang       jl[k] = jl[i]; jl[i] = k;
554064503c5SHong Zhang       il[k] = iu[k] + 1;
555064503c5SHong Zhang     }
556064503c5SHong Zhang     iu[k+1] = iu[k] + nzk + 1;  /* include diag[k] */
557064503c5SHong Zhang 
558064503c5SHong Zhang     /* allocate more space to ju if needed */
559064503c5SHong Zhang     if (iu[k+1] > umax) {
560064503c5SHong Zhang       /* estimate how much additional space we will need */
561064503c5SHong Zhang       /* use the strategy suggested by David Hysom <hysom@perch-t.icase.edu> */
562064503c5SHong Zhang       /* just double the memory each time */
563064503c5SHong Zhang       maxadd = umax;
564064503c5SHong Zhang       if (maxadd < nzk) maxadd = (mbs-k)*(nzk+1)/2;
565064503c5SHong Zhang       umax += maxadd;
566064503c5SHong Zhang 
567064503c5SHong Zhang       /* allocate a longer ju */
56813f74950SBarry Smith       ierr = PetscMalloc(umax*sizeof(PetscInt),&jutmp);CHKERRQ(ierr);
56913f74950SBarry Smith       ierr = PetscMemcpy(jutmp,ju,iu[k]*sizeof(PetscInt));CHKERRQ(ierr);
570064503c5SHong Zhang       ierr = PetscFree(ju);CHKERRQ(ierr);
571064503c5SHong Zhang       ju   = jutmp;
572418422e8SSatish Balay       reallocs++; /* count how many times we realloc */
573064503c5SHong Zhang     }
574064503c5SHong Zhang 
575064503c5SHong Zhang     /* save nonzero structure of k-th row in ju */
576064503c5SHong Zhang     ju[juidx++] = k; /* diag[k] */
577064503c5SHong Zhang     i = k;
578064503c5SHong Zhang     while (nzk --) {
579064503c5SHong Zhang       i           = q[i];
580064503c5SHong Zhang       ju[juidx++] = i;
581064503c5SHong Zhang     }
582064503c5SHong Zhang   }
583064503c5SHong Zhang 
584064503c5SHong Zhang   if (ai[mbs] != 0) {
585064503c5SHong Zhang     PetscReal af = ((PetscReal)iu[mbs])/((PetscReal)ai[mbs]);
586418422e8SSatish Balay     PetscLogInfo(A,"MatCholeskyFactorSymbolic_SeqSBAIJ:Reallocs %D Fill ratio:given %g needed %g\n",reallocs,f,af);
587064503c5SHong Zhang     PetscLogInfo(A,"MatCholeskyFactorSymbolic_SeqSBAIJ:Run with -pc_cholesky_fill %g or use \n",af);
588064503c5SHong Zhang     PetscLogInfo(A,"MatCholeskyFactorSymbolic_SeqSBAIJ:PCCholeskySetFill(pc,%g);\n",af);
589064503c5SHong Zhang     PetscLogInfo(A,"MatCholeskyFactorSymbolic_SeqSBAIJ:for best performance.\n");
590064503c5SHong Zhang   } else {
591064503c5SHong Zhang      PetscLogInfo(A,"MatCholeskyFactorSymbolic_SeqSBAIJ:Empty matrix.\n");
592064503c5SHong Zhang   }
593064503c5SHong Zhang 
594064503c5SHong Zhang   ierr = ISRestoreIndices(perm,&rip);CHKERRQ(ierr);
595064503c5SHong Zhang   /* ierr = PetscFree(q);CHKERRQ(ierr); */
596064503c5SHong Zhang   ierr = PetscFree(jl);CHKERRQ(ierr);
597064503c5SHong Zhang 
598064503c5SHong Zhang   /* put together the new matrix */
599be5d1d56SKris Buschelman   ierr = MatCreate(A->comm,bs*mbs,bs*mbs,bs*mbs,bs*mbs,B);CHKERRQ(ierr);
600be5d1d56SKris Buschelman   ierr = MatSetType(*B,A->type_name);CHKERRQ(ierr);
601be5d1d56SKris Buschelman   ierr = MatSeqSBAIJSetPreallocation(*B,bs,0,PETSC_NULL);CHKERRQ(ierr);
602be5d1d56SKris Buschelman 
603064503c5SHong Zhang   /* PetscLogObjectParent(*B,iperm); */
604064503c5SHong Zhang   b = (Mat_SeqSBAIJ*)(*B)->data;
605064503c5SHong Zhang   ierr = PetscFree(b->imax);CHKERRQ(ierr);
606064503c5SHong Zhang   b->singlemalloc = PETSC_FALSE;
607064503c5SHong Zhang   /* the next line frees the default space generated by the Create() */
608064503c5SHong Zhang   ierr = PetscFree(b->a);CHKERRQ(ierr);
609064503c5SHong Zhang   ierr = PetscFree(b->ilen);CHKERRQ(ierr);
610064503c5SHong Zhang   ierr = PetscMalloc((iu[mbs]+1)*sizeof(MatScalar)*bs2,&b->a);CHKERRQ(ierr);
611064503c5SHong Zhang   b->j    = ju;
612064503c5SHong Zhang   b->i    = iu;
613064503c5SHong Zhang   b->diag = 0;
614064503c5SHong Zhang   b->ilen = 0;
615064503c5SHong Zhang   b->imax = 0;
616064503c5SHong Zhang   b->row  = perm;
61715e8a5b3SHong Zhang   b->pivotinblocks = PETSC_FALSE; /* need to get from MatFactorInfo */
618064503c5SHong Zhang   ierr    = PetscObjectReference((PetscObject)perm);CHKERRQ(ierr);
619064503c5SHong Zhang   b->icol = perm;
620064503c5SHong Zhang   ierr    = PetscObjectReference((PetscObject)perm);CHKERRQ(ierr);
621064503c5SHong Zhang   ierr    = PetscMalloc((bs*mbs+bs)*sizeof(PetscScalar),&b->solve_work);CHKERRQ(ierr);
622064503c5SHong Zhang   /* In b structure:  Free imax, ilen, old a, old j.
623064503c5SHong Zhang      Allocate idnew, solve_work, new a, new j */
62413f74950SBarry Smith   PetscLogObjectMemory(*B,(iu[mbs]-mbs)*(sizeof(PetscInt)+sizeof(MatScalar)));
6256c6c5352SBarry Smith   b->maxnz = b->nz = iu[mbs];
626064503c5SHong Zhang 
627064503c5SHong Zhang   (*B)->factor                 = FACTOR_CHOLESKY;
628418422e8SSatish Balay   (*B)->info.factor_mallocs    = reallocs;
629064503c5SHong Zhang   (*B)->info.fill_ratio_given  = f;
630064503c5SHong Zhang   if (ai[mbs] != 0) {
631064503c5SHong Zhang     (*B)->info.fill_ratio_needed = ((PetscReal)iu[mbs])/((PetscReal)ai[mbs]);
632064503c5SHong Zhang   } else {
633064503c5SHong Zhang     (*B)->info.fill_ratio_needed = 0.0;
634064503c5SHong Zhang   }
635064503c5SHong Zhang 
636b45a75daSHong Zhang   (*B)->ops->choleskyfactornumeric = MatCholeskyFactorNumeric_SeqSBAIJ_1_NaturalOrdering;
637b45a75daSHong Zhang   (*B)->ops->solve           = MatSolve_SeqSBAIJ_1_NaturalOrdering;
638e005ede5SBarry Smith   (*B)->ops->solvetranspose  = MatSolve_SeqSBAIJ_1_NaturalOrdering;
639064503c5SHong Zhang   PetscLogInfo(A,"MatICCFactorSymbolic_SeqSBAIJ:Using special in-place natural ordering factor and solve BS=1\n");
640*fff829cfSHong Zhang #endif /* OLD */
641064503c5SHong Zhang   PetscFunctionReturn(0);
642064503c5SHong Zhang }
6434a2ae208SSatish Balay #undef __FUNCT__
6444a2ae208SSatish Balay #define __FUNCT__ "MatCholeskyFactorNumeric_SeqSBAIJ_N"
645dfbe8321SBarry Smith PetscErrorCode MatCholeskyFactorNumeric_SeqSBAIJ_N(Mat A,Mat *B)
64649b5e25fSSatish Balay {
64749b5e25fSSatish Balay   Mat            C = *B;
6484c16a6a6SHong Zhang   Mat_SeqSBAIJ   *a = (Mat_SeqSBAIJ*)A->data,*b = (Mat_SeqSBAIJ *)C->data;
6494c16a6a6SHong Zhang   IS             perm = b->row;
6506849ba73SBarry Smith   PetscErrorCode ierr;
65113f74950SBarry Smith   PetscInt       *perm_ptr,i,j,mbs=a->mbs,*bi=b->i,*bj=b->j;
65213f74950SBarry Smith   PetscInt       *ai,*aj,*a2anew,k,k1,jmin,jmax,*jl,*il,vj,nexti,ili;
65313f74950SBarry Smith   PetscInt       bs=A->bs,bs2 = a->bs2;
6544c16a6a6SHong Zhang   MatScalar      *ba = b->a,*aa,*ap,*dk,*uik;
6554c16a6a6SHong Zhang   MatScalar      *u,*diag,*rtmp,*rtmp_ptr;
65628de702eSHong Zhang   MatScalar      *work;
65713f74950SBarry Smith   PetscInt       *pivots;
6584c16a6a6SHong Zhang 
6594c16a6a6SHong Zhang   PetscFunctionBegin;
6604c16a6a6SHong Zhang   /* initialization */
66182502324SSatish Balay   ierr = PetscMalloc(bs2*mbs*sizeof(MatScalar),&rtmp);CHKERRQ(ierr);
6624c16a6a6SHong Zhang   ierr = PetscMemzero(rtmp,bs2*mbs*sizeof(MatScalar));CHKERRQ(ierr);
66313f74950SBarry Smith   ierr = PetscMalloc(2*mbs*sizeof(PetscInt),&il);CHKERRQ(ierr);
66428de702eSHong Zhang   jl   = il + mbs;
6654c16a6a6SHong Zhang   for (i=0; i<mbs; i++) {
6664c16a6a6SHong Zhang     jl[i] = mbs; il[0] = 0;
6674c16a6a6SHong Zhang   }
668b0a32e0cSBarry Smith   ierr = PetscMalloc((2*bs2+bs)*sizeof(MatScalar),&dk);CHKERRQ(ierr);
66928de702eSHong Zhang   uik  = dk + bs2;
67028de702eSHong Zhang   work = uik + bs2;
67113f74950SBarry Smith   ierr = PetscMalloc(bs*sizeof(PetscInt),&pivots);CHKERRQ(ierr);
6724c16a6a6SHong Zhang 
6734c16a6a6SHong Zhang   ierr  = ISGetIndices(perm,&perm_ptr);CHKERRQ(ierr);
6744c16a6a6SHong Zhang 
6754c16a6a6SHong Zhang   /* check permutation */
6764c16a6a6SHong Zhang   if (!a->permute){
6774c16a6a6SHong Zhang     ai = a->i; aj = a->j; aa = a->a;
6784c16a6a6SHong Zhang   } else {
6794c16a6a6SHong Zhang     ai   = a->inew; aj = a->jnew;
68082502324SSatish Balay     ierr = PetscMalloc(bs2*ai[mbs]*sizeof(MatScalar),&aa);CHKERRQ(ierr);
6814c16a6a6SHong Zhang     ierr = PetscMemcpy(aa,a->a,bs2*ai[mbs]*sizeof(MatScalar));CHKERRQ(ierr);
68213f74950SBarry Smith     ierr = PetscMalloc(ai[mbs]*sizeof(PetscInt),&a2anew);CHKERRQ(ierr);
68313f74950SBarry Smith     ierr = PetscMemcpy(a2anew,a->a2anew,(ai[mbs])*sizeof(PetscInt));CHKERRQ(ierr);
6844c16a6a6SHong Zhang 
6854c16a6a6SHong Zhang     for (i=0; i<mbs; i++){
6864c16a6a6SHong Zhang       jmin = ai[i]; jmax = ai[i+1];
6874c16a6a6SHong Zhang       for (j=jmin; j<jmax; j++){
6884c16a6a6SHong Zhang         while (a2anew[j] != j){
6894c16a6a6SHong Zhang           k = a2anew[j]; a2anew[j] = a2anew[k]; a2anew[k] = k;
6904c16a6a6SHong Zhang           for (k1=0; k1<bs2; k1++){
6914c16a6a6SHong Zhang             dk[k1]       = aa[k*bs2+k1];
6924c16a6a6SHong Zhang             aa[k*bs2+k1] = aa[j*bs2+k1];
6934c16a6a6SHong Zhang             aa[j*bs2+k1] = dk[k1];
6944c16a6a6SHong Zhang           }
6954c16a6a6SHong Zhang         }
6964c16a6a6SHong Zhang         /* transform columnoriented blocks that lie in the lower triangle to roworiented blocks */
6974c16a6a6SHong Zhang         if (i > aj[j]){
6984c16a6a6SHong Zhang           /* printf("change orientation, row: %d, col: %d\n",i,aj[j]); */
6994c16a6a6SHong Zhang           ap = aa + j*bs2;                     /* ptr to the beginning of j-th block of aa */
7004c16a6a6SHong Zhang           for (k=0; k<bs2; k++) dk[k] = ap[k]; /* dk <- j-th block of aa */
7014c16a6a6SHong Zhang           for (k=0; k<bs; k++){               /* j-th block of aa <- dk^T */
7024c16a6a6SHong Zhang             for (k1=0; k1<bs; k1++) *ap++ = dk[k + bs*k1];
7034c16a6a6SHong Zhang           }
7044c16a6a6SHong Zhang         }
7054c16a6a6SHong Zhang       }
7064c16a6a6SHong Zhang     }
707323b833fSBarry Smith     ierr = PetscFree(a2anew);CHKERRQ(ierr);
7084c16a6a6SHong Zhang   }
7094c16a6a6SHong Zhang 
7104c16a6a6SHong Zhang   /* for each row k */
7114c16a6a6SHong Zhang   for (k = 0; k<mbs; k++){
7124c16a6a6SHong Zhang 
7134c16a6a6SHong Zhang     /*initialize k-th row with elements nonzero in row perm(k) of A */
7144c16a6a6SHong Zhang     jmin = ai[perm_ptr[k]]; jmax = ai[perm_ptr[k]+1];
715057f5ba7SHong Zhang 
7164c16a6a6SHong Zhang     ap = aa + jmin*bs2;
7174c16a6a6SHong Zhang     for (j = jmin; j < jmax; j++){
7184c16a6a6SHong Zhang       vj = perm_ptr[aj[j]];         /* block col. index */
7194c16a6a6SHong Zhang       rtmp_ptr = rtmp + vj*bs2;
7204c16a6a6SHong Zhang       for (i=0; i<bs2; i++) *rtmp_ptr++ = *ap++;
7214c16a6a6SHong Zhang     }
7224c16a6a6SHong Zhang 
7234c16a6a6SHong Zhang     /* modify k-th row by adding in those rows i with U(i,k) != 0 */
7244c16a6a6SHong Zhang     ierr = PetscMemcpy(dk,rtmp+k*bs2,bs2*sizeof(MatScalar));CHKERRQ(ierr);
7254c16a6a6SHong Zhang     i = jl[k]; /* first row to be added to k_th row  */
7264c16a6a6SHong Zhang 
727057f5ba7SHong Zhang     while (i < k){
7284c16a6a6SHong Zhang       nexti = jl[i]; /* next row to be added to k_th row */
7294c16a6a6SHong Zhang 
7304c16a6a6SHong Zhang       /* compute multiplier */
7314c16a6a6SHong Zhang       ili = il[i];  /* index of first nonzero element in U(i,k:bms-1) */
7324c16a6a6SHong Zhang 
7334c16a6a6SHong Zhang       /* uik = -inv(Di)*U_bar(i,k) */
7344c16a6a6SHong Zhang       diag = ba + i*bs2;
7354c16a6a6SHong Zhang       u    = ba + ili*bs2;
7364c16a6a6SHong Zhang       ierr = PetscMemzero(uik,bs2*sizeof(MatScalar));CHKERRQ(ierr);
7374c16a6a6SHong Zhang       Kernel_A_gets_A_minus_B_times_C(bs,uik,diag,u);
7384c16a6a6SHong Zhang 
7394c16a6a6SHong Zhang       /* update D(k) += -U(i,k)^T * U_bar(i,k) */
7404c16a6a6SHong Zhang       Kernel_A_gets_A_plus_Btranspose_times_C(bs,dk,uik,u);
7414c16a6a6SHong Zhang 
7424c16a6a6SHong Zhang       /* update -U(i,k) */
7434c16a6a6SHong Zhang       ierr = PetscMemcpy(ba+ili*bs2,uik,bs2*sizeof(MatScalar));CHKERRQ(ierr);
7444c16a6a6SHong Zhang 
7454c16a6a6SHong Zhang       /* add multiple of row i to k-th row ... */
7464c16a6a6SHong Zhang       jmin = ili + 1; jmax = bi[i+1];
7474c16a6a6SHong Zhang       if (jmin < jmax){
7484c16a6a6SHong Zhang         for (j=jmin; j<jmax; j++) {
7494c16a6a6SHong Zhang           /* rtmp += -U(i,k)^T * U_bar(i,j) */
7504c16a6a6SHong Zhang           rtmp_ptr = rtmp + bj[j]*bs2;
7514c16a6a6SHong Zhang           u = ba + j*bs2;
7524c16a6a6SHong Zhang           Kernel_A_gets_A_plus_Btranspose_times_C(bs,rtmp_ptr,uik,u);
7534c16a6a6SHong Zhang         }
7544c16a6a6SHong Zhang 
7554c16a6a6SHong Zhang         /* ... add i to row list for next nonzero entry */
7564c16a6a6SHong Zhang         il[i] = jmin;             /* update il(i) in column k+1, ... mbs-1 */
7574c16a6a6SHong Zhang         j     = bj[jmin];
7584c16a6a6SHong Zhang         jl[i] = jl[j]; jl[j] = i; /* update jl */
7594c16a6a6SHong Zhang       }
7604c16a6a6SHong Zhang       i = nexti;
7614c16a6a6SHong Zhang     }
7624c16a6a6SHong Zhang 
7634c16a6a6SHong Zhang     /* save nonzero entries in k-th row of U ... */
7644c16a6a6SHong Zhang 
7654c16a6a6SHong Zhang     /* invert diagonal block */
7664c16a6a6SHong Zhang     diag = ba+k*bs2;
7674c16a6a6SHong Zhang     ierr = PetscMemcpy(diag,dk,bs2*sizeof(MatScalar));CHKERRQ(ierr);
768d230e6fdSBarry Smith     ierr = Kernel_A_gets_inverse_A(bs,diag,pivots,work);CHKERRQ(ierr);
7694c16a6a6SHong Zhang 
7704c16a6a6SHong Zhang     jmin = bi[k]; jmax = bi[k+1];
7714c16a6a6SHong Zhang     if (jmin < jmax) {
7724c16a6a6SHong Zhang       for (j=jmin; j<jmax; j++){
7734c16a6a6SHong Zhang          vj = bj[j];           /* block col. index of U */
7744c16a6a6SHong Zhang          u   = ba + j*bs2;
7754c16a6a6SHong Zhang          rtmp_ptr = rtmp + vj*bs2;
7764c16a6a6SHong Zhang          for (k1=0; k1<bs2; k1++){
7774c16a6a6SHong Zhang            *u++        = *rtmp_ptr;
7784c16a6a6SHong Zhang            *rtmp_ptr++ = 0.0;
7794c16a6a6SHong Zhang          }
7804c16a6a6SHong Zhang       }
7814c16a6a6SHong Zhang 
7824c16a6a6SHong Zhang       /* ... add k to row list for first nonzero entry in k-th row */
7834c16a6a6SHong Zhang       il[k] = jmin;
7844c16a6a6SHong Zhang       i     = bj[jmin];
7854c16a6a6SHong Zhang       jl[k] = jl[i]; jl[i] = k;
7864c16a6a6SHong Zhang     }
7874c16a6a6SHong Zhang   }
7884c16a6a6SHong Zhang 
7894c16a6a6SHong Zhang   ierr = PetscFree(rtmp);CHKERRQ(ierr);
7904c16a6a6SHong Zhang   ierr = PetscFree(il);CHKERRQ(ierr);
7914c16a6a6SHong Zhang   ierr = PetscFree(dk);CHKERRQ(ierr);
7924c16a6a6SHong Zhang   ierr = PetscFree(pivots);CHKERRQ(ierr);
7934c16a6a6SHong Zhang   if (a->permute){
7944c16a6a6SHong Zhang     ierr = PetscFree(aa);CHKERRQ(ierr);
7954c16a6a6SHong Zhang   }
7964c16a6a6SHong Zhang 
7974c16a6a6SHong Zhang   ierr = ISRestoreIndices(perm,&perm_ptr);CHKERRQ(ierr);
7984c16a6a6SHong Zhang   C->factor       = FACTOR_CHOLESKY;
7994c16a6a6SHong Zhang   C->assembled    = PETSC_TRUE;
8004c16a6a6SHong Zhang   C->preallocated = PETSC_TRUE;
801b0a32e0cSBarry Smith   PetscLogFlops(1.3333*bs*bs2*b->mbs); /* from inverting diagonal blocks */
8024c16a6a6SHong Zhang   PetscFunctionReturn(0);
8034c16a6a6SHong Zhang }
804d4edadd4SHong Zhang 
8054a2ae208SSatish Balay #undef __FUNCT__
8064a2ae208SSatish Balay #define __FUNCT__ "MatCholeskyFactorNumeric_SeqSBAIJ_N_NaturalOrdering"
807dfbe8321SBarry Smith PetscErrorCode MatCholeskyFactorNumeric_SeqSBAIJ_N_NaturalOrdering(Mat A,Mat *B)
808671cb588SHong Zhang {
809671cb588SHong Zhang   Mat            C = *B;
810671cb588SHong Zhang   Mat_SeqSBAIJ   *a = (Mat_SeqSBAIJ*)A->data,*b = (Mat_SeqSBAIJ *)C->data;
811dfbe8321SBarry Smith   PetscErrorCode ierr;
81213f74950SBarry Smith   PetscInt       i,j,mbs=a->mbs,*bi=b->i,*bj=b->j;
81313f74950SBarry Smith   PetscInt       *ai,*aj,k,k1,jmin,jmax,*jl,*il,vj,nexti,ili;
81413f74950SBarry Smith   PetscInt       bs=A->bs,bs2 = a->bs2;
815671cb588SHong Zhang   MatScalar      *ba = b->a,*aa,*ap,*dk,*uik;
816671cb588SHong Zhang   MatScalar      *u,*diag,*rtmp,*rtmp_ptr;
81728de702eSHong Zhang   MatScalar      *work;
81813f74950SBarry Smith   PetscInt       *pivots;
819671cb588SHong Zhang 
820671cb588SHong Zhang   PetscFunctionBegin;
821671cb588SHong Zhang   /* initialization */
822671cb588SHong Zhang 
82382502324SSatish Balay   ierr = PetscMalloc(bs2*mbs*sizeof(MatScalar),&rtmp);CHKERRQ(ierr);
824671cb588SHong Zhang   ierr = PetscMemzero(rtmp,bs2*mbs*sizeof(MatScalar));CHKERRQ(ierr);
82513f74950SBarry Smith   ierr = PetscMalloc(2*mbs*sizeof(PetscInt),&il);CHKERRQ(ierr);
82628de702eSHong Zhang   jl   = il + mbs;
827671cb588SHong Zhang   for (i=0; i<mbs; i++) {
828671cb588SHong Zhang     jl[i] = mbs; il[0] = 0;
829671cb588SHong Zhang   }
830b0a32e0cSBarry Smith   ierr = PetscMalloc((2*bs2+bs)*sizeof(MatScalar),&dk);CHKERRQ(ierr);
83128de702eSHong Zhang   uik  = dk + bs2;
83228de702eSHong Zhang   work = uik + bs2;
83313f74950SBarry Smith   ierr = PetscMalloc(bs*sizeof(PetscInt),&pivots);CHKERRQ(ierr);
834671cb588SHong Zhang 
835671cb588SHong Zhang   ai = a->i; aj = a->j; aa = a->a;
836671cb588SHong Zhang 
837671cb588SHong Zhang   /* for each row k */
838671cb588SHong Zhang   for (k = 0; k<mbs; k++){
839671cb588SHong Zhang 
840671cb588SHong Zhang     /*initialize k-th row with elements nonzero in row k of A */
841671cb588SHong Zhang     jmin = ai[k]; jmax = ai[k+1];
842671cb588SHong Zhang     ap = aa + jmin*bs2;
843671cb588SHong Zhang     for (j = jmin; j < jmax; j++){
844671cb588SHong Zhang       vj = aj[j];         /* block col. index */
845671cb588SHong Zhang       rtmp_ptr = rtmp + vj*bs2;
846671cb588SHong Zhang       for (i=0; i<bs2; i++) *rtmp_ptr++ = *ap++;
847671cb588SHong Zhang     }
848671cb588SHong Zhang 
849671cb588SHong Zhang     /* modify k-th row by adding in those rows i with U(i,k) != 0 */
850671cb588SHong Zhang     ierr = PetscMemcpy(dk,rtmp+k*bs2,bs2*sizeof(MatScalar));CHKERRQ(ierr);
851671cb588SHong Zhang     i = jl[k]; /* first row to be added to k_th row  */
852671cb588SHong Zhang 
853057f5ba7SHong Zhang     while (i < k){
854671cb588SHong Zhang       nexti = jl[i]; /* next row to be added to k_th row */
855671cb588SHong Zhang 
856671cb588SHong Zhang       /* compute multiplier */
857671cb588SHong Zhang       ili = il[i];  /* index of first nonzero element in U(i,k:bms-1) */
858671cb588SHong Zhang 
859671cb588SHong Zhang       /* uik = -inv(Di)*U_bar(i,k) */
860671cb588SHong Zhang       diag = ba + i*bs2;
861671cb588SHong Zhang       u    = ba + ili*bs2;
862671cb588SHong Zhang       ierr = PetscMemzero(uik,bs2*sizeof(MatScalar));CHKERRQ(ierr);
863671cb588SHong Zhang       Kernel_A_gets_A_minus_B_times_C(bs,uik,diag,u);
864671cb588SHong Zhang 
865671cb588SHong Zhang       /* update D(k) += -U(i,k)^T * U_bar(i,k) */
866671cb588SHong Zhang       Kernel_A_gets_A_plus_Btranspose_times_C(bs,dk,uik,u);
867671cb588SHong Zhang 
868671cb588SHong Zhang       /* update -U(i,k) */
869671cb588SHong Zhang       ierr = PetscMemcpy(ba+ili*bs2,uik,bs2*sizeof(MatScalar));CHKERRQ(ierr);
870671cb588SHong Zhang 
871671cb588SHong Zhang       /* add multiple of row i to k-th row ... */
872671cb588SHong Zhang       jmin = ili + 1; jmax = bi[i+1];
873671cb588SHong Zhang       if (jmin < jmax){
874671cb588SHong Zhang         for (j=jmin; j<jmax; j++) {
875671cb588SHong Zhang           /* rtmp += -U(i,k)^T * U_bar(i,j) */
876671cb588SHong Zhang           rtmp_ptr = rtmp + bj[j]*bs2;
877671cb588SHong Zhang           u = ba + j*bs2;
878671cb588SHong Zhang           Kernel_A_gets_A_plus_Btranspose_times_C(bs,rtmp_ptr,uik,u);
879671cb588SHong Zhang         }
880671cb588SHong Zhang 
881671cb588SHong Zhang         /* ... add i to row list for next nonzero entry */
882671cb588SHong Zhang         il[i] = jmin;             /* update il(i) in column k+1, ... mbs-1 */
883671cb588SHong Zhang         j     = bj[jmin];
884671cb588SHong Zhang         jl[i] = jl[j]; jl[j] = i; /* update jl */
885671cb588SHong Zhang       }
886671cb588SHong Zhang       i = nexti;
887671cb588SHong Zhang     }
888671cb588SHong Zhang 
889671cb588SHong Zhang     /* save nonzero entries in k-th row of U ... */
890671cb588SHong Zhang 
891671cb588SHong Zhang     /* invert diagonal block */
892671cb588SHong Zhang     diag = ba+k*bs2;
893671cb588SHong Zhang     ierr = PetscMemcpy(diag,dk,bs2*sizeof(MatScalar));CHKERRQ(ierr);
894d230e6fdSBarry Smith     ierr = Kernel_A_gets_inverse_A(bs,diag,pivots,work);CHKERRQ(ierr);
895671cb588SHong Zhang 
896671cb588SHong Zhang     jmin = bi[k]; jmax = bi[k+1];
897671cb588SHong Zhang     if (jmin < jmax) {
898671cb588SHong Zhang       for (j=jmin; j<jmax; j++){
899671cb588SHong Zhang          vj = bj[j];           /* block col. index of U */
900671cb588SHong Zhang          u   = ba + j*bs2;
901671cb588SHong Zhang          rtmp_ptr = rtmp + vj*bs2;
902671cb588SHong Zhang          for (k1=0; k1<bs2; k1++){
903671cb588SHong Zhang            *u++        = *rtmp_ptr;
904671cb588SHong Zhang            *rtmp_ptr++ = 0.0;
905671cb588SHong Zhang          }
906671cb588SHong Zhang       }
907671cb588SHong Zhang 
908671cb588SHong Zhang       /* ... add k to row list for first nonzero entry in k-th row */
909671cb588SHong Zhang       il[k] = jmin;
910671cb588SHong Zhang       i     = bj[jmin];
911671cb588SHong Zhang       jl[k] = jl[i]; jl[i] = k;
912671cb588SHong Zhang     }
913671cb588SHong Zhang   }
914671cb588SHong Zhang 
915671cb588SHong Zhang   ierr = PetscFree(rtmp);CHKERRQ(ierr);
916671cb588SHong Zhang   ierr = PetscFree(il);CHKERRQ(ierr);
917671cb588SHong Zhang   ierr = PetscFree(dk);CHKERRQ(ierr);
918671cb588SHong Zhang   ierr = PetscFree(pivots);CHKERRQ(ierr);
919671cb588SHong Zhang 
920671cb588SHong Zhang   C->factor    = FACTOR_CHOLESKY;
921671cb588SHong Zhang   C->assembled = PETSC_TRUE;
922671cb588SHong Zhang   C->preallocated = PETSC_TRUE;
923b0a32e0cSBarry Smith   PetscLogFlops(1.3333*bs*bs2*b->mbs); /* from inverting diagonal blocks */
924671cb588SHong Zhang   PetscFunctionReturn(0);
925671cb588SHong Zhang }
926671cb588SHong Zhang 
92749b5e25fSSatish Balay /*
928fcf159c0SHong Zhang     Numeric U^T*D*U factorization for SBAIJ format. Modified from SNF of YSMP.
929cc0c071aSHong Zhang     Version for blocks 2 by 2.
93049b5e25fSSatish Balay */
9314a2ae208SSatish Balay #undef __FUNCT__
9324a2ae208SSatish Balay #define __FUNCT__ "MatCholeskyFactorNumeric_SeqSBAIJ_2"
933dfbe8321SBarry Smith PetscErrorCode MatCholeskyFactorNumeric_SeqSBAIJ_2(Mat A,Mat *B)
93449b5e25fSSatish Balay {
93549b5e25fSSatish Balay   Mat            C = *B;
93691602c66SHong Zhang   Mat_SeqSBAIJ   *a = (Mat_SeqSBAIJ*)A->data,*b = (Mat_SeqSBAIJ *)C->data;
937cc0c071aSHong Zhang   IS             perm = b->row;
9386849ba73SBarry Smith   PetscErrorCode ierr;
93913f74950SBarry Smith   PetscInt       *perm_ptr,i,j,mbs=a->mbs,*bi=b->i,*bj=b->j;
94013f74950SBarry Smith   PetscInt       *ai,*aj,*a2anew,k,k1,jmin,jmax,*jl,*il,vj,nexti,ili;
941a1723e09SHong Zhang   MatScalar      *ba = b->a,*aa,*ap,*dk,*uik;
942cc0c071aSHong Zhang   MatScalar      *u,*diag,*rtmp,*rtmp_ptr;
94349b5e25fSSatish Balay 
94449b5e25fSSatish Balay   PetscFunctionBegin;
94591602c66SHong Zhang   /* initialization */
94691602c66SHong Zhang   /* il and jl record the first nonzero element in each row of the accessing
94791602c66SHong Zhang      window U(0:k, k:mbs-1).
94891602c66SHong Zhang      jl:    list of rows to be added to uneliminated rows
94991602c66SHong Zhang             i>= k: jl(i) is the first row to be added to row i
95091602c66SHong Zhang             i<  k: jl(i) is the row following row i in some list of rows
95191602c66SHong Zhang             jl(i) = mbs indicates the end of a list
95291602c66SHong Zhang      il(i): points to the first nonzero element in columns k,...,mbs-1 of
95391602c66SHong Zhang             row i of U */
95482502324SSatish Balay   ierr = PetscMalloc(4*mbs*sizeof(MatScalar),&rtmp);CHKERRQ(ierr);
955cc0c071aSHong Zhang   ierr = PetscMemzero(rtmp,4*mbs*sizeof(MatScalar));CHKERRQ(ierr);
95613f74950SBarry Smith   ierr = PetscMalloc(2*mbs*sizeof(PetscInt),&il);CHKERRQ(ierr);
95728de702eSHong Zhang   jl   = il + mbs;
95891602c66SHong Zhang   for (i=0; i<mbs; i++) {
9593845f261SHong Zhang     jl[i] = mbs; il[0] = 0;
96091602c66SHong Zhang   }
96182502324SSatish Balay   ierr = PetscMalloc(8*sizeof(MatScalar),&dk);CHKERRQ(ierr);
96228de702eSHong Zhang   uik  = dk + 4;
963cc0c071aSHong Zhang   ierr = ISGetIndices(perm,&perm_ptr);CHKERRQ(ierr);
964cc0c071aSHong Zhang 
965cc0c071aSHong Zhang   /* check permutation */
966cc0c071aSHong Zhang   if (!a->permute){
967cc0c071aSHong Zhang     ai = a->i; aj = a->j; aa = a->a;
968cc0c071aSHong Zhang   } else {
969cc0c071aSHong Zhang     ai   = a->inew; aj = a->jnew;
97082502324SSatish Balay     ierr = PetscMalloc(4*ai[mbs]*sizeof(MatScalar),&aa);CHKERRQ(ierr);
971cc0c071aSHong Zhang     ierr = PetscMemcpy(aa,a->a,4*ai[mbs]*sizeof(MatScalar));CHKERRQ(ierr);
97213f74950SBarry Smith     ierr = PetscMalloc(ai[mbs]*sizeof(PetscInt),&a2anew);CHKERRQ(ierr);
97313f74950SBarry Smith     ierr = PetscMemcpy(a2anew,a->a2anew,(ai[mbs])*sizeof(PetscInt));CHKERRQ(ierr);
974cc0c071aSHong Zhang 
975cc0c071aSHong Zhang     for (i=0; i<mbs; i++){
976cc0c071aSHong Zhang       jmin = ai[i]; jmax = ai[i+1];
977cc0c071aSHong Zhang       for (j=jmin; j<jmax; j++){
978cc0c071aSHong Zhang         while (a2anew[j] != j){
979cc0c071aSHong Zhang           k = a2anew[j]; a2anew[j] = a2anew[k]; a2anew[k] = k;
980cc0c071aSHong Zhang           for (k1=0; k1<4; k1++){
981cc0c071aSHong Zhang             dk[k1]       = aa[k*4+k1];
982cc0c071aSHong Zhang             aa[k*4+k1] = aa[j*4+k1];
983cc0c071aSHong Zhang             aa[j*4+k1] = dk[k1];
984cc0c071aSHong Zhang           }
985cc0c071aSHong Zhang         }
986cc0c071aSHong Zhang         /* transform columnoriented blocks that lie in the lower triangle to roworiented blocks */
987cc0c071aSHong Zhang         if (i > aj[j]){
988a1723e09SHong Zhang           /* printf("change orientation, row: %d, col: %d\n",i,aj[j]); */
989cc0c071aSHong Zhang           ap = aa + j*4;     /* ptr to the beginning of the block */
990cc0c071aSHong Zhang           dk[1] = ap[1];     /* swap ap[1] and ap[2] */
991cc0c071aSHong Zhang           ap[1] = ap[2];
992cc0c071aSHong Zhang           ap[2] = dk[1];
993cc0c071aSHong Zhang         }
994cc0c071aSHong Zhang       }
995cc0c071aSHong Zhang     }
996ac355199SBarry Smith     ierr = PetscFree(a2anew);CHKERRQ(ierr);
997cc0c071aSHong Zhang   }
9983845f261SHong Zhang 
99991602c66SHong Zhang   /* for each row k */
100091602c66SHong Zhang   for (k = 0; k<mbs; k++){
100191602c66SHong Zhang 
100291602c66SHong Zhang     /*initialize k-th row with elements nonzero in row perm(k) of A */
1003cc0c071aSHong Zhang     jmin = ai[perm_ptr[k]]; jmax = ai[perm_ptr[k]+1];
1004cc0c071aSHong Zhang     ap = aa + jmin*4;
100591602c66SHong Zhang     for (j = jmin; j < jmax; j++){
1006cc0c071aSHong Zhang       vj = perm_ptr[aj[j]];         /* block col. index */
1007cc0c071aSHong Zhang       rtmp_ptr = rtmp + vj*4;
1008cc0c071aSHong Zhang       for (i=0; i<4; i++) *rtmp_ptr++ = *ap++;
100991602c66SHong Zhang     }
101091602c66SHong Zhang 
101191602c66SHong Zhang     /* modify k-th row by adding in those rows i with U(i,k) != 0 */
1012cc0c071aSHong Zhang     ierr = PetscMemcpy(dk,rtmp+k*4,4*sizeof(MatScalar));CHKERRQ(ierr);
101391602c66SHong Zhang     i = jl[k]; /* first row to be added to k_th row  */
101491602c66SHong Zhang 
1015057f5ba7SHong Zhang     while (i < k){
101691602c66SHong Zhang       nexti = jl[i]; /* next row to be added to k_th row */
101791602c66SHong Zhang 
10183845f261SHong Zhang       /* compute multiplier */
101991602c66SHong Zhang       ili = il[i];  /* index of first nonzero element in U(i,k:bms-1) */
10203845f261SHong Zhang 
10213845f261SHong Zhang       /* uik = -inv(Di)*U_bar(i,k): - ba[ili]*ba[i] */
1022cc0c071aSHong Zhang       diag = ba + i*4;
1023cc0c071aSHong Zhang       u    = ba + ili*4;
1024cc0c071aSHong Zhang       uik[0] = -(diag[0]*u[0] + diag[2]*u[1]);
1025cc0c071aSHong Zhang       uik[1] = -(diag[1]*u[0] + diag[3]*u[1]);
1026cc0c071aSHong Zhang       uik[2] = -(diag[0]*u[2] + diag[2]*u[3]);
1027cc0c071aSHong Zhang       uik[3] = -(diag[1]*u[2] + diag[3]*u[3]);
10283845f261SHong Zhang 
10293845f261SHong Zhang       /* update D(k) += -U(i,k)^T * U_bar(i,k): dk += uik*ba[ili] */
1030cc0c071aSHong Zhang       dk[0] += uik[0]*u[0] + uik[1]*u[1];
1031cc0c071aSHong Zhang       dk[1] += uik[2]*u[0] + uik[3]*u[1];
1032cc0c071aSHong Zhang       dk[2] += uik[0]*u[2] + uik[1]*u[3];
1033cc0c071aSHong Zhang       dk[3] += uik[2]*u[2] + uik[3]*u[3];
10343845f261SHong Zhang 
10353845f261SHong Zhang       /* update -U(i,k): ba[ili] = uik */
1036cc0c071aSHong Zhang       ierr = PetscMemcpy(ba+ili*4,uik,4*sizeof(MatScalar));CHKERRQ(ierr);
103791602c66SHong Zhang 
103891602c66SHong Zhang       /* add multiple of row i to k-th row ... */
103991602c66SHong Zhang       jmin = ili + 1; jmax = bi[i+1];
104091602c66SHong Zhang       if (jmin < jmax){
10413845f261SHong Zhang         for (j=jmin; j<jmax; j++) {
10423845f261SHong Zhang           /* rtmp += -U(i,k)^T * U_bar(i,j): rtmp[bj[j]] += uik*ba[j]; */
1043cc0c071aSHong Zhang           rtmp_ptr = rtmp + bj[j]*4;
1044cc0c071aSHong Zhang           u = ba + j*4;
1045cc0c071aSHong Zhang           rtmp_ptr[0] += uik[0]*u[0] + uik[1]*u[1];
1046cc0c071aSHong Zhang           rtmp_ptr[1] += uik[2]*u[0] + uik[3]*u[1];
1047cc0c071aSHong Zhang           rtmp_ptr[2] += uik[0]*u[2] + uik[1]*u[3];
1048cc0c071aSHong Zhang           rtmp_ptr[3] += uik[2]*u[2] + uik[3]*u[3];
10493845f261SHong Zhang         }
10503845f261SHong Zhang 
105191602c66SHong Zhang         /* ... add i to row list for next nonzero entry */
105291602c66SHong Zhang         il[i] = jmin;             /* update il(i) in column k+1, ... mbs-1 */
105391602c66SHong Zhang         j     = bj[jmin];
105491602c66SHong Zhang         jl[i] = jl[j]; jl[j] = i; /* update jl */
105591602c66SHong Zhang       }
1056a1723e09SHong Zhang       i = nexti;
105791602c66SHong Zhang     }
1058cc0c071aSHong Zhang 
105991602c66SHong Zhang     /* save nonzero entries in k-th row of U ... */
10603845f261SHong Zhang 
1061cc0c071aSHong Zhang     /* invert diagonal block */
1062cc0c071aSHong Zhang     diag = ba+k*4;
1063cc0c071aSHong Zhang     ierr = PetscMemcpy(diag,dk,4*sizeof(MatScalar));CHKERRQ(ierr);
10643845f261SHong Zhang     ierr = Kernel_A_gets_inverse_A_2(diag);CHKERRQ(ierr);
10653845f261SHong Zhang 
106691602c66SHong Zhang     jmin = bi[k]; jmax = bi[k+1];
106791602c66SHong Zhang     if (jmin < jmax) {
106891602c66SHong Zhang       for (j=jmin; j<jmax; j++){
1069cc0c071aSHong Zhang          vj = bj[j];           /* block col. index of U */
1070cc0c071aSHong Zhang          u   = ba + j*4;
1071cc0c071aSHong Zhang          rtmp_ptr = rtmp + vj*4;
1072cc0c071aSHong Zhang          for (k1=0; k1<4; k1++){
1073cc0c071aSHong Zhang            *u++        = *rtmp_ptr;
1074cc0c071aSHong Zhang            *rtmp_ptr++ = 0.0;
1075cc0c071aSHong Zhang          }
1076cc0c071aSHong Zhang       }
10773845f261SHong Zhang 
107891602c66SHong Zhang       /* ... add k to row list for first nonzero entry in k-th row */
107991602c66SHong Zhang       il[k] = jmin;
108091602c66SHong Zhang       i     = bj[jmin];
108191602c66SHong Zhang       jl[k] = jl[i]; jl[i] = k;
108291602c66SHong Zhang     }
108391602c66SHong Zhang   }
10843845f261SHong Zhang 
108549b5e25fSSatish Balay   ierr = PetscFree(rtmp);CHKERRQ(ierr);
108691602c66SHong Zhang   ierr = PetscFree(il);CHKERRQ(ierr);
10873845f261SHong Zhang   ierr = PetscFree(dk);CHKERRQ(ierr);
108891602c66SHong Zhang   if (a->permute) {
108991602c66SHong Zhang     ierr = PetscFree(aa);CHKERRQ(ierr);
109091602c66SHong Zhang   }
1091cc0c071aSHong Zhang   ierr = ISRestoreIndices(perm,&perm_ptr);CHKERRQ(ierr);
109291602c66SHong Zhang   C->factor    = FACTOR_CHOLESKY;
109349b5e25fSSatish Balay   C->assembled = PETSC_TRUE;
10945c0bcdfcSHong Zhang   C->preallocated = PETSC_TRUE;
1095b0a32e0cSBarry Smith   PetscLogFlops(1.3333*8*b->mbs); /* from inverting diagonal blocks */
109649b5e25fSSatish Balay   PetscFunctionReturn(0);
109749b5e25fSSatish Balay }
109891602c66SHong Zhang 
109949b5e25fSSatish Balay /*
110049b5e25fSSatish Balay       Version for when blocks are 2 by 2 Using natural ordering
110149b5e25fSSatish Balay */
11024a2ae208SSatish Balay #undef __FUNCT__
11034a2ae208SSatish Balay #define __FUNCT__ "MatCholeskyFactorNumeric_SeqSBAIJ_2_NaturalOrdering"
1104dfbe8321SBarry Smith PetscErrorCode MatCholeskyFactorNumeric_SeqSBAIJ_2_NaturalOrdering(Mat A,Mat *B)
110549b5e25fSSatish Balay {
110649b5e25fSSatish Balay   Mat            C = *B;
1107ab27746eSHong Zhang   Mat_SeqSBAIJ   *a = (Mat_SeqSBAIJ*)A->data,*b = (Mat_SeqSBAIJ *)C->data;
1108dfbe8321SBarry Smith   PetscErrorCode ierr;
110913f74950SBarry Smith   PetscInt       i,j,mbs=a->mbs,*bi=b->i,*bj=b->j;
111013f74950SBarry Smith   PetscInt       *ai,*aj,k,k1,jmin,jmax,*jl,*il,vj,nexti,ili;
1111ab27746eSHong Zhang   MatScalar      *ba = b->a,*aa,*ap,*dk,*uik;
1112ab27746eSHong Zhang   MatScalar      *u,*diag,*rtmp,*rtmp_ptr;
111349b5e25fSSatish Balay 
111449b5e25fSSatish Balay   PetscFunctionBegin;
1115ab27746eSHong Zhang   /* initialization */
1116ab27746eSHong Zhang   /* il and jl record the first nonzero element in each row of the accessing
1117ab27746eSHong Zhang      window U(0:k, k:mbs-1).
1118ab27746eSHong Zhang      jl:    list of rows to be added to uneliminated rows
1119ab27746eSHong Zhang             i>= k: jl(i) is the first row to be added to row i
1120ab27746eSHong Zhang             i<  k: jl(i) is the row following row i in some list of rows
1121ab27746eSHong Zhang             jl(i) = mbs indicates the end of a list
1122ab27746eSHong Zhang      il(i): points to the first nonzero element in columns k,...,mbs-1 of
1123ab27746eSHong Zhang             row i of U */
112482502324SSatish Balay   ierr = PetscMalloc(4*mbs*sizeof(MatScalar),&rtmp);CHKERRQ(ierr);
1125ab27746eSHong Zhang   ierr = PetscMemzero(rtmp,4*mbs*sizeof(MatScalar));CHKERRQ(ierr);
112613f74950SBarry Smith   ierr = PetscMalloc(2*mbs*sizeof(PetscInt),&il);CHKERRQ(ierr);
112728de702eSHong Zhang   jl   = il + mbs;
1128ab27746eSHong Zhang   for (i=0; i<mbs; i++) {
1129ab27746eSHong Zhang     jl[i] = mbs; il[0] = 0;
113049b5e25fSSatish Balay   }
113182502324SSatish Balay   ierr = PetscMalloc(8*sizeof(MatScalar),&dk);CHKERRQ(ierr);
113228de702eSHong Zhang   uik  = dk + 4;
1133ab27746eSHong Zhang 
1134ab27746eSHong Zhang   ai = a->i; aj = a->j; aa = a->a;
1135ab27746eSHong Zhang 
1136ab27746eSHong Zhang   /* for each row k */
1137ab27746eSHong Zhang   for (k = 0; k<mbs; k++){
1138ab27746eSHong Zhang 
1139ab27746eSHong Zhang     /*initialize k-th row with elements nonzero in row k of A */
1140ab27746eSHong Zhang     jmin = ai[k]; jmax = ai[k+1];
1141ab27746eSHong Zhang     ap = aa + jmin*4;
1142ab27746eSHong Zhang     for (j = jmin; j < jmax; j++){
1143ab27746eSHong Zhang       vj = aj[j];         /* block col. index */
1144ab27746eSHong Zhang       rtmp_ptr = rtmp + vj*4;
1145ab27746eSHong Zhang       for (i=0; i<4; i++) *rtmp_ptr++ = *ap++;
114649b5e25fSSatish Balay     }
1147ab27746eSHong Zhang 
1148ab27746eSHong Zhang     /* modify k-th row by adding in those rows i with U(i,k) != 0 */
1149ab27746eSHong Zhang     ierr = PetscMemcpy(dk,rtmp+k*4,4*sizeof(MatScalar));CHKERRQ(ierr);
1150ab27746eSHong Zhang     i = jl[k]; /* first row to be added to k_th row  */
1151ab27746eSHong Zhang 
1152057f5ba7SHong Zhang     while (i < k){
1153ab27746eSHong Zhang       nexti = jl[i]; /* next row to be added to k_th row */
1154ab27746eSHong Zhang 
1155ab27746eSHong Zhang       /* compute multiplier */
1156ab27746eSHong Zhang       ili = il[i];  /* index of first nonzero element in U(i,k:bms-1) */
1157ab27746eSHong Zhang 
1158ab27746eSHong Zhang       /* uik = -inv(Di)*U_bar(i,k): - ba[ili]*ba[i] */
1159ab27746eSHong Zhang       diag = ba + i*4;
1160ab27746eSHong Zhang       u    = ba + ili*4;
1161ab27746eSHong Zhang       uik[0] = -(diag[0]*u[0] + diag[2]*u[1]);
1162ab27746eSHong Zhang       uik[1] = -(diag[1]*u[0] + diag[3]*u[1]);
1163ab27746eSHong Zhang       uik[2] = -(diag[0]*u[2] + diag[2]*u[3]);
1164ab27746eSHong Zhang       uik[3] = -(diag[1]*u[2] + diag[3]*u[3]);
1165ab27746eSHong Zhang 
1166ab27746eSHong Zhang       /* update D(k) += -U(i,k)^T * U_bar(i,k): dk += uik*ba[ili] */
1167ab27746eSHong Zhang       dk[0] += uik[0]*u[0] + uik[1]*u[1];
1168ab27746eSHong Zhang       dk[1] += uik[2]*u[0] + uik[3]*u[1];
1169ab27746eSHong Zhang       dk[2] += uik[0]*u[2] + uik[1]*u[3];
1170ab27746eSHong Zhang       dk[3] += uik[2]*u[2] + uik[3]*u[3];
1171ab27746eSHong Zhang 
1172ab27746eSHong Zhang       /* update -U(i,k): ba[ili] = uik */
1173ab27746eSHong Zhang       ierr = PetscMemcpy(ba+ili*4,uik,4*sizeof(MatScalar));CHKERRQ(ierr);
1174ab27746eSHong Zhang 
1175ab27746eSHong Zhang       /* add multiple of row i to k-th row ... */
1176ab27746eSHong Zhang       jmin = ili + 1; jmax = bi[i+1];
1177ab27746eSHong Zhang       if (jmin < jmax){
1178ab27746eSHong Zhang         for (j=jmin; j<jmax; j++) {
1179ab27746eSHong Zhang           /* rtmp += -U(i,k)^T * U_bar(i,j): rtmp[bj[j]] += uik*ba[j]; */
1180ab27746eSHong Zhang           rtmp_ptr = rtmp + bj[j]*4;
1181ab27746eSHong Zhang           u = ba + j*4;
1182ab27746eSHong Zhang           rtmp_ptr[0] += uik[0]*u[0] + uik[1]*u[1];
1183ab27746eSHong Zhang           rtmp_ptr[1] += uik[2]*u[0] + uik[3]*u[1];
1184ab27746eSHong Zhang           rtmp_ptr[2] += uik[0]*u[2] + uik[1]*u[3];
1185ab27746eSHong Zhang           rtmp_ptr[3] += uik[2]*u[2] + uik[3]*u[3];
118649b5e25fSSatish Balay         }
1187ab27746eSHong Zhang 
1188ab27746eSHong Zhang         /* ... add i to row list for next nonzero entry */
1189ab27746eSHong Zhang         il[i] = jmin;             /* update il(i) in column k+1, ... mbs-1 */
1190ab27746eSHong Zhang         j     = bj[jmin];
1191ab27746eSHong Zhang         jl[i] = jl[j]; jl[j] = i; /* update jl */
119249b5e25fSSatish Balay       }
1193ab27746eSHong Zhang       i = nexti;
119449b5e25fSSatish Balay     }
1195ab27746eSHong Zhang 
1196ab27746eSHong Zhang     /* save nonzero entries in k-th row of U ... */
1197ab27746eSHong Zhang 
119849b5e25fSSatish Balay     /* invert diagonal block */
1199ab27746eSHong Zhang     diag = ba+k*4;
1200ab27746eSHong Zhang     ierr = PetscMemcpy(diag,dk,4*sizeof(MatScalar));CHKERRQ(ierr);
1201ab27746eSHong Zhang     ierr = Kernel_A_gets_inverse_A_2(diag);CHKERRQ(ierr);
1202ab27746eSHong Zhang 
1203ab27746eSHong Zhang     jmin = bi[k]; jmax = bi[k+1];
1204ab27746eSHong Zhang     if (jmin < jmax) {
1205ab27746eSHong Zhang       for (j=jmin; j<jmax; j++){
1206ab27746eSHong Zhang          vj = bj[j];           /* block col. index of U */
1207ab27746eSHong Zhang          u   = ba + j*4;
1208ab27746eSHong Zhang          rtmp_ptr = rtmp + vj*4;
1209ab27746eSHong Zhang          for (k1=0; k1<4; k1++){
1210ab27746eSHong Zhang            *u++        = *rtmp_ptr;
1211ab27746eSHong Zhang            *rtmp_ptr++ = 0.0;
1212ab27746eSHong Zhang          }
1213ab27746eSHong Zhang       }
1214ab27746eSHong Zhang 
1215ab27746eSHong Zhang       /* ... add k to row list for first nonzero entry in k-th row */
1216ab27746eSHong Zhang       il[k] = jmin;
1217ab27746eSHong Zhang       i     = bj[jmin];
1218ab27746eSHong Zhang       jl[k] = jl[i]; jl[i] = k;
1219ab27746eSHong Zhang     }
122049b5e25fSSatish Balay   }
122149b5e25fSSatish Balay 
122249b5e25fSSatish Balay   ierr = PetscFree(rtmp);CHKERRQ(ierr);
1223ab27746eSHong Zhang   ierr = PetscFree(il);CHKERRQ(ierr);
1224ab27746eSHong Zhang   ierr = PetscFree(dk);CHKERRQ(ierr);
1225ab27746eSHong Zhang 
1226ab27746eSHong Zhang   C->factor    = FACTOR_CHOLESKY;
122749b5e25fSSatish Balay   C->assembled = PETSC_TRUE;
12285c0bcdfcSHong Zhang   C->preallocated = PETSC_TRUE;
1229b0a32e0cSBarry Smith   PetscLogFlops(1.3333*8*b->mbs); /* from inverting diagonal blocks */
123049b5e25fSSatish Balay   PetscFunctionReturn(0);
123149b5e25fSSatish Balay }
123249b5e25fSSatish Balay 
123349b5e25fSSatish Balay /*
12345c0bcdfcSHong Zhang     Numeric U^T*D*U factorization for SBAIJ format. Modified from SNF of YSMP.
123591602c66SHong Zhang     Version for blocks are 1 by 1.
123649b5e25fSSatish Balay */
12374a2ae208SSatish Balay #undef __FUNCT__
12384a2ae208SSatish Balay #define __FUNCT__ "MatCholeskyFactorNumeric_SeqSBAIJ_1"
1239dfbe8321SBarry Smith PetscErrorCode MatCholeskyFactorNumeric_SeqSBAIJ_1(Mat A,Mat *B)
124049b5e25fSSatish Balay {
124149b5e25fSSatish Balay   Mat            C = *B;
124249b5e25fSSatish Balay   Mat_SeqSBAIJ   *a=(Mat_SeqSBAIJ*)A->data,*b=(Mat_SeqSBAIJ *)C->data;
124349b5e25fSSatish Balay   IS             ip=b->row;
12446849ba73SBarry Smith   PetscErrorCode ierr;
124513f74950SBarry Smith   PetscInt       *rip,i,j,mbs = a->mbs,*bi=b->i,*bj=b->j;
1246*fff829cfSHong Zhang   PetscInt       *ai,*aj,*a2anew;
1247*fff829cfSHong Zhang   PetscInt       k,jmin,jmax,*jl,*il,vj,nexti,ili,nz;
1248*fff829cfSHong Zhang   MatScalar      *rtmp,*ba,*aa,dk,uikdi;
124949b5e25fSSatish Balay 
125049b5e25fSSatish Balay   PetscFunctionBegin;
1251*fff829cfSHong Zhang   /* printf(" MatCholeskyFactorNumeric_SeqSBAIJ_1 is called\n"); */
125249b5e25fSSatish Balay   ierr  = ISGetIndices(ip,&rip);CHKERRQ(ierr);
1253cb718733SHong Zhang   if (!a->permute){
12542d007305SHong Zhang     ai = a->i; aj = a->j; aa = a->a;
12552d007305SHong Zhang   } else {
12562d007305SHong Zhang     ai = a->inew; aj = a->jnew;
1257*fff829cfSHong Zhang     nz = ai[mbs];
1258*fff829cfSHong Zhang     ierr = PetscMalloc(nz*sizeof(MatScalar),&aa);CHKERRQ(ierr);
1259*fff829cfSHong Zhang     a2anew = a->a2anew;
1260*fff829cfSHong Zhang     ba     = a->a;
1261*fff829cfSHong Zhang     for (j=0; j<nz; j++){
1262*fff829cfSHong Zhang       aa[a2anew[j]] = *(ba++);
12632d007305SHong Zhang     }
12642d007305SHong Zhang   }
12652d007305SHong Zhang 
126691602c66SHong Zhang   /* initialization */
126749b5e25fSSatish Balay   /* il and jl record the first nonzero element in each row of the accessing
126849b5e25fSSatish Balay      window U(0:k, k:mbs-1).
126949b5e25fSSatish Balay      jl:    list of rows to be added to uneliminated rows
127049b5e25fSSatish Balay             i>= k: jl(i) is the first row to be added to row i
127149b5e25fSSatish Balay             i<  k: jl(i) is the row following row i in some list of rows
127249b5e25fSSatish Balay             jl(i) = mbs indicates the end of a list
127349b5e25fSSatish Balay      il(i): points to the first nonzero element in columns k,...,mbs-1 of
127449b5e25fSSatish Balay             row i of U */
127582502324SSatish Balay   ierr = PetscMalloc(mbs*sizeof(MatScalar),&rtmp);CHKERRQ(ierr);
127613f74950SBarry Smith   ierr = PetscMalloc(2*mbs*sizeof(PetscInt),&il);CHKERRQ(ierr);
127728de702eSHong Zhang   jl   = il + mbs;
127849b5e25fSSatish Balay   for (i=0; i<mbs; i++) {
127949b5e25fSSatish Balay     rtmp[i] = 0.0; jl[i] = mbs; il[0] = 0;
128049b5e25fSSatish Balay   }
1281*fff829cfSHong Zhang   ba = b->a;
128249b5e25fSSatish Balay   for (k = 0; k<mbs; k++){
128391602c66SHong Zhang     /*initialize k-th row with elements nonzero in row perm(k) of A */
128449b5e25fSSatish Balay     jmin = ai[rip[k]]; jmax = ai[rip[k]+1];
128549b5e25fSSatish Balay     for (j = jmin; j < jmax; j++){
1286351d0355SHong Zhang       vj = rip[aj[j]];
1287ab27746eSHong Zhang       rtmp[vj] = aa[j];
128849b5e25fSSatish Balay     }
128949b5e25fSSatish Balay 
129091602c66SHong Zhang     /* modify k-th row by adding in those rows i with U(i,k)!=0 */
129149b5e25fSSatish Balay     dk = rtmp[k];
129249b5e25fSSatish Balay     i = jl[k]; /* first row to be added to k_th row  */
129349b5e25fSSatish Balay 
1294057f5ba7SHong Zhang     while (i < k){
129549b5e25fSSatish Balay       nexti = jl[i]; /* next row to be added to k_th row */
129649b5e25fSSatish Balay 
1297*fff829cfSHong Zhang       /* compute multiplier, update diag(k) and U(i,k) */
129849b5e25fSSatish Balay       ili = il[i];  /* index of first nonzero element in U(i,k:bms-1) */
1299*fff829cfSHong Zhang       uikdi = - ba[ili]*ba[bi[i]];  /* diagonal(k) */ /* uikdi = - ba[ili]*ba[i]; */
130049b5e25fSSatish Balay       dk += uikdi*ba[ili];
1301658e7b3eSHong Zhang       ba[ili] = uikdi; /* -U(i,k) */
130249b5e25fSSatish Balay 
130391602c66SHong Zhang       /* add multiple of row i to k-th row ... */
130449b5e25fSSatish Balay       jmin = ili + 1; jmax = bi[i+1];
130549b5e25fSSatish Balay       if (jmin < jmax){
130649b5e25fSSatish Balay         for (j=jmin; j<jmax; j++) rtmp[bj[j]] += uikdi*ba[j];
1307*fff829cfSHong Zhang         /* update il and jl for row i */
1308*fff829cfSHong Zhang         il[i] = jmin;
1309*fff829cfSHong Zhang         j = bj[jmin]; jl[i] = jl[j]; jl[j] = i;
131049b5e25fSSatish Balay       }
1311ab27746eSHong Zhang       i = nexti;
131249b5e25fSSatish Balay     }
131349b5e25fSSatish Balay 
131491602c66SHong Zhang     /* check for zero pivot and save diagoanl element */
13155b8514ebSBarry Smith     if (dk == 0.0){
131629bbc08cSBarry Smith       SETERRQ(PETSC_ERR_MAT_LU_ZRPVT,"Zero pivot");
131749b5e25fSSatish Balay     }
131849b5e25fSSatish Balay 
1319*fff829cfSHong Zhang     /* copy data ino U(k,:) */
1320*fff829cfSHong Zhang     ba[bi[k]] = 1.0/dk; /* ba[k] = 1.0/dk; */ /* U(k,k) */
1321*fff829cfSHong Zhang     jmin = bi[k]+1; jmax = bi[k+1];
132249b5e25fSSatish Balay     if (jmin < jmax) {
132349b5e25fSSatish Balay       for (j=jmin; j<jmax; j++){
1324cc0c071aSHong Zhang          vj = bj[j]; ba[j] = rtmp[vj]; rtmp[vj] = 0.0;
132549b5e25fSSatish Balay       }
132691602c66SHong Zhang       /* ... add k to row list for first nonzero entry in k-th row */
132749b5e25fSSatish Balay       il[k] = jmin;
132849b5e25fSSatish Balay       i     = bj[jmin];
132949b5e25fSSatish Balay       jl[k] = jl[i]; jl[i] = k;
133049b5e25fSSatish Balay     }
133149b5e25fSSatish Balay   }
133249b5e25fSSatish Balay 
133349b5e25fSSatish Balay   ierr = PetscFree(rtmp);CHKERRQ(ierr);
133449b5e25fSSatish Balay   ierr = PetscFree(il);CHKERRQ(ierr);
1335cb718733SHong Zhang   if (a->permute){
1336cb718733SHong Zhang     ierr = PetscFree(aa);CHKERRQ(ierr);
1337cb718733SHong Zhang   }
133849b5e25fSSatish Balay 
133949b5e25fSSatish Balay   ierr = ISRestoreIndices(ip,&rip);CHKERRQ(ierr);
13408be8c0c7SHong Zhang   C->factor    = FACTOR_CHOLESKY;
134149b5e25fSSatish Balay   C->assembled = PETSC_TRUE;
13425c0bcdfcSHong Zhang   C->preallocated = PETSC_TRUE;
1343b0a32e0cSBarry Smith   PetscLogFlops(b->mbs);
134449b5e25fSSatish Balay   PetscFunctionReturn(0);
134549b5e25fSSatish Balay }
134649b5e25fSSatish Balay 
1347671cb588SHong Zhang /*
1348671cb588SHong Zhang   Version for when blocks are 1 by 1 Using natural ordering
1349671cb588SHong Zhang */
13504a2ae208SSatish Balay #undef __FUNCT__
13514a2ae208SSatish Balay #define __FUNCT__ "MatCholeskyFactorNumeric_SeqSBAIJ_1_NaturalOrdering"
1352dfbe8321SBarry Smith PetscErrorCode MatCholeskyFactorNumeric_SeqSBAIJ_1_NaturalOrdering(Mat A,Mat *B)
1353671cb588SHong Zhang {
1354671cb588SHong Zhang   Mat            C = *B;
1355671cb588SHong Zhang   Mat_SeqSBAIJ   *a=(Mat_SeqSBAIJ*)A->data,*b=(Mat_SeqSBAIJ *)C->data;
1356dfbe8321SBarry Smith   PetscErrorCode ierr;
135713f74950SBarry Smith   PetscInt       i,j,mbs = a->mbs;
135813f74950SBarry Smith   PetscInt       *ai=a->i,*aj=a->j,*bi=b->i,*bj=b->j;
135913f74950SBarry Smith   PetscInt       k,jmin,*jl,*il,nexti,ili,*acol,*bcol,nz,ndamp = 0;
1360653a6975SHong Zhang   MatScalar      *rtmp,*ba=b->a,*aa=a->a,dk,uikdi,*aval,*bval;
136121c26570Svictorle   PetscReal      damping=b->factor_damping, zeropivot=b->factor_zeropivot,shift_amount;
136221c26570Svictorle   PetscTruth     damp,chshift;
136313f74950SBarry Smith   PetscInt       nshift=0;
1364653a6975SHong Zhang 
1365653a6975SHong Zhang   PetscFunctionBegin;
1366653a6975SHong Zhang   /* initialization */
1367653a6975SHong Zhang   /* il and jl record the first nonzero element in each row of the accessing
1368653a6975SHong Zhang      window U(0:k, k:mbs-1).
1369653a6975SHong Zhang      jl:    list of rows to be added to uneliminated rows
1370653a6975SHong Zhang             i>= k: jl(i) is the first row to be added to row i
1371653a6975SHong Zhang             i<  k: jl(i) is the row following row i in some list of rows
1372653a6975SHong Zhang             jl(i) = mbs indicates the end of a list
1373653a6975SHong Zhang      il(i): points to the first nonzero element in U(i,k:mbs-1)
1374653a6975SHong Zhang   */
1375653a6975SHong Zhang   ierr = PetscMalloc(mbs*sizeof(MatScalar),&rtmp);CHKERRQ(ierr);
137613f74950SBarry Smith   ierr = PetscMalloc(2*mbs*sizeof(PetscInt),&il);CHKERRQ(ierr);
1377653a6975SHong Zhang   jl   = il + mbs;
1378b00f7748SHong Zhang 
137921c26570Svictorle   shift_amount = 0;
1380b00f7748SHong Zhang   do {
1381b00f7748SHong Zhang     damp = PETSC_FALSE;
138221c26570Svictorle     chshift = PETSC_FALSE;
1383653a6975SHong Zhang     for (i=0; i<mbs; i++) {
1384653a6975SHong Zhang       rtmp[i] = 0.0; jl[i] = mbs; il[0] = 0;
1385653a6975SHong Zhang     }
1386653a6975SHong Zhang 
1387b00f7748SHong Zhang     for (k = 0; k<mbs; k++){ /* row k */
1388653a6975SHong Zhang     /*initialize k-th row with elements nonzero in row perm(k) of A */
1389653a6975SHong Zhang       nz   = ai[k+1] - ai[k];
1390653a6975SHong Zhang       acol = aj + ai[k];
1391653a6975SHong Zhang       aval = aa + ai[k];
1392653a6975SHong Zhang       bval = ba + bi[k];
1393653a6975SHong Zhang       while (nz -- ){
1394653a6975SHong Zhang         rtmp[*acol++] = *aval++;
1395653a6975SHong Zhang         *bval++       = 0.0; /* for in-place factorization */
1396653a6975SHong Zhang       }
1397b00f7748SHong Zhang       /* damp the diagonal of the matrix */
139821c26570Svictorle       if (ndamp||nshift) rtmp[k] += damping+shift_amount;
1399653a6975SHong Zhang 
1400653a6975SHong Zhang       /* modify k-th row by adding in those rows i with U(i,k) != 0 */
1401653a6975SHong Zhang       dk = rtmp[k];
1402653a6975SHong Zhang       i  = jl[k]; /* first row to be added to k_th row  */
1403653a6975SHong Zhang 
1404653a6975SHong Zhang       while (i < k){
1405653a6975SHong Zhang         nexti = jl[i]; /* next row to be added to k_th row */
1406653a6975SHong Zhang 
1407653a6975SHong Zhang         /* compute multiplier, update D(k) and U(i,k) */
1408653a6975SHong Zhang         ili   = il[i];  /* index of first nonzero element in U(i,k:bms-1) */
1409653a6975SHong Zhang         uikdi = - ba[ili]*ba[bi[i]];
1410653a6975SHong Zhang         dk   += uikdi*ba[ili];
1411653a6975SHong Zhang         ba[ili] = uikdi; /* -U(i,k) */
1412653a6975SHong Zhang 
1413653a6975SHong Zhang         /* add multiple of row i to k-th row ... */
1414653a6975SHong Zhang         jmin = ili + 1;
1415653a6975SHong Zhang         nz   = bi[i+1] - jmin;
1416653a6975SHong Zhang         if (nz > 0){
1417653a6975SHong Zhang           bcol = bj + jmin;
1418653a6975SHong Zhang           bval = ba + jmin;
1419653a6975SHong Zhang           while (nz --) rtmp[*bcol++] += uikdi*(*bval++);
1420653a6975SHong Zhang           /* ... add i to row list for next nonzero entry */
1421653a6975SHong Zhang           il[i] = jmin;             /* update il(i) in column k+1, ... mbs-1 */
1422653a6975SHong Zhang           j     = bj[jmin];
1423653a6975SHong Zhang           jl[i] = jl[j]; jl[j] = i; /* update jl */
1424653a6975SHong Zhang         }
1425653a6975SHong Zhang         i = nexti;
1426653a6975SHong Zhang       }
1427653a6975SHong Zhang 
142821c26570Svictorle       if (PetscRealPart(dk) < zeropivot && b->factor_shift){
1429d530a6e7Svictorle 	/* calculate a shift that would make this row diagonally dominant */
143029f69fd4SBarry Smith 	PetscReal rs = PetscAbs(PetscRealPart(dk));
143121c26570Svictorle 	jmin      = bi[k]+1;
143221c26570Svictorle 	nz        = bi[k+1] - jmin;
143321c26570Svictorle 	if (nz){
143421c26570Svictorle 	  bcol = bj + jmin;
143521c26570Svictorle 	  bval = ba + jmin;
143621c26570Svictorle 	  while (nz--){
143721c26570Svictorle 	    rs += PetscAbsScalar(rtmp[*bcol++]);
143821c26570Svictorle 	  }
143921c26570Svictorle 	}
1440d530a6e7Svictorle 	/* if this shift is less than the previous, just up the previous
1441d530a6e7Svictorle 	   one by a bit */
1442d530a6e7Svictorle 	shift_amount = PetscMax(rs,1.1*shift_amount);
144321c26570Svictorle 	chshift  = PETSC_TRUE;
1444d530a6e7Svictorle 	/* Unlike in the ILU case there is no exit condition on nshift:
1445d530a6e7Svictorle 	   we increase the shift until it converges. There is no guarantee that
1446d530a6e7Svictorle 	   this algorithm converges faster or slower, or is better or worse
1447d530a6e7Svictorle 	   than the ILU algorithm. */
144821c26570Svictorle 	nshift++;
144921c26570Svictorle 	break;
145021c26570Svictorle       }
1451ffa0b812SHong Zhang       if (PetscRealPart(dk) < zeropivot){
1452ffa0b812SHong Zhang         if (damping == (PetscReal) PETSC_DECIDE) damping = -PetscRealPart(dk)/(k+1);
1453b00f7748SHong Zhang         if (damping > 0.0) {
1454b00f7748SHong Zhang           if (ndamp) damping *= 2.0;
1455b00f7748SHong Zhang           damp = PETSC_TRUE;
1456b00f7748SHong Zhang           ndamp++;
1457b00f7748SHong Zhang           break;
1458481c2c92SHong Zhang         } else if (PetscAbsScalar(dk) < zeropivot){
145977431f27SBarry Smith           SETERRQ3(PETSC_ERR_MAT_LU_ZRPVT,"Zero pivot row %D value %g tolerance %g",k,PetscRealPart(dk),zeropivot);
1460481c2c92SHong Zhang         } else {
146177431f27SBarry Smith           PetscLogInfo((PetscObject)A,"Negative pivot %g in row %D of Cholesky factorization\n",PetscRealPart(dk),k);
1462b00f7748SHong Zhang         }
1463064503c5SHong Zhang       }
1464653a6975SHong Zhang 
1465653a6975SHong Zhang       /* save nonzero entries in k-th row of U ... */
146677431f27SBarry Smith       /* printf("%D, dk: %g, 1/dk: %g\n",k,dk,1/dk); */
1467653a6975SHong Zhang       ba[bi[k]] = 1.0/dk;
1468653a6975SHong Zhang       jmin      = bi[k]+1;
1469653a6975SHong Zhang       nz        = bi[k+1] - jmin;
1470653a6975SHong Zhang       if (nz){
1471653a6975SHong Zhang         bcol = bj + jmin;
1472653a6975SHong Zhang         bval = ba + jmin;
1473653a6975SHong Zhang         while (nz--){
1474653a6975SHong Zhang           *bval++       = rtmp[*bcol];
1475653a6975SHong Zhang           rtmp[*bcol++] = 0.0;
1476653a6975SHong Zhang         }
1477653a6975SHong Zhang         /* ... add k to row list for first nonzero entry in k-th row */
1478653a6975SHong Zhang         il[k] = jmin;
1479653a6975SHong Zhang         i     = bj[jmin];
1480653a6975SHong Zhang         jl[k] = jl[i]; jl[i] = k;
1481653a6975SHong Zhang       }
1482b00f7748SHong Zhang     } /* end of for (k = 0; k<mbs; k++) */
148321c26570Svictorle   } while (damp||chshift);
1484653a6975SHong Zhang   ierr = PetscFree(rtmp);CHKERRQ(ierr);
1485653a6975SHong Zhang   ierr = PetscFree(il);CHKERRQ(ierr);
1486653a6975SHong Zhang 
1487653a6975SHong Zhang   C->factor       = FACTOR_CHOLESKY;
1488653a6975SHong Zhang   C->assembled    = PETSC_TRUE;
1489653a6975SHong Zhang   C->preallocated = PETSC_TRUE;
1490653a6975SHong Zhang   PetscLogFlops(b->mbs);
1491b00f7748SHong Zhang   if (ndamp) {
149277431f27SBarry Smith     PetscLogInfo(0,"MatCholeskyFactorNumerical_SeqSBAIJ_1_NaturalOrdering: number of damping tries %D damping value %g\n",ndamp,damping);
1493b00f7748SHong Zhang   }
1494fb10cecfSBarry Smith  if (nshift) {
149577431f27SBarry Smith     PetscLogInfo(0,"MatCholeskyFactorNumeric_SeqSBAIJ_1_NaturalOrdering diagonal shifted %D shifts\n",nshift);
1496fb10cecfSBarry Smith   }
1497fb10cecfSBarry Smith 
1498653a6975SHong Zhang   PetscFunctionReturn(0);
1499653a6975SHong Zhang }
1500653a6975SHong Zhang 
1501653a6975SHong Zhang #undef __FUNCT__
15024a2ae208SSatish Balay #define __FUNCT__ "MatCholeskyFactor_SeqSBAIJ"
1503dfbe8321SBarry Smith PetscErrorCode MatCholeskyFactor_SeqSBAIJ(Mat A,IS perm,MatFactorInfo *info)
150449b5e25fSSatish Balay {
1505dfbe8321SBarry Smith   PetscErrorCode ierr;
150649b5e25fSSatish Balay   Mat            C;
150749b5e25fSSatish Balay 
150849b5e25fSSatish Balay   PetscFunctionBegin;
150915e8a5b3SHong Zhang   ierr = MatCholeskyFactorSymbolic(A,perm,info,&C);CHKERRQ(ierr);
1510a4ada70bSHong Zhang   ierr = MatCholeskyFactorNumeric(A,&C);CHKERRQ(ierr);
15114445ddedSHong Zhang   ierr = MatHeaderCopy(A,C);CHKERRQ(ierr);
151249b5e25fSSatish Balay   PetscFunctionReturn(0);
151349b5e25fSSatish Balay }
151449b5e25fSSatish Balay 
151549b5e25fSSatish Balay 
1516