MeatAxe
2.4
Programs for working with modular representations

These programs are used to investigate the structure of matrix representations over finite fields.
The first step is always to find the irreducible constituents of the representation with chop, and to find the corresponding peak words with pwkond. Here are some examples of what you can do with the programs:
These programs are used to condense representations. zkd performs a fixedpoint condensation of permutation representations. It can be used after the orbits have been calculated with zmo. zuk uncondenses vectors.
precond and tcond are used to condense tensor products or matrix representations, when the restriction to the condensation subgroup is semisimple. The algorithm assumes that the irreducible constituents of the restriction, and corresponding peak words are known, so you must run chop and pwkond before.