Paul, > Instead, I would advocate using a declarative domain specific language built > for semi-formalizing > mathematics
The appeal of this paradigm is evident. It addresses a fundamentally important issue: how to structure the development process to encourage the code to reflect the mathematics in the most transparent fashion. Alas, it appears that this is a fair distance from being implemented in python, and many important details need to be worked out. If there was a prototype version with a demonstration-in-principle then it would be the right time to debate this approach. In the meantime, we all need a version of sage to work with... --Mark -- You received this message because you are subscribed to the Google Groups "sage-combinat-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-combinat-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-combinat-devel@googlegroups.com. Visit this group at http://groups.google.com/group/sage-combinat-devel. For more options, visit https://groups.google.com/d/optout.