[jean.mic...@imj-prg.fr: Re: [sage-combinat-devel] weyl group element of E8 act on a positive root to get some partiular root but the below program shows error]

2014-09-02 Thread Jean Michel
Hello,
 On Mon, Aug 18, 2014 at 09:15:26AM -0700, Biswajit Ransingh wrote:
 W=WeylGroup(['E',8])
  
 R = RootSystem(['E',8]).root_lattice()
  
 alpha = R.simple_roots();alpha
  
 [w for w in W if w.action(alpha[1])==(alpha[1]+alpha[2])]
  
 Output shows : gap: cannot extend the workspace any more!

As explained, you cannot construct E8 in memory in GAP, it is too large.
However what you sem to want is easy both theoretically and in pratice.
What you seem to want is the coset of the fixator of the first root which
brings it to alpha1+alpha2.

I guess the indexing of simple roots is different in Chevie and Sage since
in Chevie alpha1+alpha2 is not a root but alpha1+alpha3 is.

gap W:=CoxeterGroup(E,8);
CoxeterGroup(E,8)
gap W.roots[10];
[ 0, 1, 0, 1, 0, 0, 0, 0 ]
gap RepresentativeOperation(W,1,10);
(  1, 10, 16,123, 23,  4)(  2, 11,137)(  3,143,124,121,130,136)(  5, 25, 19)
(  9,129)( 12, 30, 32, 24, 18, 44)( 13, 33, 27)( 17,122,131)( 20, 38, 40, 31,
  26, 51)( 21, 41, 35)( 28, 46, 49, 39, 34, 58)( 29, 50, 43)( 36, 54, 56, 47,
42, 65)( 48, 57)( 52, 69, 63)( 55, 64)( 59, 75, 70)( 61, 71)( 62, 72)
( 66, 80, 76)( 67, 81, 77)( 68, 78)( 73, 86, 83)( 74, 84)( 79, 91, 88)
( 82, 85, 93)( 87, 90, 98)( 89, 97)( 92, 95,102)( 94,101)( 96,100,105)
( 99,104)(103,107)(106,115,110,109,112,114)(111,113,116)(125,145,139)
(132,150,152,144,138,164)(133,153,147)(140,158,160,151,146,171)(141,161,155)
(148,166,169,159,154,178)(149,170,163)(156,174,176,167,162,185)(168,177)
(172,189,183)(175,184)(179,195,190)(181,191)(182,192)(186,200,196)
(187,201,197)(188,198)(193,206,203)(194,204)(199,211,208)(202,205,213)
(207,210,218)(209,217)(212,215,222)(214,221)(216,220,225)(219,224)(223,227)
(226,235,230,229,232,234)(231,233,236)

The above element sends the root no1 to root no10 which is alpha1+alha3

gap l:=Filtered([1..W.N],i-W.1^Reflection(W,i)=W.1);
[ 1, 2, 4, 5, 6, 7, 8, 10, 12, 13, 14, 15, 18, 20, 21, 22, 26, 28, 29, 34, 
  36, 42, 44, 51, 57, 58, 63, 64, 65, 69, 70, 71, 72, 75, 76, 77, 78, 80, 81, 
  82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 94, 95, 96, 99, 100, 103, 106, 
  114, 115, 116, 117, 118, 119, 120 ]
gap R:=ReflectionSubgroup(W,l);
ReflectionSubgroup(CoxeterGroup(E,8), [ 1, 2, 4, 5, 6, 7, 8, 44 ])

R is the subgroup generated by the roots orthogonal to alpha1 and s_alpha1

gap PrintDiagram(R);
A1 1
E7  44
|
8 - 7 - 6 - 5 - 4 - 2

It is A1 x E7

brk gap N:=Centralizer(W,W.1);
Subgroup( CoxeterGroup(E,8), 
[ (  8,239)( 15,238)( 22,237)( 29,236)( 36,235)( 42,234)( 43,233)( 47,232)
( 50,231)( 54,230)( 56,229)( 60,228)( 62,227)( 65,226)( 67,225)( 68,224)
( 72,223)( 73,222)( 74,221)( 77,220)( 78,219)( 79,218)( 81,216)( 83,215)
( 84,214)( 86,212)( 87,211)( 88,210)( 90,208)( 91,207)( 92,206)( 94,204)
( 95,203)( 96,201)( 98,199)( 99,198)(100,197)(101,194)(102,193)(103,192)
(104,188)(105,187)(106,185)(107,182)(108,180)(109,176)(110,174)(111,170)
(112,167)(113,163)(114,162)(115,156)(116,149)(117,142)(118,135)(119,128)
(120,240), (  7, 15)(  8,128)( 14, 22)( 21, 29)( 28, 36)( 34, 42)( 35, 43)
( 39, 47)( 41, 50)( 46, 54)( 49, 56)( 53, 60)( 55, 62)( 58, 65)( 59, 67)
( 61, 68)( 64, 72)( 66, 73)( 70, 77)( 71, 78)( 75, 81)( 76, 83)( 80, 86)
( 82, 87)( 85, 90)( 89, 94)( 93, 98)( 97,101)(119,120)(127,135)(134,142)
(141,149)(148,156)(154,162)(155,163)(159,167)(161,170)(166,174)(169,176)
(173,180)(175,182)(178,185)(179,187)(181,188)(184,192)(186,193)(190,197)
(191,198)(195,201)(196,203)(200,206)(202,207)(205,210)(209,214)(213,218)
(217,221)(239,240), (  7,238)(  8,120)( 14,237)( 21,236)( 28,235)( 34,234)
( 35,233)( 39,232)( 41,231)( 46,230)( 49,229)( 53,228)( 55,227)( 58,226)
( 59,225)( 61,224)( 64,223)( 66,222)( 70,220)( 71,219)( 74,217)( 75,216)
( 76,215)( 79,213)( 80,212)( 82,211)( 84,209)( 85,208)( 88,205)( 89,204)
( 91,202)( 92,200)( 93,199)( 95,196)( 96,195)( 97,194)( 99,191)(100,190)
(102,186)(103,184)(104,181)(105,179)(106,178)(107,175)(108,173)(109,169)
(110,166)(111,161)(112,159)(113,155)(114,154)(115,148)(116,141)(117,134)
(118,127)(119,239)(128,240), (  6, 14)(  7,127)(  8, 15)( 13, 21)( 20, 28)
( 26, 34)( 27, 35)( 31, 39)( 33, 41)( 38, 46)( 40, 49)( 45, 53)( 48, 55)
( 51, 58)( 52, 59)( 57, 64)( 63, 70)( 68, 74)( 69, 75)( 73, 79)( 78, 84)
( 83, 88)( 86, 91)( 87, 92)( 90, 95)( 94, 99)( 98,102)(101,104)(118,119)
(126,134)(128,135)(133,141)(140,148)(146,154)(147,155)(151,159)(153,161)
(158,166)(160,169)(165,173)(168,175)(171,178)(172,179)(177,184)(183,190)
(188,194)(189,195)(193,199)(198,204)(203,208)(206,211)(207,212)(210,215)
(214,219)(218,222)(221,224)(238,239), (  5, 13)(  6,126)(  7, 14)( 12, 20)
( 15, 22)( 18, 26)( 19, 27)( 24, 31)( 25, 33)( 30, 38)( 32, 40)( 37, 45)
( 44, 51)( 55, 61)( 59, 66)( 62, 68)( 64, 71)( 67, 73)( 70, 76)( 72, 78)
( 75, 80)( 77, 83)( 81, 86)( 92, 96)( 95,100)( 99,103)(102,105)(104,107)

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

2014-09-02 Thread Jori Mantysalo

On Mon, 1 Sep 2014, Emil Widmann wrote:


Sure, more work is needed.



I just included the vanilla vbox installer and thought some verbosity might
be good for a prototype (back in 2011).
I have a different setup of the network, so localhost:8080 may not work.


If virtual machine has additions installed, then

VBoxManage guestproperty get VM name /VirtualBox/GuestInfo/Net/0/V4/IP

will show IP, like

Value: 10.0.2.15

In Linux we could do something like firefox $(VBoxManage... | cut -f 2 -d 
' '):8080, but is it possible with only .bat files on Windows? If not, 
then we need few lines of C (or something) to get this done.


--
Jori Mäntysalo

--
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 http://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.


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 HasseDiagram 
function, is there any reason for not removing the HasseDiagram one ?

This class does not seem to be instanciated on its own.

Nathann 

-- 
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 http://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.


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 
common example. mobius_function_matrix() has totally different examples. 
open_interval() has basically same example.


--
Jori Mäntysalo

--
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 http://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.


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 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. So if only one function remains, all
examples should stay in Sage.

Nathann

-- 
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 http://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.


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 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 
like There was an error in code three years ago. We show that it is 
corrected by


--
Jori Mäntysalo

--
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 http://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.


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
 like There was an error in code three years ago. We show that it is
 corrected by

Why shouldn't we see it ?

Nathann

-- 
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 http://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.


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 is a SSD disk in this computer or Calculations are 
actually executed on cloud or This mail was delivered with SMTP 
protocol.


--
Jori Mäntysalo

--
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 http://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.


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 and
simple interface, but our code contains bugs and we do fix them, and
letting them know that is not a sin. There was a recent thread,
however, were some developpers raised the same points and wanted the
TESTS field (the place where we store those checks) to be hidden
from the final doc. Either way, we (as developpers) should keep those
things along, and independently of whether users should see them or
not, it should not leave Sage's source code.

Nathann

-- 
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 http://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.


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 believe. I feel that we owe users a good and
simple interface, but our code contains bugs and we do fix them, and
letting them know that is not a sin. There was a recent thread,
however, were some developpers raised the same points and wanted the
TESTS field (the place where we store those checks) to be hidden
from the final doc. Either way, we (as developpers) should keep those
things along, and independently of whether users should see them or
not, it should not leave Sage's source code.


+1 to TESTS.

In the ideal world there would be different levels of documentation. 
Something like


Use Matrix(...) to create matrix. For example Matrix([[1,2],[3,4]]). 
Click here for more options.


and after clicking user would find for example sparce-option. But of 
course developers time is finite resource, so I don't except this kind of 
stuff to be done within several years.


--
Jori Mäntysalo

--
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 http://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.


[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). 


After installing dot2tex to sage on local machine the command says

An exception has occurred, use %tb to see the full traceback.

SystemExit: 1

To exit: use 'exit', 'quit', or Ctrl-D.

--
Jori Mäntysalo

--
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 http://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.


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 included the vanilla vbox installer and thought some verbosity 
 might 
  be good for a prototype (back in 2011). 
  I have a different setup of the network, so localhost:8080 may not work. 

 If virtual machine has additions installed, then 

 VBoxManage guestproperty get VM name /VirtualBox/GuestInfo/Net/0/V4/IP 

 will show IP, like 

 Value: 10.0.2.15 

 In Linux we could do something like firefox $(VBoxManage... | cut -f 2 -d 
 ' '):8080, but is it possible with only .bat files on Windows? If not, 
 then we need few lines of C (or something) to get this done. 

 -- 
 Jori Mäntysalo 


-- 
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 http://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.


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:
 
   https://github.com/sagemath/grant-europe

...

Thanks everyone for your feedback, insight, and food for thought!

Cheers,
Nicolas
--
Nicolas M. Thiéry Isil nthi...@users.sf.net
http://Nicolas.Thiery.name/

-- 
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 http://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.


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-up. First get people to do the actual work. Then, as minimally
needed, look for funding. For its first ten years, *-Combinat was only
funded indirectly through research grants that had some computational
aspects.

In general, the Sage ecosystem has progressively grown big in Europe
with little direct funding. Now we have reached a point where it's
time to change that!

Cheers,
Nicolas
--
Nicolas M. Thiéry Isil nthi...@users.sf.net
http://Nicolas.Thiery.name/

-- 
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 http://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.


[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 nicolas.thi...@u-psud.fr
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 :-)

 Well, at least in my little world. My strategy has always been
 bottom-up. First get people to do the actual work. Then, as minimally
 needed, look for funding. For its first ten years, *-Combinat was only
 funded indirectly through research grants that had some computational
 aspects.

 In general, the Sage ecosystem has progressively grown big in Europe
 with little direct funding. Now we have reached a point where it's
 time to change that!



Exactly!!



 Cheers,
 Nicolas
 --
 Nicolas M. Thiéry Isil nthi...@users.sf.net javascript:;
 http://Nicolas.Thiery.name/

 --
 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 javascript:;.
 To post to this group, send email to sage-devel@googlegroups.com
 javascript:;.
 Visit this group at http://groups.google.com/group/sage-devel.
 For more options, visit https://groups.google.com/d/optout.



-- 
William Stein
Professor of Mathematics
University of Washington
http://wstein.org
wst...@uw.edu

-- 
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 http://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.


[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 -f .deps/glpk_set_d_eps.Tpo .deps/glpk_set_d_eps.Po
rm -f libglpk_set_d_eps.a
ar cru libglpk_set_d_eps.a glpk_set_d_eps.o 
ranlib libglpk_set_d_eps.a
gcc -DHAVE_CONFIG_H -I. -I../..  -I../../interfaces/C 
-I/home/paul.mercat/sage/local/include  -pedantic -std=gnu89 -g -O2 
-frounding-math  -W -Wall -MT ppl_lpsol-ppl_lpsol.o -MD -MP -MF 
.deps/ppl_lpsol-ppl_lpsol.Tpo -c -o ppl_lpsol-ppl_lpsol.o `test -f 
'ppl_lpsol.c' || echo './'`ppl_lpsol.c
ppl_lpsol.c: In function 'maybe_check_results':
ppl_lpsol.c:595:5: warning: implicit declaration of function 'glp_exact' 
[-Wimplicit-function-declaration]
ppl_lpsol.c: In function 'solve':
ppl_lpsol.c:1038:3: error: unknown type name 'glp_mpscp'
ppl_lpsol.c:1041:3: warning: implicit declaration of function 
'glp_init_mpscp' [-Wimplicit-function-declaration]
ppl_lpsol.c:1054:3: warning: implicit declaration of function 
'glp_read_mps' [-Wimplicit-function-declaration]
ppl_lpsol.c:1054:29: error: 'GLP_MPS_FILE' undeclared (first use in this 
function)
ppl_lpsol.c:1054:29: note: each undeclared identifier is reported only once 
for each function it appears in
make[8]: *** [ppl_lpsol-ppl_lpsol.o] Error 1
make[8]: Leaving directory 
`/home/paul.mercat/sage/local/var/tmp/sage/build/ppl-1.1/src/demos/ppl_lpsol'
make[7]: *** [all-recursive] Error 1
make[7]: Leaving directory 
`/home/paul.mercat/sage/local/var/tmp/sage/build/ppl-1.1/src/demos/ppl_lpsol'
make[6]: *** [all-recursive] Error 1
make[6]: Leaving directory 
`/home/paul.mercat/sage/local/var/tmp/sage/build/ppl-1.1/src/demos'
make[5]: *** [all-recursive] Error 1
make[5]: Leaving directory 
`/home/paul.mercat/sage/local/var/tmp/sage/build/ppl-1.1/src'
make[4]: *** [all] Error 2
make[4]: Leaving directory 
`/home/paul.mercat/sage/local/var/tmp/sage/build/ppl-1.1/src'
Error building the Parma Polyhedra Library.

real 8m29.527s
user 7m28.497s
sys 0m26.911s

Error installing package ppl-1.1

Please email sage-devel (http://groups.google.com/group/sage-devel)
explaining the problem and including the relevant part of the log file
  /home/paul.mercat/sage/logs/pkgs/ppl-1.1.log
Describe your computer, operating system, etc.
If you want to try to fix the problem yourself, *don't* just cd to
/home/paul.mercat/sage/local/var/tmp/sage/build/ppl-1.1 and type 'make' or 
whatever is appropriate.
Instead, the following commands setup all environment variables
correctly and load a subshell for you to debug the error:
  (cd '/home/paul.mercat/sage/local/var/tmp/sage/build/ppl-1.1'  
'/home/paul.mercat/sage/sage' --sh)
When you are done debugging, you can type exit to leave the subshell.

make[3]: *** [/home/paul.mercat/sage/local/var/lib/sage/installed/ppl-1.1] 
Error 1
make[3]: Leaving directory `/home/paul.mercat/sage/build'
make[2]: *** [toolchain-deps] Error 2
make[2]: Leaving directory `/home/paul.mercat/sage/build'
make[1]: *** [all] Error 2
make[1]: Leaving directory `/home/paul.mercat/sage/build'

real 85m52.764s
user 68m37.669s
sys 8m0.649s
***
Error building Sage.

The following package(s) may have failed to build:

package: ppl-1.1
log file: /home/paul.mercat/sage/logs/pkgs/ppl-1.1.log
build directory: /home/paul.mercat/sage/local/var/tmp/sage/build/ppl-1.1

The build directory may contain configuration files and other potentially
helpful information. WARNING: if you now run 'make' again, the build
directory will, by default, be deleted. Set the environment variable
SAGE_KEEP_BUILT_SPKGS to 'yes' to prevent this.

make: *** [build] Error 1

-

et voici ce que donne la commande :
*[paul.mercat@octopus ~/sage]$ cat /proc/cpuinfo*
*processor : 0*
*vendor_id : GenuineIntel*
*cpu family : 6*
*model : 26*
*model name : Intel(R) Xeon(R) CPU   X5570  @ 2.93GHz*
*stepping : 5*
*cpu MHz : 1600.000*
*cache size : 8192 KB*
*physical id : 0*
*siblings : 4*
*core id : 0*
*cpu cores : 4*
*apicid : 0*
*fpu : yes*
*fpu_exception : yes*
*cpuid level : 11*
*wp : yes*
*flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat 
pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm 
constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr 
sse4_1 sse4_2 popcnt lahf_lm*
*bogomips : 5867.08*
*clflush size : 64*
*cache_alignment : 64*
*address sizes : 40 bits physical, 48 bits virtual*
*power management: [8]*

*processor : 1*
*vendor_id : GenuineIntel*
*cpu family : 6*
*model : 26*
*model name 

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.com.
To post to this group, send email to sage-devel@googlegroups.com.
Visit this group at http://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.


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 email 
to sage-devel+unsubscr...@googlegroups.com.
To post to this group, send email to sage-devel@googlegroups.com.
Visit this group at http://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.


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 we compile for ARMv6 (although 
the raspberry pi has some more instructions than the plain ARMv6)

-- 
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 http://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.


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 
 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 included the vanilla vbox installer and thought some verbosity 
 might 
  be good for a prototype (back in 2011). 
  I have a different setup of the network, so localhost:8080 may not 
 work. 

 If virtual machine has additions installed, then 

 VBoxManage guestproperty get VM name 
 /VirtualBox/GuestInfo/Net/0/V4/IP 

 will show IP, like 

 Value: 10.0.2.15 

 In Linux we could do something like firefox $(VBoxManage... | cut -f 2 
 -d 
 ' '):8080, but is it possible with only .bat files on Windows? If not, 
 then we need few lines of C (or something) to get this done. 

 -- 
 Jori Mäntysalo 



-- 
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 http://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.


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 available at the raspberry pi 
 processor. IIRC that means making sure that we compile for ARMv6 (although 
 the raspberry pi has some more instructions than the plain ARMv6)

I don't agree.
More precisely, we should definitely have an ARMv7+ version.
Having an additional ARMv6 version targetting Raspberry Pis would be nice.
In my experience, the only realy issue with the RPi is the limited amount 
of RAM which enforces you to mount a swap partition for some big 
compilation not to fail (I'd say linbox)... and it takes a very long time.
Even ATLAS should compile fine.

-- 
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 http://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.


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 network, 
but thats probably for later.


On Tuesday, September 2, 2014 2:19:33 PM UTC+1, mmarco wrote:

 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 
 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 included the vanilla vbox installer and thought some verbosity 
 might 
  be good for a prototype (back in 2011). 
  I have a different setup of the network, so localhost:8080 may not 
 work. 

 If virtual machine has additions installed, then 

 VBoxManage guestproperty get VM name 
 /VirtualBox/GuestInfo/Net/0/V4/IP 

 will show IP, like 

 Value: 10.0.2.15 

 In Linux we could do something like firefox $(VBoxManage... | cut -f 2 
 -d 
 ' '):8080, but is it possible with only .bat files on Windows? If not, 
 then we need few lines of C (or something) to get this done. 

 -- 
 Jori Mäntysalo 



-- 
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 http://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.


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 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 network, 
 but thats probably for later.


 On Tuesday, September 2, 2014 2:19:33 PM UTC+1, mmarco wrote:

 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 
 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 included the vanilla vbox installer and thought some verbosity 
 might 
  be good for a prototype (back in 2011). 
  I have a different setup of the network, so localhost:8080 may not 
 work. 

 If virtual machine has additions installed, then 

 VBoxManage guestproperty get VM name 
 /VirtualBox/GuestInfo/Net/0/V4/IP 

 will show IP, like 

 Value: 10.0.2.15 

 In Linux we could do something like firefox $(VBoxManage... | cut -f 2 
 -d 
 ' '):8080, but is it possible with only .bat files on Windows? If not, 
 then we need few lines of C (or something) to get this done. 

 -- 
 Jori Mäntysalo 



-- 
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 http://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.


[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 
to sage-devel+unsubscr...@googlegroups.com.
To post to this group, send email to sage-devel@googlegroups.com.
Visit this group at http://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.


[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 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 http://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.


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

2014-09-02 Thread John Cremona
On 29 August 2014 12:32, Simon King simon.k...@uni-jena.de wrote:
 Hi John,

 On 2014-08-29, John Cremona john.crem...@gmail.com 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.

John


 It's basically the same reason that 1
 is not a prime.

 It's basically the same reason that the empty product evaluates to 1.

 Best regards,
 Simon

 --
 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 http://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 http://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.


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, 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 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 network, 
 but thats probably for later.


 On Tuesday, September 2, 2014 2:19:33 PM UTC+1, mmarco wrote:

 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 
 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 included the vanilla vbox installer and thought some 
 verbosity might 
  be good for a prototype (back in 2011). 
  I have a different setup of the network, so localhost:8080 may not 
 work. 

 If virtual machine has additions installed, then 

 VBoxManage guestproperty get VM name 
 /VirtualBox/GuestInfo/Net/0/V4/IP 

 will show IP, like 

 Value: 10.0.2.15 

 In Linux we could do something like firefox $(VBoxManage... | cut -f 
 2 -d 
 ' '):8080, but is it possible with only .bat files on Windows? If 
 not, 
 then we need few lines of C (or something) to get this done. 

 -- 
 Jori Mäntysalo 



-- 
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 http://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.


[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,  jean-paul@unice.fr 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 in case there's something brewing.

You could use command-line Python 3 in a terminal on SMC by creating a
terminal then typing python3.

 -- William

-- 
William Stein
Professor of Mathematics
University of Washington
http://wstein.org
wst...@uw.edu

-- 
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 http://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.


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 was the planned use case.
Sage notebook admin password is asked for at first start, nothing built in.
But this is an old version and design choices may vary.

Whenever building a new VM it may be NAT and headless, as easy as possible, 
windows friendly. Nothing to be scared.
kind regards

On Tuesday, September 2, 2014 3:03:39 PM UTC, Volker Braun wrote:

 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, 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 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 network, 
 but thats probably for later.


 On Tuesday, September 2, 2014 2:19:33 PM UTC+1, mmarco wrote:

 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 
 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 included the vanilla vbox installer and thought some 
 verbosity might 
  be good for a prototype (back in 2011). 
  I have a different setup of the network, so localhost:8080 may not 
 work. 

 If virtual machine has additions installed, then 

 VBoxManage guestproperty get VM name 
 /VirtualBox/GuestInfo/Net/0/V4/IP 

 will show IP, like 

 Value: 10.0.2.15 

 In Linux we could do something like firefox $(VBoxManage... | cut -f 
 2 -d 
 ' '):8080, but is it possible with only .bat files on Windows? If 
 not, 
 then we need few lines of C (or something) to get this done. 

 -- 
 Jori Mäntysalo 



-- 
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 http://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.


[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,  jean-p...@unice.fr javascript: 
 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 in case there's something brewing. 

 You could use command-line Python 3 in a terminal on SMC by creating a 
 terminal then typing python3. 

  -- William 

 -- 
 William Stein 
 Professor of Mathematics 
 University of Washington 
 http://wstein.org 
 wst...@uw.edu javascript: 


-- 
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 http://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.


[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://trac.sagemath.org/ticket/15980




-- Forwarded message --
From:  jean-paul@unice.fr
Date: Tue, Sep 2, 2014 at 9:12 AM
Subject: Re: SAGE in the cloud and Python 3
To: William A Stein wst...@uw.edu


Ok, but I saw that SciPy and Numpy were Py3 compatible now :
  http://www.scipy.org/scipylib/faq.html#do-numpy-and-scipy-support-python-3-x
So, why ? Isn’t Py3 the obvious future of Python ? Most universities
here teach Python 3.
Thanks,

-jpr

Le 2 sept. 2014 à 18:06, William A Stein wst...@uw.edu a écrit :

 On Tue, Sep 2, 2014 at 8:41 AM,  jean-paul@unice.fr 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 in case there's something brewing.

 You could use command-line Python 3 in a terminal on SMC by creating a
 terminal then typing python3.

 -- William

 --
 William Stein
 Professor of Mathematics
 University of Washington
 http://wstein.org
 wst...@uw.edu




-- 
William Stein
Professor of Mathematics
University of Washington
http://wstein.org
wst...@uw.edu

-- 
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 http://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.


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)
ipython-input-1-85f5f0a44709 in module()
 1 O(Integer(7)**Integer(0))

/usr/local/sage/sage-current/local/lib/python2.7/site-packages/sage/rings/big_oh.pyc
 
in O(*x)
 84 F = arith.factor(x)
 85 if len(F) != 1:
--- 86 raise ArithmeticError(x must be prime power)
 87 p, r = F[0]
 88 if r = 0:

ArithmeticError: x must be prime power


On Tuesday, 2 September 2014 17:02:45 UTC+2, John Cremona wrote:

 On 29 August 2014 12:32, Simon King simon...@uni-jena.de javascript: 
 wrote: 
  Hi John, 
  
  On 2014-08-29, John Cremona john.c...@gmail.com javascript: 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. 

 John 

  
  It's basically the same reason that 1 
  is not a prime. 
  
  It's basically the same reason that the empty product evaluates to 1. 
  
  Best regards, 
  Simon 
  
  -- 
  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 javascript:. 
  To post to this group, send email to sage-...@googlegroups.com 
 javascript:. 
  Visit this group at http://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 http://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.


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 not use instructions that are not available at the raspberry pi
processor. IIRC that means making sure that we compile for ARMv6 (although
the raspberry pi has some more instructions than the plain ARMv6)


I don't agree.
More precisely, we should definitely have an ARMv7+ version.
Having an additional ARMv6 version targetting Raspberry Pis would be nice.
In my experience, the only realy issue with the RPi is the limited amount
of RAM which enforces you to mount a swap partition for some big
compilation not to fail (I'd say linbox)... and it takes a very long time.
Even ATLAS should compile fine.



Whatever we have, there should be more recent bdist tarballs available...

Snark on #sagemath

--
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 http://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.


[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 not figure out how to use this string to create a DIMACS
instance. Looking at the DIMACS class, it seems there are only methods
to write DIMACS files, but i could not find anything to read such files.

Any hint ?

Ciao,
Thierry

-- 
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 http://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.


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 :
  Please send the *whole* log file
  /home/paul.mercat/sage/logs/pkgs/ppl-1.1.log

I think the obvious problem is that we are picking the wrong
version of glpk. Do you have glpk installed on the system in
either /usr (from a rpm) or /usr/local?
We may also want to look at 
/home/paul.mercat/sage/local/var/tmp/sage/build/ppl-1.1/config.log

Francois

-- 
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 http://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.


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 at 3:22 PM, Alexander Konovalov
alexander.konova...@gmail.com wrote:
 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
 alexander...@gmail.com wrote:
  On Friday, August 29, 2014 8:06:33 AM UTC+1, Stein William wrote:
   There are a large number of packages here.
 
  
 
 http://www.gap-system.org/Packages/packages.html
 
  
 
   Which ones should I install?  All of them?  Some of them?
 
  
 
   Can you ask at the meeting?
 
 
 
  Do you know if I could install *all* of them, or do some change
 
  behavior of Gap and interfere with others?  Or, like with Python,
 
  possibly increase startup time.
 
 
  Installing all packages will not increase GAP startup time, since they
  are not loaded (it's not a good idea to load all packages simultaneously).
  It will only increase the disk space used by GAP. OTOH, the user will be
  able to use GAP help system to search across manuals of ALL packages
  installed on the system.
 
  Then, since the same packages will be loaded after default GAP startup,
  the user will have the same experience in both cases.
 
  Furthermore, testing the GAP distribution, we ensure that this
  particular set of packages is fitting together, so I'd not guarantee that
  tearing it apart will not cause any side effects.
 

 Can I use BOB to install all the accepted GAP packages into an
 existing GAP install?   It seems to me that BOB both builds GAP and
 installs all packages into that GAP.  I don't want that -- I instead
 want to use the GAP I built as part of Sage.

 Also, in general, my understanding is that installing a GAP package is
 explained here

http://www.gap-system.org/Manuals/doc/ref/chap76.html#X7B6CD527825945CD

 and basically that says to download the package, extract it, and
 read/guess/etc. what to do next.  In particular, what to do can be
 anything from nothing, to really complicated, and there's no single
 script to just run.  I was expecting that I could just make a list of
 packages and type something like

 gap -i names of packages ...

 and it would install all of them, like every other package system I've
 ever used does (e.g., R, Pypi, Sage's, npm, and many others).  If
 BOB can basically do exactly this, then that's very, very cool and a
 great contribution to GAP.   If you could quickly summarize the
 situation about what BOB can actually do with an existing GAP install,
 it would be greatly appreciated.   (I haven't just tried diving into
 BOB due to lack of time.)

 Thanks,

  -- William


 Thank you for questions. At the moment, BOB performs a new install, so it's
 not suitable to update an existing GAP installation. That is a suggestion
 for the future perhaps, for BOB or for any other package manager for GAP
 that may appear. I was recommending BOB in response to Samuel saying ...
 alternatively, would it be possible to have a separate full GAP install?.
 If you prefer just to add some more packages to the GAP version that is
 built as part of Sage, and do not want all of them for some reasons, then it
 would be great at least to ensure that all packages listed under the
 'PackagesToLoad' user preference in lib/package.gi are included:

   default:= [ autpgrp, alnuth, crisp, ctbllib, factint, fga,
   irredsol, laguna, polenta, polycyclic, resclasses,
   sophus, tomlib ],


 But the actual list will be larger, since these default packages have some
 dependencies, as can be seen from the GAP startup information:

  ┌───┐   GAP, Version 4.7.5 of 24-May-2014 (free software, GPL)
  │  GAP  │   http://www.gap-system.org
  └───┘   Architecture: x86_64-unknown-linux-gnu-gcc-default64
  Libs used:  gmp, readline
  Loading the library and packages ...
  Components: trans 1.0, prim 2.1, small* 1.0, id* 1.0
  Packages:   AClib 1.2, Alnuth 3.0.0, AtlasRep 1.5.0, AutPGrp 1.6,
  Browse 1.8.5, Carat 2.1.4, CRISP 1.3.8, Cryst 4.1.12,
  CrystCat 1.1.6, CTblLib 1.2.2, FactInt 1.5.3, FGA 1.2.0,
  GAPDoc 1.5.1, IO 4.3.1, IRREDSOL 1.2.4, LAGUNA 3.6.4,
  Polenta 1.3.2, Polycyclic 2.11, RadiRoot 2.7, ResClasses 3.3.2,
  Sophus 1.23, SpinSym 1.5, TomLib 1.2.4
  Try '?help' for help. See also  '?copyright' and  '?authors'
 gap


 Ideally, starting GAP from Sage, one should be able to see the same.

 Best regards

 Alexander





 --
 You received this message because you are subscribed to the Google Groups
 sage-devel group.
 To unsubscribe from this group 

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
francois.bis...@canterbury.ac.nz 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 ages. I have now trimmed things a little bit
 but it still take ages - but still an improvement.

 I had to very quickly blacklist xgap, removing it altogether. In gap 4.5.x
 it would automatically load when gap was started in sage and cause sage to
 hang. It took us a little while to pinpoint it.
 https://github.com/cschwan/sage-on-gentoo/issues/189
 in particular
 https://github.com/cschwan/sage-on-gentoo/issues/189#issuecomment-12587392

 Installing the rest had an effect on a couple of doctests if I remember
 correctly but nothing dramatic.

Wow, many thanks for sharing your experience!

 -- William


 Francois

 On Tue, 02 Sep 2014 15:22:21 Alexander Konovalov wrote:
 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
 
  alexander...@gmail.com javascript: wrote:
   On Friday, August 29, 2014 8:06:33 AM UTC+1, Stein William wrote:
There are a large number of packages here.
   
  http://www.gap-system.org/Packages/packages.html
   
Which ones should I install?  All of them?  Some of them?
   
   
   
Can you ask at the meeting?
  
   Do you know if I could install *all* of them, or do some change
  
   behavior of Gap and interfere with others?  Or, like with Python,
  
   possibly increase startup time.
  
   Installing all packages will not increase GAP startup time, since they
 
  are not loaded (it's not a good idea to load all packages simultaneously).
  It will only increase the disk space used by GAP. OTOH, the user will be
  able to use GAP help system to search across manuals of ALL packages
  installed on the system.
 
   Then, since the same packages will be loaded after default GAP startup,
 
  the user will have the same experience in both cases.
 
   Furthermore, testing the GAP distribution, we ensure that this
 
  particular set of packages is fitting together, so I'd not guarantee that
  tearing it apart will not cause any side effects.
 
 
  Can I use BOB to install all the accepted GAP packages into an
  existing GAP install?   It seems to me that BOB both builds GAP and
  installs all packages into that GAP.  I don't want that -- I instead
  want to use the GAP I built as part of Sage.
 
  Also, in general, my understanding is that installing a GAP package is
  explained here
 
 http://www.gap-system.org/Manuals/doc/ref/chap76.html#X7B6CD527825945CD
 
  and basically that says to download the package, extract it, and
  read/guess/etc. what to do next.  In particular, what to do can be
  anything from nothing, to really complicated, and there's no single
  script to just run.  I was expecting that I could just make a list of
  packages and type something like
 
  gap -i names of packages ...
 
  and it would install all of them, like every other package system I've
  ever used does (e.g., R, Pypi, Sage's, npm, and many others).  If
  BOB can basically do exactly this, then that's very, very cool and a
  great contribution to GAP.   If you could quickly summarize the
  situation about what BOB can actually do with an existing GAP install,
  it would be greatly appreciated.   (I haven't just tried diving into
  BOB due to lack of time.)
 
  Thanks,
 
   -- William

 Thank you for questions. At the moment, BOB performs a new install, so it's
 not suitable to update an existing GAP installation. That is a suggestion
 for the future perhaps, for BOB or for any other package manager for GAP
 that may appear. I was recommending BOB in response to Samuel saying ...
 alternatively, would it be possible to have a separate full GAP install?.
 If you prefer just to add some more packages to the GAP version that is
 built as part of Sage, and do not want all of them for some reasons, then
 it would be great at least to ensure that all packages listed under the
 'PackagesToLoad' user preference in lib/package.gi are included:

   default:= [ autpgrp, alnuth, crisp, ctbllib, factint, fga,
   irredsol, laguna, polenta, polycyclic, resclasses,
   sophus, tomlib ],


 But the actual list will be larger, since these default packages have some
 dependencies, as can be seen from the GAP startup information:
  ┌───┐   GAP, Version 4.7.5 of 24-May-2014 (free software, GPL)
  │  GAP  │   http://www.gap-system.org
  └───┘   Architecture: x86_64-unknown-linux-gnu-gcc-default64
  Libs used:  gmp, readline
  Loading the library and packages ...
  Components: trans 1.0, prim 2.1, small* 1.0, id* 1.0
  

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 francois.bis...@canterbury.ac.nz 
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 ages. I have now trimmed things a little bit
  but it still take ages - but still an improvement.
 
 Thanks, François. Would be interested to know what takes particularly long
 time there.
 
One aspect here is probably Gentoo specific, there are a lot of small files
and they all have to be indexed by the package manager before being installed.
The point between the compilation and copying gap onto the system proper is
what takes time. Apart from the indexing issue I suspect one the helper
from portage (the system package manager) is suboptimal for that particular
use case.
If gap had a proper make install target (that respect DESTDIR) it may
improve the install time greatly.

Francois

-- 
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 http://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.


[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: 

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).  

 After installing dot2tex to sage on local machine the command says 

 An exception has occurred, use %tb to see the full traceback. 

 SystemExit: 1 

 To exit: use 'exit', 'quit', or Ctrl-D. 

 -- 
 Jori Mäntysalo 


-- 
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 http://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.