MeatAxe  2.4
Programs for working with modular representations
mkcycl - Find Cyclic Subspaces

Command Line

mkcycl 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.1k, NameCf.2k, ...
Generators on condensed modules.
Condensed peak words

Output Files

Cyclic submodules.


This program is invoked after pwkond has calculated the condensation with respect to the peak words. mkcycl calculates, for each condensed module, its 1-dimensional subspaces. The output is a list of vectors (in matrix form) for each irreducible constituent, which generate all cyclic submodules. For example, if "X10a" is the constituent's name, the list of vectors is written to "X10a.v".

Implementation Details

mkcycl uses a very simple approach: it spins up every vector in the condensed module (avoiding scalar multiples, though), and maintains a list of all cyclic submodules found. As the dimension of the condensed module grows, the number of vectors to spin up quickly becomes very large. This poses an upper limit on the dimension of condensed modules, i.e., on the multiplicity of irreducible constituents. Over GF(2), for example, a 16-dimensional condensed module requires about 20 hours of CPU time on a standard workstation.

A second limit concerns the number of cyclic submodules. Usually there are much less cyclic submodules than 1-spaces. Sometimes, however, it may happen that the peak word found in the second step is "bad" in the sense that the condensed generators commute. In such a case one finds a large number of cyclic submodules and the following steps will probably take too much time. For this reason, the pwkond program has an option to exclude one or more specified peak words from the search. So, if the peak word turns out to be "bad", you can try another one.

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