Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | Next revisionBoth sides next revision | ||
polydb [2020/09/01 14:04] – [polyDB] paffenholz | polydb [2020/09/01 14:05] – [polyDB] paffenholz | ||
---|---|---|---|
Line 5: | Line 5: | ||
* [[user_guide: | * [[user_guide: | ||
* [[polydb: | * [[polydb: | ||
- | * [[dev_corner: | + | |
====== Other data in polymake format ====== | ====== Other data in polymake format ====== |