diff options
| author | Tim Peters <tim.peters@gmail.com> | 2002-08-15 20:06:00 (GMT) |
|---|---|---|
| committer | Tim Peters <tim.peters@gmail.com> | 2002-08-15 20:06:00 (GMT) |
| commit | ab86c2be2415050c71a254ad4e47fb4bdcf3a69f (patch) | |
| tree | 6d433f5e217394d1d4cfc8bd78156cc74b984373 /Python | |
| parent | 9973d74b2d63ebd6a49d239b49f01fe823705b97 (diff) | |
| download | cpython-ab86c2be2415050c71a254ad4e47fb4bdcf3a69f.zip cpython-ab86c2be2415050c71a254ad4e47fb4bdcf3a69f.tar.gz cpython-ab86c2be2415050c71a254ad4e47fb4bdcf3a69f.tar.bz2 | |
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 ...
Diffstat (limited to 'Python')
0 files changed, 0 insertions, 0 deletions