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); 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); 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); 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); 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); 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); 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); 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); 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); 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); 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();