
Copyright (C) 2005 Fokko du Cloux

This is the README file for the special version of Coxeter 3.0 which verifies
the non-negativity of the structure constants of the Hecke algebra in the
Kazhdan-Lusztig basis. The main thrust is to do this verification in type H4
(although it is interesting as well to look at the shape of these coefficients
for other finite groups where they are already known to be non-negative.)

You should refer to my note "Some positivity properties for the Hecke algebra
in type H4" for an explanation of what the program does, and what commands
are available (this is currently being submitted, and may be found on my 
website.)

To compile the program, simply say "make" in this directory. You will obtain
an executable named "coxeter". To do the actual positivity check, you can
either enter the program and type "positivity", or, if you are interested in
type H4, execute the little "coxbatch" script that I have included. You should
expect a running time of about 80 hours on a decent server, and a memory
requirement of not more than 2GB on a 64-bit machine, and around 1 GB on a
32-bit machine.
