Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
| user_guide:howto:poly_db_tutorial [2019/01/29 21:46] – external edit 127.0.0.1 | user_guide:howto:poly_db_tutorial [2025/02/11 13:16] (current) – [Introduction to polyDB] paffenholz | ||
|---|---|---|---|
| Line 3: | Line 3: | ||
| The polyDB extension provides access to the [[: | The polyDB extension provides access to the [[: | ||
| + | **This is for an old version of the polydb extension**. For the **new version of polyDB** see [[user_guide: | ||
| ===== The polymake database ===== | ===== The polymake database ===== | ||