Please review: new ANF2CNF converter (#13558)

[Philipp Jovanovic]

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

[Tom Boothby]

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

> --
> You received this message because you are subscribed to the Google Groups
> "sage-devel" group.
> To post to this group, send email to sage-...@googlegroups.com.
> To unsubscribe from this group, send email to
> sage-devel+...@googlegroups.com.
> Visit this group at http://groups.google.com/group/sage-devel?hl=en.
>
>