[sage-devel] Re: Addition of zero in the coercion model

2015-02-22 Thread Eric Gourgoulhon
Hi Simon, Le dimanche 22 février 2015 00:28:42 UTC+1, Simon King a écrit : Hi Eric, On 2015-02-21, Eric Gourgoulhon egourg...@gmail.com javascript: wrote: It seems that a possible way to have 0 + MyElement work even if ZZ does= =20 not coerce to MyElement.parent() is to have=20

[sage-devel] Re: Addition of zero in the coercion model

2015-02-22 Thread Simon King
Hi Eric, On 2015-02-22, Eric Gourgoulhon egourgoul...@gmail.com wrote: Yes that's conversion, but both 0+x and x+0 works because, I think, of=20 lines 979-990 of=20 sage.structure.coerce.pyx: # Allow coercion of 0 even if no coercion from Z if is_Integer(x) and not x and

[sage-devel] Re: coercion of objects embedded in symbolic expressions

2015-02-22 Thread Burcin Erocal
On Sun, 22 Feb 2015 03:17:13 -0800 (PST) Volker Braun vbraun.n...@gmail.com wrote: Just to tell you what you already know, the symbolic ring is the parent of last resort if there is nothing more specific. So its to be expected that you don't have any canonical maps elsewhere. Pynac should

Re: [sage-devel] Re: Addition of zero in the coercion model

2015-02-22 Thread John Cremona
On 22 February 2015 at 10:00, Eric Gourgoulhon egourgoul...@gmail.com wrote: Hi Simon, Le dimanche 22 février 2015 00:28:42 UTC+1, Simon King a écrit : Hi Eric, On 2015-02-21, Eric Gourgoulhon egourg...@gmail.com wrote: It seems that a possible way to have 0 + MyElement work even if ZZ

[sage-devel] Re: coercion of objects embedded in symbolic expressions

2015-02-22 Thread Volker Braun
Just to tell you what you already know, the symbolic ring is the parent of last resort if there is nothing more specific. So its to be expected that you don't have any canonical maps elsewhere. Pynac should probably unwind the comparison of two wrapped (non-symbolic) python objects to the

[sage-devel] Version of the documentation

2015-02-22 Thread Bruno Grenet
Dear all, The documentation on http://www.sagemath.org/doc/index.html is for Sage v6.6.beta0. Shouldn't it be for Sage v6.5? Cheers, Bruno -- You received this message because you are subscribed to the Google Groups sage-devel group. To unsubscribe from this group and stop receiving emails

[sage-devel] coercion of objects embedded in symbolic expressions

2015-02-22 Thread Ralf Stephan
Hello, a long standing issue is sage: bool(piInfinity) False sage: bool(SR(3)Infinity) False http://trac.sagemath.org/ticket/12967 at which I'm having a naive stab (because it interferes with #14801). Maybe I can learn something? In the ticket the problem has been said having to do with Pynac,

[sage-devel] Re: coercion of objects embedded in symbolic expressions

2015-02-22 Thread Eric Gourgoulhon
Hi, Just to tell that no later than two days ago, I had a bug in my code that was caused by bool(SR(0) Infinity) returning False. I was about to post a message to sage-devel, but thanks to your post, I realize this is a known issue. Best wishes, Eric. -- You received this message

[sage-devel] Re: Addition of zero in the coercion model

2015-02-22 Thread Eric Gourgoulhon
Le dimanche 22 février 2015 15:24:53 UTC+1, Simon King a écrit : Seriously? I didn't know that Sage's coercion model has such special cases. OK, it makes it possible to get a typical usecase with least effort. But my impression is that ultimately such special cases cause a lot more

[sage-devel] Re: Addition of zero in the coercion model

2015-02-22 Thread Simon King
Hi Eric, On 2015-02-22, Eric Gourgoulhon egourgoul...@gmail.com wrote: Note that the function is_Integer used in sage.structure.coerce.pyx is=20 *not* the above one: it is defined in lines 134-139 and it returns True for= is_Integer(int(0)).=20 Seriously? But when the integer zero is treated

[sage-devel] GP/PARI hangs with sage-6.4.1/6.5 on Ubuntu 14.04.2 LTS

2015-02-22 Thread Franco Saliola
Hello sage-devel, I sent the following email to sage-release, but I think it really belongs here. I'm looking for ideas on how to debug (or better, how to fix) the problems with GP/PARI interface that are causing sage to hang. Thanks, Franco -- Forwarded message -- From: Franco

[sage-devel] Re: Sage-6.5 Source Fails to Compile

2015-02-22 Thread Volker Braun
Wrong link to zeromq master, should be https://github.com/zeromq/zeromq4-1/commit/00aeaddf945cf7bdca33473fdd591a0f874ab2b4 On Sunday, February 22, 2015 at 9:45:26 AM UTC+1, Volker Braun wrote: Seems to be fixed in the next zeromq version: https://github.com/zeromq/libzmq/tree/master/tests

[sage-devel] Re: Sage-6.5 Source Fails to Compile

2015-02-22 Thread Volker Braun
Seems to be fixed in the next zeromq version: https://github.com/zeromq/libzmq/tree/master/tests Can you try CXXFLAGS=-Wno-error=unused-parameter make or maybe just CFLAGS. If it works we can add it as a workaround. On Sunday, February 22, 2015 at 4:07:13 AM UTC+1, rich...@pacbell.net

Re: [sage-devel] GP/PARI hangs with sage-6.4.1/6.5 on Ubuntu 14.04.2 LTS

2015-02-22 Thread Julien Puydt
Hi, Le 22/02/2015 20:34, Franco Saliola a écrit : Hello sage-devel, I sent the following email to sage-release, but I think it really belongs here. I'm looking for ideas on how to debug (or better, how to fix) the problems with GP/PARI interface that are causing sage to hang. The symptoms

Re: [sage-devel] GP/PARI hangs with sage-6.4.1/6.5 on Ubuntu 14.04.2 LTS

2015-02-22 Thread François Bissey
Do you have a system wide pari/gp install? Francois On 02/23/15 08:34, Franco Saliola wrote: Hello sage-devel, I sent the following email to sage-release, but I think it really belongs here. I'm looking for ideas on how to debug (or better, how to fix) the problems with GP/PARI interface

Re: [sage-devel] Re: Addition of zero in the coercion model

2015-02-22 Thread Jeroen Demeyer
On 2015-02-22 15:24, Simon King wrote: Seriously? I didn't know that Sage's coercion model has such special cases. OK, it makes it possible to get a typical usecase with least effort. But my impression is that ultimately such special cases cause a lot more confusion than a clear model in the

Re: [sage-devel] GP/PARI hangs with sage-6.4.1/6.5 on Ubuntu 14.04.2 LTS

2015-02-22 Thread Jeroen Demeyer
On 2015-02-22 20:34, Franco Saliola wrote: o gp('2 + 3') hangs in sage What's the contents of ~/.sage/gp-expect.log after doing just this in a Sage session? -- You received this message because you are subscribed to the Google Groups sage-devel group. To unsubscribe from this group and

[sage-devel] Re: Sage-6.5 Source Fails to Compile

2015-02-22 Thread Richard
Volker: Yes, your suggested 'fix' works. My standard CFLAGS and CXXFLAGS that was failing on zeromq: CFLAGS=-march=native -O2 -fomit-frame-pointer -pipe -W -Wall CXXFLAGS=-march=native -O2 -fomit-frame-pointer -pipe -W -Wall The following work: CFLAGS=-march=native -O2 -fomit-frame-pointer