FlagAlgebraToolbox: Flag Algebra Computations in SageMath
Levente Bodn\'ar
TL;DR
FlagAlgebraToolbox is a SageMath extension that automates flag algebra calculations, enabling efficient optimization and proof generation for various combinatorial theories.
Contribution
It introduces a user-friendly SageMath extension that automates flag algebra computations and optimizations for extremal combinatorial problems.
Findings
Automates flag algebra calculations within SageMath
Handles a wide range of combinatorial theories
Enables numerical optimization and exact proof rounding
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.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsPolynomial and algebraic computation · Commutative Algebra and Its Applications · Advanced Combinatorial Mathematics