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 | ||
polydb [2020/08/31 10:24] – [polyDB] paffenholz | polydb [2020/09/01 14:05] – [polyDB] paffenholz | ||
---|---|---|---|
Line 4: | Line 4: | ||
* [[user_guide: | * [[user_guide: | ||
- | * [[user_guide: | ||
- | * [[dev_corner: | ||
* [[polydb: | * [[polydb: | ||
+ | |||
====== Other data in polymake format ====== | ====== Other data in polymake format ====== |