]> granicus.if.org Git - python/commit
projects / python / 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 | snapshot
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 | history
Unnamed repository; edit this file 'description' to name the repository.