Mate Soos, I have Sage installed in both Linux Mint 19 and also installed on a
Mac Book.
My Linux install wouldn’t install cryptominisat, but I was able to install it
on my Mac book with no issues. So I was able to duplicate the error raised by
>>>> Jörg-Volker below.
I was curious why the equation order led to different situations and think that
this due to a need to place a partial order on the equations before attempting
to solve them.
Is that true, Mate?
Sent from my iPad
> On Dec 12, 2018, at 12:05 PM, Mate Soos <soos.m...@gmail.com> wrote:
>
> Hey,
>
> I'm the author of CryptoMinISat :) Let me know what the issue is and I will
> debug :) Please explain what you tried doing, what failed and what you think
> the problem might be. I'll try to help to the best of my ability and time!
>
> Cheers,
>
> Mate
>
>> On Monday, 10 December 2018 02:52:45 UTC+1, Steven Craighead wrote:
>> I'm trying to install cryptominisat for SAGEMATH 8.4. I'm hitting a wall.
>> Any advice?
>>
>>> On Sun, Dec 9, 2018 at 10:20 AM Steven Craighead <steven.c...@gmail.com>
>>> wrote:
>>> Equations three through six in keqs are nonlinear. I would expect if you
>>> left the var1 order alone and permuted the order of the equations you might
>>> even get different answers.
>>>
>>> For instance if you swapped equation one with equation nine, you might get
>>> the same answer with the standard order on var1 that you are getting with
>>> your reversed order on var1.
>>>
>>> Sent from my iPad
>>>
>>>> On Dec 9, 2018, at 8:46 AM, Jörg-Volker <jvp...@gmail.com> wrote:
>>>>
>>>> Just a reminder that there's still a bug in the communication with the
>>>> experimental package CryptoMiniSat 5.0.1 when used via the function
>>>> sage.sat.boolean_polynomials.solve().
>>>> In the following example no solution of the boolean equation system is not
>>>> found:
>>>>
>>>> varl = ['k{0}'.format(p) for p in range(29)]
>>>>
>>>> B = BooleanPolynomialRing(names = varl)
>>>> B.inject_variables(verbose=False)
>>>>
>>>> keqs = [
>>>> k0 + k6 + 1,
>>>> k3 + k9 + 1,
>>>> k5*k18 + k6*k18 + k7*k16 + k7*k10,
>>>> k9*k17 + k8*k24 + k11*k17,
>>>> k1*k13 + k1*k15 + k2*k12 + k3*k15 + k4*k14,
>>>> k5*k18 + k6*k16 + k7*k18,
>>>> k3 + k26,
>>>> k0 + k19,
>>>> k9 + k28,
>>>> k11 + k20]
>>>>
>>>> from sage.sat.boolean_polynomials import solve as solve_sat
>>>>
>>>> kpsol = solve_sat(keqs, n=1)
>>>>
>>>> print type(kpsol)
>>>> print len(kpsol)
>>>>
>>>> Changing the first statement to
>>>>
>>>> varl = ['k{0}'.format(p) for p in range(28, -1, -1)]
>>>>
>>>> which just re-orders the generators, a solution can be found.
>>>> Any ideas?
>>>>
>>>> Jörg-Volker.
>>>> --
>>>> You received this message because you are subscribed to the Google Groups
>>>> "sage-devel" group.
>>>> To unsubscribe from this group and stop receiving emails from it, send an
>>>> email to sage-devel+...@googlegroups.com.
>>>> To post to this group, send email to sage-...@googlegroups.com.
>>>> Visit this group at https://groups.google.com/group/sage-devel.
>>>> For more options, visit https://groups.google.com/d/optout.
>
> --
> You received this message because you are subscribed to the Google Groups
> "sage-devel" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to sage-devel+unsubscr...@googlegroups.com.
> To post to this group, send email to sage-devel@googlegroups.com.
> Visit this group at https://groups.google.com/group/sage-devel.
> For more options, visit https://groups.google.com/d/optout.
--
You received this message because you are subscribed to the Google Groups
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to sage-devel+unsubscr...@googlegroups.com.
To post to this group, send email to sage-devel@googlegroups.com.
Visit this group at https://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.
