]> git.ipfire.org Git - thirdparty/Python/cpython.git/commit
projects / thirdparty / Python / cpython.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5d0d2e2) | patch
1) Simplify comment -- one has to read the complete proof (available in ACL2)
authorStefan Krah <skrah@bytereef.org>
Wed, 18 Apr 2012 17:27:32 +0000 (19:27 +0200)
committerStefan Krah <skrah@bytereef.org>
Wed, 18 Apr 2012 17:27:32 +0000 (19:27 +0200)
commitc51b7fd65b8c7476180c965d48390431b2d558e6
tree5fb4e132eddf655bdda222bfda9a2f96784fdcd4tree
parent5d0d2e2b04631e5ad9c7dad60e6be75c02f8e050commit | diff
1) Simplify comment -- one has to read the complete proof (available in ACL2)
   in order to understand the algorithm anyway.

2) v->exp == -v->digits may be assumed.

3) Fix comment (v always shares data with a).
Modules/_decimal/libmpdec/mpdecimal.c diff | blob | blame | history
Mirror of https://github.com/python/cpython.git