flexrilog 1.2

FlexRiLoG - A package for investigating Flexible and Rigid Labelings of Graphs

This is a SageMath package providing functionality for investigating flexible and rigid labelings of graphs. It implements the concepts described in the papers Graphs with Flexible Labelings (doi:10.1007/s00454-018-0026-9) and Graphs with Flexible Labelings allowing Injective Realizations (doi:10.1016/j.disc.2019.111713) by Georg Grasegger, Jan Legerský and Josef Schicho, and in the doctoral thesis Flexible and Rigid Labelings of Graphs (download here) by Jan Legerský.

For the definitions of a flexible and rigid labeling and other implemented concepts, see the Jupyter notebook examples/FlexRiLoG_demo.ipynb. You can try it out online without installation:

See also the webpage about movable graphs.

Installation

The package can be installed via pip:

sage -pip install --upgrade flexrilog

In order to install the latest version, download or clone the source code from github.com/Legersky/flexrilog and run

make install

For some functions, the package phcpy or lnumber must be installed.

Testing

In case you have downloaded or cloned the package, you can execute in the root folder:

make test

or

make test-long

which runs also doctests marked long. To test also methods using phcpy and lnumber, run

make test-all

Alternatively, the following commands can be used

sage setup.py test

sage setup.py testLong

sage setup.py testAll

Documentation

The html documentation can be found online or generated by

make doc

Alternatively,

make doc-pdf

produces a pdf version.

The coverage can be checked with

make coverage

Demos

The basic functionality of FlexRiLoG is presented in the Jupyter notebook examples/FlexRiLoG_demo.ipynb:

Rotationally symmetric motions of frameworks

The file examples/Rotationally_symmetric_frameworks_SoCGmedia.ipynb illustrates using the package for constructing n-fold rotationally symmetric motions of graphs. It is available on Binder as well: