degais 1.4

Decomposing Gaifman Structures (again)

degais

Decomposing Gaifman Structures (again)

(Image: screen capture of the outcome of degais zoo --coloring expwidth --param 3.9.)

Current version: early Frimaire 2024, planned to be made publicly available.

Author: Jose Luis Balcazar, ORCID 0000-0003-4248-4528, relying in large parts on the functionality of code by Marie Ely Piceno, although fully rewritten.

Copyleft: MIT License.

Usage: Documentation is rather minimal as of today but covers the basics.

Umpteenth attempt at having a working platform on which we can view 2-structure decompositions of generalized Gaifman graphs.

The idea started several decades ago and went through several different manifestations from 2017 onwards. The present incarnation had its first few correct and complete runs by early Vendemiaire 2024.

Repository labgaif and several other repos contain earlier developments towards the same functionality. Here, we gave up the insistence of subclassing pygraphviz's AGraph classes to work our way on td2dot-style graphs. Tried python3-gv which works like a charm... but only on Linux, it seems! Then moved on to Sebastian Bank's graphviz: then we no longer can access the internals of Graphviz (the original C++ tool) but gain portability as it is supposed to fly on all systems.