149b5e25fSSatish Balay #include "petscsys.h" 249b5e25fSSatish Balay #include "src/mat/impls/baij/seq/baij.h" 349b5e25fSSatish Balay #include "src/vec/vecimpl.h" 449b5e25fSSatish Balay #include "src/inline/spops.h" 549b5e25fSSatish Balay #include "sbaij.h" 649b5e25fSSatish Balay 749b5e25fSSatish Balay /* 849b5e25fSSatish Balay Symmetric reordering the index of sparse symmetric matrix A 949b5e25fSSatish Balay so that P*A*P^T is also stored symmetrically. 1049b5e25fSSatish Balay The permutation needs to be symmetric, i.e., P = P^T = inv(P). 1149b5e25fSSatish Balay -- modified from sor.f of YSMP 1249b5e25fSSatish Balay -- idea: reorder (ai, aj, a) (not A!) to ensure that all nonzero A_(p(i),isp(k)) 1349b5e25fSSatish Balay are stored in the upper triangle of P*A*P^T 1449b5e25fSSatish Balay */ 1549b5e25fSSatish Balay #undef __FUNC__ 1649b5e25fSSatish Balay #define __FUNC__ "MatReordering_SeqSBAIJ" 1749b5e25fSSatish Balay int MatReordering_SeqSBAIJ(Mat A,IS isp) 1849b5e25fSSatish Balay { 1949b5e25fSSatish Balay Mat_SeqSBAIJ *a=(Mat_SeqSBAIJ *)A->data; 20*db4fd139SSatish Balay int *r,ierr,i,mbs=a->mbs,*ai=a->i,*aj=a->j,*rip,*riip; 21*db4fd139SSatish Balay MatScalar *aa=a->a; 2249b5e25fSSatish Balay Scalar ak; 2349b5e25fSSatish Balay int *nzr,nz,jmin,jmax,j,k,ajk; 2449b5e25fSSatish Balay IS isip; /* inverse of isp */ 2549b5e25fSSatish Balay 2649b5e25fSSatish Balay PetscFunctionBegin; 2749b5e25fSSatish Balay if (!mbs) PetscFunctionReturn(0); 2849b5e25fSSatish Balay 2949b5e25fSSatish Balay ierr = ISGetIndices(isp,&rip);CHKERRQ(ierr); 3049b5e25fSSatish Balay ierr = ISInvertPermutation(isp,PETSC_DECIDE,&isip);CHKERRQ(ierr); 3149b5e25fSSatish Balay ierr = ISGetIndices(isip,&riip);CHKERRQ(ierr); 3249b5e25fSSatish Balay 3349b5e25fSSatish Balay for (i=0; i<mbs; i++) { 3449b5e25fSSatish Balay if ( rip[i] - riip[i] != 0 ) { 3549b5e25fSSatish Balay printf("Non-symm. permutation, use symm. permutation or general matrix format\n"); 3649b5e25fSSatish Balay break; 3749b5e25fSSatish Balay } 3849b5e25fSSatish Balay } 3949b5e25fSSatish Balay 4049b5e25fSSatish Balay /* Phase 1: find row in which to store each nonzero (r) 4149b5e25fSSatish Balay initialize count of nonzeros to be stored in each row (nzr) */ 4249b5e25fSSatish Balay 4349b5e25fSSatish Balay nzr = (int*)PetscMalloc(mbs*sizeof(int));CHKPTRQ(nzr); 4449b5e25fSSatish Balay r = (int*)PetscMalloc(ai[mbs]*sizeof(int));CHKPTRQ(r); 4549b5e25fSSatish Balay for (i=0; i<mbs; i++) nzr[i] = 0; 4649b5e25fSSatish Balay for (i=0; i<ai[mbs]; i++) r[i] = 0; 4749b5e25fSSatish Balay 4849b5e25fSSatish Balay /* for each nonzero element */ 4949b5e25fSSatish Balay for (i=0; i<mbs; i++){ 5049b5e25fSSatish Balay nz = ai[i+1] - ai[i]; 5149b5e25fSSatish Balay j = ai[i]; 5249b5e25fSSatish Balay while (nz--){ 5349b5e25fSSatish Balay /* --- find row (=r[j]) and column (=aj[j]) in which to store a[j] ...*/ 5449b5e25fSSatish Balay k = aj[j]; 5549b5e25fSSatish Balay if (rip[k] < rip[i]) aj[j] = i; 5649b5e25fSSatish Balay else k = i; 5749b5e25fSSatish Balay r[j] = k; j++; 5849b5e25fSSatish Balay nzr[k] ++; /* increment count of nonzeros in that row */ 5949b5e25fSSatish Balay } 6049b5e25fSSatish Balay } 6149b5e25fSSatish Balay 6249b5e25fSSatish Balay /* Phase 2: find new ai and permutation to apply to (aj,a) 6349b5e25fSSatish Balay determine pointers (r) to delimit rows in permuted (aj,a) */ 6449b5e25fSSatish Balay for (i=0; i<mbs; i++){ 6549b5e25fSSatish Balay ai[i+1] = ai[i] + nzr[i]; 6649b5e25fSSatish Balay nzr[i] = ai[i+1]; 6749b5e25fSSatish Balay } 6849b5e25fSSatish Balay 6949b5e25fSSatish Balay /* determine where each (aj[j], a[j]) is stored in permuted (aj,a) 7049b5e25fSSatish Balay for each nonzero element (in reverse order) */ 7149b5e25fSSatish Balay jmin = ai[0]; jmax = ai[mbs]; 7249b5e25fSSatish Balay nz = jmax - jmin; 7349b5e25fSSatish Balay j = jmax-1; 7449b5e25fSSatish Balay while (nz--){ 7549b5e25fSSatish Balay i = r[j]; /* row value */ 7649b5e25fSSatish Balay if (aj[j] == i) r[j] = ai[i]; /* put diagonal nonzero at beginning of row */ 7749b5e25fSSatish Balay else { /* put off-diagonal nonzero in last unused location in row */ 7849b5e25fSSatish Balay nzr[i]--; r[j] = nzr[i]; 7949b5e25fSSatish Balay } 8049b5e25fSSatish Balay j--; 8149b5e25fSSatish Balay } 8249b5e25fSSatish Balay 8349b5e25fSSatish Balay /* Phase 3: permute (aj,a) to upper triangular form (wrt new ordering) */ 8449b5e25fSSatish Balay for (j=jmin; j<jmax; j++){ 8549b5e25fSSatish Balay while (r[j] != j){ 8649b5e25fSSatish Balay k = r[j]; r[j] = r[k]; r[k] = k; 8749b5e25fSSatish Balay ajk = aj[k]; aj[k] = aj[j]; aj[j] = ajk; 8849b5e25fSSatish Balay ak = aa[k]; aa[k] = aa[j]; aa[j] = ak; 8949b5e25fSSatish Balay } 9049b5e25fSSatish Balay } 9149b5e25fSSatish Balay 9249b5e25fSSatish Balay ierr = ISRestoreIndices(isp,&rip);CHKERRQ(ierr); 9349b5e25fSSatish Balay 9449b5e25fSSatish Balay a->row = isp; 9549b5e25fSSatish Balay a->col = isp; 9649b5e25fSSatish Balay a->icol = isp; 9749b5e25fSSatish Balay ierr = PetscObjectReference((PetscObject)isp); CHKERRQ(ierr); 9849b5e25fSSatish Balay PetscFunctionReturn(0); 9949b5e25fSSatish Balay } 10049b5e25fSSatish Balay 101