Re: Re: [sage-support] Solve system of non linear equations
try ./sage -i instead of sage -i -- sent from a tablet, please excuse my brevity On Dec 23, 2012 5:38 PM, Santanu Sarkar sarkar.santanu@gmail.com wrote: I want to install sat solver. I have the following error a@a-Compaq-Presario-C700-Notebook-PC:~/Downloads/sage-5.2-linux-32bit-ubuntu_12.04_lts-i686-Linux$ sage -i cryptominisat-2.9.5 mkdir: cannot create directory `/usr/lib/sage/spkg/logs': Permission denied Calling sage-spkg on 'cryptominisat-2.9.5' tee: /usr/lib/sage/install.log: Permission denied tee: /usr/lib/sage/spkg/logs/cryptominisat-2.9.5.log: No such file or directory Attempting to download package cryptominisat-2.9.5 http://www.sagemath.org//packages/optional/cryptominisat-2.9.5.spkg -- cryptominisat-2.9.5.spkg [ ] http://www.sagemath.org//packages/standard/cryptominisat-2.9.5.spkg -- cryptominisat-2.9.5.spkg [ ] http://www.sagemath.org//packages/experimental/cryptominisat-2.9.5.spkg-- cryptominisat-2.9.5.spkg [ ] http://www.sagemath.org//packages/archive/cryptominisat-2.9.5.spkg -- cryptominisat-2.9.5.spkg [ ] ** * Unable to download cryptominisat-2.9.5 * Please see http://www.sagemath.org//packages for a list of valid * packages or check the package name. ** Error: Failed to download package cryptominisat-2.9.5 from http://www.sagemath.org/ On 13 December 2012 16:45, Martin Albrecht martinralbre...@googlemail.com wrote: sage -i cryptominisat-2.9.5 -- 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. -- 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.
Re: Re: [sage-support] Solve system of non linear equations
On Sunday 09 Dec 2012, Georgi Guninski 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.
Yes, it's all here:
On the shell
$ sage -i cryptominisat-2.9.5
$ sage -b
In Sage:
sage: B = BooleanPolynomialRing(10,'x')
sage: I = Ideal(B.random_element() for _ in range(10))
sage: import sage.sat.boolean_polynomials
sage: sage.sat.boolean_polynomials.solve(I.gens())
[{x7: 1, x8: 0, x9: 1, x6: 0, x5: 0, x4: 1, x3: 1, x1: 1, x2: 1, x0: 1}]
sage: I.groebner_basis()
[x0 + 1, x1 + 1, x2 + 1, x3 + 1, x4 + 1, x5, x6, x7 + 1, x8, x9 + 1]
Cheers,
Martin
--
name: Martin Albrecht
_pgp: http://pgp.mit.edu:11371/pks/lookup?op=getsearch=0x8EF0DC99
_otr: 47F43D1A 5D68C36F 468BAEBA 640E8856 D7951CCF
_www: http://martinralbrecht.wordpress.com/
_jab: martinralbre...@jabber.ccc.de
--
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.
Re: [sage-support] Solve system of non linear equations
Thank you very much for your help. On 9 December 2012 12:18, Georgi Guninski gunin...@guninski.com 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 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.
Re: [sage-support] Solve system of non linear equations
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? How large is your system ? (how many variables ?). What is the largest degree in an equation ? Depending on the answer to these questions, your system may be solved by exhaustive search, using a library I wrote (and that can be called from sage after a little bit of black magic). Charles -- 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.
Re: [sage-support] Solve system of non linear equations
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.
[sage-support] Solve system of non linear equations
Dear all, I have a system of non linear equations over GF(2). How to solve them in 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.
