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.

Tools

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