Stefan Krah <stefan-use...@bytereef.org> added the comment: Amaury has asked for more comments (and I agree). However, I'm not sure what level of detail would be appropriate. As an example, I've posted the full proof of the x87 modular multiplication in umodarith.h.
Even with the Coq parts stripped, this would still be a massive comment. Would you prefer that level of detail or should I just post the core of the algorithm? ---------- Added file: http://bugs.python.org/file23966/ppro-mulmod.txt _______________________________________ Python tracker <rep...@bugs.python.org> <http://bugs.python.org/issue7652> _______________________________________ _______________________________________________ Python-bugs-list mailing list Unsubscribe: http://mail.python.org/mailman/options/python-bugs-list/archive%40mail-archive.com