polydb

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
Next revisionBoth sides next revision
polydb [2019/01/25 13:56] – ↷ Page name changed from data to polydb oroehrigpolydb [2019/01/25 14:16] – ↷ Links adapted because of a move operation oroehrig
Line 5: Line 5:
   * [[https://polymake.org/doku.php/tutorial/poly_db_tutorial|tutorial for querying the database]]   * [[https://polymake.org/doku.php/tutorial/poly_db_tutorial|tutorial for querying the database]]
   * [[https://polymake.org/doku.php/tutorial/poly_db_write|tutorial writing and creating new collections]]   * [[https://polymake.org/doku.php/tutorial/poly_db_write|tutorial writing and creating new collections]]
-  * [[devel/polydb/format|db layout and storage format]]+  * [[dev_corner:polydb_format|db layout and storage format]]
  
 ====== Other data in polymake format ====== ====== Other data in polymake format ======
  • polydb.txt
  • Last modified: 2024/02/07 10:26
  • by lkastner