Re: [sage-devel] Re: Bug in sage.sat.boolean_polynomials.solve() with CryptoMiniSat 5.0.1

Mate, do you run Bosphorus from SageMath? Get Outlook for iOS From: sage-devel@googlegroups.com on behalf of Mate Soos Sent: Monday, December 17, 2018 3:10 PM To: sage-devel Subject: Re: [sage-devel] Re: Bug in sage.sat.boolean_polynomials.

Re: [sage-devel] Re: Bug in sage.sat.boolean_polynomials.solve() with CryptoMiniSat 5.0.1

Hi, Oh, thanks for that ticket. I put it on my backlog to fix. The issue is, I have no idea how many people use this thing and it takes time to fix :S In the meanwhile, I am interested in your feedback on this (not yet publicized) ANF simplifier and ANF-to-CNF converter: https://github.com/mee

[sage-devel] Re: Python 3 startup time speedup

Thank you for working on this! Startup time is the biggest pain point for casual sage usage and half a second for python2 is huge. Am Montag, 17. Dezember 2018 16:01:08 UTC+1 schrieb E. Madison Bray: > > Hi all, > > For those of you interested in following the Python 3 port of Sage, > you'll be

Re: [sage-devel] sage installation

Do you happen to have Anaconda installed? See https://ask.sagemath.org/question/34416/importerror-no-module-named-sage/ Le 17/12/2018 à 20:11, Mathieu Roux a écrit : Good evening, I am trying to install sage on my computer. I am using Linux Mint Cinnamon. I wrote sudo apt-get install sagemat

Re: [sage-devel] sage installation

I installed everything under my user directory and had to have sage completely compile from source. I was then able to use that version. The standard Ubuntu’s install didn’t work, so the one day source install was required. I also made sure I had all of the needed packages to compile availabl

[sage-devel] Re: Python 3 startup time speedup

Hi Erik, On 2018-12-17, E. Madison Bray wrote: > For those of you interested in following the Python 3 port of Sage, > you'll be amused to learn that an effectively one line change [1] made > startup time of Sage on Python 3 about 20 times faster, and almost as > fast as on Python 2 (though still

[sage-devel] sage installation

Good evening, I am trying to install sage on my computer. I am using Linux Mint Cinnamon. I wrote sudo apt-get install sagemath et sudo apt-get install sagemath-jupyter with no errors. But then, when i try/usr/bin/sage, i get ┌──

Re: [sage-devel] Re: Bug in sage.sat.boolean_polynomials.solve() with CryptoMiniSat 5.0.1

Hi, just want to add that the equation system in my example definitly has a solution. I boiled it down from a much bigger system. Meanwhile I found a ticket in sage-trac dealing with this bug in the binding of CryptoMiniSat (src/sage/sat/solvers/cryptominisat.py) to SageMath, see https://trac.

Re: [sage-devel] Re: Mystery of "GAP documented global functions"

On Mon, Dec 17, 2018 at 5:16 PM Dima Pasechnik wrote: > > On Mon, Dec 17, 2018 at 4:07 PM E. Madison Bray wrote: > > > > On Fri, Dec 14, 2018 at 2:33 PM Volker Braun wrote: > > > > > > Afair the all_documented_functions is documenting the starting point of > > > our list of hardcoded tab-comple

Re: [sage-devel] Re: Mystery of "GAP documented global functions"

On Mon, Dec 17, 2018 at 4:07 PM E. Madison Bray wrote: > > On Fri, Dec 14, 2018 at 2:33 PM Volker Braun wrote: > > > > Afair the all_documented_functions is documenting the starting point of our > > list of hardcoded tab-completions. At one point I went through it by hand > > and tweaked it, th

Re: [sage-devel] Python 3 startup time speedup

On Mon, Dec 17, 2018 at 4:52 PM William Stein wrote: > > On Mon, Dec 17, 2018 at 7:01 AM E. Madison Bray wrote: > > > > Hi all, > > > > For those of you interested in following the Python 3 port of Sage, > > you'll be amused to learn that an effectively one line change [1] made > > startup time o

Re: [sage-devel] Re: Mystery of "GAP documented global functions"

On Fri, Dec 14, 2018 at 2:33 PM Volker Braun wrote: > > Afair the all_documented_functions is documenting the starting point of our > list of hardcoded tab-completions. At one point I went through it by hand and > tweaked it, though. The module cannot be default imported for the reasons you > m

Re: [sage-devel] Python 3 startup time speedup

On Mon, Dec 17, 2018 at 7:01 AM E. Madison Bray wrote: > > Hi all, > > For those of you interested in following the Python 3 port of Sage, > you'll be amused to learn that an effectively one line change [1] made > startup time of Sage on Python 3 about 20 times faster, and almost as > fast as on P

[sage-devel] Python 3 startup time speedup

Hi all, For those of you interested in following the Python 3 port of Sage, you'll be amused to learn that an effectively one line change [1] made startup time of Sage on Python 3 about 20 times faster, and almost as fast as on Python 2 (though still about 30% slower--need to see if there are any