Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revisionLast revisionBoth sides next revision | ||
user_guide:start [2019/11/11 23:17] – ↷ Links adapted because of a move operation gawrilow | user_guide:start [2020/12/17 15:05] – [Configuration and tweaking] Add link to jupyter instructions lkastner | ||
---|---|---|---|
Line 58: | Line 58: | ||
| | ||
| | ||
- | * Using the polyDB Database | ||
- | * [[.howto: | ||
- | * [[.howto: | ||
| | ||
Line 67: | Line 64: | ||
* [[.howto: | * [[.howto: | ||
* [[user_guide: | * [[user_guide: | ||
+ | * [[user_guide: | ||
==== Advanced Users ==== | ==== Advanced Users ==== | ||
- | Learn how to extend | + | Learn how to extend polymake. |
* [[.howto: | * [[.howto: | ||
* [[.extend: | * [[.extend: | ||
Line 76: | Line 74: | ||
* [[: | * [[: | ||
* [[.extend: | * [[.extend: | ||
+ | * [[.extend: | ||
* [[.extend: | * [[.extend: | ||
+ | * [[.extend: | ||
Details on selected topics, also linked from general pages above. | Details on selected topics, also linked from general pages above. |