xref: /petsc/src/mat/impls/aij/seq/lusol/lusol.c (revision 521d725246dfa58045cedb83828e8a3e8852731d)
14eb8e494SKris Buschelman /*
24eb8e494SKris Buschelman         Provides an interface to the LUSOL package of ....
34eb8e494SKris Buschelman 
44eb8e494SKris Buschelman */
54eb8e494SKris Buschelman #include "src/mat/impls/aij/seq/aij.h"
64eb8e494SKris Buschelman 
74eb8e494SKris Buschelman #if defined(PETSC_HAVE_FORTRAN_UNDERSCORE)
84eb8e494SKris Buschelman #define LU1FAC   lu1fac_
94eb8e494SKris Buschelman #define LU6SOL   lu6sol_
104eb8e494SKris Buschelman #define M1PAGE   m1page_
114eb8e494SKris Buschelman #define M5SETX   m5setx_
124eb8e494SKris Buschelman #define M6RDEL   m6rdel_
134eb8e494SKris Buschelman #elif !defined(PETSC_HAVE_FORTRAN_CAPS)
144eb8e494SKris Buschelman #define LU1FAC   lu1fac
154eb8e494SKris Buschelman #define LU6SOL   lu6sol
164eb8e494SKris Buschelman #define M1PAGE   m1page
174eb8e494SKris Buschelman #define M5SETX   m5setx
184eb8e494SKris Buschelman #define M6RDEL   m6rdel
194eb8e494SKris Buschelman #endif
204eb8e494SKris Buschelman 
214eb8e494SKris Buschelman EXTERN_C_BEGIN
224eb8e494SKris Buschelman /*
234eb8e494SKris Buschelman     Dummy symbols that the MINOS files mi25bfac.f and mi15blas.f may require
244eb8e494SKris Buschelman */
254eb8e494SKris Buschelman void PETSC_STDCALL M1PAGE() {
264eb8e494SKris Buschelman   ;
274eb8e494SKris Buschelman }
284eb8e494SKris Buschelman void PETSC_STDCALL M5SETX() {
294eb8e494SKris Buschelman   ;
304eb8e494SKris Buschelman }
314eb8e494SKris Buschelman 
324eb8e494SKris Buschelman void PETSC_STDCALL M6RDEL() {
334eb8e494SKris Buschelman   ;
344eb8e494SKris Buschelman }
354eb8e494SKris Buschelman 
364eb8e494SKris Buschelman extern void PETSC_STDCALL LU1FAC (int *m, int *n, int *nnz, int *size, int *luparm,
374eb8e494SKris Buschelman                         double *parmlu, double *data, int *indc, int *indr,
384eb8e494SKris Buschelman                         int *rowperm, int *colperm, int *collen, int *rowlen,
394eb8e494SKris Buschelman                         int *colstart, int *rowstart, int *rploc, int *cploc,
404eb8e494SKris Buschelman                         int *rpinv, int *cpinv, double *w, int *inform);
414eb8e494SKris Buschelman 
424eb8e494SKris Buschelman extern void PETSC_STDCALL LU6SOL (int *mode, int *m, int *n, double *rhs, double *x,
434eb8e494SKris Buschelman                         int *size, int *luparm, double *parmlu, double *data,
444eb8e494SKris Buschelman                         int *indc, int *indr, int *rowperm, int *colperm,
454eb8e494SKris Buschelman                         int *collen, int *rowlen, int *colstart, int *rowstart,
464eb8e494SKris Buschelman                         int *inform);
472f71e704SKris Buschelman EXTERN_C_END
484eb8e494SKris Buschelman 
49dfbe8321SBarry Smith EXTERN PetscErrorCode MatDuplicate_LUSOL(Mat,MatDuplicateOption,Mat*);
50f0c56d0fSKris Buschelman 
51f0c56d0fSKris Buschelman typedef struct  {
524eb8e494SKris Buschelman   double *data;
534eb8e494SKris Buschelman   int *indc;
544eb8e494SKris Buschelman   int *indr;
554eb8e494SKris Buschelman 
564eb8e494SKris Buschelman   int *ip;
574eb8e494SKris Buschelman   int *iq;
584eb8e494SKris Buschelman   int *lenc;
594eb8e494SKris Buschelman   int *lenr;
604eb8e494SKris Buschelman   int *locc;
614eb8e494SKris Buschelman   int *locr;
624eb8e494SKris Buschelman   int *iploc;
634eb8e494SKris Buschelman   int *iqloc;
644eb8e494SKris Buschelman   int *ipinv;
654eb8e494SKris Buschelman   int *iqinv;
664eb8e494SKris Buschelman   double *mnsw;
674eb8e494SKris Buschelman   double *mnsv;
684eb8e494SKris Buschelman 
694eb8e494SKris Buschelman   double elbowroom;
704eb8e494SKris Buschelman   double luroom;		/* Extra space allocated when factor fails   */
714eb8e494SKris Buschelman   double parmlu[30];		/* Input/output to LUSOL                     */
724eb8e494SKris Buschelman 
734eb8e494SKris Buschelman   int n;			/* Number of rows/columns in matrix          */
744eb8e494SKris Buschelman   int nz;			/* Number of nonzeros                        */
754eb8e494SKris Buschelman   int nnz;			/* Number of nonzeros allocated for factors  */
764eb8e494SKris Buschelman   int luparm[30];		/* Input/output to LUSOL                     */
774eb8e494SKris Buschelman 
786849ba73SBarry Smith   PetscErrorCode (*MatDuplicate)(Mat,MatDuplicateOption,Mat*);
796849ba73SBarry Smith   PetscErrorCode (*MatLUFactorSymbolic)(Mat,IS,IS,MatFactorInfo*,Mat*);
806849ba73SBarry Smith   PetscErrorCode (*MatDestroy)(Mat);
814eb8e494SKris Buschelman   PetscTruth CleanUpLUSOL;
824eb8e494SKris Buschelman 
83f0c56d0fSKris Buschelman } Mat_LUSOL;
844eb8e494SKris Buschelman 
854eb8e494SKris Buschelman /*  LUSOL input/Output Parameters (Description uses C-style indexes
864eb8e494SKris Buschelman  *
874eb8e494SKris Buschelman  *  Input parameters                                        Typical value
884eb8e494SKris Buschelman  *
894eb8e494SKris Buschelman  *  luparm(0) = nout     File number for printed messages.         6
904eb8e494SKris Buschelman  *  luparm(1) = lprint   Print level.                              0
914eb8e494SKris Buschelman  *                    < 0 suppresses output.
924eb8e494SKris Buschelman  *                    = 0 gives error messages.
934eb8e494SKris Buschelman  *                    = 1 gives debug output from some of the
944eb8e494SKris Buschelman  *                        other routines in LUSOL.
954eb8e494SKris Buschelman  *                   >= 2 gives the pivot row and column and the
964eb8e494SKris Buschelman  *                        no. of rows and columns involved at
974eb8e494SKris Buschelman  *                        each elimination step in lu1fac.
984eb8e494SKris Buschelman  *  luparm(2) = maxcol   lu1fac: maximum number of columns         5
994eb8e494SKris Buschelman  *                        searched allowed in a Markowitz-type
1004eb8e494SKris Buschelman  *                        search for the next pivot element.
1014eb8e494SKris Buschelman  *                        For some of the factorization, the
1024eb8e494SKris Buschelman  *                        number of rows searched is
1034eb8e494SKris Buschelman  *                        maxrow = maxcol - 1.
1044eb8e494SKris Buschelman  *
1054eb8e494SKris Buschelman  *
1064eb8e494SKris Buschelman  *  Output parameters
1074eb8e494SKris Buschelman  *
1084eb8e494SKris Buschelman  *  luparm(9) = inform   Return code from last call to any LU routine.
1094eb8e494SKris Buschelman  *  luparm(10) = nsing    No. of singularities marked in the
1104eb8e494SKris Buschelman  *                        output array w(*).
1114eb8e494SKris Buschelman  *  luparm(11) = jsing    Column index of last singularity.
1124eb8e494SKris Buschelman  *  luparm(12) = minlen   Minimum recommended value for  lena.
1134eb8e494SKris Buschelman  *  luparm(13) = maxlen   ?
1144eb8e494SKris Buschelman  *  luparm(14) = nupdat   No. of updates performed by the lu8 routines.
1154eb8e494SKris Buschelman  *  luparm(15) = nrank    No. of nonempty rows of U.
1164eb8e494SKris Buschelman  *  luparm(16) = ndens1   No. of columns remaining when the density of
1174eb8e494SKris Buschelman  *                        the matrix being factorized reached dens1.
1184eb8e494SKris Buschelman  *  luparm(17) = ndens2   No. of columns remaining when the density of
1194eb8e494SKris Buschelman  *                        the matrix being factorized reached dens2.
1204eb8e494SKris Buschelman  *  luparm(18) = jumin    The column index associated with dumin.
1214eb8e494SKris Buschelman  *  luparm(19) = numl0    No. of columns in initial  L.
1224eb8e494SKris Buschelman  *  luparm(20) = lenl0    Size of initial  L  (no. of nonzeros).
1234eb8e494SKris Buschelman  *  luparm(21) = lenu0    Size of initial  U.
1244eb8e494SKris Buschelman  *  luparm(22) = lenl     Size of current  L.
1254eb8e494SKris Buschelman  *  luparm(23) = lenu     Size of current  U.
1264eb8e494SKris Buschelman  *  luparm(24) = lrow     Length of row file.
1274eb8e494SKris Buschelman  *  luparm(25) = ncp      No. of compressions of LU data structures.
1284eb8e494SKris Buschelman  *  luparm(26) = mersum   lu1fac: sum of Markowitz merit counts.
1294eb8e494SKris Buschelman  *  luparm(27) = nutri    lu1fac: triangular rows in U.
1304eb8e494SKris Buschelman  *  luparm(28) = nltri    lu1fac: triangular rows in L.
1314eb8e494SKris Buschelman  *  luparm(29) =
1324eb8e494SKris Buschelman  *
1334eb8e494SKris Buschelman  *
1344eb8e494SKris Buschelman  *  Input parameters                                        Typical value
1354eb8e494SKris Buschelman  *
1364eb8e494SKris Buschelman  *  parmlu(0) = elmax1   Max multiplier allowed in  L           10.0
1374eb8e494SKris Buschelman  *                        during factor.
1384eb8e494SKris Buschelman  *  parmlu(1) = elmax2   Max multiplier allowed in  L           10.0
1394eb8e494SKris Buschelman  *                        during updates.
1404eb8e494SKris Buschelman  *  parmlu(2) = small    Absolute tolerance for             eps**0.8
1414eb8e494SKris Buschelman  *                        treating reals as zero.     IBM double: 3.0d-13
1424eb8e494SKris Buschelman  *  parmlu(3) = utol1    Absolute tol for flagging          eps**0.66667
1434eb8e494SKris Buschelman  *                        small diagonals of U.       IBM double: 3.7d-11
1444eb8e494SKris Buschelman  *  parmlu(4) = utol2    Relative tol for flagging          eps**0.66667
1454eb8e494SKris Buschelman  *                        small diagonals of U.       IBM double: 3.7d-11
1464eb8e494SKris Buschelman  *  parmlu(5) = uspace   Factor limiting waste space in  U.      3.0
1474eb8e494SKris Buschelman  *                        In lu1fac, the row or column lists
1484eb8e494SKris Buschelman  *                        are compressed if their length
1494eb8e494SKris Buschelman  *                        exceeds uspace times the length of
1504eb8e494SKris Buschelman  *                        either file after the last compression.
1514eb8e494SKris Buschelman  *  parmlu(6) = dens1    The density at which the Markowitz      0.3
1524eb8e494SKris Buschelman  *                        strategy should search maxcol columns
1534eb8e494SKris Buschelman  *                        and no rows.
1544eb8e494SKris Buschelman  *  parmlu(7) = dens2    the density at which the Markowitz      0.6
1554eb8e494SKris Buschelman  *                        strategy should search only 1 column
1564eb8e494SKris Buschelman  *                        or (preferably) use a dense LU for
1574eb8e494SKris Buschelman  *                        all the remaining rows and columns.
1584eb8e494SKris Buschelman  *
1594eb8e494SKris Buschelman  *
1604eb8e494SKris Buschelman  *  Output parameters
1614eb8e494SKris Buschelman  *
1624eb8e494SKris Buschelman  *  parmlu(9) = amax     Maximum element in  A.
1634eb8e494SKris Buschelman  *  parmlu(10) = elmax    Maximum multiplier in current  L.
1644eb8e494SKris Buschelman  *  parmlu(11) = umax     Maximum element in current  U.
1654eb8e494SKris Buschelman  *  parmlu(12) = dumax    Maximum diagonal in  U.
1664eb8e494SKris Buschelman  *  parmlu(13) = dumin    Minimum diagonal in  U.
1674eb8e494SKris Buschelman  *  parmlu(14) =
1684eb8e494SKris Buschelman  *  parmlu(15) =
1694eb8e494SKris Buschelman  *  parmlu(16) =
1704eb8e494SKris Buschelman  *  parmlu(17) =
1714eb8e494SKris Buschelman  *  parmlu(18) =
1724eb8e494SKris Buschelman  *  parmlu(19) = resid    lu6sol: residual after solve with U or U'.
1734eb8e494SKris Buschelman  *  ...
1744eb8e494SKris Buschelman  *  parmlu(29) =
1754eb8e494SKris Buschelman  */
1764eb8e494SKris Buschelman 
1774eb8e494SKris Buschelman #define Factorization_Tolerance       1e-1
1784eb8e494SKris Buschelman #define Factorization_Pivot_Tolerance pow(2.2204460492503131E-16, 2.0 / 3.0)
1794eb8e494SKris Buschelman #define Factorization_Small_Tolerance 1e-15 /* pow(DBL_EPSILON, 0.8) */
1804eb8e494SKris Buschelman 
1812f71e704SKris Buschelman EXTERN_C_BEGIN
1822f71e704SKris Buschelman #undef __FUNCT__
1832f71e704SKris Buschelman #define __FUNCT__ "MatConvert_LUSOL_SeqAIJ"
184*521d7252SBarry Smith PetscErrorCode MatConvert_LUSOL_SeqAIJ(Mat A,const MatType type,Mat *newmat)
185*521d7252SBarry Smith {
1862f71e704SKris Buschelman   /* This routine is only called to convert an unfactored PETSc-LUSOL matrix */
1872f71e704SKris Buschelman   /* to its base PETSc type, so we will ignore 'MatType type'. */
188dfbe8321SBarry Smith   PetscErrorCode ierr;
1892f71e704SKris Buschelman   Mat            B=*newmat;
190f0c56d0fSKris Buschelman   Mat_LUSOL      *lusol=(Mat_LUSOL *)A->spptr;
1912f71e704SKris Buschelman 
1922f71e704SKris Buschelman   PetscFunctionBegin;
1932f71e704SKris Buschelman   if (B != A) {
1942f71e704SKris Buschelman     ierr = MatDuplicate(A,MAT_COPY_VALUES,&B);CHKERRQ(ierr);
195f0c56d0fSKris Buschelman   }
196f0c56d0fSKris Buschelman   B->ops->duplicate        = lusol->MatDuplicate;
1972f71e704SKris Buschelman   B->ops->lufactorsymbolic = lusol->MatLUFactorSymbolic;
1982f71e704SKris Buschelman   B->ops->destroy          = lusol->MatDestroy;
1992f71e704SKris Buschelman 
2002f71e704SKris Buschelman   ierr = PetscFree(lusol);CHKERRQ(ierr);
201901853e0SKris Buschelman 
202901853e0SKris Buschelman   ierr = PetscObjectComposeFunction((PetscObject)B,"MatConvert_seqaij_lusol_C","",PETSC_NULL);CHKERRQ(ierr);
203901853e0SKris Buschelman   ierr = PetscObjectComposeFunction((PetscObject)B,"MatConvert_lusol_seqaij_C","",PETSC_NULL);CHKERRQ(ierr);
204901853e0SKris Buschelman 
2052f71e704SKris Buschelman   ierr = PetscObjectChangeTypeName((PetscObject)B,MATSEQAIJ);CHKERRQ(ierr);
2062f71e704SKris Buschelman   *newmat = B;
2072f71e704SKris Buschelman   PetscFunctionReturn(0);
2082f71e704SKris Buschelman }
2092f71e704SKris Buschelman EXTERN_C_END
2104eb8e494SKris Buschelman 
2114eb8e494SKris Buschelman #undef __FUNCT__
212f0c56d0fSKris Buschelman #define __FUNCT__ "MatDestroy_LUSOL"
213dfbe8321SBarry Smith PetscErrorCode MatDestroy_LUSOL(Mat A)
214dfbe8321SBarry Smith {
215dfbe8321SBarry Smith   PetscErrorCode ierr;
216f0c56d0fSKris Buschelman   Mat_LUSOL *lusol=(Mat_LUSOL *)A->spptr;
2174eb8e494SKris Buschelman 
2184eb8e494SKris Buschelman   PetscFunctionBegin;
2194eb8e494SKris Buschelman   if (lusol->CleanUpLUSOL) {
2204eb8e494SKris Buschelman     ierr = PetscFree(lusol->ip);CHKERRQ(ierr);
2214eb8e494SKris Buschelman     ierr = PetscFree(lusol->iq);CHKERRQ(ierr);
2224eb8e494SKris Buschelman     ierr = PetscFree(lusol->lenc);CHKERRQ(ierr);
2234eb8e494SKris Buschelman     ierr = PetscFree(lusol->lenr);CHKERRQ(ierr);
2244eb8e494SKris Buschelman     ierr = PetscFree(lusol->locc);CHKERRQ(ierr);
2254eb8e494SKris Buschelman     ierr = PetscFree(lusol->locr);CHKERRQ(ierr);
2264eb8e494SKris Buschelman     ierr = PetscFree(lusol->iploc);CHKERRQ(ierr);
2274eb8e494SKris Buschelman     ierr = PetscFree(lusol->iqloc);CHKERRQ(ierr);
2284eb8e494SKris Buschelman     ierr = PetscFree(lusol->ipinv);CHKERRQ(ierr);
2294eb8e494SKris Buschelman     ierr = PetscFree(lusol->iqinv);CHKERRQ(ierr);
2304eb8e494SKris Buschelman     ierr = PetscFree(lusol->mnsw);CHKERRQ(ierr);
2314eb8e494SKris Buschelman     ierr = PetscFree(lusol->mnsv);CHKERRQ(ierr);
2324eb8e494SKris Buschelman 
2334eb8e494SKris Buschelman     ierr = PetscFree(lusol->indc);CHKERRQ(ierr);
2344eb8e494SKris Buschelman   }
2354eb8e494SKris Buschelman 
2362f71e704SKris Buschelman   ierr = MatConvert_LUSOL_SeqAIJ(A,MATSEQAIJ,&A);
2372f71e704SKris Buschelman   ierr = (*A->ops->destroy)(A);CHKERRQ(ierr);
2384eb8e494SKris Buschelman   PetscFunctionReturn(0);
2394eb8e494SKris Buschelman }
2404eb8e494SKris Buschelman 
2414eb8e494SKris Buschelman #undef __FUNCT__
242f0c56d0fSKris Buschelman #define __FUNCT__  "MatSolve_LUSOL"
2436849ba73SBarry Smith PetscErrorCode MatSolve_LUSOL(Mat A,Vec b,Vec x)
2446849ba73SBarry Smith {
245f0c56d0fSKris Buschelman   Mat_LUSOL *lusol=(Mat_LUSOL*)A->spptr;
2464eb8e494SKris Buschelman   double    *bb,*xx;
2474eb8e494SKris Buschelman   int       mode=5;
2486849ba73SBarry Smith   PetscErrorCode ierr;
2496849ba73SBarry Smith   int       i,m,n,nnz,status;
2504eb8e494SKris Buschelman 
2514eb8e494SKris Buschelman   PetscFunctionBegin;
2524eb8e494SKris Buschelman   ierr = VecGetArray(x, &xx);CHKERRQ(ierr);
2534eb8e494SKris Buschelman   ierr = VecGetArray(b, &bb);CHKERRQ(ierr);
2544eb8e494SKris Buschelman 
2554eb8e494SKris Buschelman   m = n = lusol->n;
2564eb8e494SKris Buschelman   nnz = lusol->nnz;
2574eb8e494SKris Buschelman 
2584eb8e494SKris Buschelman   for (i = 0; i < m; i++)
2594eb8e494SKris Buschelman     {
2604eb8e494SKris Buschelman       lusol->mnsv[i] = bb[i];
2614eb8e494SKris Buschelman     }
2624eb8e494SKris Buschelman 
2634eb8e494SKris Buschelman   LU6SOL(&mode, &m, &n, lusol->mnsv, xx, &nnz,
2644eb8e494SKris Buschelman          lusol->luparm, lusol->parmlu, lusol->data,
2654eb8e494SKris Buschelman          lusol->indc, lusol->indr, lusol->ip, lusol->iq,
2664eb8e494SKris Buschelman          lusol->lenc, lusol->lenr, lusol->locc, lusol->locr, &status);
2674eb8e494SKris Buschelman 
2684eb8e494SKris Buschelman   if (status != 0)
2694eb8e494SKris Buschelman     {
2704eb8e494SKris Buschelman       SETERRQ(PETSC_ERR_ARG_SIZ,"solve failed");
2714eb8e494SKris Buschelman     }
2724eb8e494SKris Buschelman 
2734eb8e494SKris Buschelman   ierr = VecRestoreArray(x, &xx);CHKERRQ(ierr);
2744eb8e494SKris Buschelman   ierr = VecRestoreArray(b, &bb);CHKERRQ(ierr);
2754eb8e494SKris Buschelman   PetscFunctionReturn(0);
2764eb8e494SKris Buschelman }
2774eb8e494SKris Buschelman 
2784eb8e494SKris Buschelman #undef __FUNCT__
279f0c56d0fSKris Buschelman #define __FUNCT__ "MatLUFactorNumeric_LUSOL"
2806849ba73SBarry Smith PetscErrorCode MatLUFactorNumeric_LUSOL(Mat A, Mat *F)
2816849ba73SBarry Smith {
2824eb8e494SKris Buschelman   Mat_SeqAIJ *a;
283f0c56d0fSKris Buschelman   Mat_LUSOL  *lusol = (Mat_LUSOL*)(*F)->spptr;
2846849ba73SBarry Smith   PetscErrorCode ierr;
2854eb8e494SKris Buschelman   int        m, n, nz, nnz, status;
2866849ba73SBarry Smith   int        i, rs, re;
2874eb8e494SKris Buschelman   int        factorizations;
2884eb8e494SKris Buschelman 
2894eb8e494SKris Buschelman   PetscFunctionBegin;
2904eb8e494SKris Buschelman   ierr = MatGetSize(A,&m,&n);CHKERRQ(ierr);CHKERRQ(ierr);
2914eb8e494SKris Buschelman   a = (Mat_SeqAIJ *)A->data;
2924eb8e494SKris Buschelman 
2934eb8e494SKris Buschelman   if (m != lusol->n) {
2944eb8e494SKris Buschelman     SETERRQ(PETSC_ERR_ARG_SIZ,"factorization struct inconsistent");
2954eb8e494SKris Buschelman   }
2964eb8e494SKris Buschelman 
2974eb8e494SKris Buschelman   factorizations = 0;
2984eb8e494SKris Buschelman   do
2994eb8e494SKris Buschelman     {
3004eb8e494SKris Buschelman       /*******************************************************************/
3014eb8e494SKris Buschelman       /* Check the workspace allocation.                                 */
3024eb8e494SKris Buschelman       /*******************************************************************/
3034eb8e494SKris Buschelman 
3044eb8e494SKris Buschelman       nz = a->nz;
3054eb8e494SKris Buschelman       nnz = PetscMax(lusol->nnz, (int)(lusol->elbowroom*nz));
3064eb8e494SKris Buschelman       nnz = PetscMax(nnz, 5*n);
3074eb8e494SKris Buschelman 
3084eb8e494SKris Buschelman       if (nnz < lusol->luparm[12]){
3094eb8e494SKris Buschelman         nnz = (int)(lusol->luroom * lusol->luparm[12]);
3104eb8e494SKris Buschelman       } else if ((factorizations > 0) && (lusol->luroom < 6)){
3114eb8e494SKris Buschelman         lusol->luroom += 0.1;
3124eb8e494SKris Buschelman       }
3134eb8e494SKris Buschelman 
3144eb8e494SKris Buschelman       nnz = PetscMax(nnz, (int)(lusol->luroom*(lusol->luparm[22] + lusol->luparm[23])));
3154eb8e494SKris Buschelman 
3164eb8e494SKris Buschelman       if (nnz > lusol->nnz){
3174eb8e494SKris Buschelman         ierr = PetscFree(lusol->indc);CHKERRQ(ierr);
3184eb8e494SKris Buschelman         ierr        = PetscMalloc((sizeof(double)+2*sizeof(int))*nnz,&lusol->indc);CHKERRQ(ierr);
3194eb8e494SKris Buschelman         lusol->indr = lusol->indc + nnz;
3204eb8e494SKris Buschelman         lusol->data = (double *)(lusol->indr + nnz);
3214eb8e494SKris Buschelman         lusol->nnz  = nnz;
3224eb8e494SKris Buschelman       }
3234eb8e494SKris Buschelman 
3244eb8e494SKris Buschelman       /*******************************************************************/
3254eb8e494SKris Buschelman       /* Fill in the data for the problem.      (1-based Fortran style)  */
3264eb8e494SKris Buschelman       /*******************************************************************/
3274eb8e494SKris Buschelman 
3284eb8e494SKris Buschelman       nz = 0;
3294eb8e494SKris Buschelman       for (i = 0; i < n; i++)
3304eb8e494SKris Buschelman         {
3314eb8e494SKris Buschelman           rs = a->i[i];
3324eb8e494SKris Buschelman           re = a->i[i+1];
3334eb8e494SKris Buschelman 
3344eb8e494SKris Buschelman           while (rs < re)
3354eb8e494SKris Buschelman             {
3364eb8e494SKris Buschelman               if (a->a[rs] != 0.0)
3374eb8e494SKris Buschelman                 {
3384eb8e494SKris Buschelman                   lusol->indc[nz] = i + 1;
3394eb8e494SKris Buschelman                   lusol->indr[nz] = a->j[rs] + 1;
3404eb8e494SKris Buschelman                   lusol->data[nz] = a->a[rs];
3414eb8e494SKris Buschelman                   nz++;
3424eb8e494SKris Buschelman                 }
3434eb8e494SKris Buschelman               rs++;
3444eb8e494SKris Buschelman             }
3454eb8e494SKris Buschelman         }
3464eb8e494SKris Buschelman 
3474eb8e494SKris Buschelman       /*******************************************************************/
3484eb8e494SKris Buschelman       /* Do the factorization.                                           */
3494eb8e494SKris Buschelman       /*******************************************************************/
3504eb8e494SKris Buschelman 
3514eb8e494SKris Buschelman       LU1FAC(&m, &n, &nz, &nnz,
3524eb8e494SKris Buschelman              lusol->luparm, lusol->parmlu, lusol->data,
3534eb8e494SKris Buschelman              lusol->indc, lusol->indr, lusol->ip, lusol->iq,
3544eb8e494SKris Buschelman              lusol->lenc, lusol->lenr, lusol->locc, lusol->locr,
3554eb8e494SKris Buschelman              lusol->iploc, lusol->iqloc, lusol->ipinv,
3564eb8e494SKris Buschelman              lusol->iqinv, lusol->mnsw, &status);
3574eb8e494SKris Buschelman 
3584eb8e494SKris Buschelman       switch(status)
3594eb8e494SKris Buschelman         {
3604eb8e494SKris Buschelman         case 0:		/* factored */
3614eb8e494SKris Buschelman           break;
3624eb8e494SKris Buschelman 
3634eb8e494SKris Buschelman         case 7:		/* insufficient memory */
3644eb8e494SKris Buschelman           break;
3654eb8e494SKris Buschelman 
3664eb8e494SKris Buschelman         case 1:
3674eb8e494SKris Buschelman         case -1:		/* singular */
368e005ede5SBarry Smith           SETERRQ(PETSC_ERR_LIB,"Singular matrix");
3694eb8e494SKris Buschelman 
3704eb8e494SKris Buschelman         case 3:
3714eb8e494SKris Buschelman         case 4:		/* error conditions */
372e005ede5SBarry Smith           SETERRQ(PETSC_ERR_LIB,"matrix error");
3734eb8e494SKris Buschelman 
3744eb8e494SKris Buschelman         default:		/* unknown condition */
375e005ede5SBarry Smith           SETERRQ(PETSC_ERR_LIB,"matrix unknown return code");
3764eb8e494SKris Buschelman         }
3774eb8e494SKris Buschelman 
3784eb8e494SKris Buschelman       factorizations++;
3794eb8e494SKris Buschelman     } while (status == 7);
380a8883a68SKris Buschelman   (*F)->assembled = PETSC_TRUE;
3814eb8e494SKris Buschelman   PetscFunctionReturn(0);
3824eb8e494SKris Buschelman }
3834eb8e494SKris Buschelman 
3844eb8e494SKris Buschelman #undef __FUNCT__
385f0c56d0fSKris Buschelman #define __FUNCT__ "MatLUFactorSymbolic_LUSOL"
386dfbe8321SBarry Smith PetscErrorCode MatLUFactorSymbolic_LUSOL(Mat A, IS r, IS c,MatFactorInfo *info, Mat *F) {
3874eb8e494SKris Buschelman   /************************************************************************/
3884eb8e494SKris Buschelman   /* Input                                                                */
3894eb8e494SKris Buschelman   /*     A  - matrix to factor                                            */
3904eb8e494SKris Buschelman   /*     r  - row permutation (ignored)                                   */
3914eb8e494SKris Buschelman   /*     c  - column permutation (ignored)                                */
3924eb8e494SKris Buschelman   /*                                                                      */
3934eb8e494SKris Buschelman   /* Output                                                               */
3944eb8e494SKris Buschelman   /*     F  - matrix storing the factorization;                           */
3954eb8e494SKris Buschelman   /************************************************************************/
3964eb8e494SKris Buschelman   Mat       B;
397f0c56d0fSKris Buschelman   Mat_LUSOL *lusol;
398dfbe8321SBarry Smith   PetscErrorCode ierr;
399dfbe8321SBarry Smith   int        i, m, n, nz, nnz;
4004eb8e494SKris Buschelman 
4014eb8e494SKris Buschelman   PetscFunctionBegin;
4024eb8e494SKris Buschelman 
4034eb8e494SKris Buschelman   /************************************************************************/
4044eb8e494SKris Buschelman   /* Check the arguments.                                                 */
4054eb8e494SKris Buschelman   /************************************************************************/
4064eb8e494SKris Buschelman 
4074eb8e494SKris Buschelman   ierr = MatGetSize(A, &m, &n);CHKERRQ(ierr);
4084eb8e494SKris Buschelman   nz = ((Mat_SeqAIJ *)A->data)->nz;
4094eb8e494SKris Buschelman 
4104eb8e494SKris Buschelman   /************************************************************************/
4114eb8e494SKris Buschelman   /* Create the factorization.                                            */
4124eb8e494SKris Buschelman   /************************************************************************/
4134eb8e494SKris Buschelman 
4144eb8e494SKris Buschelman   ierr = MatCreate(A->comm,PETSC_DECIDE,PETSC_DECIDE,m,n,&B);CHKERRQ(ierr);
415be5d1d56SKris Buschelman   ierr = MatSetType(B,A->type_name);CHKERRQ(ierr);
4164eb8e494SKris Buschelman   ierr = MatSeqAIJSetPreallocation(B,0,PETSC_NULL);CHKERRQ(ierr);
4174eb8e494SKris Buschelman 
418f0c56d0fSKris Buschelman   B->ops->lufactornumeric = MatLUFactorNumeric_LUSOL;
419f0c56d0fSKris Buschelman   B->ops->solve           = MatSolve_LUSOL;
4204eb8e494SKris Buschelman   B->factor               = FACTOR_LU;
421f0c56d0fSKris Buschelman   lusol                   = (Mat_LUSOL*)(B->spptr);
4224eb8e494SKris Buschelman 
4234eb8e494SKris Buschelman   /************************************************************************/
4244eb8e494SKris Buschelman   /* Initialize parameters                                                */
4254eb8e494SKris Buschelman   /************************************************************************/
4264eb8e494SKris Buschelman 
4274eb8e494SKris Buschelman   for (i = 0; i < 30; i++)
4284eb8e494SKris Buschelman     {
4294eb8e494SKris Buschelman       lusol->luparm[i] = 0;
4304eb8e494SKris Buschelman       lusol->parmlu[i] = 0;
4314eb8e494SKris Buschelman     }
4324eb8e494SKris Buschelman 
4334eb8e494SKris Buschelman   lusol->luparm[1] = -1;
4344eb8e494SKris Buschelman   lusol->luparm[2] = 5;
4354eb8e494SKris Buschelman   lusol->luparm[7] = 1;
4364eb8e494SKris Buschelman 
4374eb8e494SKris Buschelman   lusol->parmlu[0] = 1 / Factorization_Tolerance;
4384eb8e494SKris Buschelman   lusol->parmlu[1] = 1 / Factorization_Tolerance;
4394eb8e494SKris Buschelman   lusol->parmlu[2] = Factorization_Small_Tolerance;
4404eb8e494SKris Buschelman   lusol->parmlu[3] = Factorization_Pivot_Tolerance;
4414eb8e494SKris Buschelman   lusol->parmlu[4] = Factorization_Pivot_Tolerance;
4424eb8e494SKris Buschelman   lusol->parmlu[5] = 3.0;
4434eb8e494SKris Buschelman   lusol->parmlu[6] = 0.3;
4444eb8e494SKris Buschelman   lusol->parmlu[7] = 0.6;
4454eb8e494SKris Buschelman 
4464eb8e494SKris Buschelman   /************************************************************************/
4474eb8e494SKris Buschelman   /* Allocate the workspace needed by LUSOL.                              */
4484eb8e494SKris Buschelman   /************************************************************************/
4494eb8e494SKris Buschelman 
4504eb8e494SKris Buschelman   lusol->elbowroom = PetscMax(lusol->elbowroom, info->fill);
4514eb8e494SKris Buschelman   nnz = PetscMax((int)(lusol->elbowroom*nz), 5*n);
4524eb8e494SKris Buschelman 
4534eb8e494SKris Buschelman   lusol->n = n;
4544eb8e494SKris Buschelman   lusol->nz = nz;
4554eb8e494SKris Buschelman   lusol->nnz = nnz;
4564eb8e494SKris Buschelman   lusol->luroom = 1.75;
4574eb8e494SKris Buschelman 
4584eb8e494SKris Buschelman   ierr = PetscMalloc(sizeof(int)*n,&lusol->ip);
4594eb8e494SKris Buschelman   ierr = PetscMalloc(sizeof(int)*n,&lusol->iq);
4604eb8e494SKris Buschelman   ierr = PetscMalloc(sizeof(int)*n,&lusol->lenc);
4614eb8e494SKris Buschelman   ierr = PetscMalloc(sizeof(int)*n,&lusol->lenr);
4624eb8e494SKris Buschelman   ierr = PetscMalloc(sizeof(int)*n,&lusol->locc);
4634eb8e494SKris Buschelman   ierr = PetscMalloc(sizeof(int)*n,&lusol->locr);
4644eb8e494SKris Buschelman   ierr = PetscMalloc(sizeof(int)*n,&lusol->iploc);
4654eb8e494SKris Buschelman   ierr = PetscMalloc(sizeof(int)*n,&lusol->iqloc);
4664eb8e494SKris Buschelman   ierr = PetscMalloc(sizeof(int)*n,&lusol->ipinv);
4674eb8e494SKris Buschelman   ierr = PetscMalloc(sizeof(int)*n,&lusol->iqinv);
4684eb8e494SKris Buschelman   ierr = PetscMalloc(sizeof(double)*n,&lusol->mnsw);
4694eb8e494SKris Buschelman   ierr = PetscMalloc(sizeof(double)*n,&lusol->mnsv);
4704eb8e494SKris Buschelman 
4714eb8e494SKris Buschelman   ierr        = PetscMalloc((sizeof(double)+2*sizeof(int))*nnz,&lusol->indc);
4724eb8e494SKris Buschelman   lusol->indr = lusol->indc + nnz;
4734eb8e494SKris Buschelman   lusol->data = (double *)(lusol->indr + nnz);
4744eb8e494SKris Buschelman   lusol->CleanUpLUSOL = PETSC_TRUE;
4754eb8e494SKris Buschelman   *F = B;
4764eb8e494SKris Buschelman   PetscFunctionReturn(0);
4774eb8e494SKris Buschelman }
4784eb8e494SKris Buschelman 
4792f71e704SKris Buschelman EXTERN_C_BEGIN
4804eb8e494SKris Buschelman #undef __FUNCT__
4812f71e704SKris Buschelman #define __FUNCT__ "MatConvert_SeqAIJ_LUSOL"
482*521d7252SBarry Smith PetscErrorCode MatConvert_SeqAIJ_LUSOL(Mat A,const MatType type,Mat *newmat)
483*521d7252SBarry Smith {
484dfbe8321SBarry Smith   PetscErrorCode ierr;
485*521d7252SBarry Smith   PetscInt       m, n;
486f0c56d0fSKris Buschelman   Mat_LUSOL      *lusol;
4872f71e704SKris Buschelman   Mat            B=*newmat;
4884eb8e494SKris Buschelman 
4894eb8e494SKris Buschelman   PetscFunctionBegin;
4904eb8e494SKris Buschelman   ierr = MatGetSize(A, &m, &n);CHKERRQ(ierr);
4914eb8e494SKris Buschelman   if (m != n) {
4924eb8e494SKris Buschelman     SETERRQ(PETSC_ERR_ARG_SIZ,"matrix must be square");
4934eb8e494SKris Buschelman   }
4942f71e704SKris Buschelman   if (B != A) {
4952f71e704SKris Buschelman     ierr = MatDuplicate(A,MAT_COPY_VALUES,&B);CHKERRQ(ierr);
4962f71e704SKris Buschelman   }
4974eb8e494SKris Buschelman 
498f0c56d0fSKris Buschelman   ierr                       = PetscNew(Mat_LUSOL,&lusol);CHKERRQ(ierr);
499f0c56d0fSKris Buschelman   lusol->MatDuplicate        = A->ops->duplicate;
5002f71e704SKris Buschelman   lusol->MatLUFactorSymbolic = A->ops->lufactorsymbolic;
5012f71e704SKris Buschelman   lusol->MatDestroy          = A->ops->destroy;
5022f71e704SKris Buschelman   lusol->CleanUpLUSOL        = PETSC_FALSE;
5032f71e704SKris Buschelman 
5042f71e704SKris Buschelman   B->spptr                   = (void*)lusol;
505f0c56d0fSKris Buschelman   B->ops->duplicate          = MatDuplicate_LUSOL;
506f0c56d0fSKris Buschelman   B->ops->lufactorsymbolic   = MatLUFactorSymbolic_LUSOL;
507f0c56d0fSKris Buschelman   B->ops->destroy            = MatDestroy_LUSOL;
5082f71e704SKris Buschelman 
509f0c56d0fSKris Buschelman   PetscLogInfo(0,"Using LUSOL for LU factorization and solves.");
5102f71e704SKris Buschelman   ierr = PetscObjectComposeFunctionDynamic((PetscObject)B,"MatConvert_seqaij_lusol_C",
5112f71e704SKris Buschelman                                            "MatConvert_SeqAIJ_LUSOL",MatConvert_SeqAIJ_LUSOL);CHKERRQ(ierr);
5122f71e704SKris Buschelman   ierr = PetscObjectComposeFunctionDynamic((PetscObject)B,"MatConvert_lusol_seqaij_C",
5132f71e704SKris Buschelman                                            "MatConvert_LUSOL_SeqAIJ",MatConvert_LUSOL_SeqAIJ);CHKERRQ(ierr);
5142f71e704SKris Buschelman   ierr = PetscObjectChangeTypeName((PetscObject)B,type);CHKERRQ(ierr);
5152f71e704SKris Buschelman   *newmat = B;
5164eb8e494SKris Buschelman   PetscFunctionReturn(0);
5174eb8e494SKris Buschelman }
5182f71e704SKris Buschelman EXTERN_C_END
5192f71e704SKris Buschelman 
520f0c56d0fSKris Buschelman #undef __FUNCT__
521f0c56d0fSKris Buschelman #define __FUNCT__ "MatDuplicate_LUSOL"
522dfbe8321SBarry Smith PetscErrorCode MatDuplicate_LUSOL(Mat A, MatDuplicateOption op, Mat *M) {
523dfbe8321SBarry Smith   PetscErrorCode ierr;
5248f340917SKris Buschelman   Mat_LUSOL *lu=(Mat_LUSOL *)A->spptr;
525f0c56d0fSKris Buschelman   PetscFunctionBegin;
5268f340917SKris Buschelman   ierr = (*lu->MatDuplicate)(A,op,M);CHKERRQ(ierr);
5273f953163SKris Buschelman   ierr = PetscMemcpy((*M)->spptr,lu,sizeof(Mat_LUSOL));CHKERRQ(ierr);
528f0c56d0fSKris Buschelman   PetscFunctionReturn(0);
529f0c56d0fSKris Buschelman }
530f0c56d0fSKris Buschelman 
5312f71e704SKris Buschelman /*MC
532fafad747SKris Buschelman   MATLUSOL - MATLUSOL = "lusol" - A matrix type providing direct solvers (LU) for sequential matrices
5332f71e704SKris Buschelman   via the external package LUSOL.
5342f71e704SKris Buschelman 
5352f71e704SKris Buschelman   If LUSOL is installed (see the manual for
5362f71e704SKris Buschelman   instructions on how to declare the existence of external packages),
5372f71e704SKris Buschelman   a matrix type can be constructed which invokes LUSOL solvers.
5382f71e704SKris Buschelman   After calling MatCreate(...,A), simply call MatSetType(A,MATLUSOL).
5392f71e704SKris Buschelman   This matrix type is only supported for double precision real.
5402f71e704SKris Buschelman 
5412f71e704SKris Buschelman   This matrix inherits from MATSEQAIJ.  As a result, MatSeqAIJSetPreallocation is
542f0c56d0fSKris Buschelman   supported for this matrix type.  MatConvert can be called for a fast inplace conversion
543f0c56d0fSKris Buschelman   to and from the MATSEQAIJ matrix type.
5442f71e704SKris Buschelman 
5452f71e704SKris Buschelman   Options Database Keys:
5460bad9183SKris Buschelman . -mat_type lusol - sets the matrix type to "lusol" during a call to MatSetFromOptions()
5472f71e704SKris Buschelman 
5482f71e704SKris Buschelman    Level: beginner
5492f71e704SKris Buschelman 
5502f71e704SKris Buschelman .seealso: PCLU
5512f71e704SKris Buschelman M*/
5524eb8e494SKris Buschelman 
5534eb8e494SKris Buschelman EXTERN_C_BEGIN
5544eb8e494SKris Buschelman #undef __FUNCT__
555f0c56d0fSKris Buschelman #define __FUNCT__ "MatCreate_LUSOL"
556dfbe8321SBarry Smith PetscErrorCode MatCreate_LUSOL(Mat A)
557dfbe8321SBarry Smith {
558dfbe8321SBarry Smith   PetscErrorCode ierr;
5594eb8e494SKris Buschelman 
5604eb8e494SKris Buschelman   PetscFunctionBegin;
5615441df8eSKris Buschelman   /* Change type name before calling MatSetType to force proper construction of SeqAIJ and LUSOL types */
5625441df8eSKris Buschelman   ierr = PetscObjectChangeTypeName((PetscObject)A,MATLUSOL);CHKERRQ(ierr);
5634eb8e494SKris Buschelman   ierr = MatSetType(A,MATSEQAIJ);CHKERRQ(ierr);
5642f71e704SKris Buschelman   ierr = MatConvert_SeqAIJ_LUSOL(A,MATLUSOL,&A);CHKERRQ(ierr);
5654eb8e494SKris Buschelman   PetscFunctionReturn(0);
5664eb8e494SKris Buschelman }
5674eb8e494SKris Buschelman EXTERN_C_END
568