I went back o the "develop" branch", fetched the last release (6.9) and re-made. $SAGE_ROOT/local/lib/libtinfo* is still out of the way.
The resulting system can open a sample sheet created with 6.9rc3, correctly solves x^2+1==0 and typesets the output if necessary. Two bizarreries : - Example of typeset output (cut from Jupyter to Google groups) : In [5]: solve(x^2+1==0, x) Out[5]: [x=(−i),x=i] (i. e. \newcommand{\Bold}[1]{\mathbf{#1}}\left[x = \left(-i\right), x = i\right]). The "simple" output doesn't have the superfetatory parentheses around the -I solution... - The mathjax menu seems difficult to reach.... ISTR that something analogous has been discussed recently, but can't retrieve it at the moment... HTH, -- Emmanuel Charpentier Le dimanche 11 octobre 2015 09:53:49 UTC+2, Emmanuel Charpentier a écrit : > > Works for me in a new sheet. Doesn't in a sheet initially created by > 6.9beta1. As far as I can tell, nothing in the sheet explains this > behaviour... > > And #19374 still doesn't work for me neither in the "old" or the "new" > sheet). > > HTH, > > -- > Emmanuel Charpentier > > > Le dimanche 11 octobre 2015 07:58:53 UTC+2, tdumont a écrit : >> >> Le 10/10/2015 22:32, Jeroen Demeyer a écrit : >> > On 2015-10-10 21:24, Emmanuel Charpentier wrote: >> >> In [2]: >> >> %display simple >> >> >> >> solve(x^2+1==0,x,to_poly_solve="force") >> >> Out[2]: >> >> >> >> [] >> >> >> >> >> >> Huh ? >> > Works for me... >> > >> > In any case, it would be very unlikely that a Sage command actually >> > gives different output in the command line and in the Jupyter notebook. >> > >> >> >jupyter notebook >> sage 6.9 rc3 >> This works for me too. >> t;d. >> > -- You received this message because you are subscribed to the Google Groups "sage-support" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-support+unsubscr...@googlegroups.com. To post to this group, send email to sage-support@googlegroups.com. Visit this group at http://groups.google.com/group/sage-support. For more options, visit https://groups.google.com/d/optout.