Andrzej Mróz  homepage
Projects

Bigraph Congruences. Environment for computing strong and weak Gram congruences between bigraphs and graphs and their isotropy groups.
Implementation (as a collection of Maple packages) of algorithmic solutions from the articles
[Congruences of edgebipartite graphs... I & II, Fund. Inform. (2016)], describing applications to a variant of Grothendieck group recognition problem.
Download packages (with instructions and examples  eng.):
(ZIP 634kB)
 New: added package InflationsPositive: better implementation of inflations + nondeterministic positive definiteness test for integral matrices
(see the fourth pic).
[Click on the pics to enlarge]

Inflations. Implementation of a variant of inflation algorithm for bigraphs, that is, for edgebipartite graphs
(implementation in C++ for Windows in two versions: text and graphic with WinAPI 32). Download package (both versions, with instructions  eng.):
(ZIP 543kB)
 Added in ver. 0.9:
new randomized algorithms and shape recognition for resulting (bi)graphs.

DegOrderFiniteType.
GAP package  a framework for computing degeneration order for modules over finite type algebras.
This is a separated subpackage of QPA  see below.
Download package (with instruction and examples of usage  eng.):
(ZIP 26kB)

Improved Bongartz's algorithm.
GAP codes, description and tests of the original algorithm and my improvement.

QPA.
Large open source GAP package
for computations in representation theory of algebras (quivers with relations).
Download package from: SourceForge
or GitHub.

Exceptional. Maple package containing the procedures
for construction of modules from exceptional tubes over tubular canonical algebras. This is an
implementation
of the algorithms from the [An algorithm..., J. Algebra 323 (2010) 27102734]. Download package (with instruction and examples of usage  eng.):
(ZIP 38kB)

Homogeneous Tubular. Maple package containing the procedures
for generating bimodules parametrizing all homogeneous modules (of integral slopes) over tubular canonical algebras,
constructed in the [Parametrizations...., Algebr Represent Theor (2014) 17:321356].
Additional procedures compute the specialisations of bimodules, homomorphism spaces... Download package (with instruction and examples of usage  eng.):
(ZIP 14kB)

Special biserial trees.
Java application which determines and presents (graphically) the indecomposable modules over the special biserial trees. It also
computes and presents canonical subrepresentations, quotients, almost split sequences,
DTr and AuslanderReiten matrix.
Download software (with instruction  eng.):
(ZIP 628kB) or see the screenshots (click to enlarge):

Bielitskii's algorithm. Brief description with an example (PDF 353kB)
 Representation of a poset  four subspaces  sum of exceptional representations (PDF 130kB);
 Representation of a poset  four subspaces  representation without selfextensions (PDF 93kB);
 Representation of a quiver (of a wild type) (PDF 183kB).