Homological Computations for TRSs

Compilation

This program requires Zarith.

$ make

Usage

$ ./homtrs filename

Example

$ ./homtrs example/AG01_#3.15.dat

To print the matrix D

# ./homtrs -d2 filename