HLinear: Exact Dense Linear Algebra in Haskell

Abstract

We present an implementation in the functional programming language Haskell of the PLE decomposition of matrices over division rings. Our benchmarks indicate that it is competitive with the C-based implementation provided in Flint. Describing the guiding principles of our work, we introduce the reader to basic ideas from high-performance functional programming.

arXiv comment13 pages, 6 tables; code available at https://github.com/martinra/hlinear/tree/paper-toms