xref: /petsc/src/mat/impls/baij/seq/dgefa2.c (revision d382aafbaf988181ac6819ef14789c4ab78c7a0e)
1be1d678aSKris Buschelman #define PETSCMAT_DLL
2be1d678aSKris Buschelman 
384643e36SBarry Smith /*
484643e36SBarry Smith      Inverts 2 by 2 matrix using partial pivoting.
584643e36SBarry Smith 
684643e36SBarry Smith        Used by the sparse factorization routines in
7dd882469SBarry Smith      src/mat/impls/baij/seq
884643e36SBarry Smith 
984643e36SBarry Smith 
1084643e36SBarry Smith        This is a combination of the Linpack routines
1184643e36SBarry Smith     dgefa() and dgedi() specialized for a size of 2.
1284643e36SBarry Smith 
1384643e36SBarry Smith */
14*d382aafbSBarry Smith #include "petscsys.h"
1584643e36SBarry Smith 
164a2ae208SSatish Balay #undef __FUNCT__
174a2ae208SSatish Balay #define __FUNCT__ "Kernel_A_gets_inverse_A_2"
1862bba022SBarry Smith PetscErrorCode Kernel_A_gets_inverse_A_2(MatScalar *a,PetscReal shift)
1984643e36SBarry Smith {
20690b6cddSBarry Smith     PetscInt   i__2,i__3,kp1,j,k,l,ll,i,ipvt[2],k3;
21690b6cddSBarry Smith     PetscInt   k4,j3;
22b48ee343SBarry Smith     MatScalar  *aa,*ax,*ay,work[4],stmp;
23329f5518SBarry Smith     MatReal    tmp,max;
2484643e36SBarry Smith 
2584643e36SBarry Smith /*     gaussian elimination with partial pivoting */
2684643e36SBarry Smith 
2784643e36SBarry Smith     PetscFunctionBegin;
2884643e36SBarry Smith     /* Parameter adjustments */
2984643e36SBarry Smith     a       -= 3;
3084643e36SBarry Smith 
3184643e36SBarry Smith     /*for (k = 1; k <= 1; ++k) {*/
3284643e36SBarry Smith         k   = 1;
3384643e36SBarry Smith 	kp1 = k + 1;
3484643e36SBarry Smith         k3  = 2*k;
3584643e36SBarry Smith         k4  = k3 + k;
3684643e36SBarry Smith /*        find l = pivot index */
3784643e36SBarry Smith 
38ed33f8a5SSatish Balay 	i__2 = 3 - k;
3984643e36SBarry Smith         aa = &a[k4];
4084643e36SBarry Smith         max = PetscAbsScalar(aa[0]);
4184643e36SBarry Smith         l = 1;
4284643e36SBarry Smith         for (ll=1; ll<i__2; ll++) {
4384643e36SBarry Smith           tmp = PetscAbsScalar(aa[ll]);
4484643e36SBarry Smith           if (tmp > max) { max = tmp; l = ll+1;}
4584643e36SBarry Smith         }
4684643e36SBarry Smith         l       += k - 1;
47b48ee343SBarry Smith 	ipvt[k-1] = l;
4884643e36SBarry Smith 
495b8514ebSBarry Smith 	if (a[l + k3] == 0.0) {
5077431f27SBarry Smith 	  SETERRQ1(PETSC_ERR_MAT_LU_ZRPVT,"Zero pivot, row %D",k-1);
5184643e36SBarry Smith 	}
5284643e36SBarry Smith 
5384643e36SBarry Smith /*           interchange if necessary */
5484643e36SBarry Smith 
5584643e36SBarry Smith 	if (l != k) {
5684643e36SBarry Smith 	  stmp      = a[l + k3];
5784643e36SBarry Smith 	  a[l + k3] = a[k4];
5884643e36SBarry Smith 	  a[k4]     = stmp;
5984643e36SBarry Smith         }
6084643e36SBarry Smith 
6184643e36SBarry Smith /*           compute multipliers */
6284643e36SBarry Smith 
6384643e36SBarry Smith 	stmp = -1. / a[k4];
6484643e36SBarry Smith 	i__2 = 2 - k;
6584643e36SBarry Smith         aa = &a[1 + k4];
6684643e36SBarry Smith         for (ll=0; ll<i__2; ll++) {
6784643e36SBarry Smith           aa[ll] *= stmp;
6884643e36SBarry Smith         }
6984643e36SBarry Smith 
7084643e36SBarry Smith /*           row elimination with column indexing */
7184643e36SBarry Smith 
7284643e36SBarry Smith 	ax = &a[k4+1];
7384643e36SBarry Smith         for (j = kp1; j <= 2; ++j) {
7484643e36SBarry Smith             j3   = 2*j;
7584643e36SBarry Smith 	    stmp = a[l + j3];
7684643e36SBarry Smith 	    if (l != k) {
7784643e36SBarry Smith 	      a[l + j3] = a[k + j3];
7884643e36SBarry Smith 	      a[k + j3] = stmp;
7984643e36SBarry Smith             }
8084643e36SBarry Smith 
8184643e36SBarry Smith 	    i__3 = 2 - k;
8284643e36SBarry Smith             ay = &a[1+k+j3];
8384643e36SBarry Smith             for (ll=0; ll<i__3; ll++) {
8484643e36SBarry Smith               ay[ll] += stmp*ax[ll];
8584643e36SBarry Smith             }
8684643e36SBarry Smith 	}
8784643e36SBarry Smith     /*}*/
88b48ee343SBarry Smith     ipvt[1] = 2;
895b8514ebSBarry Smith     if (a[6] == 0.0) {
9077431f27SBarry Smith       SETERRQ1(PETSC_ERR_MAT_LU_ZRPVT,"Zero pivot, row %D",1);
9184643e36SBarry Smith     }
9284643e36SBarry Smith 
9384643e36SBarry Smith     /*
9484643e36SBarry Smith          Now form the inverse
9584643e36SBarry Smith     */
9684643e36SBarry Smith 
9784643e36SBarry Smith    /*     compute inverse(u) */
9884643e36SBarry Smith 
9984643e36SBarry Smith     for (k = 1; k <= 2; ++k) {
10084643e36SBarry Smith         k3    = 2*k;
10184643e36SBarry Smith         k4    = k3 + k;
10284643e36SBarry Smith 	a[k4] = 1.0 / a[k4];
10384643e36SBarry Smith 	stmp  = -a[k4];
10484643e36SBarry Smith 	i__2  = k - 1;
10584643e36SBarry Smith         aa    = &a[k3 + 1];
10684643e36SBarry Smith         for (ll=0; ll<i__2; ll++) aa[ll] *= stmp;
10784643e36SBarry Smith 	kp1 = k + 1;
10884643e36SBarry Smith 	if (2 < kp1) continue;
10984643e36SBarry Smith         ax = aa;
11084643e36SBarry Smith         for (j = kp1; j <= 2; ++j) {
11184643e36SBarry Smith             j3        = 2*j;
11284643e36SBarry Smith 	    stmp      = a[k + j3];
11384643e36SBarry Smith 	    a[k + j3] = 0.0;
11484643e36SBarry Smith             ay        = &a[j3 + 1];
11584643e36SBarry Smith             for (ll=0; ll<k; ll++) {
11684643e36SBarry Smith               ay[ll] += stmp*ax[ll];
11784643e36SBarry Smith             }
11884643e36SBarry Smith 	}
11984643e36SBarry Smith     }
12084643e36SBarry Smith 
12184643e36SBarry Smith    /*    form inverse(u)*inverse(l) */
12284643e36SBarry Smith 
12384643e36SBarry Smith     /*for (kb = 1; kb <= 1; ++kb) {*/
12484643e36SBarry Smith 
12584643e36SBarry Smith 	k   = 1;
12684643e36SBarry Smith         k3  = 2*k;
12784643e36SBarry Smith 	kp1 = k + 1;
12884643e36SBarry Smith         aa  = a + k3;
12984643e36SBarry Smith 	for (i = kp1; i <= 2; ++i) {
130b48ee343SBarry Smith             work[i-1] = aa[i];
13184643e36SBarry Smith 	    aa[i]   = 0.0;
13284643e36SBarry Smith 	}
13384643e36SBarry Smith 	for (j = kp1; j <= 2; ++j) {
134b48ee343SBarry Smith 	    stmp  = work[j-1];
13584643e36SBarry Smith             ax    = &a[2*j + 1];
13684643e36SBarry Smith             ay    = &a[k3 + 1];
13784643e36SBarry Smith             ay[0] += stmp*ax[0];
13884643e36SBarry Smith             ay[1] += stmp*ax[1];
13984643e36SBarry Smith 	}
140b48ee343SBarry Smith 	l = ipvt[k-1];
14184643e36SBarry Smith 	if (l != k) {
14284643e36SBarry Smith             ax = &a[k3 + 1];
14384643e36SBarry Smith             ay = &a[2*l + 1];
14484643e36SBarry Smith             stmp = ax[0]; ax[0] = ay[0]; ay[0] = stmp;
14584643e36SBarry Smith             stmp = ax[1]; ax[1] = ay[1]; ay[1] = stmp;
14684643e36SBarry Smith 	}
14784643e36SBarry Smith 
14884643e36SBarry Smith     PetscFunctionReturn(0);
14984643e36SBarry Smith }
15084643e36SBarry Smith 
1513dfa136dSBarry Smith #undef __FUNCT__
1523dfa136dSBarry Smith #define __FUNCT__ "Kernel_A_gets_inverse_A_9"
15362bba022SBarry Smith PetscErrorCode Kernel_A_gets_inverse_A_9(MatScalar *a,PetscReal shift)
1543dfa136dSBarry Smith {
1553dfa136dSBarry Smith     PetscInt   i__2,i__3,kp1,j,k,l,ll,i,ipvt[9],kb,k3;
1563dfa136dSBarry Smith     PetscInt   k4,j3;
1573dfa136dSBarry Smith     MatScalar  *aa,*ax,*ay,work[81],stmp;
1583dfa136dSBarry Smith     MatReal    tmp,max;
1593dfa136dSBarry Smith 
1603dfa136dSBarry Smith /*     gaussian elimination with partial pivoting */
1613dfa136dSBarry Smith 
1623dfa136dSBarry Smith     PetscFunctionBegin;
1633dfa136dSBarry Smith     /* Parameter adjustments */
1643dfa136dSBarry Smith     a       -= 10;
1653dfa136dSBarry Smith 
1663dfa136dSBarry Smith     for (k = 1; k <= 8; ++k) {
1673dfa136dSBarry Smith 	kp1 = k + 1;
1683dfa136dSBarry Smith         k3  = 9*k;
1693dfa136dSBarry Smith         k4  = k3 + k;
1703dfa136dSBarry Smith /*        find l = pivot index */
1713dfa136dSBarry Smith 
172c38ccd74SBarry Smith 	i__2 = 10 - k;
1733dfa136dSBarry Smith         aa = &a[k4];
1743dfa136dSBarry Smith         max = PetscAbsScalar(aa[0]);
1753dfa136dSBarry Smith         l = 1;
1763dfa136dSBarry Smith         for (ll=1; ll<i__2; ll++) {
1773dfa136dSBarry Smith           tmp = PetscAbsScalar(aa[ll]);
1783dfa136dSBarry Smith           if (tmp > max) { max = tmp; l = ll+1;}
1793dfa136dSBarry Smith         }
1803dfa136dSBarry Smith         l       += k - 1;
1813dfa136dSBarry Smith 	ipvt[k-1] = l;
1823dfa136dSBarry Smith 
1833dfa136dSBarry Smith 	if (a[l + k3] == 0.0) {
1843dfa136dSBarry Smith 	  SETERRQ1(PETSC_ERR_MAT_LU_ZRPVT,"Zero pivot, row %D",k-1);
1853dfa136dSBarry Smith 	}
1863dfa136dSBarry Smith 
1873dfa136dSBarry Smith /*           interchange if necessary */
1883dfa136dSBarry Smith 
1893dfa136dSBarry Smith 	if (l != k) {
1903dfa136dSBarry Smith 	  stmp      = a[l + k3];
1913dfa136dSBarry Smith 	  a[l + k3] = a[k4];
1923dfa136dSBarry Smith 	  a[k4]     = stmp;
1933dfa136dSBarry Smith         }
1943dfa136dSBarry Smith 
1953dfa136dSBarry Smith /*           compute multipliers */
1963dfa136dSBarry Smith 
1973dfa136dSBarry Smith 	stmp = -1. / a[k4];
1983dfa136dSBarry Smith 	i__2 = 9 - k;
1993dfa136dSBarry Smith         aa = &a[1 + k4];
2003dfa136dSBarry Smith         for (ll=0; ll<i__2; ll++) {
2013dfa136dSBarry Smith           aa[ll] *= stmp;
2023dfa136dSBarry Smith         }
2033dfa136dSBarry Smith 
2043dfa136dSBarry Smith /*           row elimination with column indexing */
2053dfa136dSBarry Smith 
2063dfa136dSBarry Smith 	ax = &a[k4+1];
2073dfa136dSBarry Smith         for (j = kp1; j <= 9; ++j) {
2083dfa136dSBarry Smith             j3   = 9*j;
2093dfa136dSBarry Smith 	    stmp = a[l + j3];
2103dfa136dSBarry Smith 	    if (l != k) {
2113dfa136dSBarry Smith 	      a[l + j3] = a[k + j3];
2123dfa136dSBarry Smith 	      a[k + j3] = stmp;
2133dfa136dSBarry Smith             }
2143dfa136dSBarry Smith 
2153dfa136dSBarry Smith 	    i__3 = 9 - k;
2163dfa136dSBarry Smith             ay = &a[1+k+j3];
2173dfa136dSBarry Smith             for (ll=0; ll<i__3; ll++) {
2183dfa136dSBarry Smith               ay[ll] += stmp*ax[ll];
2193dfa136dSBarry Smith             }
2203dfa136dSBarry Smith 	}
2213dfa136dSBarry Smith     }
2223dfa136dSBarry Smith     ipvt[8] = 9;
2233dfa136dSBarry Smith     if (a[90] == 0.0) {
2243dfa136dSBarry Smith       SETERRQ1(PETSC_ERR_MAT_LU_ZRPVT,"Zero pivot, row %D",6);
2253dfa136dSBarry Smith     }
2263dfa136dSBarry Smith 
2273dfa136dSBarry Smith     /*
2283dfa136dSBarry Smith          Now form the inverse
2293dfa136dSBarry Smith     */
2303dfa136dSBarry Smith 
2313dfa136dSBarry Smith    /*     compute inverse(u) */
2323dfa136dSBarry Smith 
2333dfa136dSBarry Smith     for (k = 1; k <= 9; ++k) {
2343dfa136dSBarry Smith         k3    = 9*k;
2353dfa136dSBarry Smith         k4    = k3 + k;
2363dfa136dSBarry Smith 	a[k4] = 1.0 / a[k4];
2373dfa136dSBarry Smith 	stmp  = -a[k4];
2383dfa136dSBarry Smith 	i__2  = k - 1;
2393dfa136dSBarry Smith         aa    = &a[k3 + 1];
2403dfa136dSBarry Smith         for (ll=0; ll<i__2; ll++) aa[ll] *= stmp;
2413dfa136dSBarry Smith 	kp1 = k + 1;
2423dfa136dSBarry Smith 	if (9 < kp1) continue;
2433dfa136dSBarry Smith         ax = aa;
2443dfa136dSBarry Smith         for (j = kp1; j <= 9; ++j) {
2453dfa136dSBarry Smith             j3        = 9*j;
2463dfa136dSBarry Smith 	    stmp      = a[k + j3];
2473dfa136dSBarry Smith 	    a[k + j3] = 0.0;
2483dfa136dSBarry Smith             ay        = &a[j3 + 1];
2493dfa136dSBarry Smith             for (ll=0; ll<k; ll++) {
2503dfa136dSBarry Smith               ay[ll] += stmp*ax[ll];
2513dfa136dSBarry Smith             }
2523dfa136dSBarry Smith 	}
2533dfa136dSBarry Smith     }
2543dfa136dSBarry Smith 
2553dfa136dSBarry Smith    /*    form inverse(u)*inverse(l) */
2563dfa136dSBarry Smith 
2573dfa136dSBarry Smith     for (kb = 1; kb <= 8; ++kb) {
2583dfa136dSBarry Smith 	k   = 9 - kb;
2593dfa136dSBarry Smith         k3  = 9*k;
2603dfa136dSBarry Smith 	kp1 = k + 1;
2613dfa136dSBarry Smith         aa  = a + k3;
2623dfa136dSBarry Smith 	for (i = kp1; i <= 9; ++i) {
2633dfa136dSBarry Smith             work[i-1] = aa[i];
2643dfa136dSBarry Smith 	    aa[i]   = 0.0;
2653dfa136dSBarry Smith 	}
2663dfa136dSBarry Smith 	for (j = kp1; j <= 9; ++j) {
2673dfa136dSBarry Smith 	    stmp  = work[j-1];
2683dfa136dSBarry Smith             ax    = &a[9*j + 1];
2693dfa136dSBarry Smith             ay    = &a[k3 + 1];
2703dfa136dSBarry Smith             ay[0] += stmp*ax[0];
2713dfa136dSBarry Smith             ay[1] += stmp*ax[1];
2723dfa136dSBarry Smith             ay[2] += stmp*ax[2];
2733dfa136dSBarry Smith             ay[3] += stmp*ax[3];
2743dfa136dSBarry Smith             ay[4] += stmp*ax[4];
2753dfa136dSBarry Smith             ay[5] += stmp*ax[5];
2763dfa136dSBarry Smith             ay[6] += stmp*ax[6];
2773dfa136dSBarry Smith             ay[7] += stmp*ax[7];
2783dfa136dSBarry Smith             ay[8] += stmp*ax[8];
2793dfa136dSBarry Smith 	}
2803dfa136dSBarry Smith 	l = ipvt[k-1];
2813dfa136dSBarry Smith 	if (l != k) {
2823dfa136dSBarry Smith             ax = &a[k3 + 1];
2833dfa136dSBarry Smith             ay = &a[9*l + 1];
2843dfa136dSBarry Smith             stmp = ax[0]; ax[0] = ay[0]; ay[0] = stmp;
2853dfa136dSBarry Smith             stmp = ax[1]; ax[1] = ay[1]; ay[1] = stmp;
2863dfa136dSBarry Smith             stmp = ax[2]; ax[2] = ay[2]; ay[2] = stmp;
2873dfa136dSBarry Smith             stmp = ax[3]; ax[3] = ay[3]; ay[3] = stmp;
2883dfa136dSBarry Smith             stmp = ax[4]; ax[4] = ay[4]; ay[4] = stmp;
2893dfa136dSBarry Smith             stmp = ax[5]; ax[5] = ay[5]; ay[5] = stmp;
2903dfa136dSBarry Smith             stmp = ax[6]; ax[6] = ay[6]; ay[6] = stmp;
2913dfa136dSBarry Smith             stmp = ax[7]; ax[7] = ay[7]; ay[7] = stmp;
2923dfa136dSBarry Smith             stmp = ax[8]; ax[8] = ay[8]; ay[8] = stmp;
2933dfa136dSBarry Smith 	}
2943dfa136dSBarry Smith     }
2953dfa136dSBarry Smith     PetscFunctionReturn(0);
2963dfa136dSBarry Smith }
29784643e36SBarry Smith 
298