Automation scripts for the flatsurf stack to survey large sets of objects.
To perform a full survey, use flatsurvey. To investigate a single object, run flatsurvey-worker.
For example, here is a typical survey that collects data about triangles, quadrilaterals, and pentagons:
nice flatsurvey ngons --vertices 3 ngons --vertices 4 ngons --vertices 5 orbit-closure log graphql
- For large surveys, RAM might become the limiting factor. It appears that we are not actually leaking memory but are hit by memory fragmentation during the Boshernitzan criterion. The issue can be fully mitigated by replacing malloc with Mesh, i.e., setting
LD_PRELOAD=/path/to/libmesh.so. - SageMath (or one of its dependencies) might decide that it's beneficial to parallelize things further. However, this can easily overload a system. Typically, some linear algebra might spawn a process for each CPU on the system which could then easily lead to CPU² many processes if you run a lengthy survey. To disable this behaviour, set
MKL_NUM_THREADS=1 OMP_NUM_THREADS=1 SAGE_NUM_THREADS=1.