summaryrefslogtreecommitdiffstats
path: root/Python
diff options
context:
space:
mode:
authorTim Peters <tim.peters@gmail.com>2002-08-15 20:06:00 (GMT)
committerTim Peters <tim.peters@gmail.com>2002-08-15 20:06:00 (GMT)
commitab86c2be2415050c71a254ad4e47fb4bdcf3a69f (patch)
tree6d433f5e217394d1d4cfc8bd78156cc74b984373 /Python
parent9973d74b2d63ebd6a49d239b49f01fe823705b97 (diff)
downloadcpython-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