MACEK: A software package for real structural computations with representable matroids
HLINĚNÝ, Petr. MACEK: A software package for real structural computations with representable matroids. verze 1.2. 2005. |
Other formats:
BibTeX
LaTeX
RIS
|
Basic information | |
---|---|
Original name | MACEK: A software package for real structural computations with representable matroids |
Name in Czech | MACEK: softwarový nástroj pro strukturální výpočty s reprezentovanými matroidy |
Authors | HLINĚNÝ, Petr (203 Czech Republic, guarantor). |
Edition | verze 1.2. 2005. |
Other information | |
---|---|
Original language | English |
Type of outcome | Audiovisual works |
Field of Study | 10101 Pure mathematics |
Country of publisher | Czech Republic |
Confidentiality degree | is not subject to a state or trade secret |
WWW | Current home page of MACEK, with an online trial interface. |
RIV identification code | RIV/00216224:14330/05:00012608 |
Organization unit | Faculty of Informatics |
Keywords in English | MACEK; matroid computing; matroid representation; exhaustive generation |
Tags | exhaustive generation, MACEK, matroid computing, matroid representation |
Tags | International impact |
Changed by | Changed by: prof. RNDr. Petr Hliněný, Ph.D., učo 168881. Changed: 16/11/2006 11:49. |
Abstract |
---|
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. From 1.2, limited capabilities for computation with "abstract" matroid properties, like isomorphism, flats, aut group, and representability over other fields, are added. |
Abstract (in Czech) |
---|
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, Matroid Theory, 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. |
Links | |
---|---|
GA201/05/0050, research and development project | Name: Strukturální vlastnosti a algoritmická složitost diskrétních problémů |
MSM0021622419, plan (intention) | Name: Vysoce paralelní a distribuované výpočetní systémy |
Investor: Ministry of Education, Youth and Sports of the CR, Highly Parallel and Distributed Computing Systems | |
1M0545, research and development project | Name: Institut Teoretické Informatiky |
Investor: Ministry of Education, Youth and Sports of the CR, Institute for Theoretical Computer Science |
PrintDisplayed: 3/10/2024 06:31