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 09:06] – paffenholz | 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 11: | Line 23: | ||
| * no internet access from within the polymake shell | * no internet access from within the polymake shell | ||
| - | To start enter | + | 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 " |
| - | < | + | |
| - | 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 " | + | |
| 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:// | ||