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

2019-08-19 Thread rjf 
It may be a mistake to combine "help for students learning symbolic 
integration"
and "symbolic integration" simply because the methods taught to students
are probably different from the integration algorithms used by computer 
algebra
systems. Certainly Maxima.  Probably sympy too, which uses various Risch 
heuristic
methods.


The link below to docs did not work for me until I added an "l'   to make 
it html.

If you are doing nothing more than putting an interface to the already
existing sympy  integral_steps, then the comment above and below pertains to
the integral_steps program, and not your interface design :). 

In fact the most useful "help" may be to 
(a) determine the calculus textbook in use 
(b) identify the assigned problem as appearing at the end of chapter X. 
(c) explain the use of the method of chapter X  (and not a later
chapter, since that is not yet allowed, and the grader may take off points
from the homework because it is clear that the student did not do
the problem him/her self.)

RJF




On Monday, August 19, 2019 at 4:24:10 AM UTC-7, mmarco wrote:
>
> 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 am not sure which is the right way to present it. 
> The options I am considering are:
>
> 1) Go full step-by-step integrations, in the spirit of sympygamma site 
> (or  wolframalpha, if you have access to the pro version). In that case, I 
> guess returning a text (or html) stringwould be the sensible choice.
>
> 2) Just show a hint for the next step to the student, something like:
>
> sage: integration_hint(sin(x)*x, x)
> Integrate by parts, with u=x, dv=sin(x)dx. So integral(sin(x)*x, x) = x*
> cos(x)-integral(cos(x),x)
>
> In this case, maybe we should return a specific class where the student 
> can get the expression to follow the computation by hand. Also, we could 
> have different display methods for different envirments (mainly, command 
> line and jupyter notebook)
>
> So my questions are:
>
> - Which option do you think would be preferable? Show the full step by 
> step solution, or just give hints as they are asked for?
> - In any case, which would be the right way to handle different 
> representations deppending on the environments? I assume that if we have a 
> specific class for this, it should have some __repr__, __latex__, and 
> __pretty_print__
> - Which would be the right place to put this code? I would say 
> sage.symbolic.integral, but some time ago someone mentioned the posibility 
> to create an education module, to put the different pieces of code that was 
> writen with for educational purposes.
>
> What do you think?
>
>
>
>
> [1] https://docs.sympy.org/0.7.5/modules/integrals/integrals.htm
>
>

-- 
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 view this discussion on the web visit 
https://groups.google.com/d/msgid/sage-devel/a12bf07d-978d-4f45-87af-3eadb171ec6b%40googlegroups.com.

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

2019-08-19 Thread Thierry 
Hi,

On Mon, Aug 19, 2019 at 04:24:10AM -0700, mmarco wrote:
> 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 am not sure which is the right way to present it. The options I 
> am considering are:
> 
> 1) Go full step-by-step integrations, in the spirit of sympygamma site (or  
> wolframalpha, if you have access to the pro version). In that case, I guess 
> returning a text (or html) stringwould be the sensible choice.
> 
> 2) Just show a hint for the next step to the student, something like:
> 
> sage: integration_hint(sin(x)*x, x)
> Integrate by parts, with u=x, dv=sin(x)dx. So integral(sin(x)*x, x) = x*cos(
> x)-integral(cos(x),x)
> 
> In this case, maybe we should return a specific class where the student can 
> get the expression to follow the computation by hand. Also, we could have 
> different display methods for different envirments (mainly, command line 
> and jupyter notebook)
> 
> So my questions are:
> 
> - Which option do you think would be preferable? Show the full step by step 
> solution, or just give hints as they are asked for?

If both are ready, why not having an option "step_by_step" or
"hint_only" (or whatever convenient).

Also, notice that "integration_hint" will break the tab completion of
integrate, so maybe it could be better to propose an option "hint=False"
to the existing integrate generic function (to be discussed, i do not
have strong opinion on that).

Ciao,
Thierry


> - In any case, which would be the right way to handle different 
> representations deppending on the environments? I assume that if we have a 
> specific class for this, it should have some __repr__, __latex__, and 
> __pretty_print__
> - Which would be the right place to put this code? I would say 
> sage.symbolic.integral, but some time ago someone mentioned the posibility 
> to create an education module, to put the different pieces of code that was 
> writen with for educational purposes.
> 
> What do you think?
> 
> 
> 
> 
> [1] https://docs.sympy.org/0.7.5/modules/integrals/integrals.htm
> 
> -- 
> 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 view this discussion on the web visit 
> https://groups.google.com/d/msgid/sage-devel/5a2555f3-30f9-4253-b318-d93ab8468dfc%40googlegroups.com.

-- 
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 view this discussion on the web visit 
https://groups.google.com/d/msgid/sage-devel/20190819123009.6hlc2nvamyyg7scx%40metelu.net.

Re: [sage-devel] Re: doctest a single function or class

2019-08-19 Thread E. Madison Bray 
On Sun, Aug 18, 2019 at 5:58 AM TB  wrote:
>
> On 13/08/2019 13:55, E. Madison Bray wrote:
> > On Tue, Aug 13, 2019 at 11:28 AM Simon King  wrote:
> >>
> >> Hi,
> >>
> >> I am sorry for the late answer (and I am a bit surprised that nobody
> >> else answered before).
> >>
> >> I believe it is somehow useful to have such a feature when developing a
> >> large piece of new code (so that one can do a relevant subset of tests
> >> quickly). However, I am not so sure how that feature would be used once
> >> the piece of code is published. I.e., I cannot see how that feature
> >> would be useful in the Sage test suites, but I see potential use in
> >> development.
> >
> > It's useful to have in general, even after initial development of some
> > code.  For example, sometimes if just one test is failing in some
> > particular case or another (i.e. a regression) it is very useful to be
> > able to easily run just that test.
> >
> > For example, in pytest, it's possible to test not just a specific
> > file, but also drill down into specific test cases, by name (including
> > wildcards).
> >
> > With Sage's extensive use of doctests this is a little trickier but
> > not impossible, and is something I've often wanted as well.
> >
> > One approach which would be fairly easy would be to extend the doctest
> > interface to accept a line number, or even range of line numbers, on
> > which to run tests.  At the command line this could be a syntax like:
> >
> >  ./sage -t :
> >
> > This is imperfect of course.  For example, what if you're actively
> > editing the file that contains the test?  Then the line number will
> > move around and you'd have to keep changing it.  If nothing else it
> > might be able to allow some fuzz (e.g. start on the nearest doctest
> > block to that line number).
> >
> > It can also fail if the test you're running depends on some results
> > from a previous doctest block.  Obviously in that case it is the
> > user's responsibility to make sure that the test they want to focus on
> > works in isolation (though this is also why allowing a range syntax
> > like :- is useful).
> >
>
> Yes, I was thinking about this feature for a faster edit-test
> development loop. This should be useful also when touching existing
> code, and not just when adding new code.
>
> Usually I have another shell to run "sage -t /some/file" while editing
> that file, and in most cases this is fast enough. But when used with
> --long this gets longer, of course, and testing pieces of code that are
> surely irrelevant during development.
>
> With such a feature, it should be easy to have a key binding, in an
> editor of choice, that would run just the relevant doctests. Looking at
> the doctest module docs [1] there is the run_docstring_examples()
> function [2] function and an unittest API section, but I do not know how
> easy it will be to integrate with Sage's doctest.

I would suggest opening an issue for it.  Doesn't guarantee anyone
will bother to implement it, but if it's just left as a mailing list
thread it's guaranteed no one will remember.

-- 
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 view this discussion on the web visit 
https://groups.google.com/d/msgid/sage-devel/CAOTD34b%2BTxEF9iV%2Bs4Eibx5eukRegdJT_XibdeJqF-Uc0wNd1w%40mail.gmail.com.

[sage-devel] Education: hints to manual integration

2019-08-19 Thread mmarco 
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 am not sure which is the right way to present it. The options I 
am considering are:

1) Go full step-by-step integrations, in the spirit of sympygamma site (or  
wolframalpha, if you have access to the pro version). In that case, I guess 
returning a text (or html) stringwould be the sensible choice.

2) Just show a hint for the next step to the student, something like:

sage: integration_hint(sin(x)*x, x)
Integrate by parts, with u=x, dv=sin(x)dx. So integral(sin(x)*x, x) = x*cos(
x)-integral(cos(x),x)

In this case, maybe we should return a specific class where the student can 
get the expression to follow the computation by hand. Also, we could have 
different display methods for different envirments (mainly, command line 
and jupyter notebook)

So my questions are:

- Which option do you think would be preferable? Show the full step by step 
solution, or just give hints as they are asked for?
- In any case, which would be the right way to handle different 
representations deppending on the environments? I assume that if we have a 
specific class for this, it should have some __repr__, __latex__, and 
__pretty_print__
- Which would be the right place to put this code? I would say 
sage.symbolic.integral, but some time ago someone mentioned the posibility 
to create an education module, to put the different pieces of code that was 
writen with for educational purposes.

What do you think?




[1] https://docs.sympy.org/0.7.5/modules/integrals/integrals.htm

-- 
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 view this discussion on the web visit 
https://groups.google.com/d/msgid/sage-devel/5a2555f3-30f9-4253-b318-d93ab8468dfc%40googlegroups.com.

Re: [sage-devel] error building 8.9.beta7 on OSX

2019-08-19 Thread Dima Pasechnik 
On Mon, Aug 19, 2019 at 12:26 PM David Coudert  wrote:
>
>
>
> Le 19 août 2019 à 10:58, Dima Pasechnik  a écrit :
>
> On Mon, Aug 19, 2019 at 11:20 AM David Coudert  wrote:
>
>
> but for beta6, I succeeded to compile it without downloading the configure 
> tarball...

since https://trac.sagemath.org/ticket/27823 one needs gettext and
gettextize to run ./bootstrap
without downloading,
see the ticket (or git show fdad7d900bc) for more details.

I don't think I ever tried this on OSX.

Dima
>
>
> there were changes in configure  in beta7.
> Or do you mean to say that you used to be able to run ./bootstrap and it
> produced the ./configure script for you?
>
>
> I was able to use bootstrap to produce the configure script.
>
> I have no configure-* file in upstream/
>
> David.
>
>
>
>
> Le 19 août 2019 à 09:27, Dima Pasechnik  a écrit :
>
> something is funny with your internet connection, and so you cannot
> download the needed configure tarball.
>
> On Mon, Aug 19, 2019 at 10:20 AM David Coudert  wrote:
>
>
> I don't know how to fix this issue with aclocal. Some help is more than 
> welcome.
>
> confetti:sage dcoudert$ make build
>
> /Applications/Xcode.app/Contents/Developer/usr/bin/make build/make/Makefile 
> --stop
>
> ./bootstrap -d
>
> rm -rf config configure build/make/Makefile-auto.in
>
> bootstrap:69: installing 'config/config.rpath'
>
> build/pkgs/iconv/spkg-configure.m4:2: warning: macro 'AM_ICONV' not found in 
> library
>
> Error: could not locate the pkg-config autoconf macros. These are
>
> usually located in /usr/share/aclocal/pkg.m4. If your macros are
>
> in a different location, try setting the environment variable
>
> ACLOCAL="aclocal -I/other/macro/dir" before running ./bootstrap
>
> autom4te: /usr/bin/m4 failed with exit status: 16
>
> aclocal: error: echo failed with exit status: 16
>
> Bootstrap failed, downloading required files instead.
>
> Attempting to download package 
> configure-8c985712aebdb887c2e66308af1d29907a6fc242.tar.gz from mirrors
>
> Downloading the Sage mirror list
>
> CRITICAL [mirror_list|_refresh:182]: Downloading the mirror list failed, 
> using cached version
>
> https://mirror.koddos.net/sagemath/spkg/upstream/configure/configure-8c985712aebdb887c2e66308af1d29907a6fc242.tar.gz
>
> [xx]
>
> ERROR [transfer|run:135]: [Errno socket error] [Errno 54] Connection reset by 
> peer
>
> http://www-ftp.lip6.fr/pub/math/sagemath/spkg/upstream/configure/configure-8c985712aebdb887c2e66308af1d29907a6fc242.tar.gz
>
> [xx]
>
> ERROR [transfer|run:135]: [Errno socket error] [Errno 54] Connection reset by 
> peer
>
> http://www.mirrorservice.org/sites/www.sagemath.org/spkg/upstream/configure/configure-8c985712aebdb887c2e66308af1d29907a6fc242.tar.gz
>
> [xx]
>
> ERROR [transfer|run:135]: [Errno socket error] [Errno 54] Connection reset by 
> peer
>
> http://mirrors.mit.edu/sage/spkg/upstream/configure/configure-8c985712aebdb887c2e66308af1d29907a6fc242.tar.gz
>
> [xx]
>
> ERROR [transfer|run:135]: [Errno socket error] [Errno 54] Connection reset by 
> peer
>
> http://mirror.yandex.ru/mirrors/sage.math.washington.edu/spkg/upstream/configure/configure-8c985712aebdb887c2e66308af1d29907a6fc242.tar.gz
>
> [xx]
>
> ERROR [transfer|run:135]: [Errno socket error] [Errno 54] Connection reset by 
> peer
>
> https://mirrors.up.pt/pub/sage/spkg/upstream/configure/configure-8c985712aebdb887c2e66308af1d29907a6fc242.tar.gz
>
> [xx]
>
> ERROR [transfer|run:135]: [Errno socket error] [Errno 54] Connection reset by 
> peer
>
> http://sage.mirror.garr.it/mirrors/sage/spkg/upstream/configure/configure-8c985712aebdb887c2e66308af1d29907a6fc242.tar.gz
>
> [xx]
>
> ERROR [transfer|run:135]: [Errno socket error] [Errno 54] Connection reset by 
> peer
>
> http://ftp.sun.ac.za/ftp/pub/mirrors/www.sagemath.org/spkg/upstream/configure/configure-8c985712aebdb887c2e66308af1d29907a6fc242.tar.gz
>
> [xx]
>
> ERROR [transfer|run:135]: [Errno socket error] [Errno 54] Connection reset by 
> peer
>
> http://files.sagemath.org/spkg/upstream/configure/configure-8c985712aebdb887c2e66308af1d29907a6fc242.tar.gz
>
> [xx]
>
> ERROR [transfer|run:135]: [Errno socket error] [Errno 54] Connection reset by 
> peer
>
> http://ftp.ntua.gr/pub/sagemath/spkg/upstream/configure/configure-8c985712aebdb887c2e66308af1d29907a6fc242.tar.gz
>
> [xx]
>
> ERROR

Re: [sage-devel] error building 8.9.beta7 on OSX

2019-08-19 Thread David Coudert 


> Le 19 août 2019 à 10:58, Dima Pasechnik  a écrit :
> 
> On Mon, Aug 19, 2019 at 11:20 AM David Coudert  > wrote:
>> 
>> but for beta6, I succeeded to compile it without downloading the configure 
>> tarball...
> 
> there were changes in configure  in beta7.
> Or do you mean to say that you used to be able to run ./bootstrap and it
> produced the ./configure script for you?

I was able to use bootstrap to produce the configure script.

I have no configure-* file in upstream/

David.


> 
>> 
>> Le 19 août 2019 à 09:27, Dima Pasechnik  a écrit :
>> 
>> something is funny with your internet connection, and so you cannot
>> download the needed configure tarball.
>> 
>> On Mon, Aug 19, 2019 at 10:20 AM David Coudert  
>> wrote:
>> 
>> 
>> I don't know how to fix this issue with aclocal. Some help is more than 
>> welcome.
>> 
>> confetti:sage dcoudert$ make build
>> 
>> /Applications/Xcode.app/Contents/Developer/usr/bin/make build/make/Makefile 
>> --stop
>> 
>> ./bootstrap -d
>> 
>> rm -rf config configure build/make/Makefile-auto.in
>> 
>> bootstrap:69: installing 'config/config.rpath'
>> 
>> build/pkgs/iconv/spkg-configure.m4:2: warning: macro 'AM_ICONV' not found in 
>> library
>> 
>> Error: could not locate the pkg-config autoconf macros. These are
>> 
>> usually located in /usr/share/aclocal/pkg.m4. If your macros are
>> 
>> in a different location, try setting the environment variable
>> 
>> ACLOCAL="aclocal -I/other/macro/dir" before running ./bootstrap
>> 
>> autom4te: /usr/bin/m4 failed with exit status: 16
>> 
>> aclocal: error: echo failed with exit status: 16
>> 
>> Bootstrap failed, downloading required files instead.
>> 
>> Attempting to download package 
>> configure-8c985712aebdb887c2e66308af1d29907a6fc242.tar.gz from mirrors
>> 
>> Downloading the Sage mirror list
>> 
>> CRITICAL [mirror_list|_refresh:182]: Downloading the mirror list failed, 
>> using cached version
>> 
>> https://mirror.koddos.net/sagemath/spkg/upstream/configure/configure-8c985712aebdb887c2e66308af1d29907a6fc242.tar.gz
>> 
>> [xx]
>> 
>> ERROR [transfer|run:135]: [Errno socket error] [Errno 54] Connection reset 
>> by peer
>> 
>> http://www-ftp.lip6.fr/pub/math/sagemath/spkg/upstream/configure/configure-8c985712aebdb887c2e66308af1d29907a6fc242.tar.gz
>> 
>> [xx]
>> 
>> ERROR [transfer|run:135]: [Errno socket error] [Errno 54] Connection reset 
>> by peer
>> 
>> http://www.mirrorservice.org/sites/www.sagemath.org/spkg/upstream/configure/configure-8c985712aebdb887c2e66308af1d29907a6fc242.tar.gz
>> 
>> [xx]
>> 
>> ERROR [transfer|run:135]: [Errno socket error] [Errno 54] Connection reset 
>> by peer
>> 
>> http://mirrors.mit.edu/sage/spkg/upstream/configure/configure-8c985712aebdb887c2e66308af1d29907a6fc242.tar.gz
>> 
>> [xx]
>> 
>> ERROR [transfer|run:135]: [Errno socket error] [Errno 54] Connection reset 
>> by peer
>> 
>> http://mirror.yandex.ru/mirrors/sage.math.washington.edu/spkg/upstream/configure/configure-8c985712aebdb887c2e66308af1d29907a6fc242.tar.gz
>> 
>> [xx]
>> 
>> ERROR [transfer|run:135]: [Errno socket error] [Errno 54] Connection reset 
>> by peer
>> 
>> https://mirrors.up.pt/pub/sage/spkg/upstream/configure/configure-8c985712aebdb887c2e66308af1d29907a6fc242.tar.gz
>> 
>> [xx]
>> 
>> ERROR [transfer|run:135]: [Errno socket error] [Errno 54] Connection reset 
>> by peer
>> 
>> http://sage.mirror.garr.it/mirrors/sage/spkg/upstream/configure/configure-8c985712aebdb887c2e66308af1d29907a6fc242.tar.gz
>> 
>> [xx]
>> 
>> ERROR [transfer|run:135]: [Errno socket error] [Errno 54] Connection reset 
>> by peer
>> 
>> http://ftp.sun.ac.za/ftp/pub/mirrors/www.sagemath.org/spkg/upstream/configure/configure-8c985712aebdb887c2e66308af1d29907a6fc242.tar.gz
>> 
>> [xx]
>> 
>> ERROR [transfer|run:135]: [Errno socket error] [Errno 54] Connection reset 
>> by peer
>> 
>> http://files.sagemath.org/spkg/upstream/configure/configure-8c985712aebdb887c2e66308af1d29907a6fc242.tar.gz
>> 
>> [xx]
>> 
>> ERROR [transfer|run:135]: [Errno socket error] [Errno 54] Connection reset 
>> by peer
>> 
>> http://ftp.ntua.gr/pub/sagemath/spkg/upstream/configure/configure-8c985712aebdb887c2e66308af1d29907a6fc242.tar.gz
>> 
>> [xx]
>> 
>> ERROR [transfer|run:135]: [Errno socket error] [Errno 54] Connection reset 
>> by peer
>> 
>>

Re: [sage-devel] error building 8.9.beta7 on OSX

2019-08-19 Thread Dima Pasechnik 
On Mon, Aug 19, 2019 at 11:20 AM David Coudert  wrote:
>
> but for beta6, I succeeded to compile it without downloading the configure 
> tarball...

there were changes in configure  in beta7.
Or do you mean to say that you used to be able to run ./bootstrap and it
produced the ./configure script for you?

>
> Le 19 août 2019 à 09:27, Dima Pasechnik  a écrit :
>
> something is funny with your internet connection, and so you cannot
> download the needed configure tarball.
>
> On Mon, Aug 19, 2019 at 10:20 AM David Coudert  wrote:
>
>
> I don't know how to fix this issue with aclocal. Some help is more than 
> welcome.
>
> confetti:sage dcoudert$ make build
>
> /Applications/Xcode.app/Contents/Developer/usr/bin/make build/make/Makefile 
> --stop
>
> ./bootstrap -d
>
> rm -rf config configure build/make/Makefile-auto.in
>
> bootstrap:69: installing 'config/config.rpath'
>
> build/pkgs/iconv/spkg-configure.m4:2: warning: macro 'AM_ICONV' not found in 
> library
>
> Error: could not locate the pkg-config autoconf macros. These are
>
> usually located in /usr/share/aclocal/pkg.m4. If your macros are
>
> in a different location, try setting the environment variable
>
> ACLOCAL="aclocal -I/other/macro/dir" before running ./bootstrap
>
> autom4te: /usr/bin/m4 failed with exit status: 16
>
> aclocal: error: echo failed with exit status: 16
>
> Bootstrap failed, downloading required files instead.
>
> Attempting to download package 
> configure-8c985712aebdb887c2e66308af1d29907a6fc242.tar.gz from mirrors
>
> Downloading the Sage mirror list
>
> CRITICAL [mirror_list|_refresh:182]: Downloading the mirror list failed, 
> using cached version
>
> https://mirror.koddos.net/sagemath/spkg/upstream/configure/configure-8c985712aebdb887c2e66308af1d29907a6fc242.tar.gz
>
> [xx]
>
> ERROR [transfer|run:135]: [Errno socket error] [Errno 54] Connection reset by 
> peer
>
> http://www-ftp.lip6.fr/pub/math/sagemath/spkg/upstream/configure/configure-8c985712aebdb887c2e66308af1d29907a6fc242.tar.gz
>
> [xx]
>
> ERROR [transfer|run:135]: [Errno socket error] [Errno 54] Connection reset by 
> peer
>
> http://www.mirrorservice.org/sites/www.sagemath.org/spkg/upstream/configure/configure-8c985712aebdb887c2e66308af1d29907a6fc242.tar.gz
>
> [xx]
>
> ERROR [transfer|run:135]: [Errno socket error] [Errno 54] Connection reset by 
> peer
>
> http://mirrors.mit.edu/sage/spkg/upstream/configure/configure-8c985712aebdb887c2e66308af1d29907a6fc242.tar.gz
>
> [xx]
>
> ERROR [transfer|run:135]: [Errno socket error] [Errno 54] Connection reset by 
> peer
>
> http://mirror.yandex.ru/mirrors/sage.math.washington.edu/spkg/upstream/configure/configure-8c985712aebdb887c2e66308af1d29907a6fc242.tar.gz
>
> [xx]
>
> ERROR [transfer|run:135]: [Errno socket error] [Errno 54] Connection reset by 
> peer
>
> https://mirrors.up.pt/pub/sage/spkg/upstream/configure/configure-8c985712aebdb887c2e66308af1d29907a6fc242.tar.gz
>
> [xx]
>
> ERROR [transfer|run:135]: [Errno socket error] [Errno 54] Connection reset by 
> peer
>
> http://sage.mirror.garr.it/mirrors/sage/spkg/upstream/configure/configure-8c985712aebdb887c2e66308af1d29907a6fc242.tar.gz
>
> [xx]
>
> ERROR [transfer|run:135]: [Errno socket error] [Errno 54] Connection reset by 
> peer
>
> http://ftp.sun.ac.za/ftp/pub/mirrors/www.sagemath.org/spkg/upstream/configure/configure-8c985712aebdb887c2e66308af1d29907a6fc242.tar.gz
>
> [xx]
>
> ERROR [transfer|run:135]: [Errno socket error] [Errno 54] Connection reset by 
> peer
>
> http://files.sagemath.org/spkg/upstream/configure/configure-8c985712aebdb887c2e66308af1d29907a6fc242.tar.gz
>
> [xx]
>
> ERROR [transfer|run:135]: [Errno socket error] [Errno 54] Connection reset by 
> peer
>
> http://ftp.ntua.gr/pub/sagemath/spkg/upstream/configure/configure-8c985712aebdb887c2e66308af1d29907a6fc242.tar.gz
>
> [xx]
>
> ERROR [transfer|run:135]: [Errno socket error] [Errno 54] Connection reset by 
> peer
>
> http://linorg.usp.br/sage/spkg/upstream/configure/configure-8c985712aebdb887c2e66308af1d29907a6fc242.tar.gz
>
> [xx]
>
> ERROR [transfer|run:135]: [Errno socket error] [Errno 54] Connection reset by 
> peer
>
> http://ftp.rediris.es/mirror/sagemath/spkg/upstream/configure/configure-8c985712aebdb887c2e66308af1d29907a6fc242.tar.gz
>
>

Re: [sage-devel] error building 8.9.beta7 on OSX

2019-08-19 Thread David Coudert 
but for beta6, I succeeded to compile it without downloading the configure 
tarball...

> Le 19 août 2019 à 09:27, Dima Pasechnik  a écrit :
> 
> something is funny with your internet connection, and so you cannot
> download the needed configure tarball.
> 
> On Mon, Aug 19, 2019 at 10:20 AM David Coudert  wrote:
>> 
>> I don't know how to fix this issue with aclocal. Some help is more than 
>> welcome.
>> 
>> confetti:sage dcoudert$ make build
>> 
>> /Applications/Xcode.app/Contents/Developer/usr/bin/make build/make/Makefile 
>> --stop
>> 
>> ./bootstrap -d
>> 
>> rm -rf config configure build/make/Makefile-auto.in
>> 
>> bootstrap:69: installing 'config/config.rpath'
>> 
>> build/pkgs/iconv/spkg-configure.m4:2: warning: macro 'AM_ICONV' not found in 
>> library
>> 
>> Error: could not locate the pkg-config autoconf macros. These are
>> 
>> usually located in /usr/share/aclocal/pkg.m4. If your macros are
>> 
>> in a different location, try setting the environment variable
>> 
>> ACLOCAL="aclocal -I/other/macro/dir" before running ./bootstrap
>> 
>> autom4te: /usr/bin/m4 failed with exit status: 16
>> 
>> aclocal: error: echo failed with exit status: 16
>> 
>> Bootstrap failed, downloading required files instead.
>> 
>> Attempting to download package 
>> configure-8c985712aebdb887c2e66308af1d29907a6fc242.tar.gz from mirrors
>> 
>> Downloading the Sage mirror list
>> 
>> CRITICAL [mirror_list|_refresh:182]: Downloading the mirror list failed, 
>> using cached version
>> 
>> https://mirror.koddos.net/sagemath/spkg/upstream/configure/configure-8c985712aebdb887c2e66308af1d29907a6fc242.tar.gz
>> 
>> [xx]
>> 
>> ERROR [transfer|run:135]: [Errno socket error] [Errno 54] Connection reset 
>> by peer
>> 
>> http://www-ftp.lip6.fr/pub/math/sagemath/spkg/upstream/configure/configure-8c985712aebdb887c2e66308af1d29907a6fc242.tar.gz
>> 
>> [xx]
>> 
>> ERROR [transfer|run:135]: [Errno socket error] [Errno 54] Connection reset 
>> by peer
>> 
>> http://www.mirrorservice.org/sites/www.sagemath.org/spkg/upstream/configure/configure-8c985712aebdb887c2e66308af1d29907a6fc242.tar.gz
>> 
>> [xx]
>> 
>> ERROR [transfer|run:135]: [Errno socket error] [Errno 54] Connection reset 
>> by peer
>> 
>> http://mirrors.mit.edu/sage/spkg/upstream/configure/configure-8c985712aebdb887c2e66308af1d29907a6fc242.tar.gz
>> 
>> [xx]
>> 
>> ERROR [transfer|run:135]: [Errno socket error] [Errno 54] Connection reset 
>> by peer
>> 
>> http://mirror.yandex.ru/mirrors/sage.math.washington.edu/spkg/upstream/configure/configure-8c985712aebdb887c2e66308af1d29907a6fc242.tar.gz
>> 
>> [xx]
>> 
>> ERROR [transfer|run:135]: [Errno socket error] [Errno 54] Connection reset 
>> by peer
>> 
>> https://mirrors.up.pt/pub/sage/spkg/upstream/configure/configure-8c985712aebdb887c2e66308af1d29907a6fc242.tar.gz
>> 
>> [xx]
>> 
>> ERROR [transfer|run:135]: [Errno socket error] [Errno 54] Connection reset 
>> by peer
>> 
>> http://sage.mirror.garr.it/mirrors/sage/spkg/upstream/configure/configure-8c985712aebdb887c2e66308af1d29907a6fc242.tar.gz
>> 
>> [xx]
>> 
>> ERROR [transfer|run:135]: [Errno socket error] [Errno 54] Connection reset 
>> by peer
>> 
>> http://ftp.sun.ac.za/ftp/pub/mirrors/www.sagemath.org/spkg/upstream/configure/configure-8c985712aebdb887c2e66308af1d29907a6fc242.tar.gz
>> 
>> [xx]
>> 
>> ERROR [transfer|run:135]: [Errno socket error] [Errno 54] Connection reset 
>> by peer
>> 
>> http://files.sagemath.org/spkg/upstream/configure/configure-8c985712aebdb887c2e66308af1d29907a6fc242.tar.gz
>> 
>> [xx]
>> 
>> ERROR [transfer|run:135]: [Errno socket error] [Errno 54] Connection reset 
>> by peer
>> 
>> http://ftp.ntua.gr/pub/sagemath/spkg/upstream/configure/configure-8c985712aebdb887c2e66308af1d29907a6fc242.tar.gz
>> 
>> [xx]
>> 
>> ERROR [transfer|run:135]: [Errno socket error] [Errno 54] Connection reset 
>> by peer
>> 
>> http://linorg.usp.br/sage/spkg/upstream/configure/configure-8c985712aebdb887c2e66308af1d29907a6fc242.tar.gz
>> 
>> [xx]
>> 
>> ERROR [transfer|run:135]: [Errno socket error] [Errno 54] Connection reset 
>> by peer
>> 
>> http://ftp.rediris.es/mirror/sagemath/spkg/upstream/configure/configure-8c985712aebdb887c2e66308af1d29907a6fc242.tar.gz
>> 
>>

Re: [sage-devel] error building 8.9.beta7 on OSX

2019-08-19 Thread Dima Pasechnik 
something is funny with your internet connection, and so you cannot
download the needed configure tarball.

On Mon, Aug 19, 2019 at 10:20 AM David Coudert  wrote:
>
> I don't know how to fix this issue with aclocal. Some help is more than 
> welcome.
>
> confetti:sage dcoudert$ make build
>
> /Applications/Xcode.app/Contents/Developer/usr/bin/make build/make/Makefile 
> --stop
>
> ./bootstrap -d
>
> rm -rf config configure build/make/Makefile-auto.in
>
> bootstrap:69: installing 'config/config.rpath'
>
> build/pkgs/iconv/spkg-configure.m4:2: warning: macro 'AM_ICONV' not found in 
> library
>
> Error: could not locate the pkg-config autoconf macros. These are
>
> usually located in /usr/share/aclocal/pkg.m4. If your macros are
>
> in a different location, try setting the environment variable
>
> ACLOCAL="aclocal -I/other/macro/dir" before running ./bootstrap
>
> autom4te: /usr/bin/m4 failed with exit status: 16
>
> aclocal: error: echo failed with exit status: 16
>
> Bootstrap failed, downloading required files instead.
>
> Attempting to download package 
> configure-8c985712aebdb887c2e66308af1d29907a6fc242.tar.gz from mirrors
>
> Downloading the Sage mirror list
>
> CRITICAL [mirror_list|_refresh:182]: Downloading the mirror list failed, 
> using cached version
>
> https://mirror.koddos.net/sagemath/spkg/upstream/configure/configure-8c985712aebdb887c2e66308af1d29907a6fc242.tar.gz
>
> [xx]
>
> ERROR [transfer|run:135]: [Errno socket error] [Errno 54] Connection reset by 
> peer
>
> http://www-ftp.lip6.fr/pub/math/sagemath/spkg/upstream/configure/configure-8c985712aebdb887c2e66308af1d29907a6fc242.tar.gz
>
> [xx]
>
> ERROR [transfer|run:135]: [Errno socket error] [Errno 54] Connection reset by 
> peer
>
> http://www.mirrorservice.org/sites/www.sagemath.org/spkg/upstream/configure/configure-8c985712aebdb887c2e66308af1d29907a6fc242.tar.gz
>
> [xx]
>
> ERROR [transfer|run:135]: [Errno socket error] [Errno 54] Connection reset by 
> peer
>
> http://mirrors.mit.edu/sage/spkg/upstream/configure/configure-8c985712aebdb887c2e66308af1d29907a6fc242.tar.gz
>
> [xx]
>
> ERROR [transfer|run:135]: [Errno socket error] [Errno 54] Connection reset by 
> peer
>
> http://mirror.yandex.ru/mirrors/sage.math.washington.edu/spkg/upstream/configure/configure-8c985712aebdb887c2e66308af1d29907a6fc242.tar.gz
>
> [xx]
>
> ERROR [transfer|run:135]: [Errno socket error] [Errno 54] Connection reset by 
> peer
>
> https://mirrors.up.pt/pub/sage/spkg/upstream/configure/configure-8c985712aebdb887c2e66308af1d29907a6fc242.tar.gz
>
> [xx]
>
> ERROR [transfer|run:135]: [Errno socket error] [Errno 54] Connection reset by 
> peer
>
> http://sage.mirror.garr.it/mirrors/sage/spkg/upstream/configure/configure-8c985712aebdb887c2e66308af1d29907a6fc242.tar.gz
>
> [xx]
>
> ERROR [transfer|run:135]: [Errno socket error] [Errno 54] Connection reset by 
> peer
>
> http://ftp.sun.ac.za/ftp/pub/mirrors/www.sagemath.org/spkg/upstream/configure/configure-8c985712aebdb887c2e66308af1d29907a6fc242.tar.gz
>
> [xx]
>
> ERROR [transfer|run:135]: [Errno socket error] [Errno 54] Connection reset by 
> peer
>
> http://files.sagemath.org/spkg/upstream/configure/configure-8c985712aebdb887c2e66308af1d29907a6fc242.tar.gz
>
> [xx]
>
> ERROR [transfer|run:135]: [Errno socket error] [Errno 54] Connection reset by 
> peer
>
> http://ftp.ntua.gr/pub/sagemath/spkg/upstream/configure/configure-8c985712aebdb887c2e66308af1d29907a6fc242.tar.gz
>
> [xx]
>
> ERROR [transfer|run:135]: [Errno socket error] [Errno 54] Connection reset by 
> peer
>
> http://linorg.usp.br/sage/spkg/upstream/configure/configure-8c985712aebdb887c2e66308af1d29907a6fc242.tar.gz
>
> [xx]
>
> ERROR [transfer|run:135]: [Errno socket error] [Errno 54] Connection reset by 
> peer
>
> http://ftp.rediris.es/mirror/sagemath/spkg/upstream/configure/configure-8c985712aebdb887c2e66308af1d29907a6fc242.tar.gz
>
> [xx]
>
> ERROR [transfer|run:135]: [Errno socket error] [Errno 54] Connection reset by 
> peer
>
> http://mirrors.xmission.com/sage/spkg/upstream/configure/configure-8c985712aebdb887c2e66308af1d29907a6fc242.tar.gz
>
> [xx]
>
> ERROR

[sage-devel] error building 8.9.beta7 on OSX

2019-08-19 Thread David Coudert 
I don't know how to fix this issue with aclocal. Some help is more than 
welcome.

confetti:sage dcoudert$ make build

/Applications/Xcode.app/Contents/Developer/usr/bin/make build/make/Makefile 
--stop

./bootstrap -d

rm -rf config configure build/make/Makefile-auto.in

bootstrap:69: installing 'config/config.rpath'

build/pkgs/iconv/spkg-configure.m4:2: warning: macro 'AM_ICONV' not found 
in library

Error: could not locate the pkg-config autoconf macros. These are

usually located in /usr/share/aclocal/pkg.m4. If your macros are

in a different location, try setting the environment variable

ACLOCAL="aclocal -I/other/macro/dir" before running ./bootstrap

autom4te: /usr/bin/m4 failed with exit status: 16

aclocal: error: echo failed with exit status: 16

Bootstrap failed, downloading required files instead.

Attempting to download package 
configure-8c985712aebdb887c2e66308af1d29907a6fc242.tar.gz from mirrors

Downloading the Sage mirror list

CRITICAL [mirror_list|_refresh:182]: Downloading the mirror list failed, 
using cached version

https://mirror.koddos.net/sagemath/spkg/upstream/configure/configure-8c985712aebdb887c2e66308af1d29907a6fc242.tar.gz

[xx]

ERROR [transfer|run:135]: [Errno socket error] [Errno 54] Connection reset 
by peer

http://www-ftp.lip6.fr/pub/math/sagemath/spkg/upstream/configure/configure-8c985712aebdb887c2e66308af1d29907a6fc242.tar.gz

[xx]

ERROR [transfer|run:135]: [Errno socket error] [Errno 54] Connection reset 
by peer

http://www.mirrorservice.org/sites/www.sagemath.org/spkg/upstream/configure/configure-8c985712aebdb887c2e66308af1d29907a6fc242.tar.gz

[xx]

ERROR [transfer|run:135]: [Errno socket error] [Errno 54] Connection reset 
by peer

http://mirrors.mit.edu/sage/spkg/upstream/configure/configure-8c985712aebdb887c2e66308af1d29907a6fc242.tar.gz

[xx]

ERROR [transfer|run:135]: [Errno socket error] [Errno 54] Connection reset 
by peer

http://mirror.yandex.ru/mirrors/sage.math.washington.edu/spkg/upstream/configure/configure-8c985712aebdb887c2e66308af1d29907a6fc242.tar.gz

[xx]

ERROR [transfer|run:135]: [Errno socket error] [Errno 54] Connection reset 
by peer

https://mirrors.up.pt/pub/sage/spkg/upstream/configure/configure-8c985712aebdb887c2e66308af1d29907a6fc242.tar.gz

[xx]

ERROR [transfer|run:135]: [Errno socket error] [Errno 54] Connection reset 
by peer

http://sage.mirror.garr.it/mirrors/sage/spkg/upstream/configure/configure-8c985712aebdb887c2e66308af1d29907a6fc242.tar.gz

[xx]

ERROR [transfer|run:135]: [Errno socket error] [Errno 54] Connection reset 
by peer

http://ftp.sun.ac.za/ftp/pub/mirrors/www.sagemath.org/spkg/upstream/configure/configure-8c985712aebdb887c2e66308af1d29907a6fc242.tar.gz

[xx]

ERROR [transfer|run:135]: [Errno socket error] [Errno 54] Connection reset 
by peer

http://files.sagemath.org/spkg/upstream/configure/configure-8c985712aebdb887c2e66308af1d29907a6fc242.tar.gz

[xx]

ERROR [transfer|run:135]: [Errno socket error] [Errno 54] Connection reset 
by peer

http://ftp.ntua.gr/pub/sagemath/spkg/upstream/configure/configure-8c985712aebdb887c2e66308af1d29907a6fc242.tar.gz

[xx]

ERROR [transfer|run:135]: [Errno socket error] [Errno 54] Connection reset 
by peer

http://linorg.usp.br/sage/spkg/upstream/configure/configure-8c985712aebdb887c2e66308af1d29907a6fc242.tar.gz

[xx]

ERROR [transfer|run:135]: [Errno socket error] [Errno 54] Connection reset 
by peer

http://ftp.rediris.es/mirror/sagemath/spkg/upstream/configure/configure-8c985712aebdb887c2e66308af1d29907a6fc242.tar.gz

[xx]

ERROR [transfer|run:135]: [Errno socket error] [Errno 54] Connection reset 
by peer

http://mirrors.xmission.com/sage/spkg/upstream/configure/configure-8c985712aebdb887c2e66308af1d29907a6fc242.tar.gz

[xx]

ERROR [transfer|run:135]: [Errno socket error] [Errno 54] Connection reset 
by peer

http://sagemath.mirror.ac.za/spkg/upstream/configure/configure-8c985712aebdb887c2e66308af1d29907a6fc242.tar.gz

[xx]

ERROR [transfer|run:135]: [Errno socket error] [Errno 54] Connection reset 
by peer