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