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