Skip to content

Latest commit

 

History

History
301 lines (218 loc) · 12.6 KB

README.md

File metadata and controls

301 lines (218 loc) · 12.6 KB

EVSL: EigenValues Slicing Library (Version 1.0)


                                      ___  __   __  ___   _    
                                     | __| \ \ / / / __| | |   
                                     | _|   \ V /  \__ \ | |__ 
                                     |___|   \_/   |___/ |____|                  


                          ChebLanTR, ChebLanNR, ChebSI, RatLanTr and RatLanNr 
               Polynomial and Rational Filtered Lanczos and subspace iteration algorithms 
                                 For Symmetric Eigenvalue problems

Welcome to EVSL. EVSL is a C library for computing the eigenvalues of a symmetric matrix that are located in a given interval. This first release includes the routines listed above and does not yet offer full parallel implementations (trivial openMP test programs are available among the test drivers). EVSL also provides tools for spectrum slicing, i.e., the technique of subdividing a given interval into p smaller subintervals and computing the eigenvalues in each subinterval independently. EVSL implements a polynomial filtered Lanczos (thick restart, no restart) a rational filtered Lanczos (thick restart, no restart), and a polynomial filtered subspace iteration for solving standard eigenvalue problems A u = λ u and generalized eigenvalue problems A u = λ B u.

For questions/feedback send e-mail to Yousef Saad [[email protected]]


DESCRIPTION OF CONTENTS


  • INC

    • evsl.h : user-level function prototypes and constant definitions
    • blaslapack.h : C API for BLAS/LAPACK functions used in evsl
    • def.h : miscellaneous macros
    • struct.h : miscellaneous structs used in evsl
    • internal_proto.h : internal function prototypes for SRC/
  • SRC

    • cheblanNr.c : Polynomial Filtered no-restart Lanczos
    • cheblanTr.c : Polynomial Filtered thick restart Lanczos
    • chebpoly.c : Computing and applying polynomial filters
    • chebsi.c : Polynomial Filtered Subspace iteration
    • dumps.c : Miscellaneous functions for I/O and for debugging
    • dos_utils.c : Miscellaneous functions used for DOS based functions.
    • evsl.c : Set EVSL solver options and data
    • lanbounds.c : Lanczos alg. to give bounds of spectrum
    • landos.c : Lanczos based DOS algorithm for the standard problem
    • landosG.c : Lanczos based DOS algorithm for general and standard problems
    • lanTrbounds.c : A more robust alg. to give bounds of spectrum based on TR Lanczos
    • mactime.c : Timer for mac iOS
    • misc_la.c : Miscellaneous linear algebra functions
    • ratfilter.c : Computing and applying rational filters
    • ratlanNr.c : Rational Filtered no-restart Lanczos
    • ratlanTr.c : Rational Filtered thick restart Lanczos
    • spmat.c : Sparse matrix routines
    • spslicer.c : Spectrum slicing
    • spslicer2.c : Spectrum slicing
    • timing.c : Timer
    • vect.c : Vector operations
  • libevsl.a : library

  • TESTS/Fortran : Fortran test drivers

  • TESTS/Gen_Lap : test drivers for generalized eigenvalue problems with Laplacians

    • LapPLanN.c : Polynomial filtering Lanczos
    • LapPLanR.c : Polynomial filtering T-R Lanczos
    • LapRLanN.c : Rational filtering Lanczos
    • LapRLanR.c : Rational filtering T-R Lanczos
    • lapl.c : Build Laplacian matrices and compute the exact eigenvalues of Laplacians
    • io.c : parse command-line input parameters
  • TESTS/Gen_MM_KPM: test drivers for generalized eigenvalue problems with general matrices read from files. Spectrum slicer uses KPM.

    • MMPLanR.c : Polynomial filtering T-R Lanczos
    • MMRLanN.c : Rational filtering non-restart Lanczos
    • MMRLanR.c : Rational filtering T-R Lanczos
    • mmio.c : IO routines for the matrix market format
  • TESTS/Gen_MM_LAN : same as above but spectrum slicing based on the Lanczos method

  • TEST/Lap : test drivers for standard eigenvalue problems with Laplacian matrices

    • LapPLanN.c : Polynomial filtering non-restart Lanczos
    • LapPLanN_MatFree.c : "matrix-free" version: not forming matrix but passing mat-vec function
    • LapPLanR.c : Polynomial filtering T-R Lanczos
    • LapPSI.c : Polynomial filtering subspace iterations
    • LapRLanN.c : Rational filtering non-restart Lanczos
    • LapRLanR.c : Rational filtering T-R Lanczos
  • TESTS/Landos : test drivers for the lanDOS related functions.

    • LanDos.c : Standard eigenvalue problem DOS using Lancco's
    • LanDosG.c : General eigenvalue problem DOS using Lancco's
  • TESTS/MM : general matrices in sparse format read from files

    • MMPLanN.c : Polynomial filtering non-restart Lanczos
    • MMPLanR.c : Polynomial filtering T-R Lanczos
    • MMPLanR_omp.c : Polynomial filtering T-R Lanczos (parallelized with OMP for slices)
    • MMPSI.c : Polynomial filtering subspace iterations
    • MMRLanN.c : Rational filtering non-restart Lanczos
    • MMRLanR.c : Rational filtering T-R Lanczos
  • EXTERNAL : direct solver (SuiteSparse) interface for generalized eigenvalue problems

    • evsl_suitesparse.c : suitesparse UMFPACK and CHOLMOD interface
  • FORTRAN : Fortran interface

    • evsl_f90.c : Fortran interface

INSTALLATION


Library: The user only needs to modify the file makefile.in [see makefile.in.example for samples of files makefile.in that are given for mac-os and for Linux].

cp makefile.in_Linux/MacOS.example makefile.in. 
modify makefile.in [provide C compiler and BLAS/LAPACK path]
make clean; make

Test programs: In the directories under TESTS/, you will find makefiles to build sample drivers that test a few different situations. For building the drivers for rational filtering solvers and all drivers for generalized eigenvalue problems in TESTS/Gen_* directories, you will also need to modify EXTERNAL/makefile.in, where SUITESPARSE path needs to be provided.

SuiteSparse: SuiteSparse is the default direct linear solver of EVSL, for the rational filtering and generalized eigenvalue problems. EVSL uses SuiteSparse to solve linear systems with (A-SIGMA I) or (A-SIGMA B), and CHOLMOD for solving linear systems with B.

  Users can use other solvers by providing the same interface as done for SuiteSparse.
  Follow the examples implemented in EXTERNAL/evsl_suitesparse.c

NOTE: SuiteSparse is NOT distributed with EVSL, and is Copyrighted by Timothy Davis.
Refer to SuiteSparse package for its License. [http://faculty.cse.tamu.edu/davis/suitesparse.html]


LINKING WITH UMFPACK (SuiteSparse 4.5.3)


UMFPACK and CHOLMOD requires AMD, COLAMD, CCOLAMD and CAMD, and optionally METIS 5.1.0. Compile each of these packages to have the library file in the Lib directory. If SuiteSparse is configured with METIS, give the path to METIS (v 5.1.0) as well to make libmetis.a, in metis-5.1.0/ type

  make  config; make

Please refer to SuiteSparse and METIS for installation details.


RATIONAL FILTERING


Rational filtering requires solving linear systems (where the coefficient matrix is the original matrix shifted by a complex shift). A linear solver routine must be provided.

After having computed the rational filter by

  find_ratf(intv, &rat),

users can call

  SetASigmaBSol(&rat, func, allf, data)

to set the solver functions and associated data for all the poles of the rational filter. func is an array of function pointers of length num of poles, i.e., rat->num. So, func[i] is the function to solve the systems with pole i, the coefficient matrix of which is A - s_i I(or, B), where s_i = rat->zk[i] is the complex shift. data is an array of (void*) of the same length, where data[i] is the data needed by func[i].

All "func" must be of the following prototype

  void SolFuncC(int n, double *br, double *bz, double *xr, double *xz, void *data);

where n is the size of the system, br, bz are the right-hand side (real and imaginary parts of complex vector), xr, xz will be the solution (complex vector), and data contains all the data needed for the solver.

If all func[i] are the same, one can set func==NULL and set allf to the function

Once SetASigmaBSol is done, rational filtering Lanczos methods should be ready to use.


MATRIX-FREE SOLVERS


All the iterative solvers in EVSL can be used in matrix-free ways. Users need only to provide the matrix-vector product function of the following prototype:

  void MVFunc(double *x, double *y, void *data);

where y = A * x and data is the pointer to the associated data to perform the matvec. The (void *) argument is to provide a uniform interface to all user-specific functions. For a particular Matvec function, one can pack all data needed by this function into a struct and pass the pointer of this struct to EVSL (after cast it to (void *)). This function needs to be passed to EVSL as well, so EVSL can call this function to perform all matvecs. The user can also provide CSR matrices to EVSL, in which case EVSL will use its internal MATVEC routine. This can be set by

  SetAMatrix(csrMat *A)
  SetBMatrix(csrMat *B)

for matrices A and B

In TESTS/LAP, an example of matvec functions for 2D/3D Laplacian matrices is provided, where the matrix is not explicitly formed but 5pt/7pt stencil is used instead. In this example, a struct for matvec is first defined:

  typedef struct _lapmv_t {  
    int  nx,  ny,  nz; 
    double  *stencil;  
  } lapmv_t;

and the matvec function is implemented

  void Lap2D3DMatvec(double  *x, double  *y,  void  *data) {  
    lapmv_t *lapmv = (lapmv_t *) data; 
    int nx = lapmv->nx; 
    int ny = lapmv->ny;
    int nz = lapmv->nz; 
    double *stencil = lapmv->stencil; 
    ...  
  }

in which the pointer is first casted and all the data is unpacked. Once these are ready, they can be passed to EVSL by calling

  SetAMatvec(n, &Lap2D3DMatvec, (void*) &lapmv) and
  SetBMatvec(n, &Lap2D3DMatvec, (void*) &lapmv)

to set the matvec routines for A and B respectively, where the first input is the size of the "matrix", the second input is the function pointer and the third one is the data pointer. Once SetMatvecFunc is called, EVSL will use the registered matvec function to perform all matvecs with A.

Users should first create a function wrapper of the above type for an external matvec routine. Then, following the steps in the example, it will be straightforward to use it in EVSL.


GENERALIZED EIGENVALUE PROBLEM


For solving A x = λ B x, the users must also provide a solver for the B matrix by calling

  SetBSol(SolFuncR func, void *data).

To tell EVSL to solve the generalized eigenvalue problem, one must call

  SetGenEig()

since by default, EVSL assumes solving standard eigenvalue problem even if B is provided. Call function

  SetStdEig()

for solving standard eigenvalue problem

The current version of EVSL will need solves with LT for spectrum slicing, where B=L*L' is the Cholesky factorization. Call function

SetLTSol(SolFuncR func, void *data)

to set the solver function


Initialization and Finalization


  • Use EVSLStart() and EVSLFinish() before and after any call to the EVSL functions