Correct typo in Makefile.in
More efficient constructSubst.
Compute e faster.
cleanup, report unexpected passes.
add another test exhibiting a wrong simplification in RECOP
add tests for guessing over prime field.
correct types in testcases and add another test
Make revert more general.
Remove commented out code.
Avoid too long argument lists when concatenating strings.