MACEK: A software package for real structural computations with representable matroids

Result code in IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14330%2F05%3A00012608" target="_blank" >RIV/00216224:14330/05:00012608 - isvavai.cz</a>

Result on the web

—

DOI - Digital Object Identifier

—

Result language

angličtina

Original language name

MACEK: A software package for real structural computations with representable matroids

Original language description

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]. The Macek package deals mainly with matroids represented by matrices over finite fields and partial fields. There are various tools for handling matroids, their matrices, and sets of matroids. One may pivot matrices, delete or contract matroid elements, and generate extensions for matroid representations. Structural tests for minors, equivalence, connectivity, branch-width, girth, etc, are also provided in the package. From1.2, limited capabilities for computation with "abstract" matroid properties, like isomorphism, flats, aut group, and representability over other fields, are added.

Czech name

MACEK: softwarový nástroj pro strukturální výpočty s reprezentovanými matroidy

Czech description

Projekt Macek je vyvíjen primárně pro potřeby matematického výzkumu matroidů. Jeho úkolem je jak pomoci s běžnými únavnými rutinami, tak i umožnit velké výčtové výpočty s třídami matroidů. Uživatelům doporučujeme se seznámit s knihou [J.G. Oxley, MatroidTheory, Oxford University Press 1992]. Program Macek pracuje především s matroidy reprezentovanými maticemi nad konečnými tělesy. Balík obsahuje mnohé nástroje pro zpracování matic, matroidů a jejich množin. Je možno pivotovat, odstraňovat elementy a generovat extenze matroidových reprezentací. Dále jsou zahrnuty strukturální testy pro minory, ekvivalenci, souvislost, branch-width, girth, atd. Od verze 1.2 jsou přidány omezené nástroje pro práci s abstraktními matroidy, jako isomorfizmus, grupy automorfizmu, reprezentovatelnost na jinými tělesy.

Type

A - Audiovisual production

CEP classification

BA - General mathematics

OECD FORD branch

—

Project

Result was created during the realization of more than one project. More information in the Projects tab.

Continuities

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>Z - Vyzkumny zamer (s odkazem do CEZ)

Publication year

2005

Confidentiality

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

ISBN

—

Place of publication

—

Publisher/client name

—

Version

—

Carrier ID

—