From: Tim Peters Date: Tue, 13 Aug 2002 20:42:00 +0000 (+0000) Subject: Fixed error in new comment. X-Git-Tag: v2.3c1~4500 X-Git-Url: http://git.ipfire.org/gitweb.cgi?a=commitdiff_plain;h=cba6e969290ece55c3380b5244b5f8d1ac591643;p=thirdparty%2FPython%2Fcpython.git Fixed error in new comment. --- diff --git a/Objects/longobject.c b/Objects/longobject.c index 2e8ef190ae97..858be504ea3f 100644 --- a/Objects/longobject.c +++ b/Objects/longobject.c @@ -1786,12 +1786,11 @@ least 2*shift+2 digits, and there's not obviously enough room for the extra two bits. We need a sharper analysis in this case. The major laziness was in the "the same is true of ah+al" clause: ah+al can't actually have shift+1 digits + 1 bit unless bsize is odd and asize == bsize. In that -case, we actually have (2*shift+1)*2 - shift = 3*shift + 2 allocated digits -remaining, and that's obviously plenty to hold 2*shift + 2 digits + 2 bits. +case, we actually have (2*shift+1)*2 - shift = 3*shift+2 allocated digits +remaining, and that's obviously plenty to hold 2*shift+2 digits + 2 bits. Else (bsize is odd and asize < bsize) ah and al each have at most shift digits, so ah+al has at most shift digits + 1 bit, and (ah+al)*(bh+bl) has at most -2*shift+1 digits + 2 bits, and again 2*shift+2 digits + 2 bits is -enough to hold it. +2*shift+1 digits + 2 bits, and again 2*shift+2 digits is enough to hold it. */ /* b has at least twice the digits of a, and a is big enough that Karatsuba