OCaml algebra
A library to manipulate and compute with algebraic structures in
OCaml. It implements structures such as
- monoids
- groups
- rings
- modules
- algebras
- matrices
- graphs
- automata
- and so on…
It also features some free and presented such structures.
Documentation
You can have a look at the generated documentation
for the modules.
Some online tools are implemented using this library:
- Bergman 2
is a new implementation for a Gröbner basis calculator
- KB implements
Knuth-Bendix and Squier completion on term rewriting systems
- Rewr 2
implements Knuth-Bendix completion for string rewriting systems