Diese Seite ist nur auf englisch verfügbar.

The polymake extension polyDB

polyDB

This extension provides the functionality to access a polytope database (on the polymake server) and retrieve polymake objects from it.

Currently the database itself is still under construction.

We use MongoDB as database.

In the near future (hopefully, in the next polymake release 2.14) polyDB will come with polymake as a bundled extension.

If you use polyDB I would greatly appreciate feedback of any kind.

Installation

Download the code from GitHub. Install the perl driver for MongoDB (from cpan) by issuing sudo cpan MongoDB (or see here for instructions on how to install this locally).

Then start polymake and type import_extension("/path/to/poly_db");

Also note the information in the README file.

Documentation

See here for a tutorial on polyDB explaining the basic usage.

Version History