Los nuevos paquetes para matroides e hipergrafos apoyan el próspero campo de investigación de la teoría matroide, un área de estudio con aplicaciones en teoría de grafos, álgebra lineal, geometría, topología, teoría de redes y más.

Una matroide es un objeto que codifica una estructura de independencia en un conjunto. Los ejemplos incluyen independencia lineal, independencia algebraica e independencia gráfica. El paquete Matroids le permite construir matroides, generar matroides de tipos específicos, probar sus propiedades y calcular su rango, polinomios característicos, bases, hiperplanos, conjuntos de terreno y mucho más.

El paquete Hypergraph es la columna vertebral computacional del paquete Matroids. Un hipergrafo es un gráfico generalizado, que consta de un conjunto finito de vértices y una colección de subconjuntos de esos vértices, llamados hiperaristas. El paquete proporciona comandos eficientes para crear, manipular y dibujar hipergráficos y determinar sus propiedades.