Message 149556 - Python tracker

➜

This issue tracker has been migrated to GitHub , and is currently read-only.
For more information, see the GitHub FAQs in the Python's Developer Guide.

In-reply-to
Author	skrah
Recipients	amaury.forgeotdarc, brian.curtin, casevh, ced, eric.smith, eric.snow, jjconti, mark.dickinson, pitrou, rhettinger, skrah, vstinner
Date	2011年12月15日.14:00:50
SpamBayes Score	0.0013360763
Marked as misclassified	No
Message-id	<1323957652.29.0.640111460598.issue7652@psf.upfronthosting.co.za>

Content
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?

Content

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?

History
Date	User	Action	Args
2011年12月15日 14:00:52	skrah	set	recipients: + skrah, rhettinger, amaury.forgeotdarc, mark.dickinson, pitrou, vstinner, casevh, eric.smith, jjconti, ced, brian.curtin, eric.snow
2011年12月15日 14:00:52	skrah	set	messageid: <1323957652.29.0.640111460598.issue7652@psf.upfronthosting.co.za>
2011年12月15日 14:00:51	skrah	link	issue7652 messages
2011年12月15日 14:00:51	skrah	create

homepage