The MACEK Project

(MAroids Computed Efficiently Kit)

by Petr Hlineny

Bookmark this master page, but visit the current MACEK page...

Overview

This project is a set of tools and routines for reasonably efficient combinatorial computations with representable matroids, especially for matroid constructions and for some structural tests. (If you do not know what a matroid is, then this project is likely not for you.) The program is intended both to help with everyday routines that a matroid-researcher faces (almost) every day, and to allow for long exhausted computations of matroid classes and their properties.

So far, the program deals with matroids represented by matrices over finite fields and partial fields. Many common matroids are distributed with the program, and new ones may be easily entered. An easy manipulation with sets of matroids is supported. One may pivot the matrices, delete or contract elements, and generate (3-connected) extensions for matrices. Structural tests for minors, equivalence, branch-width, etc, are also implemented in the project. From version 1.1.x also abstract tests for representability and for isomorphism are available. More functions are planned for the future...

The program is distributed under the terms of the GNU General Public License as published by the Free Software Foundation. See Copying for details.

Using MACEK

The package can be used on almost any computer platform with the GNU C (gcc) compiler, relevant C libraries and developement environment, and the basic set of GNU utilities (at least gmake, flex). All these required programs are free for anybody -- get them from http://www.gnu.org. In particular, Linux and other unix-clones, with GNU C developement and GNU utils installed, would work fine. Download the package below, and read the files in the doc subdirectory.

Version 1.2 has been released!

Downloads

Download the latest stable version here... (1.2.x)

All available downloads are here. Keep in mind that odd-numbered versions are development releases (like 0.9.x, 1.1.x), they may not be stable nor correct.

Extensive PDF documentation is here.

Applications

Computing the Excluded Minors for Branch-Width 3 over Small Fields.

This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the Free Software Foundation; either version 2 of the License, or (at your option) any later version.
You should have received a copy of the GNU General Public License along with this program; if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA.