Philipp, The ticket already has some comments from Martin -- it needs doctests, etc.
When I looked at the code, I found the documentation about the various substitution strategies. The docstrings should list the strategies and give an explanation for how they work. Regards, Tom On Thu, Oct 4, 2012 at 12:01 PM, Philipp Jovanovic <p...@gmx.net> wrote: > Hi everybody, > > > I've got a proposal for a new anf2cnf converter supporting various > substitution strategies. As I'm pretty new to SAGE, Martin Albrecht did me a > favour and already opened a ticket. Below you find the ticket needing review > please: > > > http://trac.sagemath.org/sage_trac/ticket/13558 > > > Thanks and all the best, > > Philipp Jovanovic > > -- > You received this message because you are subscribed to the Google Groups > "sage-devel" group. > To post to this group, send email to sage-devel@googlegroups.com. > To unsubscribe from this group, send email to > sage-devel+unsubscr...@googlegroups.com. > Visit this group at http://groups.google.com/group/sage-devel?hl=en. > > -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To post to this group, send email to sage-devel@googlegroups.com. To unsubscribe from this group, send email to sage-devel+unsubscr...@googlegroups.com. Visit this group at http://groups.google.com/group/sage-devel?hl=en.
