Re: [sage-devel] State of sage built with clang/clang++ on OS X

2016-09-17 Thread Francois Bissey
I don’t know about debian based distro specifically but installing clang shouldn’t remove gcc, they are orthogonal to each other. When you try building a specific package try CC=clang CXX=clang++ ./sage -f symmetrica for example. Yes there is a possibility of your sage install breaking after that.

Re: [sage-devel] State of sage built with clang/clang++ on OS X

2016-09-17 Thread Travis Scrimshaw
On Saturday, September 17, 2016 at 2:48:40 AM UTC-5, François wrote: > > Reanimating https://trac.sagemath.org/ticket/12426 > There is a ticket for symmetrica, if you still want to do it, I’d rather > you > fix the code with a patch than with a compilation flags as is suggested in > #12439.

Re: [sage-devel] Re: unexpected equality

2016-09-17 Thread Vincent Delecroix
Define serious work. On 17 September 2016 at 14:53, Ralf Stephan wrote: > In other words your example was correctly determined as undecidable > in the default domain CIF but Maxima then said the relation is true so > __nonzero__ took that. > > sage: from sage.symbolic.relation import test_relatio

[sage-devel] Re: unexpected equality

2016-09-17 Thread Ralf Stephan
In other words your example was correctly determined as undecidable in the default domain CIF but Maxima then said the relation is true so __nonzero__ took that. sage: from sage.symbolic.relation import test_relation_maxima sage: test_relation_maxima(sin(1 + 2^-200) == sin(1)) True This means fo

[sage-devel] Re: unexpected equality

2016-09-17 Thread Ralf Stephan
On Saturday, September 17, 2016 at 1:48:14 PM UTC+2, vdelecroix wrote: > > Is there anything reliable about __nonzero__ for expressions? > Define expression. For any type there is likely a performance tradeoff. sage: (sin(1 + 2^-100) == sin(1)).test_relation(domain=CIF) NotImplemented sage: (s

[sage-devel] unexpected equality

2016-09-17 Thread Vincent Delecroix
Hello, I thought that the symbolic ring should only gives false negative... but on the last beta sage: bool(sin(1 + 2^-100) == sin(1) == sin(1 - 2^-100)) True Is there anything reliable about __nonzero__ for expressions? Vincent -- You received this message because you are subscribed to the G

[sage-devel] please review #21231 (interface to fricas)

2016-09-17 Thread 'Martin R' via sage-devel
I spent a few hours yesterday to rebase and polish the new fricas interface. It would be great if somebody could re-review it. I should mention that there are three remaining issues: 1) there are three non-doctested methods, where I have no idea how to doctest them, but they make the patchbot

Re: [sage-devel] State of sage built with clang/clang++ on OS X

2016-09-17 Thread Francois Bissey
Reanimating https://trac.sagemath.org/ticket/12426 There is a ticket for symmetrica, if you still want to do it, I’d rather you fix the code with a patch than with a compilation flags as is suggested in #12439. François > On 17/09/2016, at 15:53, Francois Bissey > wrote: > > In theory you jus