Re: [sage-devel] Re: Sqrt simplification

2013-07-02 Thread rjf
On Tuesday, July 2, 2013 4:48:54 AM UTC-7, Eric Gourgoulhon wrote: > > > > Le mardi 2 juillet 2013 02:38:44 UTC+2, rjf a écrit : >> >> >> >> What you've written is just a hack. >> > > Of course it's a hack; this is why I did not submit it as a patch for Sage. > As far as one restricts oneself

Re: [sage-devel] Re: problems installing TOPCOM for triangulations?

2013-07-02 Thread Volker Braun
I agree that this is a usability wart... though really I think the whole idea of installing further components while Sage is running is a bad design choice. For example, if you end up modifying shared libraries that are currently mmaped then bad things will happen. On Tuesday, July 2, 2013 2:

Re: [sage-devel] Re: problems installing TOPCOM for triangulations?

2013-07-02 Thread Ursula Whitcher
On 7/1/2013 8:42 PM, Volker Braun wrote: You need to restart the notebook since the test output is cached... Yes, that seems to have solved the problem. You might want to add a note to this effect in the documentation for Triangulations of a point configuration. --Ursula. -- You received

[sage-devel] Re: Changes in Maxima behavior

2013-07-02 Thread Robert Dodier
On 2013-07-01, Joris Vankerschaver wrote: > sage: u, v = var('u, v', domain='real') > sage: sqrt(-1/(u^2+v^2-1)).simplify_radical() # This will hang This is a bug in Maxima: (%i2) radcan (sqrt (-1 / (u^2 + v^2 - 1))), domain=complex; It waits apparently forever here -- but it is actually

Re: [sage-devel] Re: (abs(sin(x))^2).simplify_full()

2013-07-02 Thread Joris Vankerschaver
> But the example in my original message works -- this really confuses me. > Clearly, simplify_trig invokes maxima to do the simplification, so why does > setting this flag in pynac make it work? Are functions of real variables > treated differently from functions taking a complex argument? >

Re: [sage-devel] Re: (abs(sin(x))^2).simplify_full()

2013-07-02 Thread Joris Vankerschaver
Hi Michael, Thanks for your message. I'm still a little confused about the way Sage handles assumptions, can you maybe shine your light on this? On Monday, July 1, 2013 8:55:43 PM UTC+1, Michael Orlitzky wrote: > > > > sage: u = var('u') > > sage: assume(u, 'real') > > This makes an assumptio

Re: [sage-devel] Re: Sqrt simplification

2013-07-02 Thread Eric Gourgoulhon
Le mardi 2 juillet 2013 02:38:44 UTC+2, rjf a écrit : > > > > What you've written is just a hack. > Of course it's a hack; this is why I did not submit it as a patch for Sage. As far as one restricts oneself to the REAL DOMAIN, I think it works. Please show me a counter-example. Again, let