t-groups.log

gap> RequirePackage("carat");
true
gap> names := [];
[  ]
gap> GROUPS := [];
[  ]
gap> R := CaratReadBravaisFile("ordnung.4/(2)^2(16)^1/min.175");
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 ] ], 
      [ [ 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 ] ] 
     ], size := 4 )
gap> P1 := Group(R.generators);
<matrix group with 2 generators>
gap> Append(names,["ordnung.4/(2)^2(16)^1/words.min.175"]);
gap> Append(GROUPS,[P1]);
gap> R := CaratReadBravaisFile("ordnung.4/(2)^2(16)^1/min.176");
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 ] ], 
      [ [ 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 ] ] 
     ], size := 4 )
gap> P2 := Group(R.generators);
<matrix group with 2 generators>
gap> Append(names,["ordnung.4/(2)^2(16)^1/words.min.176"]);
gap> Append(GROUPS,[P2]);
gap> R := CaratReadBravaisFile("ordnung.4/(2)^2(16)^1/min.177");
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 ] ], 
      [ [ -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 ] 
         ] ], size := 4 )
gap> P3 := Group(R.generators);
<matrix group with 2 generators>
gap> Append(names,["ordnung.4/(2)^2(16)^1/words.min.177"]);
gap> Append(GROUPS,[P3]);
gap> R := CaratReadBravaisFile("ordnung.8/(2)^2(16)^1/group.1046");
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 ] ], 
      [ [ -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 ] ]
        , [ [ 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 ] ] 
     ], size := 8 )
gap> P4 := Group(R.generators);
<matrix group with 3 generators>
gap> Append(names,["ordnung.8/(2)^2(16)^1/words.group.1046"]);
gap> Append(GROUPS,[P4]);
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 ] ],
      [ [ 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 ] ] 
     ]), 
  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 ] ],
      [ [ 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 ] ] 
     ]), 
  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 ] ]
        , 
      [ [ -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 ] 
         ] ]), 
  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 ] ],
      [ [ -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 ] ]
        , [ [ 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 ] ] 
     ]) ]
gap> Print(names,"\n");
[ "ordnung.4/(2)^2(16)^1/words.min.175", "ordnung.4/(2)^2(16)^1/words.min.176"
    , "ordnung.4/(2)^2(16)^1/words.min.177", 
  "ordnung.8/(2)^2(16)^1/words.group.1046" ]
gap> Size(GROUPS);
4
gap> Size(names);
4
gap> Read("../../TGROUPS.GAP");
gap> for i in [1..Size(GROUPS)] do
>    SubgroupWords(GROUPS[i], names[i]);
> od;
[ x2 ]
[ x1 ]
[ x1*x2 ]
[ x2 ]
[ x1 ]
[ x1*x2 ]
[ x1*x2 ]
[ x1 ]
[ x2 ]
[ x3, x1*x2 ]
[ x3, x1 ]
[ x3, x2 ]
[ x1*x2, x1 ]
[ x1*x3, x1*x2 ]
[ x1*x2*x3, x1 ]
[ x1*x3, x2 ]
gap> LogTo();