The Design and Implementation of laffer1

I printed out my programming assignment only to find a bug in the transtitive test at the last minute. So I spent another hour rewriting the test and cleaning up the transitive_closure function as well. I'm too tired to verify all the output at this point, but at least I dont' see obvious flaws. It's due tomorrow morning.