1zor(1) User Commands zor(1)
2
3
4
6 zor - calculate the order of a matrix or permutation
7
9 zor [OPTIONS] <File>
10
12 This program reads a file, containing either permutations, or a square
13 matrix, and calculates the order(s) and prints the message:
14
15 ORDER IS xxxx
16
17 There are two options to reduce the run time of the program. Using the
18 -m option you can specify a maximal expected order. If, during the
19 algorithm described below, the order reaches this limit, the program
20 will stop and print an appropriate message. The second option, -q,
21 makes zor stop if the dimension of W (see below) reaches 1/10 of the
22 dimension of the whole space. In this case, the message is
23
24 ORDER IS A MULTIPLE OF NNN
25
26 Note: The -q and -m options have no effect for permutations.
27
29 -Q Quiet, no messages.
30
31 -V Verbose, more messages.
32
33 -T <MaxTime>
34 Set CPU time limit
35
36 -m <MaxOrder>
37 Set an upper limit for the order of cyclic subspaces.
38
39 -q Quick mode: find a lower bound for the order.
40
41 -G Produce output in GAP format.
42
44 If the input is a matrix, the order is found by calculating the orders
45 on cyclic subspaces and taking the least common multiple. The algo‐
46 rithm works as follows:
47
48 · Let A be the given matrix and V the space A acts upon. Set W:={0}
49 (the trivial subspace) and o:=1.
50
51 · (NEXT) Choose a vector v not in W. Calculate the cyclic subspace C
52 generated by v and the order o' of A on C.
53
54 · Set o:=lcm(o,o')
55
56 · W:=W + C. If W=V, o is the order of A and the program terminates.
57 Otherwise, continue with (NEXT).
58
59 Gaussian elimination is used to maintain a basis of W in echelon form.
60 In order to avoid infinite loops, there is a limit on o'. If the vec‐
61 tor does not return after 1000 multiplications the order is assumed to
62 be infinite and the program stops with an error message. This happens
63 also if the value of o exceeds 100000.
64
65 If the input file contains permutations, each one is read in and its
66 order is calculated as the least common multiple of the orbit sizes.
67 The result is printed in the format
68
69 ELEMENT nn HAS ORDER nnn
70
71 The whole matrix plus a second matrix of the same size must fit into
72 memory. In the case of permutations, there must be enough memory for
73 one permutation.
74
75
76
77MeatAxe 2.4.24 zor(1)