1zvp(1)                           User Commands                          zvp(1)
2
3
4

NAME

6       zvp - vector permute on matrices
7

SYNOPSIS

9       zvp [OPTIONS] <Mat> <Seed> <Perm> [<Orbit>]
10

DESCRIPTION

12       This program reads a set of matrices and one or more vectors from Seed,
13       and finds the orbit of the vector under the matrices.   The  action  of
14       the matrices on the orbit is written out in permutation form.
15
16       By  default, two matrices are read from Mat.1 and Mat.2.  You can spec‐
17       ify a different number of matrices using the -g option, but the  naming
18       scheme  is always the same.  All matrices must be square, over the same
19       field, and of equal dimension.  The seed space, Seed, must be a  matrix
20       over the same field and the number of columns must match the matrices.
21
22       The program tries seed vectors until no more seed vectors are available
23       or the orbit is small enough (as specified by -l).  With -p all vectors
24       in  the  orbit file are normalized, i.e., their first non-zero entry is
25       equal to one.
26

OPTIONS

28       -Q     Quiet, no messages.
29
30       -V     Verbose, more messages.
31
32       -T <MaxTime>
33              Set CPU time limit
34
35       -g <NGen>
36              Set number of generators.  Default: 2.
37
38       -n     No output to files, messages only.
39
40       -p     Projective mode, permute 1-spaces instead of vectors.
41
42       -v     Write the orbit to Orbit.
43
44       -l <Limit>
45              Set the orbit size limit.  Default: 100000.
46
47       -m     Generate seed vectors by takig all possible linear  combinations
48              of the rows of Seed.  Without this option, only the rows of Seed
49              are used as seed vectors.
50
51       -s <N> Start with seed vector N instead of 1.
52

IMPLEMENTATION DETAILS

54       After initializing everything and reading the input files  the  program
55       enters  the  main loop.  The next seed vector is read in, or generated,
56       and the orbit is set up initially to contain only this  vector.   Then,
57       the complete orbit is calculated by applying the matrices to vectors in
58       the orbit until no new vectors appear, or until the limit  is  reached.
59       In the latter case, the program proceeds with the next seed vector.  If
60       an orbit has been found, the action of the two matrices on the orbit is
61       written  out  in  permutation format an appropriate message is printed.
62       If the -v option was used, also the orbit is written out.
63
64       The matrices, seed vectors, and all vectors in the orbit must fit  into
65       memory.
66

INPUT FILES

68       Mat.{1,2,...}
69              Generators (square matrices).
70
71       Seed   Seed vectors (matrix).
72

OUTPUT FILES

74       Perm.{1,2,...}
75              Permutations.
76
77       Orbit  The orbit (matrix).
78
79
80
81MeatAxe                             2.4.24                              zvp(1)
Impressum