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