slap

API

Library slap

• Slap 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:
• Slap_C
• Slap_D
• Slap_S
• Slap_Z
• Slap_common Slap.Common contains definitions independent of the precision.
• Slap_io Slap.Io provides pretty printers for vectors and matrices.
• Slap_mat Slap.Mat provides operations on sized matrices.
• Slap_misc Miscellaneous definitions.
• Slap_size Slap.Size contains operations on sizes (the dimensions of vectors and matrices).
• Slap_vec Slap.Vec provides operations on sized vectors.
• Slap_version The version number of SLAP.

Library slap.ppx

• Slap_ppx PPX syntactic extensions for SLAP. (This is a dummy module.)

Library slap.top

• Install_top