Published March 20, 2020 | Version 1.2
Software Open

FlexRiLoG - SageMath package for Flexible and Rigid Labelings of Graphs

  • 1. Johann Radon Institute for Computational and Applied Mathematics (RICAM), Austrian Academy of Sciences
  • 2. Research Institute for Symbolic Computation, Johannes Kepler University Linz

Description

This is a SageMath package for studying 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),
Graphs with Flexible Labelings allowing Injective Realizations (doi:10.1016/j.disc.2019.111713) and
On the Classification of Motions of Paradoxically Movable Graphs (doi:10.20382/jocg.v11i1a22)
by Georg Grasegger, Jan Legerský and Josef Schicho,
and in the doctoral thesis Flexible and Rigid Labelings of Graphs by Jan Legerský (available here).

The package is described in FlexRiLoG – A SageMath Package for Motions of Graphs (doi: 10.1007/978-3-030-52200-1_44) by Georg Grasegger and Jan Legerský.

The latest version of the code can be found in the GitHub repository: https://github.com/Legersky/flexrilog
The section Demos in README provides links to online versions of notebooks illustrating the package.

Notes

This project has received funding from the European Union's Horizon 2020 research and innovation programme under the Marie Skłodowska-Curie grant agreement No 675789. The project was partially supported by the Austrian Science Fund (FWF): P31061, P31888, and by the Ministry of Education, Youth and Sports of the Czech Republic, project no. CZ.02.1.01/0.0/0.0/16_019/0000778.

Files

flexrilog.zip

Files (86.1 kB)

Name Size Download all
md5:1f24a643ac30e2885a54aba6c80cded1
86.1 kB Preview Download

Additional details

Related works

Compiles
Software: 10.5281/zenodo.3726814 (DOI)
Is documented by
Journal article: 10.1007/s00454-018-0026-9 (DOI)
Preprint: arXiv:2003.12029 (arXiv)
Journal article: 10.1016/j.disc.2019.111713 (DOI)
Conference paper: 10.1007/978-3-030-52200-1_44 (DOI)

Funding

The Algebra of Motions in 3-Space P 31061
FWF Austrian Science Fund
Realizations of Rigid Graphs P 31888
FWF Austrian Science Fund
ARCADES – Algebraic Representations in Computer-Aided Design for complEx Shapes 675789
European Commission