MeatAxe  2.4
Programs for working with modular representations
mkinc - Find Mountains

Command Line

mkinc [Options] [-G] Name 
Standard options, see Standard Command Line Options
Produce output in GAP format.
Name of the representation.

Input Files

Constituent info file.
NameCf.1, NameCf.2, ...
Generators on the irreducible constituents.
NameCf.1k, NameCf.2k, ...
Generators on the corresponding condensed modules.
Cyclic submodules, generated by mkcycl.
Peak word images.
Uncondense matrices.

Output Files

Mountain dimensions and classes of cyclic submodules corresponding to the mountains.
Incidence matrix.


This program runs in two steps. During the first step, all cyclic cyclic submodules found by mkcycl are uncondensed, giving the local submodules, the "mountains", of the original module. Then, each local submodule is projected back to the condensed module, and all cyclic vectors which are contained in the image are found. At the end of this step, there is a list of local submodules and, for each local submodule, a list of cyclic subspaces in the condensed module. This information is written to Name.mnt.

In the second step, mkinc computes the incidence relation between local submodules. The result is a matrix which contains a 1 for each incidence. This matrix is written to the file

Implementation Details

The whole calculation of step 2 is done in the condensed modules. This is possible because incidences between local submodules do not change if they are condensed. Usually this saves a lot of both memory and CPU time because one does not have to keep all mountains simultaneously, and the condensed modules have a smaller dimension.

MeatAxe 2.4 documentation, generated on Wed Jan 7 2015 08:38:36