commit | ab86c2be2415050c71a254ad4e47fb4bdcf3a69f | [log] [tgz] |
---|---|---|
author | Tim Peters <tim.peters@gmail.com> | Thu Aug 15 20:06:00 2002 +0000 |
committer | Tim Peters <tim.peters@gmail.com> | Thu Aug 15 20:06:00 2002 +0000 |
tree | 6d433f5e217394d1d4cfc8bd78156cc74b984373 | |
parent | 9973d74b2d63ebd6a49d239b49f01fe823705b97 [diff] |
k_mul() comments: In honor of Dijkstra, made the proof that "t3 fits" rigorous instead of hoping for testing not to turn up counterexamples. Call me heretical, but despite that I'm wholly confident in the proof, and have done it two different ways now, I still put more faith in testing ...