ICE is a program to choose a maximal linearly independent subset from a given set of Integration-by-Parts and/or Lorentz Invariance equations.

The easiest way to compile the program from source is to use the stack build tool, avaialble at https://github.com/commercialhaskell/stack. Executing

stack install

in the directory containing the sources of ice will install the ice executable to $HOME/.local/bin/ice. You can either add that directory to your PATH, or use stack to run ice, as in

stack exec -- ice -id -im example/se1l.in

The stack tool will automatically download the GHC compiler and all dependencies.

A Manual is found in ./doc/ice-manual.pdf, and an example input file can be found in example/se1l.in.