user_guide:shell

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
user_guide:shell [2021/01/12 15:55] – [Switching between applications] gawrilowuser_guide:shell [2021/01/12 15:55] (current) – [Switching between applications] gawrilow
Line 69: Line 69:
 Applications are, roughly speaking, collections of object types, functions, and other stuff related to some distinct mathematical subject.  At all times during the interactive session in the polymake shell, there is one //current// application, while other applications are modestly standing on the backstage.  The name of the current application is permanently displayed in the shell prompt. Applications are, roughly speaking, collections of object types, functions, and other stuff related to some distinct mathematical subject.  At all times during the interactive session in the polymake shell, there is one //current// application, while other applications are modestly standing on the backstage.  The name of the current application is permanently displayed in the shell prompt.
  
-As a matter of fact, the only difference between the current application and the rest is that you can call the functions and object constructors of the former without having to qualify them with the application name as a prefix; however, this is a quite comfortable feature.  When you want to make other application current, you must enter this command: ''%%application "NAME";%%'' To perpetuate your choice for future sessions, you can set the [[user_guide:howto:shell_custom#custom variables|custom variable $default_application]].+As a matter of fact, the only difference between the current application and the rest is that you can call the functions and object constructors of the former without having to qualify them with the application name as a prefix; however, this is a quite comfortable feature.  When you want to make other application current, you must enter this command: ''%%application "NAME";%%'' To perpetuate your choice for future sessions, you can set the [[user_guide:howto:shell_custom#custom variables|custom variable]] ''$default_application''.
  
  • user_guide/shell.txt
  • Last modified: 2021/01/12 15:55
  • by gawrilow