Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: A Purely Functional Computer Algebra System Embedded in Haskell   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.

5
The categories of this paper are: gr-qc
8
The categories of this paper are: hep-ex
9
The categories of this paper are: nlin
34
The categories of this paper are: chem-ph
6
The categories of this paper are: astro-ph
29
The categories of this paper are: funct-an
12
The categories of this paper are: nucl-th
10
The categories of this paper are: q-bio
35
The categories of this paper are: mtrl-th
23
The categories of this paper are: solv-int
14
The categories of this paper are: math-ph
27
The categories of this paper are: comp-gas
11
The categories of this paper are: hep-lat
2
The categories of this paper are: math
0
The categories of this paper are: hep-ph
31
The categories of this paper are: ao-sci