FlagAlgebraToolbox: Flag Algebra Computations in SageMath
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.
Fields of Study & Subjects
Advanced Combinatorial Mathematics
Limits and Structures in Graph Theory
Finite Group Theory Research
Publication details
- Journal / source
- arXiv (Cornell University)
- Publication date
- 10 January 2026
- Document type
- Preprint