FlagAlgebraToolbox: Flag Algebra Computations in SageMath
Combinatorics
2026-01-30 v2
Abstract
We introduce FlagAlgebraToolbox, an extension of SageMath capable of automating flag algebra calculations and optimizations. FlagAlgebraToolbox has a simple interface, can handle a wide range of combinatorial theories, can numerically optimize extremal combinatorial problems and round the results to produce exact proofs. We present the core concepts used in the toolbox, with example workflows.
Keywords
Cite
@article{arxiv.2601.06590,
title = {FlagAlgebraToolbox: Flag Algebra Computations in SageMath},
author = {Levente Bodnár},
journal= {arXiv preprint arXiv:2601.06590},
year = {2026}
}
Comments
arxiv link