A purely functional computer algebra system embedded in Haskell

DOI10.1007/978-3-319-99639-4_20MaRDI QIDQ1798330zbMATH OpenOpenAlexFDO

Publication date 23 October 2018

Full work available at URL https://arxiv.org/abs/1807.01456

computational algebra formal methods functional programming Gröbner basis Haskell implementation report property-based testing signature-based algorithms type system

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Symbolic computation and algebraic computation (68W30)

Abstract: We demonstrate how methods in Functional Programming can be used to implement a computer algebra system. As a proof-of-concept, we present the computational-algebra package. It is a computer algebra system implemented as an embedded domain-specific language in Haskell, a purely functional programming language. Utilising methods in functional programming and prominent features of Haskell, this library achieves safety, composability, and correctness at the same time. To demonstrate the advantages of our approach, we have implemented advanced Gr"{o}bner basis algorithms, such as Faug`{e}re's

F_{4}

and

F_{5}

, in a composable way.

Recommendations

Cited in

(10)

Describes a project that uses

Uses Software

This page was built for publication: A purely functional computer algebra system embedded in Haskell

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1798330)