[sage-devel] Re: Giving Sage AI-based step-by-step equation solving abilities

Hi Ted, On 2016-10-12, Ted Kosan wrote: > However, PRESS was not specifically designed for use in education, so > I don't think it would be very useful to include in Sage. IMHO, most of SageMath isn't about education. So, why do you think its inclusion wouldn't be useful? Best regards, Simon -

Re: [sage-devel] Giving Sage AI-based step-by-step equation solving abilities

Richard wrote: > Nilsson's book was published in 1980. I suspect that, even at that > time, it was considered as having a fairly limited perspective. In 2014 Marvin Minsky stated that current AI researchers were years behind the AI research that was being done in the 1970s. In my opinion, he was

Re: [sage-devel] Giving Sage AI-based step-by-step equation solving abilities

William wrote: > The term "AI", especially in the 1990s, has a bad reputation among > some people, due to having massively over-promised and > under-delivered. It got hyped like crazy by both academics and > companies at certain points in the past.The term can -- in some > cases -- cause som

Re: [sage-devel] trouble compiling latest sage development version

I reinstalled all of XCode now (not just the command line version) and sage compiles again! Yippieh! Thank you all for your help! Anne On Tuesday, October 11, 2016 at 9:18:22 PM UTC-7, François wrote: > > Ok the initial problem was with avx instructions. Either givaro gets > misconfigured in th

Re: [sage-devel] trouble compiling latest sage development version

Ok the initial problem was with avx instructions. Either givaro gets misconfigured in thinking you have avx or someone you get a broken assembler. Can you try CXXFLAGS=“-Wa,-q” ./sage -i givaro > On 12/10/2016, at 16:41, Anne Schilling wrote: > > Wait, isn't this the error I started with before

Re: [sage-devel] Re: trouble compiling latest sage development version

Wait, isn't this the error I started with before I upgraded to OSX 10.12 etc? I seem to be going in circles. Is this related to https://trac.sagemath.org/ticket/17635

Re: [sage-devel] Re: trouble compiling latest sage development version

Hi John, Thank you for the answer! I did what you suggested and this time, sage started compiling and got to here: [gf2x-1.1.p1] make[5]: Nothing to be done for `install-exec-am'. [gf2x-1.1.p1] make[5]: Nothing to be done for `install-data-am'. [gf2x-1.1.p1] Making install in src [gf2x-1.1.

Re: [sage-devel] Giving Sage AI-based step-by-step equation solving abilities

Nilsson's book was published in 1980. I suspect that, even at that time, it was considered as having a fairly limited perspective. As far as PRESS is concerned, it would be possible to import it entirely into SAGE (assuming that PRESS is open source). I believe there is an open implementation

Re: [sage-devel] Re: trouble compiling latest sage development version

On Tuesday, October 11, 2016 at 2:15:06 PM UTC-7, John H Palmieri wrote: > > > > On Tuesday, October 11, 2016 at 1:26:22 PM UTC-7, Dima Pasechnik wrote: >> >> >> >> On Tuesday, October 11, 2016 at 7:47:47 PM UTC, John H Palmieri wrote: >>> >>> Right, Sage's Python is broken. Try deleting sage/loc

Re: [sage-devel] Giving Sage AI-based step-by-step equation solving abilities

On Tue, Oct 11, 2016 at 1:15 PM, Ted Kosan wrote: > Richard wrote: > >> I think that calling this Artificial Intelligence is probably unhelpful and >> arguably wrong. But maybe you (and maybe the PRESS people) are >> calling rules + search + evaluation as AI? > > I am currently reading a book titl

Re: [sage-devel] Re: trouble compiling latest sage development version

On Tuesday, October 11, 2016 at 1:26:22 PM UTC-7, Dima Pasechnik wrote: > > > > On Tuesday, October 11, 2016 at 7:47:47 PM UTC, John H Palmieri wrote: >> >> Right, Sage's Python is broken. Try deleting sage/local/bin/python and >> python2, and also sage/local/lib/python2.7 and >> sage/local/lib

Re: [sage-devel] Build issues with patchbots hades, poseidon and fermat

On 2016-10-11 19:05, Kwankyu Lee wrote: I stopped hades. Is the fault with the patchbot, not with Sage 7.4.rc0? No idea, I don't know the cause of the problem on hades. -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this gr

Re: [sage-devel] Build issues with patchbots hades, poseidon and fermat

On 2016-10-11 17:56, John Cremona wrote: I will do that -- but I have never done anything other than follow those instructions, and never knowking started running the patchbot inside a Sage shell! I never said it was your fault. It could very well be that the issue was in the implementation or

Re: [sage-devel] Re: Build issues with patchbots hades, poseidon and fermat

On 2016-10-11 20:34, Frédéric Chapoton wrote: I now have this problem on my own machine: sage/rings/finite_rings/integer_mod.pyx:1688:10: '_floordiv_' already defined and this has nothing to do with any patchbot.. Since you seem to be the only one having this problem, you need to give more d

Re: [sage-devel] Re: Build issues with patchbots hades, poseidon and fermat

On 2016-10-11 19:04, Frédéric Chapoton wrote: if you look here, you see that almost all bots have failed to build 7.4.rc0: https://patchbot.sagemath.org/ticket/0/ Some of these are temporary problems due to #21672. You will see that arando for example managed to build some tickets successfull

Re: [sage-devel] Re: trouble compiling latest sage development version

On 12/10/16 09:26, Dima Pasechnik wrote: On Tuesday, October 11, 2016 at 7:47:47 PM UTC, John H Palmieri wrote: Right, Sage's Python is broken. Try deleting sage/local/bin/python and python2, and also sage/local/lib/python2.7 and sage/local/lib/libpython2.7.dylib. Then the build pr

Re: [sage-devel] Re: trouble compiling latest sage development version

On Tuesday, October 11, 2016 at 7:47:47 PM UTC, John H Palmieri wrote: > > Right, Sage's Python is broken. Try deleting sage/local/bin/python and > python2, and also sage/local/lib/python2.7 and > sage/local/lib/libpython2.7.dylib. Then the build process should use the > system's Python until

Re: [sage-devel] Giving Sage AI-based step-by-step equation solving abilities

Richard wrote: > I think that calling this Artificial Intelligence is probably unhelpful and > arguably wrong. But maybe you (and maybe the PRESS people) are > calling rules + search + evaluation as AI? I am currently reading a book titled "Principles of Artificial Intelligence" by Nils J. Nilsso

Re: [sage-devel] Re: trouble compiling latest sage development version

Right, Sage's Python is broken. Try deleting sage/local/bin/python and python2, and also sage/local/lib/python2.7 and sage/local/lib/libpython2.7.dylib. Then the build process should use the system's Python until Sage builds a working one. On Tuesday, October 11, 2016 at 12:19:47 PM UTC-7, An

Re: [sage-devel] Re: trouble compiling latest sage development version

Well, in fact now no matter what I do, I get this error. Even from the master branch: make distclean make -j4 build/make/Makefile ./bootstrap -d rm -rf config configure build/make/Makefile-auto.in ./bootstrap: line 29: aclocal: command not found Bootstrap failed, downloading required files instea

Re: [sage-devel] Re: trouble compiling latest sage development version

I guess I was overzealous upgrading to OSX10.12. Thanks John for your suggestions! With ticket 21567, I do not seem to get very far: make make -j4 build/make/Makefile ./bootstrap -d rm -rf config configure build/make/Makefile-auto.in ./bootstrap: line 31: aclocal: command not found Bootstrap fai

Re: [sage-devel] Re: trouble compiling latest sage development version

On Tuesday, October 11, 2016 at 11:35:18 AM UTC-7, Anne Schilling wrote: > > Hi Volker, > > Thanks for the suggestion. I upgraded to OSX 10.12 and installed the > latest version command line xcode. Now I get the following > error (even when compiling the latest stable release of sage): > Volker

Re: [sage-devel] trouble compiling latest sage development version

I am surprised you got that far with Xcode 8.0! see https://trac.sagemath.org/ticket/21567 François > On 12/10/2016, at 07:35, Anne Schilling wrote: > > Hi Volker, > > Thanks for the suggestion. I upgraded to OSX 10.12 and installed the latest > version command line xcode. Now I get the foll

Re: [sage-devel] NTL v10

> On 12/10/2016, at 06:54, Victor Shoup wrote: > > While I'm not ready to go all autotools, I've started reading about it. > I read about the DESTDIR trick that some package managers use, > so I added support for that in the makefile. Although I suppose > that may not be so relevant for Sage.

Re: [sage-devel] Re: trouble compiling latest sage development version

Hi Volker, Thanks for the suggestion. I upgraded to OSX 10.12 and installed the latest version command line xcode. Now I get the following error (even when compiling the latest stable release of sage): ... [maxima-5.35.1.p2] /usr/bin/install -c -m 644 ./z_transform/rtest_z_transform.mac /Appl

[sage-devel] Re: Build issues with patchbots hades, poseidon and fermat

I now have this problem on my own machine: sage/rings/finite_rings/integer_mod.pyx:1688:10: '_floordiv_' already defined and this has nothing to do with any patchbot.. Frederic Le mardi 11 octobre 2016 19:04:40 UTC+2, Frédéric Chapoton a écrit : > > if you look here, you see that almost all bo

[sage-devel] Re: NTL v10

Almost done with the new release! I've taken care of the recursive make patch and both of the libtool patches. While I'm not ready to go all autotools, I've started reading about it. I read about the DESTDIR trick that some package managers use, so I added support for that in the makefile. Althou

Re: [sage-devel] NTL v10

On Oct 11, 2016, at 01:13 , John Cremona wrote: > On 11 October 2016 at 01:03, Victor Shoup wrote: >> First, you are definitely wrong about punch cards. I started programming >> with Fortran on punch cards in the 70s. > > Punch cards? They were a great advance on paper tape which is what > *I

Re: [sage-devel] Build issues with patchbots hades, poseidon and fermat

> > I was only trying to help but if I cause problems to others I'll just not > bother. > I stopped hades. Is the fault with the patchbot, not with Sage 7.4.rc0? -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group

[sage-devel] Re: Build issues with patchbots hades, poseidon and fermat

if you look here, you see that almost all bots have failed to build 7.4.rc0: https://patchbot.sagemath.org/ticket/0/ Among them is my own bot, now stopped. I tried a make distclean & make, and the same error still appears. Frederic Le mardi 11 octobre 2016 09:38:19 UTC+2, Eric Gourgoulhon a éc

Re: [sage-devel] Build issues with patchbots hades, poseidon and fermat

On 11 October 2016 at 16:44, Jeroen Demeyer wrote: > On 2016-10-11 09:38, Eric Gourgoulhon wrote: >> >> [sagelib-7.4.rc0] sage/rings/finite_rings/integer_mod.pyx:1688:10: >> '_floordiv_' already defined > > > It seems that this machine is running the Sage patchbot within a Sage shell, > which is n

Re: [sage-devel] Build issues with patchbots hades, poseidon and fermat

On 2016-10-11 09:38, Eric Gourgoulhon wrote: [sagelib-7.4.rc0] sage/rings/finite_rings/integer_mod.pyx:1688:10: '_floordiv_' already defined It seems that this machine is running the Sage patchbot within a Sage shell, which is not supported. Because of this, the environment variable PIP_INST

Re: [sage-devel] NTL v10

On Tuesday, October 11, 2016 at 3:02:17 PM UTC, John Cremona wrote: > > On 11 October 2016 at 15:34, William Stein > > wrote: > > On Tue, Oct 11, 2016 at 7:24 AM, Dima Pasechnik > wrote: > >> > >> > >> On Tuesday, October 11, 2016 at 8:14:02 AM UTC, John Cremona wrote: > >>> > >>> On 11 O

Re: [sage-devel] Giving Sage AI-based step-by-step equation solving abilities

I think that calling this Artificial Intelligence is probably unhelpful and arguably wrong. But maybe you (and maybe the PRESS people) are calling rules + search + evaluation as AI? Unless it has changed substantially from what I have seen in the past,, PRESS is lacking in rigorous methods for

Re: [sage-devel] Build issues with patchbots hades, poseidon and fermat

Le mardi 11 octobre 2016 09:51:35 UTC+2, Jeroen Demeyer a écrit : > > > It's annoying that only the patchbots have these errors, I have not seen > anybody else report them. > > A similar build error regarding fermat (sage/matrix/matrix0.pyx:4757:10: '_add_' already defined) is here: https://patc

Re: [sage-devel] NTL v10

On 11 October 2016 at 15:34, William Stein wrote: > On Tue, Oct 11, 2016 at 7:24 AM, Dima Pasechnik wrote: >> >> >> On Tuesday, October 11, 2016 at 8:14:02 AM UTC, John Cremona wrote: >>> >>> On 11 October 2016 at 01:03, Victor Shoup wrote: >>> > First, you are definitely wrong about punch cards

Re: [sage-devel] NTL v10

On Tue, Oct 11, 2016 at 7:24 AM, Dima Pasechnik wrote: > > > On Tuesday, October 11, 2016 at 8:14:02 AM UTC, John Cremona wrote: >> >> On 11 October 2016 at 01:03, Victor Shoup wrote: >> > First, you are definitely wrong about punch cards. I started programming >> > with Fortran on punch cards in

Re: [sage-devel] NTL v10

On Tuesday, October 11, 2016 at 8:14:02 AM UTC, John Cremona wrote: > > On 11 October 2016 at 01:03, Victor Shoup > > wrote: > > First, you are definitely wrong about punch cards. I started programming > > with Fortran on punch cards in the 70s. > > Punch cards? They were a great advance on

[sage-devel] Re: Testing new graph algorithms

> >> Even if it does turn out that this technique performs worse than Sage on >> some graphs, is it worth trying to integrate it as an option for users? >> > > Are these algorithms published? (sorry, "Mark Bell" isn't very googleable; > e.g. I found this https://arxiv.org/a/bell_m_3.html > but

[sage-devel] Re: a 7(!) year old (Singular) overflow issue still holds

On Tuesday, October 11, 2016 at 4:47:23 AM UTC, Bill Hart wrote: > > > > On Monday, 10 October 2016 12:31:25 UTC+2, Dima Pasechnik wrote: >> >> >> >> On Sunday, October 9, 2016 at 4:48:31 PM UTC, Bill Hart wrote: >>> >>> >>> >>> On Sunday, 9 October 2016 18:08:29 UTC+2, Dima Pasechnik wrote:

[sage-devel] Re: Testing new graph algorithms

On Tuesday, October 11, 2016 at 11:25:09 AM UTC, Mark Bell wrote: > > I've been working on some new algorithms for computing some properties > (eccentricity, diameter, radius, ...) of (undirected) graphs and I'm > looking for families to test these on. > > I've written a reasonable efficient C ex

[sage-devel] Testing new graph algorithms

I've been working on some new algorithms for computing some properties (eccentricity, diameter, radius, ...) of (undirected) graphs and I'm looking for families to test these on. I've written a reasonable efficient C extension which implements these algorithms and so I've started comparing thes

Re: [sage-devel] Build issues with patchbots hades, poseidon and fermat

deme...@fermat.warwick.ac.uk The machine had a new ubuntu o/s installed from scratch a month or so ago so may not have all that's needed but has been running thepatch bot for several weeks. John On 11 October 2016 at 09:42, Jeroen Demeyer wrote: > On 2016-10-11 10:14, John Cremona wrote: >> >>

Re: [sage-devel] Build issues with patchbots hades, poseidon and fermat

On 2016-10-11 10:14, John Cremona wrote: That's me, send me your ssh key. Here it is. Remember to give me the login details. -- 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

Re: [sage-devel] Build issues with patchbots hades, poseidon and fermat

On 11 October 2016 at 08:45, Jeroen Demeyer wrote: > On 2016-10-11 09:38, Eric Gourgoulhon wrote: >> >> [sagelib-7.4.rc0] sage/rings/finite_rings/integer_mod.pyx:1688:10: >> '_floordiv_' already defined > > > This looks like a typical error which was fixed by #21441. However, that > ticket is merg

Re: [sage-devel] NTL v10

On 11 October 2016 at 01:03, Victor Shoup wrote: > First, you are definitely wrong about punch cards. I started programming > with Fortran on punch cards in the 70s. Punch cards? They were a great advance on paper tape which is what *I* started on. To correct a typo in your program you had to

Re: [sage-devel] Build issues with patchbots hades, poseidon and fermat

On 2016-10-11 09:38, Eric Gourgoulhon wrote: Hi, Since Sage 7.4.rc0, the patchbots hades and poseidon fail with the message: [openblas-0.2.19] ./openblas_utest: error while loading shared libraries: libgfortran.so.3: cannot open shared object file: No such file or directory while fermat fail

Re: [sage-devel] Build issues with patchbots hades, poseidon and fermat

On 2016-10-11 09:38, Eric Gourgoulhon wrote: [sagelib-7.4.rc0] sage/rings/finite_rings/integer_mod.pyx:1688:10: '_floordiv_' already defined This looks like a typical error which was fixed by #21441. However, that ticket is merged, so I don't have an explanation. If someone can give me acce

[sage-devel] Build issues with patchbots hades, poseidon and fermat

Hi, Since Sage 7.4.rc0, the patchbots hades and poseidon fail with the message: [openblas-0.2.19] ./openblas_utest: error while loading shared libraries: libgfortran.so.3: cannot open shared object file: No such file or directory while fermat fails with the message: [sagelib-7.4.rc0] sage/rin

[sage-devel] Re: a 7(!) year old (Singular) overflow issue still holds

Yes it is a feature of the Singular 4 update that Singular and Sage work by default with 16 bit exponents on 32 and 64 bit platform by default. If only all of of you had read carefully the 543 comments of the update ticket and remembered this tcomment https://trac.sagemath.org/ticket/17254#comme

[sage-devel] Re: NTL v10

On Tuesday, October 11, 2016 at 6:06:50 AM UTC+2, Victor Shoup wrote: > > I looked at the singular patch, regarding the use of nothrow new. > I dug up "ticket #852" which lead to that patch. > In all honesty, it looks like singular is doing something wrong, > so "fixing" NTL is just the wrong thi