[sage-devel] Re: symbolics: is_real versus conversion to RR

2017-01-08 Thread Emmanuel Charpentier
Le dimanche 8 janvier 2017 08:48:33 UTC+1, Ralf Stephan a écrit : > > On Saturday, January 7, 2017 at 10:54:36 PM UTC+1, vdelecroix wrote: >> >> Some symbolic expressions claim that they are not real >> > > No. They just don't claim being real. The docstring says explicitly > "Return True if this

[sage-devel] Re: coercions from (quadratic) NumberFields to AA

2017-01-08 Thread Travis Scrimshaw
If no coercion is currently known, then coerce_map_from() calls _coerce_map_from_(). If _coerce_map_from_() returns a map, then that map becomes the coercion map. If it simply returns True, then the coercion map is constructed by using _element_constructor_() as the definition of the map. In ei

[sage-devel] Re: Extra blank is inserted before the output in the Sage CLI

2017-01-08 Thread Travis Scrimshaw
On Saturday, January 7, 2017 at 9:30:21 PM UTC-6, Kwankyu Lee wrote: > > This was reported earlier in > > > https://groups.google.com/forum/#!msg/sage-support/F6rDRrU59W8/kVbLWAtZAAAJ;context-place=searchin/sage-support/extra$20$20line > > The presumed suspect was the recent update of the IPython

[sage-devel] Re: symbolics: is_real versus conversion to RR

2017-01-08 Thread Ralf Stephan
On Sunday, January 8, 2017 at 9:14:15 AM UTC+1, Emmanuel Charpentier wrote: > > Le dimanche 8 janvier 2017 08:48:33 UTC+1, Ralf Stephan a écrit : >> >> You mean doing floating point computations to determine if an >> expression is real? >> > > Aaarghh.. > That was tongue in cheek, sorry. Actually

Re: [sage-devel] group algebra modules

2017-01-08 Thread Travis Scrimshaw
Hey Joe, Sorry for the delayed response (I've been traveling the past few days). > > > Sorry for posting and then disappearing for a bit. Thanks for your > answers. I will be very happy to have your help with the project to the > extent that you have time, and even just any quick suggestions a

[sage-devel] Re: coercions from (quadratic) NumberFields to AA

2017-01-08 Thread Marc Mezzarobba
Travis Scrimshaw wrote: > If no coercion is currently known, then coerce_map_from() calls > _coerce_map_from_(). If _coerce_map_from_() returns a map, then that > map becomes the coercion map. If it simply returns True, then the > coercion map is constructed by using _element_constructor_() as the

Re: [sage-devel] group algebra modules

2017-01-08 Thread Dima Pasechnik
On Wednesday, January 4, 2017 at 9:00:19 PM UTC, Joseph Hundley wrote: > > Hi Travis and David, > > Sorry for posting and then disappearing for a bit. Thanks for your > answers. I will be very happy to have your help with the project to the > extent that you have time, and even just any quick

[sage-devel] Re: Sage and Google Summer of Code (GSoC) 2017

2017-01-08 Thread Dima Pasechnik
On Friday, January 6, 2017 at 9:15:00 PM UTC, Arpit Merchant wrote: > > Hello, > > My name is Arpit Merchant and I participated in Google Summer of Code > (GSoC) 2016 with Sage. I had an amazing time and I would love to stay > involved with Sage and GSoC. Will Sage be participating this year fo

Re: [sage-devel] Re: symbolics: is_real versus conversion to RR

2017-01-08 Thread Vincent Delecroix
Le 08/01/2017 à 09:42, Ralf Stephan a écrit : On Sunday, January 8, 2017 at 9:14:15 AM UTC+1, Emmanuel Charpentier wrote: Le dimanche 8 janvier 2017 08:48:33 UTC+1, Ralf Stephan a écrit : You mean doing floating point computations to determine if an expression is real? Aaarghh.. That wa

Re: [sage-devel] Sage runs in Window's 10's new Unix subsystem

2017-01-08 Thread 'Bill Hart' via sage-devel
On Tuesday, 27 December 2016 07:28:22 UTC+1, GK wrote: > > After some windows update, it does not work for me anymore... :( > > Sage starts, the notebook loads, but once I try to do anything (i.e. > create a new worksheet or open an existing one) I get a server error (on > the browser) and some

[sage-devel] Re: Extra blank is inserted before the output in the Sage CLI

2017-01-08 Thread Sho Takemori
An empty line is inserted before the multi-line output in the method write_format_data of IPython.core.displayhook.Displayhook. I guess self.prompt_end_newline should be True for the Sage CLI. But the method write_output_prompt of IPython.terminal.RichPromptDisplayHook sets this to False. I gue

Re: [sage-devel] Re: symbolics: is_real versus conversion to RR

2017-01-08 Thread Ralf Stephan
On Sunday, January 8, 2017 at 11:40:13 AM UTC+1, vdelecroix wrote: > > Making is_real works on the image of most functions would be good. It > would in particular let Sage recognize that cos(pi/7) is a real number. Please add your ideas to https://trac.sagemath.org/ticket/22155 > Would it be

[sage-devel] Re: symbolics: is_real versus conversion to RR

2017-01-08 Thread Dima Pasechnik
IMHO there ought to be possible to return "Unknown" as the result. Indeed, in many cases such an exact computation is not feasible. On Saturday, January 7, 2017 at 9:54:36 PM UTC, vdelecroix wrote: > > Hello, > > Some symbolic expressions claim that they are not real > > sage: cos(pi/7).is_real

[sage-devel] Re: symbolics: is_real versus conversion to RR

2017-01-08 Thread Emmanuel Charpentier
Le dimanche 8 janvier 2017 16:16:06 UTC+1, Dima Pasechnik a écrit : > > IMHO there ought to be possible to return "Unknown" as the result. > Indeed, in many cases such an exact computation is not feasible. > ISTR that this discussion (binary vs "ternary" logic, "trools", or introduction of an "U

[sage-devel] Re: symbolics: is_real versus conversion to RR

2017-01-08 Thread Dima Pasechnik
On Sunday, January 8, 2017 at 8:08:01 PM UTC, Emmanuel Charpentier wrote: > > Le dimanche 8 janvier 2017 16:16:06 UTC+1, Dima Pasechnik a écrit : >> >> IMHO there ought to be possible to return "Unknown" as the result. >> Indeed, in many cases such an exact computation is not feasible. >> > > IS

[sage-devel] Re: Extra blank is inserted before the output in the Sage CLI

2017-01-08 Thread Kwankyu Lee
I put the following comment to the IPython issue: The method write_output_prompt in the class RichPromptDisplayHook sets the attribute prompt_end_newline to true when the output prompt ends explicitly with \n. In Sage, the output prompt is just empty string. I think that in this case too,

[sage-devel] pynac-0.7.3 fails to build on OSX 10.12.2

2017-01-08 Thread Kosta
Hello, I'm trying to build 7.5.rc2 on the aforementioned platform. When getting to pynac-0.7.3, I get an error (the first observed error during the compilation of pynac): 46405 CXX libpynac_la-sum.lo 46406 In file included from /Users/kosta/local/sage/local/include/c++/5.4.0/bits/basi

[sage-devel] Re: pynac-0.7.3 fails to build on OSX 10.12.2

2017-01-08 Thread Eric Gourgoulhon
Hi, Le dimanche 8 janvier 2017 23:41:35 UTC+1, Kosta a écrit : > > Hello, > > I'm trying to build 7.5.rc2 on the aforementioned platform. When getting > to pynac-0.7.3, I get an error (the first observed error during the > compilation of pynac): > > This error is fixed in 7.5.rc3 (released today