English

HLinear: Exact Dense Linear Algebra in Haskell

Mathematical Software 2017-08-14 v3 Symbolic Computation

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.

Keywords

Cite

@article{arxiv.1605.02532,
  title  = {HLinear: Exact Dense Linear Algebra in Haskell},
  author = {Alexandru Ghitza and Martin Raum},
  journal= {arXiv preprint arXiv:1605.02532},
  year   = {2017}
}

Comments

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

R2 v1 2026-06-22T13:56:16.235Z