A non-web based GUI for SAGE

edit

A nice GUI that will take more and more place in the future is jupyterlab. A recent article (Nov, 2017) speaks about it on medium.com.

Installation (edited, thanks to tmonteil comment):

sage -pip install jupyterlab

Usage:

sage -n jupyterlab

You can also use Sage within TeXmacs.

See also the TeXmacs Sage mode page on the Sage wiki.

Finally, see Interfaces to Sage from other software, which I guess could be enriched with the answers that were given here.

This may be an answer to a different question, since i never used Mathematica in mathematical research, (and teaching was done with a University licence,) but please allow it.

First of it is not clear from the post what kind of UI (user interface) is meant. If something like

https://mathematica.stackexchange.com/questions/54631/mathematica-user-interface-tutorial

is the UI, then just use notebook, web based.

I also have no idea which keyboard shortcuts make the work friendly in Mathematica. Please add this information, then there will be also more pointed answers. Personally, i have the following modi of research work in sage, and for any of them there is the right key binding solution.

• Quick code to get a quick answer to a relatively simple question (involving complicated structure, that i have already understood). Then i start a linux terminal, inside of it start sage by typing sage, this gives the iron python interpreter with automatical support for classes and methods. For instance, after typing the TAB (tabulator, twice) we get the list of all methods that can be applied on the object a,

  sage: a = 2018
  sage: a.abs<TAB><TAB>
         a.abs                         a.conjugate                   a.dump                         
         a.additive_order              a.coprime_integers            a.dumps                        
         a.base_extend                 a.crt                         a.euclidean_degree             
         a.base_ring                   a.dat                         a.exact_log                    
         a.binary                      a.degree                      a.exp
  

  And there is a direct access to "kernel" information on the used objects:

  sage: a.__class__
  <type 'sage.rings.integer.Integer'>
  

  Note that a is already a complicated object, not a dummy python integer. To get its divisors, we can type a.di, then the TAB(s), the list of the methods is

  sage: a.di<TAB><TAB>
             a.digits                      a.divides                     
             a.dist                        a.divisors                    
             a.divide_knowing_divisible_by
  

  we type three more letters and then TAB again, finally the (). And here we have them:

    sage: a.divisors()
    [1, 2, 1009, 2018]
  

  Here, it is very useful to see the names of the methods, a potential student learning - say - something about number fields, could type K.<u> = QuadraticField( 2019 ), then K.<TAB> and see all names of methods related / applicable for this kind of instance. This is already a lot of comfort! Note also that typing

  a.divisors?
  

  gives a description of the method, and also examples to get started. Moreover, a.divisors?? gives the code, and many sage users will never switch to Mathematica for this one reason.

  Many features of iron python work, e.g. Control+A to get to the beginning of the line, Control+E for its end, Control+R to reverse search, e.g.

  sage: a.divisors()
  
  
  I-search backward: a.
  

  (here i typed Control+R, then a., the last command i had with a. appears, enter gets it.) Also, %cpaste allows to paste into the interpreter bigger code chunks. (Shift+Insert inserts them. Enter would then further evaluate the lines.)

• The second case is when i am trying to get some research project work, for instance writing the matrix of some element of the Iwahori-Hecke-algebra acting on some special Kazhdan-Lusztig cell. Then, as in the previous answer of Emmanuel Charpentier, i am starting emacs, use pyhton mode, and get best key bindings i need, e.g. automatic extension of names, after binding dabbrev-expand to some key (e.g. F1), and a customized syntax highlight. The code can then be executed either in an emacs shell, or loaded in a sage terminal.

• The third use case has no parallel in Mathematica. This is when i have a bug. Then i start eclipse and debug inside the one method that failed. Step by step. I can initialize somewhere in the code some Kazhdan-Lusztig cell and run a unit test against the method that failed. (A new dimension occurs, while finding the error, there may be immediately a need to change / extend the code, yes, one can do it. For herself / himself for the sake of the own project, or sharing the idea with the world. It is the last chance, that made and makes sage so strong. Even a typo corrected in an example is a great job to contribute!)

These three "user interfaces" are all i need in sage: the ipyton interpreter with the sage preprocessing, emacs as an editor for a longer work and own design of classes (in an object oriented language), and eclipse (or pycharm) for debug.

sage_shell_mode is a very nice Sage mode for Emacs. Using it is a bit different from using a notebook (but it has some notebook-emulating features, which I don't use very often...), and is a very nice way to prepare a text+maths document (thanks to SageTeX, among others), which I tend to prefer to notebooks for "serious" (i. e. intended for publication/lecture/meeting/etc...) use. The infinite emacs customizability should be enough even for even the most rabid Mahematica user.

Furthermore, the openness of Sage allows its use in a zillion ways not possible with Mathematica, Which, IMNSHO, is the point...

I know about two:

• Spyder is intended for Python use and it's similar to Matlab in appearance. You can take a look at https://en.wikipedia.org/wiki/Spyder_... and https://github.com/spyder-ide. I think it could be configured to use Sagemath as a backend, since it's Python-based.
• Cantor is very similar to a Mathematica notebook and it supports Sagemath as a backend. However, it doesn't seem to work properly (at least for me). Check it out in https://en.wikipedia.org/wiki/Cantor_... and https://edu.kde.org/cantor/.

I've posted the following related question: https://ask.sagemath.org/question/406.... If you manage to configure one of them, let us know =).