Author Amaury.Forgeot.d'Arc
Recipients Amaury.Forgeot.d'Arc, amaury.forgeotdarc, brian.curtin, casevh, ced, eric.smith, eric.snow, haypo, jjconti, mark.dickinson, pitrou, rhettinger, skrah
Date 2011-12-15.17:33:08
SpamBayes Score 2.06601e-11
Marked as misclassified No
Message-id <CAGmFidbNPbRYFbfu68=GNahghObaP4dpp3erEQ-CfhSNA1L1cA@mail.gmail.com>
In-reply-to <1323957652.29.0.640111460598.issue7652@psf.upfronthosting.co.za>
Content
2011/12/15 Stefan Krah <report@bugs.python.org>

>
> Stefan Krah <stefan-usenet@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?
>

For my part, a two-lines description of the purpose of file is enough.
Something like
"Routines for the reverse transmogrification of randomized digits,
used in multiplication of numbers above 2**32 bits"
Or something else that makes sense :-)

At least something that makes it clear that I don't have to read further if
I'm only interested in the definition of Python classes for example.
History
Date User Action Args
2011-12-15 17:33:09Amaury.Forgeot.d'Arcsetrecipients: + Amaury.Forgeot.d'Arc, rhettinger, amaury.forgeotdarc, mark.dickinson, pitrou, haypo, casevh, eric.smith, jjconti, ced, brian.curtin, skrah, eric.snow
2011-12-15 17:33:09Amaury.Forgeot.d'Arclinkissue7652 messages
2011-12-15 17:33:08Amaury.Forgeot.d'Arccreate