[sage-devel] Re: Education: hints to manual integration

2019-08-28 Thread mmarco
This is now #28415 https://trac.sagemath.org/ticket/28415 El lunes, 19 de agosto de 2019, 13:24:10 (UTC+2), mmarco escribió: > > I have been working a bit on some functions to help students do > integration by hands. Under the hood, they use sympy's integral_steps > function (see [1]), but I

[sage-devel] Re: error building barvinok (sage 8.9.beta8 + system NTL)

2019-08-28 Thread Victor Shoup
Thanks. I guess what I'm asking for is a solution. From what you say here, and what is said in the links, the problem seems to be a bug in libtool, not NTL. So a solution would be, either: 1) a patch other type of libtool workaround, or 2) an alternative to libtool. I though the whole point of

Re: [sage-devel] Re: error building barvinok (sage 8.9.beta8 + system NTL)

2019-08-28 Thread Vincent Delecroix
Victor, as far as I understand the main configuration script of ntl is the perl DoConfig script. It has nothing to do with libtool. libtool is robust if you let it handle the configuration. It will not try to fix a given one. In a libtool configure.ac script you would just have a directive AC_CHE

[sage-devel] Re: error building barvinok (sage 8.9.beta8 + system NTL)

2019-08-28 Thread Antonio Rojas
El miércoles, 28 de agosto de 2019, 15:15:18 (UTC+2), Victor Shoup escribió: > > Thanks. I guess what I'm asking for is a solution. From what you say > here, and what is said in the links, the problem seems to be a bug in > libtool, not NTL. So a solution would be, either: > 1) a patch other

Re: [sage-devel] Re: error building barvinok (sage 8.9.beta8 + system NTL)

2019-08-28 Thread John Cremona
On Wed, 28 Aug 2019 at 14:55, Vincent Delecroix <20100.delecr...@gmail.com> wrote: > Victor, as far as I understand the main configuration script of ntl > is the perl DoConfig script. It has nothing to do with libtool. libtool > is robust if you let it handle the configuration. It will not try to

[sage-devel] Re: inconsistency in computation of differential of a map between manifolds

2019-08-28 Thread Eric Gourgoulhon
Hi Simon, Le mercredi 28 août 2019 07:07:03 UTC+2, Simon King a écrit : > > > Is the option really called "verbose=True"? Not "check=True", like in > most other cases? > > You are perfectly right: "check" would be more appropriate than "verbose" in this context. I'll open a ticket for this an

Re: [sage-devel] Re: error building barvinok (sage 8.9.beta8 + system NTL)

2019-08-28 Thread Dima Pasechnik
Victor, as you ship libtool, you can just patch it, essentially as in https://lists.gnu.org/archive/html/libtool-patches/2013-11/msg00015.html It needs to be moved to a slightly different place, but it works, you'd get a properly linked libntl.so with the patch (attached), I checked this on Linux a

Re: [sage-devel] Re: error building barvinok (sage 8.9.beta8 + system NTL)

2019-08-28 Thread Antonio Rojas
El miércoles, 28 de agosto de 2019, 23:47:43 (UTC+2), Dima Pasechnik escribió: > > Victor, > as you ship libtool, you can just patch it, essentially as in > https://lists.gnu.org/archive/html/libtool-patches/2013-11/msg00015.html > It needs to be moved to a slightly different place, but it wo

Re: [sage-devel] Re: error building barvinok (sage 8.9.beta8 + system NTL)

2019-08-28 Thread Dima Pasechnik
On Thu, Aug 29, 2019 at 12:55 AM Antonio Rojas wrote: > > > > El miércoles, 28 de agosto de 2019, 23:47:43 (UTC+2), Dima Pasechnik escribió: >> >> Victor, >> as you ship libtool, you can just patch it, essentially as in >> https://lists.gnu.org/archive/html/libtool-patches/2013-11/msg00015.html >>