Re: [sage-devel] add curl as a standard package

2016-10-24 Thread Dima Pasechnik


On Monday, October 24, 2016 at 9:45:18 PM UTC, Emmanuel Charpentier wrote:
>
> Okay. I I have followed you correctly, we have two (mutually incompatible) 
> options :
>
>
>- (Dima's option) : package curl, pcre and xz as standard packages, 
>and make R depend on them (unconditionnally).
>- (Jean-Pierre option) : add tjem to Sage's core, but build them if 
>and only if they are not installed systemwide (= useable at Sage's compile 
>time) ; do this before trying to build R.
>
> The first option is extremely simple and failsafe. The cost is about 15 MB 
> (sum of all installed files in a temporary "prefix" directory, without 
> shaving anything) and about 3 minutes of compilation time (no parallelism 
> used). We might shave 4,9 MB of docs (local/share/(doc|man). Binaries are  
> about 0.9MB. The total potential cots (sum of sizes of the three build 
> directories) is 89 MB (= potential cost if the three build directories ate 
> kept after building i. e. for debugging purposes).
>

I don't really follow you: note that gcc is also a standard package, but it 
only really gets installed if the system gcc is 
not good enough. That is to say, if curl, pcre, and xz are available 
system-wide, Sage should not try to install them,
no megabytes used...
 

>
> The second one requires hacking the main Sage configuration. I do not feel 
> currently quite at ease with this one, but I'm just reading the relevant 
> docs. I have no idea of the potential costs, save for what can be deduced 
> from the costs of Dima's options.
>
> The first option is compatible with the "batteries included" philosophy 
> flaunted by Sage. are the potential 10-15 MB savings worth of hacking the 
> main Sage config file ?
>
> Your advice ?
>
> --
> Emmanuel Charpentier
>
>

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


Re: [sage-devel] add curl as a standard package

2016-10-24 Thread Emmanuel Charpentier
Okay. I I have followed you correctly, we have two (mutually incompatible) 
options :


   - (Dima's option) : package curl, pcre and xz as standard packages, and 
   make R depend on them (unconditionnally).
   - (Jean-Pierre option) : add tjem to Sage's core, but build them if and 
   only if they are not installed systemwide (= useable at Sage's compile 
   time) ; do this before trying to build R.

The first option is extremely simple and failsafe. The cost is about 15 MB 
(sum of all installed files in a temporary "prefix" directory, without 
shaving anything) and about 3 minutes of compilation time (no parallelism 
used). We might shave 4,9 MB of docs (local/share/(doc|man). Binaries are  
about 0.9MB. The total potential cots (sum of sizes of the three build 
directories) is 89 MB (= potential cost if the three build directories ate 
kept after building i. e. for debugging purposes).

The second one requires hacking the main Sage configuration. I do not feel 
currently quite at ease with this one, but I'm just reading the relevant 
docs. I have no idea of the potential costs, save for what can be deduced 
from the costs of Dima's options.

The first option is compatible with the "batteries included" philosophy 
flaunted by Sage. are the potential 10-15 MB savings worth of hacking the 
main Sage config file ?

Your advice ?

--
Emmanuel Charpentier

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


Re: [sage-devel] Error installing package iml-1.0.4p1.p1

2016-10-24 Thread Jeroen Demeyer

On 2016-10-24 18:41, tieno...@gmail.com wrote:

Thank you for the advise. Just one question. How can I debug with the
sage subshell? How is it possible to use it?


The idea is to manually run things like configure or make (inside the 
package build directory, which is in local/var/tmp/sage/build) and see 
what is going on.


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


Re: [sage-devel] add curl as a standard package

2016-10-24 Thread Jeroen Demeyer

On 2016-10-24 18:39, Emmanuel Charpentier wrote:

Bonus question for the build system experts : can an spkg-install script
recursively call $SAGE_ROOT/sage -i  and get the
return status back ? A simple solution would then be to test for the
existence of the relevant binaries/executables in the R spkg-install
script, and recursively install the (optional) relevant packages before
proceeding to install R.

What do you think ?


Bad idea. Use the top-level configure for that.

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


[sage-devel] Re: add pcre as a standard package

2016-10-24 Thread Dima Pasechnik


On Monday, October 24, 2016 at 4:35:32 PM UTC, Emmanuel Charpentier wrote:
>
> Le lundi 24 octobre 2016 16:14:29 UTC+2, Dima Pasechnik a écrit :
>>
>> +1
>>
>> IMHO we don't really have to vote on it, as this is basically splitting 
>> of a standard package into several,
>> as enforced by upstream.
>>
>
> Indeed. However, the suggestion made on the similar stream on curl (i. e. 
> install only if not installed systemwide) is interesting. It taxes my 
> (admittedly limited) knowledge of the Unix configure tools (and autotools), 
> but it's worth a try.
>
> However, what happens when a library exists at Sage's build time and is 
> later pulled off the system ?
>

this will break any sort of system; surely the assumption is that libraries 
don't disappear...
 

>
> Bonus question : can an spkg-install script recursively call 
> $SAGE_ROOT/sage -i  and get the return status back ?
>
> use package dependencies, as I already suggested. 

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


Re: [sage-devel] add curl as a standard package

2016-10-24 Thread Jean-Pierre Flori


On Monday, October 24, 2016 at 8:47:13 PM UTC+2, Jean-Pierre Flori wrote:
>
>
>
> On Monday, October 24, 2016 at 6:39:27 PM UTC+2, Emmanuel Charpentier 
> wrote:
>>
>> Bonus question for the build system experts : can an spkg-install script 
>> recursively call $SAGE_ROOT/sage -i  and get the return 
>> status back ? A simple solution would then be to test for the existence of 
>> the relevant binaries/executables in the R spkg-install script, and 
>> recursively install the (optional) relevant packages before proceeding to 
>> install R.
>>
>> What do you think ?
>>
>> I would say the good solution would be to mimick what is done for GCC.
> Some calls to the autoconf macros here:
> https://github.com/sagemath/sage/blob/master/configure.ac#L393 
>
> Also have a look at what is done for the integer multi precision library:
> https://github.com/sagemath/sage/blob/master/configure.ac#L657
>
> What is done for BLAS can also help.
>
> I don't have much time these days, but if you don't feel at ease enough 
> with autotools I can give it a try.
>

There is also the need_to_install  magic:
https://github.com/sagemath/sage/blob/master/configure.ac#L807 

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


Re: [sage-devel] add curl as a standard package

2016-10-24 Thread Jean-Pierre Flori


On Monday, October 24, 2016 at 6:39:27 PM UTC+2, Emmanuel Charpentier wrote:
>
> Bonus question for the build system experts : can an spkg-install script 
> recursively call $SAGE_ROOT/sage -i  and get the return 
> status back ? A simple solution would then be to test for the existence of 
> the relevant binaries/executables in the R spkg-install script, and 
> recursively install the (optional) relevant packages before proceeding to 
> install R.
>
> What do you think ?
>
> I would say the good solution would be to mimick what is done for GCC.
Some calls to the autoconf macros here:
https://github.com/sagemath/sage/blob/master/configure.ac#L393 

Also have a look at what is done for the integer multi precision library:
https://github.com/sagemath/sage/blob/master/configure.ac#L657

What is done for BLAS can also help.

I don't have much time these days, but if you don't feel at ease enough 
with autotools I can give it a try.

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


Re: [sage-devel] add curl as a standard package

2016-10-24 Thread Dima Pasechnik


On Monday, October 24, 2016 at 4:39:27 PM UTC, Emmanuel Charpentier wrote:
>
> Bonus question for the build system experts : can an spkg-install script 
> recursively call $SAGE_ROOT/sage -i  and get the return 
> status back ? A simple solution would then be to test for the existence of 
> the relevant binaries/executables in the R spkg-install script, and 
> recursively install the (optional) relevant packages before proceeding to 
> install R.
>
> isn't it what package dependencies are for?

 

> What do you think ?
>
>

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


Re: [sage-devel] Error installing package iml-1.0.4p1.p1

2016-10-24 Thread tienou64
Thank you for the advise. Just one question. How can I debug with the sage 
subshell? How is it possible to use it?

On Monday, October 24, 2016 at 2:49:03 PM UTC+2, Jeroen Demeyer wrote:
>
> On 2016-10-24 14:33, tien...@gmail.com  wrote: 
> > I tried to build Sage with Debian packages. I followed the method on the 
> > wiki 
> > <
> https://wiki.debian.org/DebianScience/Sage#BuildingSagewithDebianpackages>. 
>
>
> I suggest that you write to the Debian mailing list: 
> https://lists.alioth.debian.org/mailman/listinfo/debian-science-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 https://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.


Re: [sage-devel] add curl as a standard package

2016-10-24 Thread Emmanuel Charpentier
Bonus question for the build system experts : can an spkg-install script 
recursively call $SAGE_ROOT/sage -i  and get the return 
status back ? A simple solution would then be to test for the existence of 
the relevant binaries/executables in the R spkg-install script, and 
recursively install the (optional) relevant packages before proceeding to 
install R.

What do you think ?

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


[sage-devel] Re: add pcre as a standard package

2016-10-24 Thread Emmanuel Charpentier
Le lundi 24 octobre 2016 16:14:29 UTC+2, Dima Pasechnik a écrit :
>
> +1
>
> IMHO we don't really have to vote on it, as this is basically splitting of 
> a standard package into several,
> as enforced by upstream.
>

Indeed. However, the suggestion made on the similar stream on curl (i. e. 
install only if not installed systemwide) is interesting. It taxes my 
(admittedly limited) knowledge of the Unix configure tools (and autotools), 
but it's worth a try.

However, what happens when a library exists at Sage's build time and is 
later pulled off the system ?

Bonus question : can an spkg-install script recursively call 
$SAGE_ROOT/sage -i  and get the return status back ?

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


[sage-devel] Mercurial in "Sage developers's guide (Release 7.4)"

2016-10-24 Thread Thierry Dumont

There remain some references to Mercurial in the developer's guide:

-page 114: "Overview of Patching SPKGS:"
   ..., use Mercurial to checck...

-page 115,
   -near top:
 The Mercurial configuration file ...
   -in the last paragraph:
  ... use Mercurial...
  hg tag...

t.d.

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

[sage-devel] Re: Coxeter3 problem.

2016-10-24 Thread Travis Scrimshaw
I also get this as well. I believe I have become the official spkg 
maintainer, and I will fix it within a day.

Best,
Travis

On Monday, October 24, 2016 at 2:46:28 AM UTC-5, tdumont wrote:
>
>
> Coxeter3 cannot be compiled (7.4 and 7.5beta0). 
>
> Actually this does not seem too difficult (a function has been has been 
> declared twice with the same signature). 
>
> May be it's better that the spkg maintainer (Mike Hansen) correct this 
> than me. 
>
>
> t.d. 
>
>
>
>

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


[sage-devel] Re: add pcre as a standard package

2016-10-24 Thread Dima Pasechnik
+1

IMHO we don't really have to vote on it, as this is basically splitting of 
a standard package into several,
as enforced by upstream.


On Monday, October 24, 2016 at 10:12:01 AM UTC, Emmanuel Charpentier wrote:
>
> [ Same problem as for curl, posted a few seconds ago ]
>
> It looks like pcre  , which 
> was formerly installed by R installation, must now be installed 
> 
>  
> in order to install R.
>
> One can note that a problem will rarely exists, since most Sage users have 
> curl installed in their system. However, a user having only sage installed 
> (e. g. Sage's virtual machine for Windows) will see it...
>
> If we want to keep R a standard package, we have to either
>
>- patch R and add curl's installation (heavy : the R core Team threw 
>the towel on it),
>- add curl to Sage's prerequisites (lighter to us, but still heavy to 
>the users), 
>- or make it a standard package, on which R must depend.
>
>
> The latter solution has my reference(much simpler).
>
> What is yours ?
>
> --
> Emmanuel Charpentier
>

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


Re: [sage-devel] Re: Notebook stuck on "N?" with a worksheet

2016-10-24 Thread Volker Braun
I have a setup helper for jupyterhup at 

https://github.com/vbraun/run-jupyter-hub

It might be out of date, haven't tried it with the newest version of 
jupyterhub. But maybe its a starting point for you...



On Monday, October 24, 2016 at 7:47:15 AM UTC-4, Jori Mäntysalo wrote:
>
> On Sun, 23 Oct 2016, Luca De Feo wrote: 
>
> >> As far as I know, Jupyter(hub) does not have such a feature since it 
> >> completely relies on the OS for access checks. 
> > 
> > That's not correct. JupyterHub supports arbitrary authenticators: 
> > 
> >  https://jupyterhub.readthedocs.io/en/latest/authenticators.html 
>
> Can you give me some kind of Hello world! -example of Jupyter? ./sage 
> --notebook=jupyter will open a server to port  --- how to change the 
> port or, more general, is there some help file? First I would like to see 
> a way to have two local user using Sage and not seeing each other files. 
>
> -- 
> 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 https://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.


Re: [sage-devel] add curl as a standard package

2016-10-24 Thread Michael Orlitzky
On 10/24/2016 09:46 AM, Emmanuel Charpentier wrote:
> 
> Not the same problem. To detect curl, it is enough to find an executable
> named "curl" in the path. As far as I know, R uses a library, and this
> is known to be not so easy to find.
> 

Which library does R link against? If you can find out its name and a
function that R tries to use, you can check for the library's (and
function's) presence with AC_CHECK_LIB. Or if you need specific headers,
there's AC_CHECK_HEADERS.


> The same is true for pcre.

PCRE is the same. They're both 19 years old and everyone else already
builds this way so it's easy to find examples to copy/paste. In fact, R
itself has a working configure script that checks for curl/pcre.

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


Re: [sage-devel] add curl as a standard package

2016-10-24 Thread Jean-Pierre Flori
Maybe it is not that bad if the automagic detection system is not that good.
If the automatic stuff works magically on usual config, let's say large 
Linux distros, that's enough.
As long as we have "--with-x" options to pass to configure for making Sage 
more distro friendly and let smart people do whatever they want quite 
easily.

On Monday, October 24, 2016 at 3:38:10 PM UTC+2, Emmanuel Charpentier wrote:
>
>
>
> Le lundi 24 octobre 2016 12:41:14 UTC+2, vdelecroix a écrit :
>>
>> In between? 
>>
>>  * having a curl pacakge that will be installed if not present on the 
>> system (~the same way we deal with gcc) 
>>
>
> Great idea, if I can implement it. Looking in the $PATH is not quite easy 
> to do portably. I'm currently looking at configure.in, and begin to 
> suspect I've fallen in a trap...
>
> Ideas ?
>

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


Re: [sage-devel] add curl as a standard package

2016-10-24 Thread Emmanuel Charpentier


Le lundi 24 octobre 2016 15:31:36 UTC+2, Michael Orlitzky a écrit :
>
> On 10/24/2016 06:41 AM, Vincent Delecroix wrote: 
> > In between? 
> > 
> >  * having a curl pacakge that will be installed if not present on the 
> > system (~the same way we deal with gcc) 
> > 
>
> And the same for pcre and xz. Check for it in ./configure, and give us a 
> way to override it, like --with-xz[=path]. 
>

Not the same problem. To detect curl, it is enough to find an executable 
named "curl" in the path. As far as I know, R uses a library, and this is 
known to be not so easy to find.

[ I'm currently looking at autotools tutorials to understand how to check 
for this kind of things, and start to wonder in which fire I've jumped from 
our familiar frying pan... ]

The same is true for pcre.

Bonus question : how can the R package depend of such a package that would 
install nothing ?

Alternative : in the spkg-install script, test somehow for the existence of 
the sought binary/library, and do nothing if found. Would such a trick 
still mark the package as installed ?

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


Re: [sage-devel] add curl as a standard package

2016-10-24 Thread Emmanuel Charpentier


Le lundi 24 octobre 2016 12:41:14 UTC+2, vdelecroix a écrit :
>
> In between? 
>
>  * having a curl pacakge that will be installed if not present on the 
> system (~the same way we deal with gcc) 
>

Great idea, if I can implement it. Looking in the $PATH is not quite easy 
to do portably. I'm currently looking at configure.in, and begin to suspect 
I've fallen in a trap...

Ideas ?

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


Re: [sage-devel] add curl as a standard package

2016-10-24 Thread Michael Orlitzky
On 10/24/2016 06:41 AM, Vincent Delecroix wrote:
> In between?
> 
>  * having a curl pacakge that will be installed if not present on the
> system (~the same way we deal with gcc)
> 

And the same for pcre and xz. Check for it in ./configure, and give us a
way to override it, like --with-xz[=path].

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


Re: [sage-devel] Re: Notebook stuck on "N?" with a worksheet

2016-10-24 Thread Dima Pasechnik


On Monday, October 24, 2016 at 11:47:15 AM UTC, Jori Mäntysalo wrote:
>
> On Sun, 23 Oct 2016, Luca De Feo wrote: 
>
> >> As far as I know, Jupyter(hub) does not have such a feature since it 
> >> completely relies on the OS for access checks. 
> > 
> > That's not correct. JupyterHub supports arbitrary authenticators: 
> > 
> >  https://jupyterhub.readthedocs.io/en/latest/authenticators.html 
>
> Can you give me some kind of Hello world! -example of Jupyter? ./sage 
> --notebook=jupyter will open a server to port  --- how to change the 
> port or, more general, is there some help file? First I would like to see 
> a way to have two local user using Sage and not seeing each other files. 
>
I mentioned this here: 
https://github.com/OpenDreamKit/OpenDreamKit/issues/94#issuecomment-255683103 

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


Re: [sage-devel] Error installing package iml-1.0.4p1.p1

2016-10-24 Thread Jeroen Demeyer

On 2016-10-24 14:33, tieno...@gmail.com wrote:

I tried to build Sage with Debian packages. I followed the method on the
wiki
.


I suggest that you write to the Debian mailing list:
https://lists.alioth.debian.org/mailman/listinfo/debian-science-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 https://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.


[sage-devel] Error installing package iml-1.0.4p1.p1

2016-10-24 Thread tienou64
I tried to build Sage with Debian packages. I followed the method on the 
wiki 
.

When I run "debian/rules prune build", I got the following error:
 
Host system:
Linux etienne 4.5.0-0.bpo.1-amd64 #1 SMP Debian 4.5.1-1~bpo8+1 (2016-04-20) 
x86_64 GNU/Linux

gcc version 4.9.2 (Debian 4.9.2-10) 

checking for GMP >= 3.1.1... not found
configure: error: GMP not found!
GMP version 3.1.1 or greater is required for this library to compile.
Please make sure GMP is installed and specify the header and libraries
location with the options --with-gmp-include= and 
--with-gmp-lib=
respectively when running configure.

I don't understand because I installed all the gmp packages I could:
|/ NomVersion  
Architecture Description
+++-==---=
ii  gmp-doc6.0.0-1  
all  GMP (Multiprecision arithmetic library) 
documentation
ii  gmp-ecm6.4.4-2  
amd64Factor integers using the Elliptic Curve Method
un  lib32gmp3   
 (aucune description n'est disponible)
un  lib32gmp3-dev   
 (aucune description n'est disponible)
un  lib32gmpxx4 
 (aucune description n'est disponible)
ii  libcrypt-dh-gmp-perl   0.00012-1+b1 
amd64Crypt::DH replacement that uses GMP directly
ii  libgmp-dev:amd64   2:6.0.0+dfsg-6   
amd64Multiprecision arithmetic library developers tools
ii  libgmp-ocaml   20021123-17+b4   
amd64OCaml bindings for the GNU multiprecision 
arithmetic library
ii  libgmp-ocaml-dev   20021123-17+b4   
amd64OCaml bindings for the GNU multiprecision 
arithmetic library
un  libgmp-ocaml-dev-muv53  
 (aucune description n'est disponible)
un  libgmp-ocaml-muv53  
 (aucune description n'est disponible)
ii  libgmp10:amd64 2:6.0.0+dfsg-6   
amd64Multiprecision arithmetic library
ii  libgmp10:i386  2:6.0.0+dfsg-6   
i386 Multiprecision arithmetic library
un  libgmp10-dev
 (aucune description n'est disponible)
un  libgmp10-doc
 (aucune description n'est disponible)
un  libgmp3 
 (aucune description n'est disponible)
ii  libgmp3-dev2:6.0.0+dfsg-6   
amd64Multiprecision arithmetic library developers tools
ii  libgmpada-dbg:amd640.0.20131223-3+b1
amd64Ada binding to the GNU MultiPrecision library: 
debug symbols
ii  libgmpada3:amd64   0.0.20131223-3+b1
amd64Ada binding to the GNU MultiPrecision library: 
shared library
ii  libgmpada5-dev 0.0.20131223-3+b1
amd64Ada binding to the GNU MultiPrecision library: 
development
un  libgmpxx4   
 (aucune description n'est disponible)
ii  libgmpxx4ldbl:amd642:6.0.0+dfsg-6   
amd64Multiprecision arithmetic library (C++ bindings)
ii  libgnatcoll-gmp-dbg:amd64  1.6gpl2014-6 
amd64GNATColl, general purpose Ada library (GMP 
debugging symbols)
ii  libgnatcoll-gmp1.6:amd64   1.6gpl2014-6 
amd64GNATColl, general purpose Ada library (GMP runtime)
ii  libgnatcoll-gmp1.6-dev 1.6gpl2014-6 
amd64GNATColl, general purpose Ada library (GMP)
ii  liblrsgmp-dev  0.51-2~bpo8+1
amd64package to enumerate vertices and extreme rays 
(development file)
ii  liblrsgmp0 0.51-2~bpo8+1
amd64package to enumerate vertices and extreme rays 
(shared libraries)
ii  libmath-bigint-gmp-perl1.38-1+b1
amd64module for arbitrary precision arithmetic using GMP
ii  libmath-gmp-perl   2.07-1+b1
amd64high speed 

[sage-devel] Error installing package iml-1.0.4p1.p1

2016-10-24 Thread tienou64
Host system:
Linux etienne 4.5.0-0.bpo.1-amd64 #1 SMP Debian 4.5.1-1~bpo8+1 (2016-04-20) 
x86_64 GNU/Linux

gcc version 4.9.2 (Debian 4.9.2-10) 

checking for GMP >= 3.1.1... not found
configure: error: GMP not found!
GMP version 3.1.1 or greater is required for this library to compile.
Please make sure GMP is installed and specify the header and libraries
location with the options --with-gmp-include= and 
--with-gmp-lib=
respectively when running configure.

I don't understand because I installed all the gmp packages I could:
|/ NomVersion  
Architecture Description
+++-==---=
ii  gmp-doc6.0.0-1  
all  GMP (Multiprecision arithmetic library) 
documentation
ii  gmp-ecm6.4.4-2  
amd64Factor integers using the Elliptic Curve Method
un  lib32gmp3   
 (aucune description n'est disponible)
un  lib32gmp3-dev   
 (aucune description n'est disponible)
un  lib32gmpxx4 
 (aucune description n'est disponible)
ii  libcrypt-dh-gmp-perl   0.00012-1+b1 
amd64Crypt::DH replacement that uses GMP directly
ii  libgmp-dev:amd64   2:6.0.0+dfsg-6   
amd64Multiprecision arithmetic library developers tools
ii  libgmp-ocaml   20021123-17+b4   
amd64OCaml bindings for the GNU multiprecision 
arithmetic library
ii  libgmp-ocaml-dev   20021123-17+b4   
amd64OCaml bindings for the GNU multiprecision 
arithmetic library
un  libgmp-ocaml-dev-muv53  
 (aucune description n'est disponible)
un  libgmp-ocaml-muv53  
 (aucune description n'est disponible)
ii  libgmp10:amd64 2:6.0.0+dfsg-6   
amd64Multiprecision arithmetic library
ii  libgmp10:i386  2:6.0.0+dfsg-6   
i386 Multiprecision arithmetic library
un  libgmp10-dev
 (aucune description n'est disponible)
un  libgmp10-doc
 (aucune description n'est disponible)
un  libgmp3 
 (aucune description n'est disponible)
ii  libgmp3-dev2:6.0.0+dfsg-6   
amd64Multiprecision arithmetic library developers tools
ii  libgmpada-dbg:amd640.0.20131223-3+b1
amd64Ada binding to the GNU MultiPrecision library: 
debug symbols
ii  libgmpada3:amd64   0.0.20131223-3+b1
amd64Ada binding to the GNU MultiPrecision library: 
shared library
ii  libgmpada5-dev 0.0.20131223-3+b1
amd64Ada binding to the GNU MultiPrecision library: 
development
un  libgmpxx4   
 (aucune description n'est disponible)
ii  libgmpxx4ldbl:amd642:6.0.0+dfsg-6   
amd64Multiprecision arithmetic library (C++ bindings)
ii  libgnatcoll-gmp-dbg:amd64  1.6gpl2014-6 
amd64GNATColl, general purpose Ada library (GMP 
debugging symbols)
ii  libgnatcoll-gmp1.6:amd64   1.6gpl2014-6 
amd64GNATColl, general purpose Ada library (GMP runtime)
ii  libgnatcoll-gmp1.6-dev 1.6gpl2014-6 
amd64GNATColl, general purpose Ada library (GMP)
ii  liblrsgmp-dev  0.51-2~bpo8+1
amd64package to enumerate vertices and extreme rays 
(development file)
ii  liblrsgmp0 0.51-2~bpo8+1
amd64package to enumerate vertices and extreme rays 
(shared libraries)
ii  libmath-bigint-gmp-perl1.38-1+b1
amd64module for arbitrary precision arithmetic using GMP
ii  libmath-gmp-perl   2.07-1+b1
amd64high speed arbitrary size integer math for perl
ii  libmath-prime-util-gmp-perl0.27-1   
amd64utilities related to prime numbers, using GMP
ii  libpari-gmp-tls4:amd64 

Re: [sage-devel] Re: Notebook stuck on "N?" with a worksheet

2016-10-24 Thread Jori Mäntysalo

On Sun, 23 Oct 2016, Luca De Feo wrote:


As far as I know, Jupyter(hub) does not have such a feature since it
completely relies on the OS for access checks.


That's not correct. JupyterHub supports arbitrary authenticators:

 https://jupyterhub.readthedocs.io/en/latest/authenticators.html


Can you give me some kind of Hello world! -example of Jupyter? ./sage 
--notebook=jupyter will open a server to port  --- how to change the 
port or, more general, is there some help file? First I would like to see 
a way to have two local user using Sage and not seeing each other files.


--
Jori Mäntysalo


Re: [sage-devel] add curl as a standard package

2016-10-24 Thread Vincent Delecroix
In between?

 * having a curl pacakge that will be installed if not present on the
system (~the same way we deal with gcc)

Vincent

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


[sage-devel] Re: add pcre as a standard package

2016-10-24 Thread Emmanuel Charpentier
s/curl/pcre/g...

Damn...

--
Emmanuel Charpentier

Le lundi 24 octobre 2016 12:12:01 UTC+2, Emmanuel Charpentier a écrit :
>
> [ Same problem as for curl, posted a few seconds ago ]
>
> It looks like pcre  , which 
> was formerly installed by R installation, must now be installed 
> 
>  
> in order to install R.
>
> One can note that a problem will rarely exists, since most Sage users have 
> curl installed in their system. However, a user having only sage installed 
> (e. g. Sage's virtual machine for Windows) will see it...
>
> If we want to keep R a standard package, we have to either
>
>- patch R and add curl's installation (heavy : the R core Team threw 
>the towel on it),
>- add curl to Sage's prerequisites (lighter to us, but still heavy to 
>the users), 
>- or make it a standard package, on which R must depend.
>
>
> The latter solution has my reference(much simpler).
>
> What is yours ?
>
> --
> Emmanuel Charpentier
>

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


[sage-devel] add pcre as a standard package

2016-10-24 Thread Emmanuel Charpentier
[ Same problem as for curl, posted a few seconds ago ]

It looks like pcre  , which 
was formerly installed by R installation, must now be installed 

 
in order to install R.

One can note that a problem will rarely exists, since most Sage users have 
curl installed in their system. However, a user having only sage installed 
(e. g. Sage's virtual machine for Windows) will see it...

If we want to keep R a standard package, we have to either

   - patch R and add curl's installation (heavy : the R core Team threw the 
   towel on it),
   - add curl to Sage's prerequisites (lighter to us, but still heavy to 
   the users), 
   - or make it a standard package, on which R must depend.


The latter solution has my reference(much simpler).

What is yours ?

--
Emmanuel Charpentier

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


[sage-devel] add curl as a standard package

2016-10-24 Thread Emmanuel Charpentier
It looks like curl , which was formerly installed by 
R installation, must now be installed 

 
in order to install R.

One can note that a problem will rarely exists, since most Sage users have 
curl installed in their system. However, a user having only sage installed 
(e. g. Sage's virtual machine for Windows) will see it...

If we want to keep R a standard package, we have to either

   - patch R and add curl's installation (heavy : the R core Team threw the 
   towel on it),
   - add curl to Sage's prerequisites (lighter to us, but still heavy to 
   the users), 
   - or make it a standard package, on which R must depend.


The latter solution has my reference(much simpler).

What is yours ?

--
Emmanuel Charpentier

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


[sage-devel] Re: Error installing package ecl-16.1.2.p1

2016-10-24 Thread Dima Pasechnik


On Sunday, October 23, 2016 at 11:03:52 PM UTC, tien...@gmail.com wrote:
>
> *Host system:*
> Linux etienne 4.5.0-0.bpo.1-amd64 #1 SMP Debian 4.5.1-1~bpo8+1 
> (2016-04-20) x86_64 GNU/Linux
>
> *C compiler:* gcc
> *C compiler version*: gcc (Debian 4.9.2-10) 4.9.2 [It is built-in specs]
>
> *Error message:*
> checking character sequence for end of line... configure: error: Unable to 
> determine linefeed mode
> Error - Failed to configure ECL ... exiting
>
> 
> Error installing package ecl-16.1.2.p1
> 
>
>
> what is Sage version you are using, or trying to install/update) ? 

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


[sage-devel] Re: Make xz a standard package ?

2016-10-24 Thread Dima Pasechnik
+1

On Sunday, October 23, 2016 at 3:15:19 PM UTC, Emmanuel Charpentier wrote:
>
> The xz package has been part of Sage for about three months (see 
> Trac#21063 ). Making it stanrd 
> would simplify handling of tarballs (see Trac#18236 
> ), and of R (standard package in 
> Sage, see Trac#20523 ).
>
> Using xz to solve the latter implies to make zx a standard package. As 
> pointed out by T. Scrim, this should be discussed on sage-devel. Quod 
> facio...
>
> Speak now or forever hold your peace...
>
> --
> Emmanuel Charpentier
>
>

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


[sage-devel] Coxeter3 problem.

2016-10-24 Thread Thierry Dumont

Coxeter3 cannot be compiled (7.4 and 7.5beta0).

Actually this does not seem too difficult (a function has been has been
declared twice with the same signature).

May be it's better that the spkg maintainer (Mike Hansen) correct this
than me.


t.d.



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

[sage-devel] Re: Make xz a standard package ?

2016-10-24 Thread Ralf Stephan
+1

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