2023/11/15 by Corey, Daniel, Kühne, Lukas, Schröter, Benjamin
#05-04 (05-02 #05E14) #Algebraic Geometry (math.AG) #Combinatorics (math.CO) #FOS: Mathematics
paper · doi:10.48550/arxiv.2311.08792
OSCAR is an innovative new computer algebra system which combines and extends the power of its four cornerstone systems - GAP (group theory), Singular (algebra and algebraic geometry), Polymake (polyhedral geometry), and Antic (number theory). Here, we present parts of the module handeling matroids in OSCAR, which will appear as a chapter of the upcoming OSCAR book. A matroid is a fundamental and actively studied object in combinatorics. Matroids generalize linear dependency in vector spaces as well as many aspects of graph theory. Moreover, matroids form a cornerstone of tropical geometry and a deep link between algebraic geometry and combinatorics. Our focus lies in particular on computing the realization space and the Chow ring of a matroid.