Flagmatic

A version of Flagmatic that is kept alive (maybe unconscious but alive for now).

View the Project on GitHub jsliacan/flagmatic

Welcome to a provisional Flagmatic website.

The original website Flagmatic.org is down, so I set up this temporary page. The latest version of Sage that I know Flagmatic runs on (and gives approximately correct answers) is Sage-7.3beta3 (so Sage-7.2 if you want a released version).

Flagmatic is a package for computing bounds for TurĂ¡n type problems. The structures it supports are multiple: graphs, 3-regular hypergraphs, directed graphs, and multigraphs. It was developed by Emil R. Vaughan while working with Victor Falgas-Ravry (see their paper). Flagmatic uses the flag algebra calculus introduced in Razborov in 2007. By now, there are various resources where you can find out more about the method of flag algebras and its uses so I won't list more papers here.

One last piece of information. The version of Flagmatic that this site links to is not Emil's original version. I had to modify a few functions and installation settings to keep up with the novelties in Sage as it developed. At the same time, I was altering Flagmatic-2.0 to be more functional (with Oleg Pikhurko). Therefore, I only kept alive the version of Flagmatic that I needed (I used to refer to it as Flagmatic-dev). Now I simplified things, and only keep "Flagmatic" alive. Flagmatic has the functionality of Flagmatic-dev and more -- I still alter it from time to time -- and it works with the latest version of Sage. While this means that new functionality is available, it also means that bugs could exist that were not present in Emil's Flagmatic-2.0. Please keep this in mind! And of course, if you find a bug (of any kind) please feel free to comment on my Github or email me. Thank you.

Installation

See the README file in the Github repository. It gives a short and hopefully working sequence of steps to get Flagmatic set up in Sage.

Documentation

You can find the original User Guide by Emil here. The same folder contains a User Guide for the dev version of Flagmatic. In the dev user guide, ignore the installation instructions (they should work though).

History

The very first version of Flagmatic was Sage independent, and it is still hosted on its original website. The website contains a list of results obtained or re-obtained with Flagmatic and Flagmatic-2.0 (until Emil stopped maintaining it).

Authors and Contributors

In 2013, Emil Vaughan (@emil79) wrote the original version of Flagmatic-2.0. He stopped maintaining it when he left academia.