Compiling these programs The libraries here are written in the ocaml 1.05 language. They are compressed with the gnu utility gzip . Some examples of their use can be found here. The first library is the general library. This includes all sorts of utility functions, such as extra list functions, matrix manipulations, etc.
Source is available here.
The first specialised library is the mathematics library. This is most helpful for people working with integer combinatorics problems, but the polynomial libraries for instance may be of use to other people. These modules use the previous general library. Source is available here.