CoCalc -- t-groups.log

GAP 4.8.9 installation with standard packages -- copy to your CoCalc project to get it
gap4r8 / pkg / carat / carat-2.1b1 / tables / qcatalog / dim6 / dir.2-1,2-1;2-1 / t-groups.log
⁵⁶¹⁰¹⁸ views
gap> RequirePackage("carat");
true
gap> names := [];
[  ]
gap> GROUPS := [];
[  ]
gap> R := CaratReadBravaisFile("ordnung.16/(2)^2(8)^4/min.214");
rec( 
  generators := [ [ [ 0, 1, 0, 0, 0, 0 ], [ 1, 0, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 
              0, 0 ], [ 0, 0, 0, -1, 0, 0 ], [ 0, 0, 0, 0, 0, -1 ], 
          [ 0, 0, 0, 0, 1, 0 ] ], 
      [ [ 0, -1, 0, 0, 0, 0 ], [ 1, 0, 0, 0, 0, 0 ], [ 0, 0, 0, -1, 0, 0 ], 
          [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ] ]
    , size := 16 )
gap> P1 := Group(R.generators);
<matrix group with 2 generators>
gap> Append(names,["ordnung.16/(2)^2(8)^4/words.min.214"]);
gap> Append(GROUPS,[P1]);
gap> R := CaratReadBravaisFile("ordnung.16/(2)^2(8)^4/min.215");
rec( 
  generators := [ [ [ 1, 0, 0, 0, 0, 0 ], [ 0, -1, 0, 0, 0, 0 ], [ 0, 0, 0, 
              1, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], 
          [ 0, 0, 0, 0, 0, 1 ] ], 
      [ [ 0, 1, 0, 0, 0, 0 ], [ 1, 0, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], 
          [ 0, 0, 0, -1, 0, 0 ], [ 0, 0, 0, 0, 0, -1 ], [ 0, 0, 0, 0, 1, 0 ] 
         ] ], size := 16 )
gap> P2 := Group(R.generators);
<matrix group with 2 generators>
gap> Append(names,["ordnung.16/(2)^2(8)^4/words.min.215"]);
gap> Append(GROUPS,[P2]);
gap> R := CaratReadBravaisFile("ordnung.16/(2)^4(16)^4/min.216");
rec( 
  generators := [ [ [ 0, 0, 1, 0, 0, 0 ], [ 0, -1, 0, 0, 0, 0 ], [ 1, 0, 0, 
              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, 0, 0, 1, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], 
          [ 0, 1, 0, 0, 0, 0 ], [ 0, 0, 0, 0, 0, -1 ], [ 0, 0, 0, 0, 1, 0 ] ] 
     ], size := 16 )
gap> P3 := Group(R.generators);
<matrix group with 2 generators>
gap> Append(names,["ordnung.16/(2)^4(16)^4/words.min.216"]);
gap> Append(GROUPS,[P3]);
gap> R := CaratReadBravaisFile("ordnung.16/(2)^4(16)^4/min.217");
rec( 
  generators := [ [ [ 0, 1, 0, 0, 0, 0 ], [ 1, 0, 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, 0, -1, 0, 0 ], 
          [ 0, 0, -1, 0, 0, 0 ], [ 0, 0, 0, 0, 0, 1 ], [ 0, 0, 0, 0, 1, 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 ], [ 0, 0, 0, 0, 0, -1 ] 
         ] ], size := 16 )
gap> P4 := Group(R.generators);
<matrix group with 3 generators>
gap> Append(names,["ordnung.16/(2)^4(16)^4/words.min.217"]);
gap> Append(GROUPS,[P4]);
gap> R := CaratReadBravaisFile("ordnung.32/(2)^2(4)^2(8)^2/group.1096");
rec( 
  generators := [ [ [ 0, -1, 0, 0, 0, 0 ], [ 1, 0, 0, 0, 0, 0 ], [ 1, 0, 0, 
              -1, 0, 0 ], [ 0, -1, 1, 0, 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, 0, -1 ], [ 0, 0, 0, 0, 1, 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 ], [ 0, 0, 0, 0, 0, 1 ] ] 
     ], size := 32 )
gap> P5 := Group(R.generators);
<matrix group with 3 generators>
gap> Append(names,["ordnung.32/(2)^2(4)^2(8)^2/words.group.1096"]);
gap> Append(GROUPS,[P5]);
gap> R := CaratReadBravaisFile("ordnung.32/(2)^4(8)^4/group.1097");
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 ] ], 
      [ [ 0, -1, 0, 0, 0, 0 ], [ 1, 0, 0, 0, 0, 0 ], [ 1, 0, 0, -1, 0, 0 ], 
          [ 0, -1, 1, 0, 0, 0 ], [ 0, 0, 0, 0, 0, 1 ], [ 0, 0, 0, 0, 1, 0 ] ] 
     ], size := 32 )
gap> P6 := Group(R.generators);
<matrix group with 3 generators>
gap> Append(names,["ordnung.32/(2)^4(8)^4/words.group.1097"]);
gap> Append(GROUPS,[P6]);
gap> R := CaratReadBravaisFile("ordnung.32/(2)^4(8)^4/group.1098");
rec( 
  generators := [ [ [ 0, -1, 0, 0, 0, 0 ], [ 1, 0, 0, 0, 0, 0 ], [ 1, 0, 0, 
              -1, 0, 0 ], [ 0, -1, 1, 0, 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, 0, 1 ], [ 0, 0, 0, 0, 1, 0 ] ] 
     ], size := 32 )
gap> P7 := Group(R.generators);
<matrix group with 3 generators>
gap> Append(names,["ordnung.32/(2)^4(8)^4/words.group.1098"]);
gap> Append(GROUPS,[P7]);
gap> R := CaratReadBravaisFile("ordnung.32/(2)^4(8)^4/group.1099");
rec( 
  generators := [ [ [ 0, -1, 0, 0, 0, 0 ], [ 1, 0, 0, 0, 0, 0 ], [ 1, 0, 0, 
              -1, 0, 0 ], [ 0, -1, 1, 0, 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, 0, 1 ], [ 0, 0, 0, 0, 1, 0 ] ] 
     ], size := 32 )
gap> P8 := Group(R.generators);
<matrix group with 3 generators>
gap> Append(names,["ordnung.32/(2)^4(8)^4/words.group.1099"]);
gap> Append(GROUPS,[P8]);
gap> R := CaratReadBravaisFile("ordnung.32/(2)^4(8)^4/group.1100");
rec( 
  generators := [ [ [ 0, -1, 0, 0, 0, 0 ], [ 1, 0, 0, 0, 0, 0 ], [ 1, 0, 0, 
              -1, 0, 0 ], [ 0, -1, 1, 0, 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, 0, 1 ], [ 0, 0, 0, 0, 1, 0 ] ] 
     ], size := 32 )
gap> P9 := Group(R.generators);
<matrix group with 3 generators>
gap> Append(names,["ordnung.32/(2)^4(8)^4/words.group.1100"]);
gap> Append(GROUPS,[P9]);
gap> R := CaratReadBravaisFile("ordnung.64/(2)^4(4)^2(8)^2/group.1101");
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, 0, 1 ], 
          [ 0, 0, 0, 0, 1, 0 ] ], 
      [ [ 0, -1, 0, 0, 0, 0 ], [ 1, 0, 0, 0, 0, 0 ], [ 1, 0, 0, -1, 0, 0 ], 
          [ 0, -1, 1, 0, 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 := 64 )
gap> P10 := Group(R.generators);
<matrix group with 4 generators>
gap> Append(names,["ordnung.64/(2)^4(4)^2(8)^2/words.group.1101"]);
gap> Append(GROUPS,[P10]);
gap> Print(GROUPS,"\n");
[ Group(
    [ [ [ 0, 1, 0, 0, 0, 0 ], [ 1, 0, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], [ 
              0, 0, 0, -1, 0, 0 ], [ 0, 0, 0, 0, 0, -1 ], 
          [ 0, 0, 0, 0, 1, 0 ] ], 
      [ [ 0, -1, 0, 0, 0, 0 ], [ 1, 0, 0, 0, 0, 0 ], [ 0, 0, 0, -1, 0, 0 ], 
          [ 0, 0, 1, 0, 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, 0, 1, 0, 0 ],
          [ 0, 0, 1, 0, 0, 0 ], [ 0, 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 0, 1 ] ], 
      [ [ 0, 1, 0, 0, 0, 0 ], [ 1, 0, 0, 0, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], 
          [ 0, 0, 0, -1, 0, 0 ], [ 0, 0, 0, 0, 0, -1 ], [ 0, 0, 0, 0, 1, 0 ] 
         ] ]), 
  Group([ [ [ 0, 0, 1, 0, 0, 0 ], [ 0, -1, 0, 0, 0, 0 ], [ 1, 0, 0, 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, 0, 0, 1, 0, 0 ], [ 0, 0, 1, 0, 0, 0 ], 
          [ 0, 1, 0, 0, 0, 0 ], [ 0, 0, 0, 0, 0, -1 ], [ 0, 0, 0, 0, 1, 0 ] ] 
     ]), 
  Group([ [ [ 0, 1, 0, 0, 0, 0 ], [ 1, 0, 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, 0, -1, 0, 0 ], 
          [ 0, 0, -1, 0, 0, 0 ], [ 0, 0, 0, 0, 0, 1 ], [ 0, 0, 0, 0, 1, 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 ], [ 0, 0, 0, 0, 0, -1 ] 
         ] ]), 
  Group([ [ [ 0, -1, 0, 0, 0, 0 ], [ 1, 0, 0, 0, 0, 0 ], [ 1, 0, 0, -1, 0, 0 ]
            , [ 0, -1, 1, 0, 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, 0, -1 ], [ 0, 0, 0, 0, 1, 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 ], [ 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 ] ], 
      [ [ 0, -1, 0, 0, 0, 0 ], [ 1, 0, 0, 0, 0, 0 ], [ 1, 0, 0, -1, 0, 0 ], 
          [ 0, -1, 1, 0, 0, 0 ], [ 0, 0, 0, 0, 0, 1 ], [ 0, 0, 0, 0, 1, 0 ] ] 
     ]), 
  Group([ [ [ 0, -1, 0, 0, 0, 0 ], [ 1, 0, 0, 0, 0, 0 ], [ 1, 0, 0, -1, 0, 0 ]
            , [ 0, -1, 1, 0, 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, 0, 1 ], [ 0, 0, 0, 0, 1, 0 ] ] 
     ]), 
  Group([ [ [ 0, -1, 0, 0, 0, 0 ], [ 1, 0, 0, 0, 0, 0 ], [ 1, 0, 0, -1, 0, 0 ]
            , [ 0, -1, 1, 0, 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, 0, 1 ], [ 0, 0, 0, 0, 1, 0 ] ] 
     ]), 
  Group([ [ [ 0, -1, 0, 0, 0, 0 ], [ 1, 0, 0, 0, 0, 0 ], [ 1, 0, 0, -1, 0, 0 ]
            , [ 0, -1, 1, 0, 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, 0, 1 ], [ 0, 0, 0, 0, 1, 0 ] ] 
     ]), 
  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, 0, 1 ], [ 0, 0, 0, 0, 1, 0 ] ], 
      [ [ 0, -1, 0, 0, 0, 0 ], [ 1, 0, 0, 0, 0, 0 ], [ 1, 0, 0, -1, 0, 0 ], 
          [ 0, -1, 1, 0, 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.16/(2)^2(8)^4/words.min.214", "ordnung.16/(2)^2(8)^4/words.min.215"
    , "ordnung.16/(2)^4(16)^4/words.min.216", 
  "ordnung.16/(2)^4(16)^4/words.min.217", 
  "ordnung.32/(2)^2(4)^2(8)^2/words.group.1096", 
  "ordnung.32/(2)^4(8)^4/words.group.1097", 
  "ordnung.32/(2)^4(8)^4/words.group.1098", 
  "ordnung.32/(2)^4(8)^4/words.group.1099", 
  "ordnung.32/(2)^4(8)^4/words.group.1100", 
  "ordnung.64/(2)^4(4)^2(8)^2/words.group.1101" ]
gap> Size(GROUPS);
10
gap> Size(names);
10
gap> Read("../../TGROUPS.GAP");
gap> for i in [1..Size(GROUPS)] do
>    SubgroupWords(GROUPS[i], names[i]);
> od;
[ x1*x2, x1^2, x2^2 ]
[ x1*x2^2, x1^2, x2^2 ]
[ x1^2*x2, x1^2, x2^2 ]
[ x2, x2^2, x1*x2*x1*x2^3 ]
[ x1, x2^2, x1*x2*x1*x2^3 ]
[ x2*x1, x2^2, x1*x2*x1*x2^3 ]
[ x1*x2*x1, x2^2, x1*x2*x1*x2^3 ]
[ x2*x1*x2^3, x2^2, x1*x2*x1*x2^3 ]
[ x2*x1, x2^2, x1*x2*x1*x2^3 ]
[ x3, x1*x2*x1, x1*x2*x1*x2 ]
[ x3, x2*x1*x2, x1*x2*x1*x2 ]
[ x3, x2*x1, x1*x2*x1*x2 ]
[ x1*x2*x1, x2*x1*x2, x1*x2*x1*x2 ]
[ x2*x1*x2*x3, x1*x2*x1, x1*x2*x1*x2 ]
[ x1*x2*x1*x3, x2*x1*x2, x1*x2*x1*x2 ]
[ x2*x1*x2*x3, x2*x1, x1*x2*x1*x2 ]
[ x1^2*x3, x1, x2^2, x1^2 ]
[ x1^2*x3, x2, x2^2, x1^2 ]
[ x1^2*x3, x1*x2, x2^2, x1^2 ]
[ x1, x2, x2^2, x1^2 ]
[ x1^2*x2*x3, x1, x2^2, x1^2 ]
[ x1*x3, x2, x2^2, x1^2 ]
[ x1^2*x2*x3, x1*x2, x2^2, x1^2 ]
[ x3, x1, x3^2, x1*x2*x3*x1*x2*x3 ]
[ x3, x2, x3^2, x1*x2*x3*x1*x2*x3 ]
[ x3, x1*x2, x3^2, x1*x2*x3*x1*x2*x3 ]
[ x1, x2, x3^2, x1*x2*x3*x1*x2*x3 ]
[ x3*x2, x1, x3^2, x1*x2*x3*x1*x2*x3 ]
[ x3*x1, x2, x3^2, x1*x2*x3*x1*x2*x3 ]
[ x3*x2, x1*x2, x3^2, x1*x2*x3*x1*x2*x3 ]
[ x3, x1, x1^2, x2*x3*x2*x3 ]
[ x3, x2, x1^2, x2*x3*x2*x3 ]
[ x3, x1*x2, x1^2, x2*x3*x2*x3 ]
[ x1, x2, x1^2, x2*x3*x2*x3 ]
[ x3*x2, x1, x1^2, x2*x3*x2*x3 ]
[ x1^3*x3, x2, x1^2, x2*x3*x2*x3 ]
[ x3*x2, x1*x2, x1^2, x2*x3*x2*x3 ]
[ x1^2*x3, x1, x2*x3*x2*x3, x1^2 ]
[ x1^2*x3, x2, x2*x3*x2*x3, x1^2 ]
[ x1^2*x3, x1*x2, x2*x3*x2*x3, x1^2 ]
[ x1, x2, x2*x3*x2*x3, x1^2 ]
[ x1^2*x3*x2, x1, x2*x3*x2*x3, x1^2 ]
[ x1*x3, x2, x2*x3*x2*x3, x1^2 ]
[ x1^2*x3*x2, x1*x2, x2*x3*x2*x3, x1^2 ]
[ x1^2*x3, x1, x1*x3*x1*x3, x1^2 ]
[ x1^2*x3, x2, x1*x3*x1*x3, x1^2 ]
[ x1^2*x3, x1*x2, x1*x3*x1*x3, x1^2 ]
[ x1, x2, x1*x3*x1*x3, x1^2 ]
[ x1*x2*x3*x1, x1, x1*x3*x1*x3, x1^2 ]
[ x1^2*x3*x1, x2, x1*x3*x1*x3, x1^2 ]
[ x1*x2*x3*x1, x1*x2, x1*x3*x1*x3, x1^2 ]
[ x2^2*x4, x2, x3*x1*x3, x2^2, x1*x3*x1*x3 ]
[ x2^2*x4, x2, x3, x2^2, x1*x3*x1*x3 ]
[ x2^2*x4, x2, x3*x1, x2^2, x1*x3*x1*x3 ]
[ x2^2*x4, x3*x1*x3, x3, x2^2, x1*x3*x1*x3 ]
[ x2^2*x4, x2*x3, x3*x1*x3, x2^2, x1*x3*x1*x3 ]
[ x2^2*x4, x2*x3*x1*x3, x3, x2^2, x1*x3*x1*x3 ]
[ x2^2*x4, x2*x3, x3*x1, x2^2, x1*x3*x1*x3 ]
[ x2, x3*x1*x3, x3, x2^2, x1*x3*x1*x3 ]
[ x2^2*x3*x4, x2, x3*x1*x3, x2^2, x1*x3*x1*x3 ]
[ x2^2*x3*x1*x3*x4, x2, x3, x2^2, x1*x3*x1*x3 ]
[ x2^2*x3*x4, x2, x3*x1, x2^2, x1*x3*x1*x3 ]
[ x2*x4, x3*x1*x3, x3, x2^2, x1*x3*x1*x3 ]
[ x2^2*x3*x4, x2*x3, x3*x1*x3, x2^2, x1*x3*x1*x3 ]
[ x2^2*x3*x1*x3*x4, x2*x3*x1*x3, x3, x2^2, x1*x3*x1*x3 ]
[ x2^2*x3*x4, x2*x3, x3*x1, x2^2, x1*x3*x1*x3 ]
gap> LogTo();
Product

Resources

Company
