Math.Combinat

A collection of functions to generate combinatorial objects like partitions, compositions, permutations, Young tableaux, various trees, etc etc.

The long-term goals are

1. generate most of the standard structures;
2. while being efficient;
3. to be able to enumerate the structures with constant memory usage;
4. and to be able to randomly sample from them.
5. finally, be a repository of algorithms

The short-term goal is simply to generate many interesting structures.

Naming conventions (subject to change):

• prime suffix: additional constrains, typically more general;
• underscore prefix: use plain lists instead of other types with enforced invariants;
• "random" prefix: generates random objects (typically with uniform distribution);
• "count" prefix: counting functions.

This module re-exports the most common modules.

Documentation

module Math.Combinat.Numbers

module Math.Combinat.Sets

module Math.Combinat.Tuples

module Math.Combinat.Compositions

module Math.Combinat.Partitions

module Math.Combinat.Permutations

module Math.Combinat.Tableaux

module Math.Combinat.Trees

module Math.Combinat.LatticePaths

module Math.Combinat.Graphviz