Command Line

zuk Options Vectors Orbits Result

Options: Standard options, see Standard Command Line Options

Vectors: Vectors to uncondense.

Orbits: Orbit tables produced by zmo.

Result: Uncondensed vectors.

Input Files

Vectors: Vectors to uncondense.

Orbits: Orbit tables produced by zmo.

Output Files

Result: Uncondensed vectors.

Description

This program reads a matrix which is assumed to be a condensed space of a permutation representation whose orbits are in the file Orbits. The vectors in Vectors are elongated so as to lie in the original permutation space and written out to the file Result. Orbits must be an orbits file in the format defined by zmo. Here is an example:

         2 0 4
Space =  1 3 2
         2 0 2

Orbits = (1,2) (3,4,5,6) (7,8,9)
     2 2 0 0 0 0 4 4 4

Result = 1 1 3 3 3 3 2 2 2
         2 2 0 0 0 0 2 2 2