Download

Below, you can download our Origami GAP package, which is designed to work together with the database and supports various operations on origamis. You can use it in various ways:

  • Standalone (just the package without the database)
  • With a local instance of the whole database. This requires you to download and install ArangoDB on your computer, then download a version of the database below and import it. The instructions to set this up are outlined below.
  • Without a database using the online version to generate GAP-code. This is ideal if you are only interested in some specific origamis and do not want to download the whole database. Just visit the details page of the origami and click "Copy GAP code" or perform a search for certain origamis and click "Download > GAP Code".
You can find instructions below on how to setup the database with the Origami package.

File structure

The database consists of three files:

  • origamis.jsonl
  • origami_representatives.jsonl
  • veechgroups.jsonl
They are in the JSONL file format. If you have an instance of ArangoDB installed, you can import these files into the database using 
arangoimport --create-collection --type jsonl --overwrite --file ./origamis.jsonl --collection origamis
arangoimport --create-collection --type jsonl --overwrite --file ./origami_representatives.jsonl --collection origami_representatives
arangoimport --create-collection --type jsonl --overwrite --file ./veechgroups.jsonl --collection veechgroups

Please note that just because an origami is not present in the database, it does not mean that it doesn't exist, it just means that we haven't computed it yet.

Setup

These are the steps to setup a local instance of ArangoDB and make it work together with the GAP package.
  1. Make sure you have ArangoDB installed
  2. Set up a user named origami (without a password) and a database origami
  3. Set up the collections origamis, origami_representatives and veechgroups
  4. Import the downloaded JSON files into the corresponding collections (see above)
  5. Install the Origami GAP package by copying the folder to the pkg folder of your GAP installation