Informace o publikaci
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: |