Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revisionLast revisionBoth sides next revision | ||
user_guide:shell [2021/01/12 15:38] – external edit 127.0.0.1 | user_guide:shell [2021/01/12 15:55] – [Switching between applications] gawrilow | ||
---|---|---|---|
Line 45: | Line 45: | ||
:: appends the commands stored in the given file to the history, rewinds back to the first of them, and turns on the replay mode. This command is especially useful for making live demos with polymake, as you can prepare and test your input in advance and don't have to waste your time for typing during the presentation. | :: appends the commands stored in the given file to the history, rewinds back to the first of them, and turns on the replay mode. This command is especially useful for making live demos with polymake, as you can prepare and test your input in advance and don't have to waste your time for typing during the presentation. | ||
| | ||
- | Finally, let's mention two [[howto: | + | Finally, let's mention two [[user_guide:howto: |
? '' | ? '' | ||
Line 69: | Line 69: | ||
Applications are, roughly speaking, collections of object types, functions, and other stuff related to some distinct mathematical subject. | Applications are, roughly speaking, collections of object types, functions, and other stuff related to some distinct mathematical subject. | ||
- | 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. | + | 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. |