Hi, I know of no elegant way of doing that. There are a few ANF (polynomials) to CNF (ORs and ANFs) strategies which are used for example in cryptography. Those might be of interrest to you. I have a few pointers in my thesis.
Cheers, Martin On Feb 4, 2011 6:12 PM, "Francois Maltey" <[email protected]> wrote: -- To post to this group, send email to [email protected] To unsubscribe from this group, send email to [email protected] For more options, visit this group at http://groups.google.com/group/sage-support URL: http://www.sagemath.org
