export(correctRounding)
export(correctSigns)
export(correctTypos)
export(print.deducorrect)
export(isTotallyUnimodular)
