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