Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision Next revisionBoth sides next revision | ||
user_guide:start [2019/11/11 23:40] – [Advanced Users] gawrilow | user_guide:start [2020/01/25 12:31] – [Technical Guides] paffenholz | ||
---|---|---|---|
Line 58: | Line 58: | ||
| | ||
| | ||
- | * Using the polyDB Database | ||
- | * [[.howto: | ||
- | * [[.howto: | ||
| | ||
Line 70: | Line 67: | ||
==== Advanced Users ==== | ==== Advanced Users ==== | ||
- | Learn how to extend | + | Learn how to extend polymake. |
* [[.howto: | * [[.howto: | ||
* [[.extend: | * [[.extend: | ||
Line 78: | Line 75: | ||
* [[.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. |