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 sage-support@googlegroups.com. To unsubscribe from this group, send email to sage-support+unsubscr...@googlegroups.com. Visit this group at http://groups.google.com/group/sage-support?hl=en.
