user_guide:start

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
user_guide:start [2019/11/12 22:47]
gawrilow [Advanced Users]
user_guide:start [2020/12/17 15:05] (current)
lkastner [Configuration and tweaking] Add link to jupyter instructions
Line 58: Line 58:
    ​* ​ [[.tutorials:​tarballs|Save and load an array of polytopes]]    ​* ​ [[.tutorials:​tarballs|Save and load an array of polytopes]]
    ​* ​ [[.tutorials:​time|Measure execution time]]    ​* ​ [[.tutorials:​time|Measure execution time]]
-   * Using the polyDB Database 
-     * [[.howto:​poly_db_tutorial|Introduction to polyDB]] explains basic database access functionality 
-     * [[.howto:​poly_db_write|Writing to the database ]] explains write and update functionality 
    ​* ​ [[.tutorials:​legacy|If you have not used polymake in a very long time]]    ​* ​ [[.tutorials:​legacy|If you have not used polymake in a very long time]]
  
Line 67: Line 64:
    * [[.howto:​shell_custom|Customizing the polymake interactive shell]]    * [[.howto:​shell_custom|Customizing the polymake interactive shell]]
    * [[user_guide:​howto:​interface_config| Configure interfaces to other software]]    * [[user_guide:​howto:​interface_config| Configure interfaces to other software]]
 +   * [[user_guide:​howto:​jupyter|Using polymake with jupyter]]
  
 ==== Advanced Users ==== ==== Advanced Users ====
  • user_guide/start.1573598839.txt.gz
  • Last modified: 2019/11/12 22:47
  • by gawrilow