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