MACEK: A software package for real structural computations with representable matroids
| Název česky | MACEK: softwarový nástroj pro strukturální výpočty s reprezentovanými matroidy |
|---|---|
| Autoři | |
| Rok publikování | 2005 |
| Druh | Prezentace v oblasti VaV (AV tvorba, WEB aplikace apod.) |
| Fakulta / Pracoviště MU | |
| Citace | |
| Popis | 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. |
| Související projekty: |