Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision | ||
user_guide:howto:jupyter [2021/06/03 18:17] – [jupyter] Add more details on prereq, in particular for Ubuntu lkastner | user_guide:howto:jupyter [2021/06/15 09:02] (current) – [jupyter] Try other browser lkastner | ||
---|---|---|---|
Line 11: | Line 11: | ||
if working with the polymake source. Then please use the polymake binary from the folder you installed polymake in. | if working with the polymake source. Then please use the polymake binary from the folder you installed polymake in. | ||
- | If you use a version of polymake installed via your package manager, make sure you have the `polymake-config` binary. Try running | + | If you use a version of polymake installed via your package manager, make sure you have the '' |
< | < | ||
polymake-config --version | polymake-config --version | ||
</ | </ | ||
- | in a terminal. For example for Ubuntu it is not enough to have the `polymake` package installed, you will also need `libpolymake-dev`. | + | in a terminal. For example for Ubuntu it is not enough to have the '' |
===== Setup ===== | ===== Setup ===== | ||
Line 62: | Line 62: | ||
===== Troubleshooting ===== | ===== Troubleshooting ===== | ||
+ | If the polymake kernel does not start for you, look at the output of jupyter in the terminal and search for any error messages. | ||
+ | |||
+ | If you experience issues it makes sense to try a different browser. | ||
+ | |||
+ | ==== JuPyMake.PolymakeError: | ||
+ | This error sometimes appears with polymake installed by the package manager. It can be fixed by manually setting the symlink | ||
+ | < | ||
+ | cd / | ||
+ | sudo ln -s ../ | ||
+ | </ | ||
+ | |||
==== polymake configuration ==== | ==== polymake configuration ==== | ||
- | The default configuration used by the jupyter kernel is the one in `$HOME/ | + | The default configuration used by the jupyter kernel is the one in '' |
Advance users can use a different configuration folder in the following way: | Advance users can use a different configuration folder in the following way: |