Changes http://wiki.axiom-developer.org/MACEKOverview/diff -- Overview of Macek
The Macek Project has been developed primarily for math researchers in matroid theory. This project is intended both to help with usual tiresome matroid routines, and to allow for long exhaustive computations over matroid classes. We suggest potential users to read the book [J.G. Oxley, Matroid Theory, Oxford University Press 1992], or online http://www.math.lsu.edu/~preprint/2002/jgo2002e.pdf . The project main web page with recent updates can be found at http://www.cs.vsb.cz/hlineny/MACEK/ , and a new online trial interface at http://linux456.vsb.cz/~macek/ . The Macek package deals mainly 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. There are various tools for handling matroids, their matrices, and sets of matroids. One may pivot matrices, delete or contract matroid elements, and generate 3-connected extensions for matroid representations. Structural tests for minors, equivalence, connectivity, branch-width, girth, etc, are also provided in the package. From 1.1.9, limited capabilities for computation with "abstract" matroid properties, like isomorphism, flats, aut group, and representability over other fields, are added. You may read about the theoretical background of the Macek Project, and about its use in [P. Hlineny: Using Computer in Matroid Theory Research, Acta Math. Univ. M.Belii 11 (2004), 27-44, http://actamath.savbb.sk]. Other papers dealing with Macek are, for example, [P. Hlineny: Equivalence-Free Exhaustive Generation of Matroid Representations, DAM to appear], or [P. Hlineny: On the Excluded Minors for Matroids of Branch-Width Three, Electr. J. of Combinatorics 9 (2002), R32, http://www.combinatorics.org]. -- forwarded from http://wiki.axiom-developer.org/[EMAIL PROTECTED]
