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