Module Slap

module Slap: sig .. end

A linear algebra library with type-based static size checking for matrix operations. SLAP (Sized Linear Algebra Package) helps debug of your programs by detecting dimensional inconsistency, e.g., addition of two- and three- dimensional vectors, at compile time (instead of runtime) and at higher level (i.e., at a caller site rather than somewhere deep inside of a call stack). This library is a wrapper of LACAML, a binding of widely-used linear algebra libraries BLAS (Basic Linear Algebra Subprograms) and LAPACK (Linear Algebra PACKage) in FORTRAN. Many functions are compatible with the interface of LACAML. You can make use of SLAP by referring Slap.Common and the module corresponding to the precision and the number type you need:

open Slap.Common
open Slap.S  (* 32-bit real BLAS and LAPACK functions *)
open Slap.D  (* 64-bit real BLAS and LAPACK functions *)
open Slap.C  (* 32-bit complex BLAS and LAPACK functions *)
open Slap.Z  (* 64-bit complex BLAS and LAPACK functions *)

To use this library, the following documentation may be useful to you:

• Example programs
• Tutorial of SLAP
• LACAML API documentation
• A quick reference guide for BLAS
• LAPACK quick reference guide to the driver routines
• The man pages of BLAS and LAPACK

The man pages are also available on your machine if you installed manpages.tgz or the corresponding package provided by your distribution.

include Slap_misc

module Size: Slap_size

module Vec: Slap_vec

module Mat: Slap_mat

module Io: Slap_io

module Version: Slap_version

module Common: Slap_common

module D: Slap_D

module S: Slap_S

module Z: Slap_Z

module C: Slap_C