Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision | ||
boxdoc [2011/10/13 11:59] – sherrmann | boxdoc [2019/01/29 21:46] (current) – external edit 127.0.0.1 | ||
---|---|---|---|
Line 1: | Line 1: | ||
====== polymake in a Box ====== | ====== polymake in a Box ====== | ||
- | If you quickly want to try our software and also as a last resort for the truly desperate we now offer [[http:// | + | If you quickly want to try our software and also as a last resort for the truly desperate we now offer **polymake in a Box**, an online version. |
+ | |||
+ | < | ||
+ | |||
+ | Alternatively you can use the iframe below, to start enter '' | ||
+ | |||
+ | < | ||
+ | < | ||
+ | <iframe src="/ | ||
+ | </ | ||
+ | </ | ||
+ | |||
+ | ==== Notes ==== | ||
While it is fully functional in a conceptual sense the box version comes with a variety of restrictions which are listed below: | While it is fully functional in a conceptual sense the box version comes with a variety of restrictions which are listed below: | ||
Line 10: | Line 22: | ||
* no permanent storing of data | * no permanent storing of data | ||
* no internet access from within the polymake shell | * no internet access from within the polymake shell | ||
- | |||
- | To start enter | ||
- | < | ||
- | polymake | ||
- | </ | ||
- | Please log out using //ctrl+c// or by entering | ||
- | < | ||
- | exit; | ||
- | </ | ||
- | |||
- | === Note === | ||
For some unfortunate combinations of OS, browser, and keyboard layout JavaScript can't handle key combinations using the alt, meta, ctrl, or command key. On international keyboards, characters like " | For some unfortunate combinations of OS, browser, and keyboard layout JavaScript can't handle key combinations using the alt, meta, ctrl, or command key. On international keyboards, characters like " | ||
If this affects you you could try | If this affects you you could try | ||
- | * a different browser (opera seems to be good) | + | * a different browser (opera/ |
* remap key combinations that involve alt, ctrl, command, meta to something without one of the four. | * remap key combinations that involve alt, ctrl, command, meta to something without one of the four. | ||
* temporarily switch to a different keyboard layout. | * temporarily switch to a different keyboard layout. | ||
+ | |||
+ | ==== Software ==== | ||
+ | |||
+ | * A web based AJAX terminal emulator: [[http:// |