user_guide:howto:jupyter

Differences

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

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
Next revisionBoth sides next revision
user_guide:howto:jupyter [2021/06/03 18:17] – [jupyter] Add more details on prereq, in particular for Ubuntu lkastneruser_guide:howto:jupyter [2021/06/03 19:55] – [Prerequisites] 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-configbinary. Try running+If you use a version of polymake installed via your package manager, make sure you have the ''polymake-config'' binary. Try running
 <code> <code>
 polymake-config --version polymake-config --version
 </code> </code>
-in a terminal. For example for Ubuntu it is not enough to have the `polymakepackage installed, you will also need `libpolymake-dev`.+in a terminal. For example for Ubuntu it is not enough to have the ''polymake'' package installed, you will also need ''libpolymake-dev''.
  
 ===== Setup ===== ===== Setup =====
Line 64: Line 64:
  
 ==== polymake configuration ==== ==== polymake configuration ====
-The default configuration used by the jupyter kernel is the one in `$HOME/.polymake`. If you need to reconfigure a rules file, it is easiest to reconfigure it outside of jupyter. Note that the configuration is only saved to `$HOME/.polymakeonce polymake gets closed using `exit;`.+The default configuration used by the jupyter kernel is the one in ''$HOME/.polymake''. If you need to reconfigure a rules file, it is easiest to reconfigure it outside of jupyter. Note that the configuration is only saved to ''$HOME/.polymake'' once polymake gets closed using ''exit;''.
  
 Advance users can use a different configuration folder in the following way: Advance users can use a different configuration folder in the following way:
  • user_guide/howto/jupyter.txt
  • Last modified: 2021/06/15 09:02
  • by lkastner