1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
|
# bug reported by David Roe on the GAP Forum: the command
# AutomorphismGroup(TransitiveGroup(45, 3878));
# sometimes gives a result that is too small. Traced back to
# a bug in MTX.ModuleAutomorphisms
gap> mats:=Z(3)^0*[
> [ [ 0, 0, 0, 2, 0, 0, 0, 1, 0, 1, 0 ],
> [ 0, 0, 0, 1, 1, 0, 0, 1, 0, 0, 0 ],
> [ 1, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0 ],
> [ 0, 0, 0, 1, 0, 2, 0, 1, 0, 0, 0 ],
> [ 0, 1, 0, 1, 0, 0, 0, 1, 0, 0, 0 ],
> [ 0, 0, 0, 2, 0, 0, 0, 0, 0, 0, 0 ],
> [ 0, 0, 0, 1, 0, 0, 0, 2, 0, 0, 0 ],
> [ 0, 0, 0, 1, 0, 0, 0, 2, 0, 0, 1 ],
> [ 0, 0, 0, 0, 0, 0, 1, 2, 0, 0, 0 ],
> [ 0, 0, 1, 0, 0, 0, 0, 2, 0, 0, 0 ],
> [ 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0 ] ],
> [ [ 0, 0, 0, 0, 2, 0, 1, 0, 0, 1, 0 ],
> [ 0, 0, 1, 0, 2, 0, 1, 2, 0, 2, 0 ],
> [ 0, 0, 0, 1, 0, 0, 1, 1, 0, 2, 0 ],
> [ 0, 0, 0, 0, 2, 0, 1, 0, 2, 2, 0 ],
> [ 0, 0, 0, 0, 2, 0, 2, 2, 0, 2, 0 ],
> [ 0, 0, 0, 0, 0, 2, 1, 1, 0, 1, 0 ],
> [ 0, 0, 0, 0, 1, 0, 1, 1, 0, 2, 1 ],
> [ 1, 0, 0, 0, 1, 0, 2, 1, 0, 2, 0 ],
> [ 0, 0, 0, 0, 1, 0, 1, 0, 0, 0, 0 ],
> [ 0, 2, 0, 0, 1, 0, 1, 2, 0, 0, 0 ],
> [ 0, 0, 0, 0, 0, 0, 2, 1, 0, 0, 0 ] ]
> ];;
gap> m:=GModuleByMats(mats,GF(3));;
gap> MTX.ModuleAutomorphisms(m);
<matrix group of size 2 with 2 generators>
gap> MTX.ModuleAutomorphisms(m);
<matrix group of size 2 with 2 generators>
gap> MTX.ModuleAutomorphisms(m);
<matrix group of size 2 with 2 generators>
gap> MTX.ModuleAutomorphisms(m);
<matrix group of size 2 with 2 generators>
gap> MTX.ModuleAutomorphisms(m);
<matrix group of size 2 with 2 generators>
|
