Thank you very much for your help. On 9 December 2012 12:18, Georgi Guninski <[email protected]> wrote:
> On Sat, Dec 08, 2012 at 11:44:19AM +0530, Santanu Sarkar wrote: > > Dear all, > > I have a system of non linear equations over GF(2). How to solve > > them in Sage? > > > > If you need to solve large nonlinear systems over GF(2) and don't > insist on using sage I suspect a better choice is to convert > them to conjunctive normal form (CNF) and then use state of the > art SAT solver like lingeling/cryptominisat. > > There are sage programs for converting ANF to CNF, don't know if > they are in vanilla sage. > -- You received this message because you are subscribed to the Google Groups "sage-support" group. To post to this group, send email to [email protected]. To unsubscribe from this group, send email to [email protected]. Visit this group at http://groups.google.com/group/sage-support?hl=en.
