xref: /petsc/src/mat/impls/baij/seq/dgefa2.c (revision 3dfa136d8b789e6905fd401804d07a78b7147c92)
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 
3984643e36SBarry Smith 	i__2 = 2 - 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 
152*3dfa136dSBarry Smith #undef __FUNCT__
153*3dfa136dSBarry Smith #define __FUNCT__ "Kernel_A_gets_inverse_A_9"
154*3dfa136dSBarry Smith PetscErrorCode Kernel_A_gets_inverse_A_9(MatScalar *a)
155*3dfa136dSBarry Smith {
156*3dfa136dSBarry Smith     PetscInt   i__2,i__3,kp1,j,k,l,ll,i,ipvt[9],kb,k3;
157*3dfa136dSBarry Smith     PetscInt   k4,j3;
158*3dfa136dSBarry Smith     MatScalar  *aa,*ax,*ay,work[81],stmp;
159*3dfa136dSBarry Smith     MatReal    tmp,max;
160*3dfa136dSBarry Smith 
161*3dfa136dSBarry Smith /*     gaussian elimination with partial pivoting */
162*3dfa136dSBarry Smith 
163*3dfa136dSBarry Smith     PetscFunctionBegin;
164*3dfa136dSBarry Smith     /* Parameter adjustments */
165*3dfa136dSBarry Smith     a       -= 10;
166*3dfa136dSBarry Smith 
167*3dfa136dSBarry Smith     for (k = 1; k <= 8; ++k) {
168*3dfa136dSBarry Smith 	kp1 = k + 1;
169*3dfa136dSBarry Smith         k3  = 9*k;
170*3dfa136dSBarry Smith         k4  = k3 + k;
171*3dfa136dSBarry Smith /*        find l = pivot index */
172*3dfa136dSBarry Smith 
173*3dfa136dSBarry Smith 	i__2 = 9 - k;
174*3dfa136dSBarry Smith         aa = &a[k4];
175*3dfa136dSBarry Smith         max = PetscAbsScalar(aa[0]);
176*3dfa136dSBarry Smith         l = 1;
177*3dfa136dSBarry Smith         for (ll=1; ll<i__2; ll++) {
178*3dfa136dSBarry Smith           tmp = PetscAbsScalar(aa[ll]);
179*3dfa136dSBarry Smith           if (tmp > max) { max = tmp; l = ll+1;}
180*3dfa136dSBarry Smith         }
181*3dfa136dSBarry Smith         l       += k - 1;
182*3dfa136dSBarry Smith 	ipvt[k-1] = l;
183*3dfa136dSBarry Smith 
184*3dfa136dSBarry Smith 	if (a[l + k3] == 0.0) {
185*3dfa136dSBarry Smith 	  SETERRQ1(PETSC_ERR_MAT_LU_ZRPVT,"Zero pivot, row %D",k-1);
186*3dfa136dSBarry Smith 	}
187*3dfa136dSBarry Smith 
188*3dfa136dSBarry Smith /*           interchange if necessary */
189*3dfa136dSBarry Smith 
190*3dfa136dSBarry Smith 	if (l != k) {
191*3dfa136dSBarry Smith 	  stmp      = a[l + k3];
192*3dfa136dSBarry Smith 	  a[l + k3] = a[k4];
193*3dfa136dSBarry Smith 	  a[k4]     = stmp;
194*3dfa136dSBarry Smith         }
195*3dfa136dSBarry Smith 
196*3dfa136dSBarry Smith /*           compute multipliers */
197*3dfa136dSBarry Smith 
198*3dfa136dSBarry Smith 	stmp = -1. / a[k4];
199*3dfa136dSBarry Smith 	i__2 = 9 - k;
200*3dfa136dSBarry Smith         aa = &a[1 + k4];
201*3dfa136dSBarry Smith         for (ll=0; ll<i__2; ll++) {
202*3dfa136dSBarry Smith           aa[ll] *= stmp;
203*3dfa136dSBarry Smith         }
204*3dfa136dSBarry Smith 
205*3dfa136dSBarry Smith /*           row elimination with column indexing */
206*3dfa136dSBarry Smith 
207*3dfa136dSBarry Smith 	ax = &a[k4+1];
208*3dfa136dSBarry Smith         for (j = kp1; j <= 9; ++j) {
209*3dfa136dSBarry Smith             j3   = 9*j;
210*3dfa136dSBarry Smith 	    stmp = a[l + j3];
211*3dfa136dSBarry Smith 	    if (l != k) {
212*3dfa136dSBarry Smith 	      a[l + j3] = a[k + j3];
213*3dfa136dSBarry Smith 	      a[k + j3] = stmp;
214*3dfa136dSBarry Smith             }
215*3dfa136dSBarry Smith 
216*3dfa136dSBarry Smith 	    i__3 = 9 - k;
217*3dfa136dSBarry Smith             ay = &a[1+k+j3];
218*3dfa136dSBarry Smith             for (ll=0; ll<i__3; ll++) {
219*3dfa136dSBarry Smith               ay[ll] += stmp*ax[ll];
220*3dfa136dSBarry Smith             }
221*3dfa136dSBarry Smith 	}
222*3dfa136dSBarry Smith     }
223*3dfa136dSBarry Smith     ipvt[8] = 9;
224*3dfa136dSBarry Smith     if (a[90] == 0.0) {
225*3dfa136dSBarry Smith       SETERRQ1(PETSC_ERR_MAT_LU_ZRPVT,"Zero pivot, row %D",6);
226*3dfa136dSBarry Smith     }
227*3dfa136dSBarry Smith 
228*3dfa136dSBarry Smith     /*
229*3dfa136dSBarry Smith          Now form the inverse
230*3dfa136dSBarry Smith     */
231*3dfa136dSBarry Smith 
232*3dfa136dSBarry Smith    /*     compute inverse(u) */
233*3dfa136dSBarry Smith 
234*3dfa136dSBarry Smith     for (k = 1; k <= 9; ++k) {
235*3dfa136dSBarry Smith         k3    = 9*k;
236*3dfa136dSBarry Smith         k4    = k3 + k;
237*3dfa136dSBarry Smith 	a[k4] = 1.0 / a[k4];
238*3dfa136dSBarry Smith 	stmp  = -a[k4];
239*3dfa136dSBarry Smith 	i__2  = k - 1;
240*3dfa136dSBarry Smith         aa    = &a[k3 + 1];
241*3dfa136dSBarry Smith         for (ll=0; ll<i__2; ll++) aa[ll] *= stmp;
242*3dfa136dSBarry Smith 	kp1 = k + 1;
243*3dfa136dSBarry Smith 	if (9 < kp1) continue;
244*3dfa136dSBarry Smith         ax = aa;
245*3dfa136dSBarry Smith         for (j = kp1; j <= 9; ++j) {
246*3dfa136dSBarry Smith             j3        = 9*j;
247*3dfa136dSBarry Smith 	    stmp      = a[k + j3];
248*3dfa136dSBarry Smith 	    a[k + j3] = 0.0;
249*3dfa136dSBarry Smith             ay        = &a[j3 + 1];
250*3dfa136dSBarry Smith             for (ll=0; ll<k; ll++) {
251*3dfa136dSBarry Smith               ay[ll] += stmp*ax[ll];
252*3dfa136dSBarry Smith             }
253*3dfa136dSBarry Smith 	}
254*3dfa136dSBarry Smith     }
255*3dfa136dSBarry Smith 
256*3dfa136dSBarry Smith    /*    form inverse(u)*inverse(l) */
257*3dfa136dSBarry Smith 
258*3dfa136dSBarry Smith     for (kb = 1; kb <= 8; ++kb) {
259*3dfa136dSBarry Smith 	k   = 9 - kb;
260*3dfa136dSBarry Smith         k3  = 9*k;
261*3dfa136dSBarry Smith 	kp1 = k + 1;
262*3dfa136dSBarry Smith         aa  = a + k3;
263*3dfa136dSBarry Smith 	for (i = kp1; i <= 9; ++i) {
264*3dfa136dSBarry Smith             work[i-1] = aa[i];
265*3dfa136dSBarry Smith 	    aa[i]   = 0.0;
266*3dfa136dSBarry Smith 	}
267*3dfa136dSBarry Smith 	for (j = kp1; j <= 9; ++j) {
268*3dfa136dSBarry Smith 	    stmp  = work[j-1];
269*3dfa136dSBarry Smith             ax    = &a[9*j + 1];
270*3dfa136dSBarry Smith             ay    = &a[k3 + 1];
271*3dfa136dSBarry Smith             ay[0] += stmp*ax[0];
272*3dfa136dSBarry Smith             ay[1] += stmp*ax[1];
273*3dfa136dSBarry Smith             ay[2] += stmp*ax[2];
274*3dfa136dSBarry Smith             ay[3] += stmp*ax[3];
275*3dfa136dSBarry Smith             ay[4] += stmp*ax[4];
276*3dfa136dSBarry Smith             ay[5] += stmp*ax[5];
277*3dfa136dSBarry Smith             ay[6] += stmp*ax[6];
278*3dfa136dSBarry Smith             ay[7] += stmp*ax[7];
279*3dfa136dSBarry Smith             ay[8] += stmp*ax[8];
280*3dfa136dSBarry Smith 	}
281*3dfa136dSBarry Smith 	l = ipvt[k-1];
282*3dfa136dSBarry Smith 	if (l != k) {
283*3dfa136dSBarry Smith             ax = &a[k3 + 1];
284*3dfa136dSBarry Smith             ay = &a[9*l + 1];
285*3dfa136dSBarry Smith             stmp = ax[0]; ax[0] = ay[0]; ay[0] = stmp;
286*3dfa136dSBarry Smith             stmp = ax[1]; ax[1] = ay[1]; ay[1] = stmp;
287*3dfa136dSBarry Smith             stmp = ax[2]; ax[2] = ay[2]; ay[2] = stmp;
288*3dfa136dSBarry Smith             stmp = ax[3]; ax[3] = ay[3]; ay[3] = stmp;
289*3dfa136dSBarry Smith             stmp = ax[4]; ax[4] = ay[4]; ay[4] = stmp;
290*3dfa136dSBarry Smith             stmp = ax[5]; ax[5] = ay[5]; ay[5] = stmp;
291*3dfa136dSBarry Smith             stmp = ax[6]; ax[6] = ay[6]; ay[6] = stmp;
292*3dfa136dSBarry Smith             stmp = ax[7]; ax[7] = ay[7]; ay[7] = stmp;
293*3dfa136dSBarry Smith             stmp = ax[8]; ax[8] = ay[8]; ay[8] = stmp;
294*3dfa136dSBarry Smith 	}
295*3dfa136dSBarry Smith     }
296*3dfa136dSBarry Smith     PetscFunctionReturn(0);
297*3dfa136dSBarry Smith }
29884643e36SBarry Smith 
299