Re: [sage-devel] Re: tightpage=True gives error

2014-09-02 Thread Jori Mantysalo
On Tue, 2 Sep 2014, Sébastien Labbé wrote: What version of Sage? What version of dot2tex? What is the traceback (apparently, you can get it with %tb) ? graphviz.x86_64 2.34.0-8.fc20 Sage Version 6.3, Release Date: 2014-08-10 dot2tex-2.8.7.p2 ins

Re: [sage-devel] Re: [sage-cloud] gap on smc; whitelist gap-system.org

2014-09-02 Thread Samuel Lelièvre
William Stein wrote: Is there anybody out there whose interested in (greatly) increasing > the number of optional gap packages in the optional GAP spkg for Sage? > > This thread has a lot of info about this.In particular, this would > be very beneficial to SageMathCloud... > > -- William

[sage-devel] Re: propcalc vs sat

2014-09-02 Thread Nathann Cohen
No idea. Though if "is_satisfiable" calls truthtable then there is some space for performance improvement O_o By the way we may have a standard SAT solver in Sage someday: http://trac.sagemath.org/ticket/16862 Nathann -- You received this message because you are subscribed to the Google Group

[sage-devel] Re: tightpage=True gives error

2014-09-02 Thread Travis Scrimshaw
Do you have graphviz installed (locally using, for example on Ubuntu, sudo apt-get install graphviz)? Sorry I forgot about this on the previous topic. Best, Travis On Tuesday, September 2, 2014 1:30:33 AM UTC-7, Jori Mantysalo wrote: > > On Mon, 1 Sep 2014, Travis Scrimshaw wrote: > > >

Re: [sage-devel] Re: [sage-cloud] gap on smc; whitelist gap-system.org

2014-09-02 Thread François Bissey
On Tue, 02 Sep 2014 23:46:37 Alexander Konovalov wrote: > On 2 Sep 2014, at 23:40, François Bissey wrote: > > That's a point were I think I should chip in some info. > > > > When sage moved to gap 4.5+ I was in pain making a new ebuild for sage-on- > > gentoo. Initially I was just installing the

Re: [sage-devel] Re: [sage-cloud] gap on smc; whitelist gap-system.org

2014-09-02 Thread Alexander Konovalov
On 2 Sep 2014, at 23:40, François Bissey wrote: > That's a point were I think I should chip in some info. > > When sage moved to gap 4.5+ I was in pain making a new ebuild for sage-on- > gentoo. Initially I was just installing the full gap instead of a trimmed > version. Installation takes a

Re: [sage-devel] Re: [sage-cloud] gap on smc; whitelist gap-system.org

2014-09-02 Thread William A Stein
On Tue, Sep 2, 2014 at 3:40 PM, François Bissey wrote: > That's a point were I think I should chip in some info. > > When sage moved to gap 4.5+ I was in pain making a new ebuild for sage-on- > gentoo. Initially I was just installing the full gap instead of a trimmed > version. Installation takes

Re: [sage-devel] Re: [sage-cloud] gap on smc; whitelist gap-system.org

2014-09-02 Thread François Bissey
That's a point were I think I should chip in some info. When sage moved to gap 4.5+ I was in pain making a new ebuild for sage-on- gentoo. Initially I was just installing the full gap instead of a trimmed version. Installation takes ages. I have now trimmed things a little bit but it still take

Re: [sage-devel] Re: [sage-cloud] gap on smc; whitelist gap-system.org

2014-09-02 Thread William A Stein
Hi Sage-devs, Is there anybody out there whose interested in (greatly) increasing the number of optional gap packages in the optional GAP spkg for Sage? This thread has a lot of info about this.In particular, this would be very beneficial to SageMathCloud... -- William On Tue, Sep 2, 2014

[sage-devel] Re: [sage-cloud] gap on smc; whitelist gap-system.org

2014-09-02 Thread Alexander Konovalov
On Monday, September 1, 2014 10:30:30 AM UTC+1, Stein William wrote: > > I'm cc'ing this to sage-devel. It is about GAPs long, long list of > packages, most of which we don't include or even package optionally > for Sage... > > On Fri, Aug 29, 2014 at 3:18 AM, Alexander Konovalov > > wrote: >

Re: [sage-devel] error installing package ppl-1.1

2014-09-02 Thread François Bissey
On Tue, 02 Sep 2014 05:55:51 'Paul Mercat' via sage-devel wrote: > I've done what you proposed, but I get the same error. > Here is the new log file. > > Le mardi 2 septembre 2014 14:42:01 UTC+2, Paul Mercat a écrit : > > Le mardi 2 septembre 2014 14:34:16 UTC+2, Jeroen Demeyer a écrit : > >> Plea

[sage-devel] propcalc vs sat

2014-09-02 Thread Thierry
Hi, looking at this ask question : http://ask.sagemath.org/question/24024/satisfying-assignments/ i tried to turn a propcalc formula into a sat (DIMACS) one since those two sage modules are intimately related. The only candidate i found on the propcalc side is the .satformat() but then i could no

Re: [sage-devel] Re: Make ARM a supported platform

2014-09-02 Thread Julien Puydt
Hi, Le 02/09/2014 15:26, Jean-Pierre Flori a écrit : On Tuesday, September 2, 2014 3:13:09 PM UTC+2, mmarco wrote: You mean like using SAGE_ATLAS_LIB to avoid shipping a too optimized version of that lib? My comment was more in the line of making sure that the resulting compiled code does

Re: [sage-devel] Re: Is 1 a prime power?

2014-09-02 Thread Bill Hart
Is this a possibly related issue: sage: O(7^0) --- ArithmeticError Traceback (most recent call last) in () > 1 O(Integer(7)**Integer(0)) /usr/local/sage/sage-current/local/lib/python2.7/site-pac

[sage-devel] Fwd: SAGE in the cloud and Python 3

2014-09-02 Thread William A Stein
(This is a sage-devel question, not one for me personally or for sage-cloud; please join that mailing list.) For example, Volker remarks "There has been some steady progress by Wilfried Luebbe and André Apitzsch to move towards Python 3. Meta-tickets: http://trac.sagemath.org/ticket/16052 http://

[sage-devel] Re: SAGE in the cloud and Python 3

2014-09-02 Thread Volker Braun
There has been some steady progress by Wilfried Luebbe and André Apitzsch to move towards Python 3. Meta-tickets: http://trac.sagemath.org/ticket/16052 http://trac.sagemath.org/ticket/15980 On Tuesday, September 2, 2014 5:07:09 PM UTC+1, wstein wrote: > > On Tue, Sep 2, 2014 at 8:41 AM, > > w

Re: [sage-devel] Re: One-click installer for Vbox+Sage

2014-09-02 Thread Emil Widmann
No I mean unix passwords are not known. Servers are not running by default. No open door that I know, no obvious way to get hacked easily. Not even me remember built in passwords. VM starts to desktop, so you can change unix passwords and start sage notebook/server with physical access, which wa

[sage-devel] Re: SAGE in the cloud and Python 3

2014-09-02 Thread William A Stein
On Tue, Sep 2, 2014 at 8:41 AM, wrote: > Hi William ! > When will SAGE be Python 3 compatible ? I tried with range and it’s still > Python 2… > Thanks, As far as I know, we currently have no specific concrete plans for transition sage from Python 2 to Python 3. I've cc'd the sage-devel list

Re: [sage-devel] Re: One-click installer for Vbox+Sage

2014-09-02 Thread Volker Braun
You mean the notebook password? I'm more worried about the unix user/root password in the VM. They can of course be changed with physical access but not in a particularly user-friendly way ;-) On Tuesday, September 2, 2014 3:48:04 PM UTC+1, Emil Widmann wrote: > > I used bridged network, becau

Re: [sage-devel] Re: Is 1 a prime power?

2014-09-02 Thread John Cremona
On 29 August 2014 12:32, Simon King wrote: > Hi John, > > On 2014-08-29, John Cremona wrote: >> 1 is definitely not a prime power. > > OEIS says it is: http://oeis.org/A000961 Not any more: http://oeis.org/A246655. The OEIS now distinguishes between "prime powers" and "powers of primes". Joh

[sage-devel] Re: tightpage=True gives error

2014-09-02 Thread Sébastien Labbé
With dot2tex-20120520 and sage-6.3, the command sage: view(Poset( ([1,2,3,4,5],[[1,2],[1,3],[3,4],[2,5],[4,5]]) ),tightpage=True) works for me. Sébastien -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop

[sage-devel] Re: tightpage=True gives error

2014-09-02 Thread Sébastien Labbé
What version of Sage? What version of dot2tex? What is the traceback (apparently, you can get it with %tb) ? Sébastien -- 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

Re: [sage-devel] Re: One-click installer for Vbox+Sage

2014-09-02 Thread Emil Widmann
I used bridged network, because I preconfigured a small sage server. Passwords are not known, but can be reset in the VM. Am Dienstag, 2. September 2014 13:42:20 UTC schrieb Volker Braun: > > That depends on whether the virtualbox networking is set to NAT or bridged > mode. > > I'm strongly in f

Re: [sage-devel] Re: One-click installer for Vbox+Sage

2014-09-02 Thread Volker Braun
That depends on whether the virtualbox networking is set to NAT or bridged mode. I'm strongly in favor of NAT as default when providing a VM with known password(s). Of course we could have a UI that locally asks for passwords and then changes them in the VM before making it available on the net

Re: [sage-devel] Re: Make ARM a supported platform

2014-09-02 Thread Jean-Pierre Flori
On Tuesday, September 2, 2014 3:13:09 PM UTC+2, mmarco wrote: > > >> You mean like using SAGE_ATLAS_LIB to avoid shipping a too optimized >> version of that lib? >> >> > My comment was more in the line of making sure that the resulting compiled > code does not use instructions that are not ava

Re: [sage-devel] Re: One-click installer for Vbox+Sage

2014-09-02 Thread mmarco
Does that show the IP from the point of view of the guest, or from the host? If the ports are correctly forwarded, localhost or 127.0.0.1 should work. El martes, 2 de septiembre de 2014 11:41:16 UTC+2, Emil Widmann escribió: > > Thanks for that line, looks promising! - you sure know your Vbox >

Re: [sage-devel] Re: Make ARM a supported platform

2014-09-02 Thread mmarco
> > > You mean like using SAGE_ATLAS_LIB to avoid shipping a too optimized > version of that lib? > > My comment was more in the line of making sure that the resulting compiled code does not use instructions that are not available at the raspberry pi processor. IIRC that means making sure that

Re: [sage-devel] error installing package ppl-1.1

2014-09-02 Thread Jeroen Demeyer
It looks like a problem with GLPK. Could you re-install glpk with $ ./sage -f glpk and then continue the build with $ make -- 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

Re: [sage-devel] error installing package ppl-1.1

2014-09-02 Thread Jeroen Demeyer
Please send the *whole* log file /home/paul.mercat/sage/logs/pkgs/ppl-1.1.log -- 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.c

[sage-devel] error installing package ppl-1.1

2014-09-02 Thread 'Paul Mercat' via sage-devel
Hi ! I have the following error during the compilation of sage : gcc -DHAVE_CONFIG_H -I. -I../.. -I../../interfaces/C -I/home/paul.mercat/sage/local/include -g -O2 -frounding-math -W -Wall -MT glpk_set_d_eps.o -MD -MP -MF .deps/glpk_set_d_eps.Tpo -c -o glpk_set_d_eps.o glpk_set_d_eps.c mv -

[sage-devel] Re: [sage-release] You don't really think that Sage has failed, do you? (a comment about it)

2014-09-02 Thread William A Stein
On Tuesday, September 2, 2014, Nicolas M. Thiery wrote: > On Fri, Aug 29, 2014 at 10:03:52AM -0700, Bill Hart wrote: > >To my knowledge, the European Union funding agencies did not have a > >significant stake in the origin and development of Sage, > > Indeed, and this is by design :-) > >

Re: [sage-devel] Re: [sage-release] You don't really think that Sage has failed, do you? (a comment about it)

2014-09-02 Thread Nicolas M. Thiery
On Fri, Aug 29, 2014 at 10:03:52AM -0700, Bill Hart wrote: >To my knowledge, the European Union funding agencies did not have a >significant stake in the origin and development of Sage, Indeed, and this is by design :-) Well, at least in my little world. My strategy has always been bottom

Re: [sage-devel] Re: [sage-release] You don't really think that Sage has failed, do you? (a comment about it)

2014-09-02 Thread Nicolas M. Thiery
On Thu, Aug 28, 2014 at 05:06:37PM +0530, Nicolas M. Thiery wrote: > On my side, I am going to coordinate a European grant application > (submission: January 2015) around the Sage ecosystem (including GAP, > Pari, ...), with main goal to fund a couple full time devs over the > next few years: > >

Re: [sage-devel] Re: One-click installer for Vbox+Sage

2014-09-02 Thread Emil Widmann
Thanks for that line, looks promising! - you sure know your Vbox commandline options. I am going to give that a try. cheers emil Am Dienstag, 2. September 2014 08:33:08 UTC+2 schrieb Jori Mantysalo: > > On Mon, 1 Sep 2014, Emil Widmann wrote: > > > Sure, more work is needed. > > > I just i

[sage-devel] tightpage=True gives error

2014-09-02 Thread Jori Mantysalo
On Mon, 1 Sep 2014, Travis Scrimshaw wrote: For example view(Poset( ([1,2,3,4,5], [[1,2],[1,3],[3,4],[2,5],[4,5]]) ), tightpage=True) does nothing. It takes a few seconds to feed it to my pdf viewer, but it works for me (and I have installed the dot2tex optional spkg).  Afte

Re: [sage-devel] Re: About docs (and code) of poset

2014-09-02 Thread Jori Mantysalo
On Tue, 2 Sep 2014, Nathann Cohen wrote: Because it is (mostly) irrelevant. Just as users should not be bothered by things like "There is a SSD disk in this computer" or "Calculations are actually executed on cloud" or "This mail was delivered with SMTP protocol". It's a point of faith, I b

Re: [sage-devel] Re: About docs (and code) of poset

2014-09-02 Thread Nathann Cohen
> Because it is (mostly) irrelevant. Just as users should not be bothered by > things like "There is a SSD disk in this computer" or "Calculations are > actually executed on cloud" or "This mail was delivered with SMTP protocol". It's a point of faith, I believe. I feel that we owe users a good

Re: [sage-devel] Re: About docs (and code) of poset

2014-09-02 Thread Jori Mantysalo
On Tue, 2 Sep 2014, Nathann Cohen wrote: But at least user should not see details like "There was an error in code three years ago. We show that it is corrected by...". Why shouldn't we see it ? Because it is (mostly) irrelevant. Just as users should not be bothered by things like "There i

Re: [sage-devel] Re: About docs (and code) of poset

2014-09-02 Thread Nathann Cohen
Y ! > I think that this is bad from user viewpoint. > > In the ideal world things would "just work". For a software like this it is > not possible --- there will always be notes of implemtation details and > limits of algorithms somewhere. But at least user should not see details > lik

Re: [sage-devel] Re: About docs (and code) of poset

2014-09-02 Thread Jori Mantysalo
On Tue, 2 Sep 2014, Nathann Cohen wrote: I would say that it should be the union of the two. Some examples are meant to the users, some are meant to test past bugs that we fixed, and we do not want to lose that. I think that this is bad from user viewpoint. In the ideal world things would "j

Re: [sage-devel] Re: About docs (and code) of poset

2014-09-02 Thread Nathann Cohen
Hello ! > And how is documentation supposed to be? > > As I said, has_top() has same examples. mobius_function(x, y) has one common > example. mobius_function_matrix() has totally different examples. > open_interval() has basically same example. I would say that it should be the union of the tw

Re: [sage-devel] Re: About docs (and code) of poset

2014-09-02 Thread Jori Mantysalo
On Tue, 2 Sep 2014, Nathann Cohen wrote: If there is a Poset function which is an exact copy of the HasseDiagram function, is there any reason for not removing the HasseDiagram one ? And how is documentation supposed to be? As I said, has_top() has same examples. mobius_function(x, y) has one

Re: [sage-devel] Re: About docs (and code) of poset

2014-09-02 Thread Nathann Cohen
> > My understanding is Hasse diagram is the back-end digraph for the poset >> and many of the methods don't want to be inherited/exposed. However I'm not >> completely sure why that particular the design decision was made. >> > If there is a Poset function which is an exact copy of the HasseDia