t-groups.log

gap> RequirePackage("carat");
true
gap> names := [];
[  ]
gap> GROUPS := [];
[  ]
gap> R := CaratReadBravaisFile("ordnung.12/(2)^2(6)^1/group.1609");
rec( 
  generators := [ [ [ 1, 0, 0, 0, 0, 0 ], [ 0, 1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 
              0, 0 ], [ 0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], 
          [ 0, 0, 0, 0, 0, -1 ] ], 
      [ [ 0, 1, 0, 0, 0, 0 ], [ -1, 1, 0, 0, 0, 0 ], [ 0, 0, 1, -1, 0, 0 ], 
          [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ] ]
    , size := 12 )
gap> P1 := Group(R.generators);
<matrix group with 2 generators>
gap> Append(names,["ordnung.12/(2)^2(6)^1/words.group.1609"]);
gap> Append(GROUPS,[P1]);
gap> R := CaratReadBravaisFile("ordnung.3/(6)^3/min.291");
rec( 
  generators := [ [ [ 0, 1, 0, 0, 0, 0 ], [ -1, -1, 0, 0, 0, 0 ], [ 0, 0, 0, 
              -1, 0, 0 ], [ 0, 0, 1, -1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], 
          [ 0, 0, 0, 0, 0, 1 ] ] ], size := 3 )
gap> P2 := Group(R.generators);
<matrix group with 1 generators>
gap> Append(names,["ordnung.3/(6)^3/words.min.291"]);
gap> Append(GROUPS,[P2]);
gap> R := CaratReadBravaisFile("ordnung.6/(2)^2(6)^1/group.1610");
rec( 
  generators := [ [ [ 0, -1, 0, 0, 0, 0 ], [ 1, -1, 0, 0, 0, 0 ], [ 0, 0, -1, 
              1, 0, 0 ], [ 0, 0, -1, 0, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], 
          [ 0, 0, 0, 0, 0, -1 ] ] ], size := 6 )
gap> P3 := Group(R.generators);
<matrix group with 1 generators>
gap> Append(names,["ordnung.6/(2)^2(6)^1/words.group.1610"]);
gap> Append(GROUPS,[P3]);
gap> R := CaratReadBravaisFile("ordnung.6/(2)^2(6)^1/group.1611");
rec( 
  generators := [ [ [ 0, 1, 0, 0, 0, 0 ], [ -1, 1, 0, 0, 0, 0 ], [ 0, 0, 1, 
              -1, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], 
          [ 0, 0, 0, 0, 0, 1 ] ] ], size := 6 )
gap> P4 := Group(R.generators);
<matrix group with 1 generators>
gap> Append(names,["ordnung.6/(2)^2(6)^1/words.group.1611"]);
gap> Append(GROUPS,[P4]);
gap> R := CaratReadBravaisFile("ordnung.6/(6)^3/group.1612");
rec( 
  generators := [ [ [ 1, 1, 0, 0, 0, 0 ], [ -1, 0, 0, 0, 0, 0 ], [ 0, 0, 0, 
              -1, 0, 0 ], [ 0, 0, 1, 1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], 
          [ 0, 0, 0, 0, 0, -1 ] ] ], size := 6 )
gap> P5 := Group(R.generators);
<matrix group with 1 generators>
gap> Append(names,["ordnung.6/(6)^3/words.group.1612"]);
gap> Append(GROUPS,[P5]);
gap> Print(GROUPS,"\n");
[ Group(
    [ [ [ 1, 0, 0, 0, 0, 0 ], [ 0, 1, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 
              0, 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], 
          [ 0, 0, 0, 0, 0, -1 ] ], 
      [ [ 0, 1, 0, 0, 0, 0 ], [ -1, 1, 0, 0, 0, 0 ], [ 0, 0, 1, -1, 0, 0 ], 
          [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ] 
     ]), 
  Group([ [ [ 0, 1, 0, 0, 0, 0 ], [ -1, -1, 0, 0, 0, 0 ], [ 0, 0, 0, -1, 0, 0 
             ], [ 0, 0, 1, -1, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], 
          [ 0, 0, 0, 0, 0, 1 ] ] ]), 
  Group([ [ [ 0, -1, 0, 0, 0, 0 ], [ 1, -1, 0, 0, 0, 0 ], 
          [ 0, 0, -1, 1, 0, 0 ], [ 0, 0, -1, 0, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ],
          [ 0, 0, 0, 0, 0, -1 ] ] ]), 
  Group([ [ [ 0, 1, 0, 0, 0, 0 ], [ -1, 1, 0, 0, 0, 0 ], 
          [ 0, 0, 1, -1, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], 
          [ 0, 0, 0, 0, 0, 1 ] ] ]), 
  Group([ [ [ 1, 1, 0, 0, 0, 0 ], [ -1, 0, 0, 0, 0, 0 ], 
          [ 0, 0, 0, -1, 0, 0 ], [ 0, 0, 1, 1, 0, 0 ], [ 0, 0, 0, 0, -1, 0 ], 
          [ 0, 0, 0, 0, 0, -1 ] ] ]) ]
gap> Print(names,"\n");
[ "ordnung.12/(2)^2(6)^1/words.group.1609", "ordnung.3/(6)^3/words.min.291", 
  "ordnung.6/(2)^2(6)^1/words.group.1610", 
  "ordnung.6/(2)^2(6)^1/words.group.1611", "ordnung.6/(6)^3/words.group.1612" 
 ]
gap> Size(GROUPS);
5
gap> Size(names);
5
gap> Read("../../TGROUPS.GAP");
gap> for i in [1..Size(GROUPS)] do
>    SubgroupWords(GROUPS[i], names[i]);
> od;
[ x2^3, x2^2 ]
[ x1, x2^2 ]
[ x1*x2^3, x2^2 ]
[ x2^3, x1 ]
[  ]
[ x1^3 ]
[ x1^2 ]
[ x1^3 ]
[ x1^2 ]
[ x1^3 ]
[ x1^2 ]
gap> LogTo();