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