| Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/GAP/pkg/aclib/gap/ (Algebra von RWTH Aachen Version 4.15.1©) Datei vom 28.7.2025 mit Größe 83 kB |
|
Quelle pcpgrp4.gi Sprache: unbekannt |
|
|
#############################################################################
## #W pcpgrp4.gi Karel Dekimpe #W Bettina Eick ## ## This file contains the 4-dimensional almost crystallographic groups ## as pcp groups. There are 95 types of groups. ## ACPcpGroupDim4Nr001 := function (k1, k2, k3) local FTL; FTL := FromTheLeftCollector( 4 ); SetConjugate( FTL, 2, 1, [2,1, 4,k1 ] ); SetConjugate( FTL, 3, 1, [3,1, 4,k2 ] ); SetConjugate( FTL, 3, 2, [3,1, 4,k3 ] ); return PcpGroupByCollector(FTL); end; ACPcpGroupDim4Nr002 := function (k1, k2, k3 , k4, k5, k6, k7) local FTL; FTL := FromTheLeftCollector( 5 ); SetRelativeOrder( FTL, 1, 2 ); SetPower( FTL, 1, [2,0, 3,0, 4,0, 5,k7 ] ); SetConjugate( FTL, 2, 1, [2,-1, 3,0, 4,0, 5,k4 ] ); SetConjugate( FTL, 3, 1, [2,0, 3,-1, 4,0, 5,k5 ] ); SetConjugate( FTL, 4, 1, [2,0, 3,0, 4,-1, 5,k6 ] ); SetConjugate( FTL, 5, 1, [2,0, 3,0, 4,0, 5,1 ] ); SetConjugate( FTL, 3, 2, [3,1, 4,0, 5,k1 ] ); SetConjugate( FTL, 4, 2, [4,1, 5,k2 ] ); SetConjugate( FTL, 4, 3, [4,1, 5,k3 ] ); return PcpGroupByCollector(FTL); end; ACPcpGroupDim4Nr003 := function (k1, k2, k3 , k4) local FTL; FTL := FromTheLeftCollector( 5 ); SetRelativeOrder( FTL, 1, 2 ); SetPower( FTL, 1, [2,0, 3,0, 4,0, 5,k4 ] ); SetConjugate( FTL, 2, 1, [2,-1, 3,0, 4,0, 5,k2 ] ); SetConjugate( FTL, 3, 1, [2,0, 3,1, 4,0, 5,0 ] ); SetConjugate( FTL, 4, 1, [2,0, 3,0, 4,-1, 5,k3 ] ); SetConjugate( FTL, 5, 1, [2,0, 3,0, 4,0, 5,1 ] ); SetConjugate( FTL, 3, 2, [3,1, 4,0, 5,0 ] ); SetConjugate( FTL, 4, 2, [4,1, 5,k1 ] ); SetConjugate( FTL, 4, 3, [4,1, 5,0 ] ); return PcpGroupByCollector(FTL); end; ACPcpGroupDim4Nr004 := function (k1, k2, k3 , k4) local FTL; FTL := FromTheLeftCollector( 5 ); SetRelativeOrder( FTL, 1, 2 ); SetPower( FTL, 1, [2,0, 3,1, 4,0, 5,k4 ] ); SetConjugate( FTL, 2, 1, [2,-1, 3,0, 4,0, 5,k2 ] ); SetConjugate( FTL, 3, 1, [2,0, 3,1, 4,0, 5,0 ] ); SetConjugate( FTL, 4, 1, [2,0, 3,0, 4,-1, 5,k3 ] ); SetConjugate( FTL, 5, 1, [2,0, 3,0, 4,0, 5,1 ] ); SetConjugate( FTL, 3, 2, [3,1, 4,0, 5,0 ] ); SetConjugate( FTL, 4, 2, [4,1, 5,k1 ] ); SetConjugate( FTL, 4, 3, [4,1, 5,0 ] ); return PcpGroupByCollector(FTL); end; ACPcpGroupDim4Nr004b:= function (k1, k2, k3 ) local FTL; FTL := FromTheLeftCollector( 5 ); SetRelativeOrder( FTL, 1, 2 ); SetPower( FTL, 1, [2,0, 3,1, 4,0, 5,k3 ] ); SetConjugate( FTL, 2, 1, [2,-1, 3,0, 4,0, 5,k1 ] ); SetConjugate( FTL, 3, 1, [2,0, 3,1, 4,0, 5,2*k3 ] ); SetConjugate( FTL, 4, 1, [2,0, 3,0, 4,-1, 5,-k2 ] ); SetConjugate( FTL, 5, 1, [2,0, 3,0, 4,0, 5,-1 ] ); SetConjugate( FTL, 3, 2, [3,1, 4,0, 5,2*k1 ] ); SetConjugate( FTL, 4, 2, [4,1, 5,0 ] ); SetConjugate( FTL, 4, 3, [4,1, 5,2*k2 ] ); return PcpGroupByCollector(FTL); end; ACPcpGroupDim4Nr005 := function (k1, k2, k3 , k4) local FTL; FTL := FromTheLeftCollector( 5 ); SetRelativeOrder( FTL, 1, 2 ); SetPower( FTL, 1, [2,0, 3,0, 4,0, 5,k4 ] ); SetConjugate( FTL, 2, 1, [2,0, 3,-1, 4,0, 5,k2 ] ); SetConjugate( FTL, 3, 1, [2,-1, 3,0, 4,0, 5,k2 ] ); SetConjugate( FTL, 4, 1, [2,0, 3,0, 4,-1, 5,k3 ] ); SetConjugate( FTL, 5, 1, [2,0, 3,0, 4,0, 5,1 ] ); SetConjugate( FTL, 3, 2, [3,1, 4,0, 5,0 ] ); SetConjugate( FTL, 4, 2, [4,1, 5,k1 ] ); SetConjugate( FTL, 4, 3, [4,1, 5,k1 ] ); return PcpGroupByCollector(FTL); end; ACPcpGroupDim4Nr006 := function (k1, k2, k3 ) local FTL; FTL := FromTheLeftCollector( 5 ); SetRelativeOrder( FTL, 1, 2 ); SetPower( FTL, 1, [2,0, 3,0, 4,0, 5,k3 ] ); SetConjugate( FTL, 2, 1, [2,1, 3,0, 4,0, 5,0 ] ); SetConjugate( FTL, 3, 1, [2,0, 3,-1, 4,0, 5,k2 ] ); SetConjugate( FTL, 4, 1, [2,0, 3,0, 4,1, 5,0 ] ); SetConjugate( FTL, 5, 1, [2,0, 3,0, 4,0, 5,1 ] ); SetConjugate( FTL, 3, 2, [3,1, 4,0, 5,0 ] ); SetConjugate( FTL, 4, 2, [4,1, 5,k1 ] ); SetConjugate( FTL, 4, 3, [4,1, 5,0 ] ); return PcpGroupByCollector(FTL); end; ACPcpGroupDim4Nr007 := function (k1, k2, k3 ) local FTL; FTL := FromTheLeftCollector( 5 ); SetRelativeOrder( FTL, 1, 2 ); SetPower( FTL, 1, [2,0, 3,0, 4,1, 5,k3 ] ); SetConjugate( FTL, 2, 1, [2,1, 3,0, 4,0, 5,-k1 ] ); SetConjugate( FTL, 3, 1, [2,0, 3,-1, 4,0, 5,k2 ] ); SetConjugate( FTL, 4, 1, [2,0, 3,0, 4,1, 5,0 ] ); SetConjugate( FTL, 5, 1, [2,0, 3,0, 4,0, 5,1 ] ); SetConjugate( FTL, 3, 2, [3,1, 4,0, 5,0 ] ); SetConjugate( FTL, 4, 2, [4,1, 5,2*k1 ] ); SetConjugate( FTL, 4, 3, [4,1, 5,0 ] ); return PcpGroupByCollector(FTL); end; ACPcpGroupDim4Nr007b:= function (k1, k2, k3 , k4) local FTL; FTL := FromTheLeftCollector( 5 ); SetRelativeOrder( FTL, 1, 2 ); SetPower( FTL, 1, [2,0, 3,0, 4,1, 5,k4 ] ); SetConjugate( FTL, 2, 1, [2,1, 3,0, 4,0, 5,-k3 ] ); SetConjugate( FTL, 3, 1, [2,0, 3,-1, 4,0, 5,k2 ] ); SetConjugate( FTL, 4, 1, [2,0, 3,0, 4,1, 5,2*k4 ] ); SetConjugate( FTL, 5, 1, [2,0, 3,0, 4,0, 5,-1 ] ); SetConjugate( FTL, 3, 2, [3,1, 4,0, 5,k1 ] ); SetConjugate( FTL, 4, 2, [4,1, 5,0 ] ); SetConjugate( FTL, 4, 3, [4,1, 5,2*k2 ] ); return PcpGroupByCollector(FTL); end; ACPcpGroupDim4Nr008 := function (k1, k2, k3) local FTL; FTL := FromTheLeftCollector( 5 ); SetRelativeOrder( FTL, 1, 2 ); SetPower( FTL, 1, [2,0, 3,0, 4,0, 5,k3 ] ); SetConjugate( FTL, 2, 1, [2,0, 3,1, 4,0, 5,k2 ] ); SetConjugate( FTL, 3, 1, [2,1, 3,0, 4,0, 5,-k2 ] ); SetConjugate( FTL, 4, 1, [2,0, 3,0, 4,1, 5,0 ] ); SetConjugate( FTL, 5, 1, [2,0, 3,0, 4,0, 5,1 ] ); SetConjugate( FTL, 3, 2, [3,1, 4,0, 5,0 ] ); SetConjugate( FTL, 4, 2, [4,1, 5,k1 ] ); SetConjugate( FTL, 4, 3, [4,1, 5,k1 ] ); return PcpGroupByCollector(FTL); end; ACPcpGroupDim4Nr009 := function (k1, k2, k3) local FTL; FTL := FromTheLeftCollector( 5 ); SetRelativeOrder( FTL, 1, 2 ); SetPower( FTL, 1, [2,0, 3,0, 4,1, 5,k3 ] ); SetConjugate( FTL, 2, 1, [2,0, 3,1, 4,0, 5,-k1 + k2 ] ); SetConjugate( FTL, 3, 1, [2,1, 3,0, 4,0, 5,-k2 ] ); SetConjugate( FTL, 4, 1, [2,0, 3,0, 4,1, 5,0 ] ); SetConjugate( FTL, 5, 1, [2,0, 3,0, 4,0, 5,1 ] ); SetConjugate( FTL, 3, 2, [3,1, 4,0, 5,0 ] ); SetConjugate( FTL, 4, 2, [4,1, 5,k1 ] ); SetConjugate( FTL, 4, 3, [4,1, 5,k1 ] ); return PcpGroupByCollector(FTL); end; ACPcpGroupDim4Nr009b:= function (k1, k2, k3 , k4) local FTL; FTL := FromTheLeftCollector( 5 ); SetRelativeOrder( FTL, 1, 2 ); SetPower( FTL, 1, [2,0, 3,0, 4,1, 5,k4 ] ); SetConjugate( FTL, 2, 1, [2,0, 3,1, 4,0, 5,k2 - k3 ] ); SetConjugate( FTL, 3, 1, [2,1, 3,0, 4,0, 5,-k3 ] ); SetConjugate( FTL, 4, 1, [2,0, 3,0, 4,1, 5,2*k4 ] ); SetConjugate( FTL, 5, 1, [2,0, 3,0, 4,0, 5,-1 ] ); SetConjugate( FTL, 3, 2, [3,1, 4,0, 5,k1 ] ); SetConjugate( FTL, 4, 2, [4,1, 5,k2 ] ); SetConjugate( FTL, 4, 3, [4,1, 5,-k2 ] ); return PcpGroupByCollector(FTL); end; ACPcpGroupDim4Nr010 := function (k1, k2, k3 , k4, k5, k6) local FTL; FTL := FromTheLeftCollector( 6 ); SetRelativeOrder( FTL, 1, 2 ); SetPower( FTL, 1, [3,0, 4,0, 5,0, 6,k6 ] ); SetConjugate( FTL, 2, 1, [2, 1 , 3,0, 4,0, 5,0, 6,0 ] ); SetConjugate( FTL, 3, 1, [3,-1, 4,0, 5,0, 6,k2 ] ); SetConjugate( FTL, 4, 1, [3,0, 4,-1, 5,0, 6,k5 ] ); SetConjugate( FTL, 5, 1, [3,0, 4,0, 5,-1, 6,k3 ] ); SetConjugate( FTL, 6, 1, [3,0, 4,0, 5,0, 6,1 ] ); SetRelativeOrder( FTL, 2, 2 ); SetPower( FTL, 2, [3,0, 4,0, 5,0, 6,k4 ] ); SetConjugate( FTL, 3, 2, [3,-1, 4,0, 5,0, 6,k2 ] ); SetConjugate( FTL, 4, 2, [3,0, 4,1, 5,0, 6,0 ] ); SetConjugate( FTL, 5, 2, [3,0, 4,0, 5,-1, 6,k3 ] ); SetConjugate( FTL, 6, 2, [3,0, 4,0, 5,0, 6,1 ] ); SetConjugate( FTL, 4, 3, [4,1, 5,0, 6,0 ] ); SetConjugate( FTL, 5, 3, [5,1, 6,k1 ] ); SetConjugate( FTL, 5, 4, [5,1, 6,0 ] ); return PcpGroupByCollector(FTL); end; ACPcpGroupDim4Nr011 := function (k1, k2, k3 , k4, k5, k6) local FTL; FTL := FromTheLeftCollector( 6 ); SetRelativeOrder( FTL, 1, 2 ); SetPower( FTL, 1, [3,0, 4,0, 5,0, 6,k5 ] ); SetConjugate( FTL, 2, 1, [2, 1 , 3,0, 4,-1, 5,0, 6,-k6 ] ); SetConjugate( FTL, 3, 1, [3,-1, 4,0, 5,0, 6,k2 ] ); SetConjugate( FTL, 4, 1, [3,0, 4,-1, 5,0, 6,-2*k6 ] ); SetConjugate( FTL, 5, 1, [3,0, 4,0, 5,-1, 6,k3 ] ); SetConjugate( FTL, 6, 1, [3,0, 4,0, 5,0, 6,1 ] ); SetRelativeOrder( FTL, 2, 2 ); SetPower( FTL, 2, [3,0, 4,1, 5,0, 6,k4 ] ); SetConjugate( FTL, 3, 2, [3,-1, 4,0, 5,0, 6,k2 ] ); SetConjugate( FTL, 4, 2, [3,0, 4,1, 5,0, 6,0 ] ); SetConjugate( FTL, 5, 2, [3,0, 4,0, 5,-1, 6,k3 ] ); SetConjugate( FTL, 6, 2, [3,0, 4,0, 5,0, 6,1 ] ); SetConjugate( FTL, 4, 3, [4,1, 5,0, 6,0 ] ); SetConjugate( FTL, 5, 3, [5,1, 6,k1 ] ); SetConjugate( FTL, 5, 4, [5,1, 6,0 ] ); return PcpGroupByCollector(FTL); end; ACPcpGroupDim4Nr012 := function (k1, k2, k3 , k4, k5, k6) local FTL; FTL := FromTheLeftCollector( 6 ); SetRelativeOrder( FTL, 1, 2 ); SetPower( FTL, 1, [3,0, 4,0, 5,0, 6,k6 ] ); SetConjugate( FTL, 2, 1, [2, 1 , 3,0, 4,0, 5,0, 6,0 ] ); SetConjugate( FTL, 3, 1, [3,-1, 4,0, 5,0, 6,k5 ] ); SetConjugate( FTL, 4, 1, [3,0, 4,-1, 5,0, 6,2*k2 - k5 ] ); SetConjugate( FTL, 5, 1, [3,0, 4,0, 5,-1, 6,k3 ] ); SetConjugate( FTL, 6, 1, [3,0, 4,0, 5,0, 6,1 ] ); SetRelativeOrder( FTL, 2, 2 ); SetPower( FTL, 2, [3,0, 4,0, 5,0, 6,k4 ] ); SetConjugate( FTL, 3, 2, [3,0, 4,-1, 5,0, 6,k2 ] ); SetConjugate( FTL, 4, 2, [3,-1, 4,0, 5,0, 6,k2 ] ); SetConjugate( FTL, 5, 2, [3,0, 4,0, 5,-1, 6,k3 ] ); SetConjugate( FTL, 6, 2, [3,0, 4,0, 5,0, 6,1 ] ); SetConjugate( FTL, 4, 3, [4,1, 5,0, 6,0 ] ); SetConjugate( FTL, 5, 3, [5,1, 6,k1 ] ); SetConjugate( FTL, 5, 4, [5,1, 6,k1 ] ); return PcpGroupByCollector(FTL); end; ACPcpGroupDim4Nr013 := function (k1, k2, k3 , k4, k5, k6) local FTL; FTL := FromTheLeftCollector( 6 ); SetRelativeOrder( FTL, 1, 2 ); SetPower( FTL, 1, [3,0, 4,0, 5,0, 6,k5 ] ); SetConjugate( FTL, 2, 1, [2, 1 , 3,0, 4,0, 5,1, 6,k6 ] ); SetConjugate( FTL, 3, 1, [3,-1, 4,0, 5,0, 6,k1 + k2 ] ); SetConjugate( FTL, 4, 1, [3,0, 4,-1, 5,0, 6,k4 ] ); SetConjugate( FTL, 5, 1, [3,0, 4,0, 5,-1, 6,-2*k6 ] ); SetConjugate( FTL, 6, 1, [3,0, 4,0, 5,0, 6,1 ] ); SetRelativeOrder( FTL, 2, 2 ); SetPower( FTL, 2, [3,0, 4,0, 5,0, 6,k3 ] ); SetConjugate( FTL, 3, 2, [3,-1, 4,0, 5,0, 6,k2 ] ); SetConjugate( FTL, 4, 2, [3,0, 4,1, 5,0, 6,0 ] ); SetConjugate( FTL, 5, 2, [3,0, 4,0, 5,-1, 6,-2*k6 ] ); SetConjugate( FTL, 6, 2, [3,0, 4,0, 5,0, 6,1 ] ); SetConjugate( FTL, 4, 3, [4,1, 5,0, 6,0 ] ); SetConjugate( FTL, 5, 3, [5,1, 6,2*k1 ] ); SetConjugate( FTL, 5, 4, [5,1, 6,0 ] ); return PcpGroupByCollector(FTL); end; ACPcpGroupDim4Nr014 := function (k1, k2, k3 , k4, k5, k6) local FTL; FTL := FromTheLeftCollector( 6 ); SetRelativeOrder( FTL, 1, 2 ); SetPower( FTL, 1, [3,0, 4,0, 5,0, 6,k5 ] ); SetConjugate( FTL, 2, 1, [2, 1 , 3,0, 4,-1, 5,1, 6,-k3 - k6 ] ); SetConjugate( FTL, 3, 1, [3,-1, 4,0, 5,0, 6,k1 + k2 ] ); SetConjugate( FTL, 4, 1, [3,0, 4,-1, 5,0, 6,-k3 - 2*k6 ] ); SetConjugate( FTL, 5, 1, [3,0, 4,0, 5,-1, 6,k3 ] ); SetConjugate( FTL, 6, 1, [3,0, 4,0, 5,0, 6,1 ] ); SetRelativeOrder( FTL, 2, 2 ); SetPower( FTL, 2, [3,0, 4,1, 5,0, 6,k4 ] ); SetConjugate( FTL, 3, 2, [3,-1, 4,0, 5,0, 6,k2 ] ); SetConjugate( FTL, 4, 2, [3,0, 4,1, 5,0, 6,0 ] ); SetConjugate( FTL, 5, 2, [3,0, 4,0, 5,-1, 6,k3 ] ); SetConjugate( FTL, 6, 2, [3,0, 4,0, 5,0, 6,1 ] ); SetConjugate( FTL, 4, 3, [4,1, 5,0, 6,0 ] ); SetConjugate( FTL, 5, 3, [5,1, 6,2*k1 ] ); SetConjugate( FTL, 5, 4, [5,1, 6,0 ] ); return PcpGroupByCollector(FTL); end; ACPcpGroupDim4Nr014b:= function (k1, k2, k3 , k4, k5, k6) local FTL; FTL := FromTheLeftCollector( 6 ); SetRelativeOrder( FTL, 1, 2 ); SetPower( FTL, 1, [3,0, 4,0, 5,0, 6,k5 ] ); SetConjugate( FTL, 2, 1, [2, 1 , 3,0, 4,-1, 5,1, 6,-k2 - 2*k3 + 2*k5 - k6 ] ); SetConjugate( FTL, 3, 1, [3,-1, 4,0, 5,0, 6,k4 ] ); SetConjugate( FTL, 4, 1, [3,0, 4,-1, 5,0, 6,k2 - 2*k3 ] ); SetConjugate( FTL, 5, 1, [3,0, 4,0, 5,-1, 6,k2 + 2*k3 - 2*k5 + 2*k6 ] ); SetConjugate( FTL, 6, 1, [3,0, 4,0, 5,0, 6,1 ] ); SetRelativeOrder( FTL, 2, 2 ); SetPower( FTL, 2, [3,0, 4,1, 5,0, 6,k3 ] ); SetConjugate( FTL, 3, 2, [3,-1, 4,0, 5,0, 6,k1 ] ); SetConjugate( FTL, 4, 2, [3,0, 4,1, 5,0, 6,2*k3 ] ); SetConjugate( FTL, 5, 2, [3,0, 4,0, 5,-1, 6,-k2 ] ); SetConjugate( FTL, 6, 2, [3,0, 4,0, 5,0, 6,-1 ] ); SetConjugate( FTL, 4, 3, [4,1, 5,0, 6,2*k1 ] ); SetConjugate( FTL, 5, 3, [5,1, 6,0 ] ); SetConjugate( FTL, 5, 4, [5,1, 6,2*k2 ] ); return PcpGroupByCollector(FTL); end; ACPcpGroupDim4Nr015 := function (k1, k2, k3 , k4, k5, k6) local FTL; FTL := FromTheLeftCollector( 6 ); SetRelativeOrder( FTL, 1, 2 ); SetPower( FTL, 1, [3,0, 4,0, 5,0, 6,k5 ] ); SetConjugate( FTL, 2, 1, [2, 1 , 3,0, 4,0, 5,1, 6,k6 ] ); SetConjugate( FTL, 3, 1, [3,-1, 4,0, 5,0, 6,k4 ] ); SetConjugate( FTL, 4, 1, [3,0, 4,-1, 5,0, 6,k1 + 2*k2 - k4 ] ); SetConjugate( FTL, 5, 1, [3,0, 4,0, 5,-1, 6,-2*k6 ] ); SetConjugate( FTL, 6, 1, [3,0, 4,0, 5,0, 6,1 ] ); SetRelativeOrder( FTL, 2, 2 ); SetPower( FTL, 2, [3,0, 4,0, 5,0, 6,k3 ] ); SetConjugate( FTL, 3, 2, [3,0, 4,-1, 5,0, 6,k2 ] ); SetConjugate( FTL, 4, 2, [3,-1, 4,0, 5,0, 6,k2 ] ); SetConjugate( FTL, 5, 2, [3,0, 4,0, 5,-1, 6,-2*k6 ] ); SetConjugate( FTL, 6, 2, [3,0, 4,0, 5,0, 6,1 ] ); SetConjugate( FTL, 4, 3, [4,1, 5,0, 6,0 ] ); SetConjugate( FTL, 5, 3, [5,1, 6,k1 ] ); SetConjugate( FTL, 5, 4, [5,1, 6,k1 ] ); return PcpGroupByCollector(FTL); end; ACPcpGroupDim4Nr018 := function (k1, k2, k3 , k4) local FTL; FTL := FromTheLeftCollector( 6 ); SetRelativeOrder( FTL, 1, 2 ); SetPower( FTL, 1, [3,0, 4,1, 5,0, 6,k3 ] ); SetConjugate( FTL, 2, 1, [2, 1 , 3,1, 4,1, 5,0, 6,k1 - 2*k2 + 2*k3 - k4 ] ); SetConjugate( FTL, 3, 1, [3,-1, 4,0, 5,0, 6,k1 ] ); SetConjugate( FTL, 4, 1, [3,0, 4,1, 5,0, 6,2*k3 ] ); SetConjugate( FTL, 5, 1, [3,0, 4,0, 5,-1, 6,0 ] ); SetConjugate( FTL, 6, 1, [3,0, 4,0, 5,0, 6,-1 ] ); SetRelativeOrder( FTL, 2, 2 ); SetPower( FTL, 2, [3,0, 4,0, 5,0, 6,k2 ] ); SetConjugate( FTL, 3, 2, [3,-1, 4,0, 5,0, 6,-k1 + 2*k2 - 2*k3 + 2*k4 ] ); SetConjugate( FTL, 4, 2, [3,0, 4,-1, 5,0, 6,k1 - 2*k3 ] ); SetConjugate( FTL, 5, 2, [3,0, 4,0, 5,1, 6,0 ] ); SetConjugate( FTL, 6, 2, [3,0, 4,0, 5,0, 6,1 ] ); SetConjugate( FTL, 4, 3, [4,1, 5,0, 6,2*k1 ] ); SetConjugate( FTL, 5, 3, [5,1, 6,0 ] ); SetConjugate( FTL, 5, 4, [5,1, 6,0 ] ); return PcpGroupByCollector(FTL); end; ACPcpGroupDim4Nr019 := function (k1, k2, k3 , k4) local FTL; FTL := FromTheLeftCollector( 6 ); SetRelativeOrder( FTL, 1, 2 ); SetPower( FTL, 1, [3,0, 4,1, 5,0, 6,k3 ] ); SetConjugate( FTL, 2, 1, [2, 1 , 3,1, 4,1, 5,-1, 6,-3*k1 - 2*k2 + 2*k3 - k4 ] ); SetConjugate( FTL, 3, 1, [3,-1, 4,0, 5,0, 6,3*k1 + 2*k2 - 2*k3 + 2*k4 ] ); SetConjugate( FTL, 4, 1, [3,0, 4,1, 5,0, 6,0 ] ); SetConjugate( FTL, 5, 1, [3,0, 4,0, 5,-1, 6,-k1 - 2*k2 ] ); SetConjugate( FTL, 6, 1, [3,0, 4,0, 5,0, 6,1 ] ); SetRelativeOrder( FTL, 2, 2 ); SetPower( FTL, 2, [3,0, 4,0, 5,1, 6,k2 ] ); SetConjugate( FTL, 3, 2, [3,-1, 4,0, 5,0, 6,k1 ] ); SetConjugate( FTL, 4, 2, [3,0, 4,-1, 5,0, 6,0 ] ); SetConjugate( FTL, 5, 2, [3,0, 4,0, 5,1, 6,2*k2 ] ); SetConjugate( FTL, 6, 2, [3,0, 4,0, 5,0, 6,-1 ] ); SetConjugate( FTL, 4, 3, [4,1, 5,0, 6,0 ] ); SetConjugate( FTL, 5, 3, [5,1, 6,2*k1 ] ); SetConjugate( FTL, 5, 4, [5,1, 6,0 ] ); return PcpGroupByCollector(FTL); end; ACPcpGroupDim4Nr019b:= function (k1, k2, k3 , k4) local FTL; FTL := FromTheLeftCollector( 6 ); SetRelativeOrder( FTL, 1, 2 ); SetPower( FTL, 1, [3,0, 4,1, 5,0, 6,k3 ] ); SetConjugate( FTL, 2, 1, [2, 1 , 3,1, 4,1, 5,-1, 6,k1 - 2*k2 + 2*k3 - k4 ] ); SetConjugate( FTL, 3, 1, [3,-1, 4,0, 5,0, 6,k1 ] ); SetConjugate( FTL, 4, 1, [3,0, 4,1, 5,0, 6,2*k3 ] ); SetConjugate( FTL, 5, 1, [3,0, 4,0, 5,-1, 6,0 ] ); SetConjugate( FTL, 6, 1, [3,0, 4,0, 5,0, 6,-1 ] ); SetRelativeOrder( FTL, 2, 2 ); SetPower( FTL, 2, [3,0, 4,0, 5,1, 6,k2 ] ); SetConjugate( FTL, 3, 2, [3,-1, 4,0, 5,0, 6,-k1 + 2*k2 - 2*k3 + 2*k4 ] ); SetConjugate( FTL, 4, 2, [3,0, 4,-1, 5,0, 6,k1 - 2*k3 ] ); SetConjugate( FTL, 5, 2, [3,0, 4,0, 5,1, 6,0 ] ); SetConjugate( FTL, 6, 2, [3,0, 4,0, 5,0, 6,1 ] ); SetConjugate( FTL, 4, 3, [4,1, 5,0, 6,2*k1 ] ); SetConjugate( FTL, 5, 3, [5,1, 6,0 ] ); SetConjugate( FTL, 5, 4, [5,1, 6,0 ] ); return PcpGroupByCollector(FTL); end; ACPcpGroupDim4Nr019c:= function (k1, k2, k3 , k4) local FTL; FTL := FromTheLeftCollector( 6 ); SetRelativeOrder( FTL, 1, 2 ); SetPower( FTL, 1, [3,0, 4,1, 5,0, 6,k3 ] ); SetConjugate( FTL, 2, 1, [2, 1 , 3,1, 4,1, 5,-1, 6,-2*k2 + 2*k3 + k4 ] ); SetConjugate( FTL, 3, 1, [3,-1, 4,0, 5,0, 6,0 ] ); SetConjugate( FTL, 4, 1, [3,0, 4,1, 5,0, 6,2*k3 ] ); SetConjugate( FTL, 5, 1, [3,0, 4,0, 5,-1, 6,-k1 ] ); SetConjugate( FTL, 6, 1, [3,0, 4,0, 5,0, 6,-1 ] ); SetRelativeOrder( FTL, 2, 2 ); SetPower( FTL, 2, [3,0, 4,0, 5,1, 6,k2 ] ); SetConjugate( FTL, 3, 2, [3,-1, 4,0, 5,0, 6,0 ] ); SetConjugate( FTL, 4, 2, [3,0, 4,-1, 5,0, 6,k1 ] ); SetConjugate( FTL, 5, 2, [3,0, 4,0, 5,1, 6,2*k2 ] ); SetConjugate( FTL, 6, 2, [3,0, 4,0, 5,0, 6,-1 ] ); SetConjugate( FTL, 4, 3, [4,1, 5,0, 6,0 ] ); SetConjugate( FTL, 5, 3, [5,1, 6,0 ] ); SetConjugate( FTL, 5, 4, [5,1, 6,2*k1 ] ); return PcpGroupByCollector(FTL); end; ACPcpGroupDim4Nr026 := function (k1, k2, k3 , k4) local FTL; FTL := FromTheLeftCollector( 6 ); SetRelativeOrder( FTL, 1, 2 ); SetPower( FTL, 1, [3,0, 4,0, 5,0, 6,k4 ] ); SetConjugate( FTL, 2, 1, [2, 1 , 3,0, 4,0, 5,0, 6,k4 ] ); SetConjugate( FTL, 3, 1, [3,1, 4,0, 5,0, 6,0 ] ); SetConjugate( FTL, 4, 1, [3,0, 4,-1, 5,0, 6,k3 ] ); SetConjugate( FTL, 5, 1, [3,0, 4,0, 5,1, 6,0 ] ); SetConjugate( FTL, 6, 1, [3,0, 4,0, 5,0, 6,1 ] ); SetRelativeOrder( FTL, 2, 2 ); SetPower( FTL, 2, [3,0, 4,0, 5,1, 6,k2 ] ); SetConjugate( FTL, 3, 2, [3,-1, 4,0, 5,0, 6,k1 ] ); SetConjugate( FTL, 4, 2, [3,0, 4,-1, 5,0, 6,0 ] ); SetConjugate( FTL, 5, 2, [3,0, 4,0, 5,1, 6,2*k2 ] ); SetConjugate( FTL, 6, 2, [3,0, 4,0, 5,0, 6,-1 ] ); SetConjugate( FTL, 4, 3, [4,1, 5,0, 6,0 ] ); SetConjugate( FTL, 5, 3, [5,1, 6,2*k1 ] ); SetConjugate( FTL, 5, 4, [5,1, 6,0 ] ); return PcpGroupByCollector(FTL); end; ACPcpGroupDim4Nr027 := function (k1, k2, k3 , k4, k5) local FTL; FTL := FromTheLeftCollector( 6 ); SetRelativeOrder( FTL, 1, 2 ); SetPower( FTL, 1, [3,0, 4,0, 5,1, 6,k5 ] ); SetConjugate( FTL, 2, 1, [2, 1 , 3,0, 4,0, 5,0, 6,-k4 ] ); SetConjugate( FTL, 3, 1, [3,1, 4,0, 5,0, 6,-k2 ] ); SetConjugate( FTL, 4, 1, [3,0, 4,-1, 5,0, 6,0 ] ); SetConjugate( FTL, 5, 1, [3,0, 4,0, 5,1, 6,2*k5 ] ); SetConjugate( FTL, 6, 1, [3,0, 4,0, 5,0, 6,-1 ] ); SetRelativeOrder( FTL, 2, 2 ); SetPower( FTL, 2, [3,0, 4,0, 5,0, 6,k4 ] ); SetConjugate( FTL, 3, 2, [3,-1, 4,0, 5,0, 6,k2 ] ); SetConjugate( FTL, 4, 2, [3,0, 4,-1, 5,0, 6,k3 ] ); SetConjugate( FTL, 5, 2, [3,0, 4,0, 5,1, 6,0 ] ); SetConjugate( FTL, 6, 2, [3,0, 4,0, 5,0, 6,1 ] ); SetConjugate( FTL, 4, 3, [4,1, 5,0, 6,k1 ] ); SetConjugate( FTL, 5, 3, [5,1, 6,0 ] ); SetConjugate( FTL, 5, 4, [5,1, 6,0 ] ); return PcpGroupByCollector(FTL); end; ACPcpGroupDim4Nr029 := function (k1, k2, k3 , k4) local FTL; FTL := FromTheLeftCollector( 6 ); SetRelativeOrder( FTL, 1, 2 ); SetPower( FTL, 1, [3,0, 4,0, 5,1, 6,k3 ] ); SetConjugate( FTL, 2, 1, [2, 1 , 3,0, 4,1, 5,0, 6,-2*k2 + 2*k3 - k4 ] ); SetConjugate( FTL, 3, 1, [3,1, 4,0, 5,0, 6,-k1 ] ); SetConjugate( FTL, 4, 1, [3,0, 4,-1, 5,0, 6,2*(k2 - k3 + k4) ] ); SetConjugate( FTL, 5, 1, [3,0, 4,0, 5,1, 6,0 ] ); SetConjugate( FTL, 6, 1, [3,0, 4,0, 5,0, 6,1 ] ); SetRelativeOrder( FTL, 2, 2 ); SetPower( FTL, 2, [3,0, 4,0, 5,1, 6,k2 ] ); SetConjugate( FTL, 3, 2, [3,-1, 4,0, 5,0, 6,k1 ] ); SetConjugate( FTL, 4, 2, [3,0, 4,-1, 5,0, 6,0 ] ); SetConjugate( FTL, 5, 2, [3,0, 4,0, 5,1, 6,2*k2 ] ); SetConjugate( FTL, 6, 2, [3,0, 4,0, 5,0, 6,-1 ] ); SetConjugate( FTL, 4, 3, [4,1, 5,0, 6,0 ] ); SetConjugate( FTL, 5, 3, [5,1, 6,2*k1 ] ); SetConjugate( FTL, 5, 4, [5,1, 6,0 ] ); return PcpGroupByCollector(FTL); end; ACPcpGroupDim4Nr029b:= function (k1, k2, k3 , k4, k5) local FTL; FTL := FromTheLeftCollector( 6 ); SetRelativeOrder( FTL, 1, 2 ); SetPower( FTL, 1, [3,0, 4,0, 5,1, 6,k4 ] ); SetConjugate( FTL, 2, 1, [2, 1 , 3,0, 4,1, 5,0, 6,-2*k3 + 2*k4 - k5 ] ); SetConjugate( FTL, 3, 1, [3,1, 4,0, 5,0, 6,-k1 - k2 ] ); SetConjugate( FTL, 4, 1, [3,0, 4,-1, 5,0, 6,0 ] ); SetConjugate( FTL, 5, 1, [3,0, 4,0, 5,1, 6,2*k4 ] ); SetConjugate( FTL, 6, 1, [3,0, 4,0, 5,0, 6,-1 ] ); SetRelativeOrder( FTL, 2, 2 ); SetPower( FTL, 2, [3,0, 4,0, 5,1, 6,k3 ] ); SetConjugate( FTL, 3, 2, [3,-1, 4,0, 5,0, 6,k2 ] ); SetConjugate( FTL, 4, 2, [3,0, 4,-1, 5,0, 6,2*(k3 - k4 + k5) ] ); SetConjugate( FTL, 5, 2, [3,0, 4,0, 5,1, 6,0 ] ); SetConjugate( FTL, 6, 2, [3,0, 4,0, 5,0, 6,1 ] ); SetConjugate( FTL, 4, 3, [4,1, 5,0, 6,2*k1 ] ); SetConjugate( FTL, 5, 3, [5,1, 6,0 ] ); SetConjugate( FTL, 5, 4, [5,1, 6,0 ] ); return PcpGroupByCollector(FTL); end; ACPcpGroupDim4Nr029c:= function (k1, k2, k3 , k4) local FTL; FTL := FromTheLeftCollector( 6 ); SetRelativeOrder( FTL, 1, 2 ); SetPower( FTL, 1, [3,0, 4,0, 5,1, 6,k1 + k2 ] ); SetConjugate( FTL, 2, 1, [2, 1 , 3,0, 4,1, 5,0, 6,-4*k1 + k4 ] ); SetConjugate( FTL, 3, 1, [3,1, 4,0, 5,0, 6,-k3 ] ); SetConjugate( FTL, 4, 1, [3,0, 4,-1, 5,0, 6,2*k1 ] ); SetConjugate( FTL, 5, 1, [3,0, 4,0, 5,1, 6,2*(k1 + k2) ] ); SetConjugate( FTL, 6, 1, [3,0, 4,0, 5,0, 6,-1 ] ); SetRelativeOrder( FTL, 2, 2 ); SetPower( FTL, 2, [3,0, 4,0, 5,1, 6,k2 ] ); SetConjugate( FTL, 3, 2, [3,-1, 4,0, 5,0, 6,0 ] ); SetConjugate( FTL, 4, 2, [3,0, 4,-1, 5,0, 6,2*k1 ] ); SetConjugate( FTL, 5, 2, [3,0, 4,0, 5,1, 6,2*k2 ] ); SetConjugate( FTL, 6, 2, [3,0, 4,0, 5,0, 6,-1 ] ); SetConjugate( FTL, 4, 3, [4,1, 5,0, 6,0 ] ); SetConjugate( FTL, 5, 3, [5,1, 6,0 ] ); SetConjugate( FTL, 5, 4, [5,1, 6,4*k1 ] ); return PcpGroupByCollector(FTL); end; ACPcpGroupDim4Nr030 := function (k1, k2, k3 , k4, k5) local FTL; FTL := FromTheLeftCollector( 6 ); SetRelativeOrder( FTL, 1, 2 ); SetPower( FTL, 1, [3,0, 4,0, 5,1, 6,k4 ] ); SetConjugate( FTL, 2, 1, [2, 1 , 3,0, 4,1, 5,0, 6,-2*k3 - k5 ] ); SetConjugate( FTL, 3, 1, [3,1, 4,0, 5,0, 6,-k1 - k2 ] ); SetConjugate( FTL, 4, 1, [3,0, 4,-1, 5,0, 6,0 ] ); SetConjugate( FTL, 5, 1, [3,0, 4,0, 5,1, 6,2*k4 ] ); SetConjugate( FTL, 6, 1, [3,0, 4,0, 5,0, 6,-1 ] ); SetRelativeOrder( FTL, 2, 2 ); SetPower( FTL, 2, [3,0, 4,0, 5,0, 6,k3 ] ); SetConjugate( FTL, 3, 2, [3,-1, 4,0, 5,0, 6,k2 ] ); SetConjugate( FTL, 4, 2, [3,0, 4,-1, 5,0, 6,2*(k3 + k5) ] ); SetConjugate( FTL, 5, 2, [3,0, 4,0, 5,1, 6,0 ] ); SetConjugate( FTL, 6, 2, [3,0, 4,0, 5,0, 6,1 ] ); SetConjugate( FTL, 4, 3, [4,1, 5,0, 6,2*k1 ] ); SetConjugate( FTL, 5, 3, [5,1, 6,0 ] ); SetConjugate( FTL, 5, 4, [5,1, 6,0 ] ); return PcpGroupByCollector(FTL); end; ACPcpGroupDim4Nr031 := function (k1, k2, k3 , k4) local FTL; FTL := FromTheLeftCollector( 6 ); SetRelativeOrder( FTL, 1, 2 ); SetPower( FTL, 1, [3,0, 4,0, 5,0, 6,k3 ] ); SetConjugate( FTL, 2, 1, [2, 1 , 3,0, 4,1, 5,0, 6,2*k3 - k4 ] ); SetConjugate( FTL, 3, 1, [3,1, 4,0, 5,0, 6,0 ] ); SetConjugate( FTL, 4, 1, [3,0, 4,-1, 5,0, 6,-2*(k3 - k4) ] ); SetConjugate( FTL, 5, 1, [3,0, 4,0, 5,1, 6,0 ] ); SetConjugate( FTL, 6, 1, [3,0, 4,0, 5,0, 6,1 ] ); SetRelativeOrder( FTL, 2, 2 ); SetPower( FTL, 2, [3,0, 4,0, 5,1, 6,k2 ] ); SetConjugate( FTL, 3, 2, [3,-1, 4,0, 5,0, 6,k1 ] ); SetConjugate( FTL, 4, 2, [3,0, 4,-1, 5,0, 6,0 ] ); SetConjugate( FTL, 5, 2, [3,0, 4,0, 5,1, 6,2*k2 ] ); SetConjugate( FTL, 6, 2, [3,0, 4,0, 5,0, 6,-1 ] ); SetConjugate( FTL, 4, 3, [4,1, 5,0, 6,0 ] ); SetConjugate( FTL, 5, 3, [5,1, 6,2*k1 ] ); SetConjugate( FTL, 5, 4, [5,1, 6,0 ] ); return PcpGroupByCollector(FTL); end; ACPcpGroupDim4Nr032 := function (k1, k2, k3 , k4, k5) local FTL; FTL := FromTheLeftCollector( 6 ); SetRelativeOrder( FTL, 1, 2 ); SetPower( FTL, 1, [3,1, 4,0, 5,0, 6,k4 ] ); SetConjugate( FTL, 2, 1, [2, 1 , 3,1, 4,1, 5,0, 6,3*k1 - 2*k2 + 2*k4 - k5 ] ); SetConjugate( FTL, 3, 1, [3,1, 4,0, 5,0, 6,2*k4 ] ); SetConjugate( FTL, 4, 1, [3,0, 4,-1, 5,0, 6,-k1 ] ); SetConjugate( FTL, 5, 1, [3,0, 4,0, 5,1, 6,-k3 ] ); SetConjugate( FTL, 6, 1, [3,0, 4,0, 5,0, 6,-1 ] ); SetRelativeOrder( FTL, 2, 2 ); SetPower( FTL, 2, [3,0, 4,0, 5,0, 6,k2 ] ); SetConjugate( FTL, 3, 2, [3,-1, 4,0, 5,0, 6,-k1 - 2*k4 ] ); SetConjugate( FTL, 4, 2, [3,0, 4,-1, 5,0, 6,-3*k1 + 2*k2 - 2*k4 + 2*k5 ] ); SetConjugate( FTL, 5, 2, [3,0, 4,0, 5,1, 6,0 ] ); SetConjugate( FTL, 6, 2, [3,0, 4,0, 5,0, 6,1 ] ); SetConjugate( FTL, 4, 3, [4,1, 5,0, 6,2*k1 ] ); SetConjugate( FTL, 5, 3, [5,1, 6,0 ] ); SetConjugate( FTL, 5, 4, [5,1, 6,0 ] ); return PcpGroupByCollector(FTL); end; ACPcpGroupDim4Nr033 := function (k1, k2, k3 , k4) local FTL; FTL := FromTheLeftCollector( 6 ); SetRelativeOrder( FTL, 1, 2 ); SetPower( FTL, 1, [3,1, 4,0, 5,0, 6,k3 ] ); SetConjugate( FTL, 2, 1, [2, 1 , 3,1, 4,1, 5,0, 6,2*k3 - k4 ] ); SetConjugate( FTL, 3, 1, [3,1, 4,0, 5,0, 6,0 ] ); SetConjugate( FTL, 4, 1, [3,0, 4,-1, 5,0, 6,-k1 - 2*k3 + 2*k4 ] ); SetConjugate( FTL, 5, 1, [3,0, 4,0, 5,1, 6,k1 ] ); SetConjugate( FTL, 6, 1, [3,0, 4,0, 5,0, 6,1 ] ); SetRelativeOrder( FTL, 2, 2 ); SetPower( FTL, 2, [3,0, 4,0, 5,1, 6,k2 ] ); SetConjugate( FTL, 3, 2, [3,-1, 4,0, 5,0, 6,k1 ] ); SetConjugate( FTL, 4, 2, [3,0, 4,-1, 5,0, 6,0 ] ); SetConjugate( FTL, 5, 2, [3,0, 4,0, 5,1, 6,2*k2 ] ); SetConjugate( FTL, 6, 2, [3,0, 4,0, 5,0, 6,-1 ] ); SetConjugate( FTL, 4, 3, [4,1, 5,0, 6,0 ] ); SetConjugate( FTL, 5, 3, [5,1, 6,2*k1 ] ); SetConjugate( FTL, 5, 4, [5,1, 6,0 ] ); return PcpGroupByCollector(FTL); end; ACPcpGroupDim4Nr033b:= function (k1, k2, k3 , k4, k5) local FTL; FTL := FromTheLeftCollector( 6 ); SetRelativeOrder( FTL, 1, 2 ); SetPower( FTL, 1, [3,1, 4,0, 5,0, 6,k4 ] ); SetConjugate( FTL, 2, 1, [2, 1 , 3,1, 4,1, 5,0, 6,3*k1 - 2*k2 - k3 + 2*k4 - k5 ] ); SetConjugate( FTL, 3, 1, [3,1, 4,0, 5,0, 6,2*k4 ] ); SetConjugate( FTL, 4, 1, [3,0, 4,-1, 5,0, 6,-k1 ] ); SetConjugate( FTL, 5, 1, [3,0, 4,0, 5,1, 6,-k3 ] ); SetConjugate( FTL, 6, 1, [3,0, 4,0, 5,0, 6,-1 ] ); SetRelativeOrder( FTL, 2, 2 ); SetPower( FTL, 2, [3,0, 4,0, 5,1, 6,k2 ] ); SetConjugate( FTL, 3, 2, [3,-1, 4,0, 5,0, 6,-k1 - 2*k4 ] ); SetConjugate( FTL, 4, 2, [3,0, 4,-1, 5,0, 6,-3*k1 + 2*k2 + k3 - 2*k4 + 2*k5 ] ); SetConjugate( FTL, 5, 2, [3,0, 4,0, 5,1, 6,0 ] ); SetConjugate( FTL, 6, 2, [3,0, 4,0, 5,0, 6,1 ] ); SetConjugate( FTL, 4, 3, [4,1, 5,0, 6,2*k1 ] ); SetConjugate( FTL, 5, 3, [5,1, 6,0 ] ); SetConjugate( FTL, 5, 4, [5,1, 6,0 ] ); return PcpGroupByCollector(FTL); end; ACPcpGroupDim4Nr033c:= function (k1, k2, k3 , k4) local FTL; FTL := FromTheLeftCollector( 6 ); SetRelativeOrder( FTL, 1, 2 ); SetPower( FTL, 1, [3,1, 4,0, 5,0, 6,k3 ] ); SetConjugate( FTL, 2, 1, [2, 1 , 3,1, 4,1, 5,0, 6,-k1 + 2*k3 + k4 ] ); SetConjugate( FTL, 3, 1, [3,1, 4,0, 5,0, 6,2*k3 ] ); SetConjugate( FTL, 4, 1, [3,0, 4,-1, 5,0, 6,0 ] ); SetConjugate( FTL, 5, 1, [3,0, 4,0, 5,1, 6,k1 + 2*k2 ] ); SetConjugate( FTL, 6, 1, [3,0, 4,0, 5,0, 6,-1 ] ); SetRelativeOrder( FTL, 2, 2 ); SetPower( FTL, 2, [3,0, 4,0, 5,1, 6,k2 ] ); SetConjugate( FTL, 3, 2, [3,-1, 4,0, 5,0, 6,0 ] ); SetConjugate( FTL, 4, 2, [3,0, 4,-1, 5,0, 6,k1 ] ); SetConjugate( FTL, 5, 2, [3,0, 4,0, 5,1, 6,2*k2 ] ); SetConjugate( FTL, 6, 2, [3,0, 4,0, 5,0, 6,-1 ] ); SetConjugate( FTL, 4, 3, [4,1, 5,0, 6,0 ] ); SetConjugate( FTL, 5, 3, [5,1, 6,0 ] ); SetConjugate( FTL, 5, 4, [5,1, 6,2*k1 ] ); return PcpGroupByCollector(FTL); end; ACPcpGroupDim4Nr034 := function (k1, k2, k3 , k4, k5) local FTL; FTL := FromTheLeftCollector( 6 ); SetRelativeOrder( FTL, 1, 2 ); SetPower( FTL, 1, [3,1, 4,0, 5,1, 6,k4 ] ); SetConjugate( FTL, 2, 1, [2, 1 , 3,1, 4,1, 5,0, 6,2*k1 - k2 - 2*k3 - k5 ] ); SetConjugate( FTL, 3, 1, [3,1, 4,0, 5,0, 6,-k1 - k2 ] ); SetConjugate( FTL, 4, 1, [3,0, 4,-1, 5,0, 6,-k1 ] ); SetConjugate( FTL, 5, 1, [3,0, 4,0, 5,1, 6,k1 + k2 + 2*k4 ] ); SetConjugate( FTL, 6, 1, [3,0, 4,0, 5,0, 6,-1 ] ); SetRelativeOrder( FTL, 2, 2 ); SetPower( FTL, 2, [3,0, 4,0, 5,0, 6,k3 ] ); SetConjugate( FTL, 3, 2, [3,-1, 4,0, 5,0, 6,k2 ] ); SetConjugate( FTL, 4, 2, [3,0, 4,-1, 5,0, 6,-2*k1 + k2 + 2*k3 + 2*k5 ] ); SetConjugate( FTL, 5, 2, [3,0, 4,0, 5,1, 6,0 ] ); SetConjugate( FTL, 6, 2, [3,0, 4,0, 5,0, 6,1 ] ); SetConjugate( FTL, 4, 3, [4,1, 5,0, 6,2*k1 ] ); SetConjugate( FTL, 5, 3, [5,1, 6,0 ] ); SetConjugate( FTL, 5, 4, [5,1, 6,0 ] ); return PcpGroupByCollector(FTL); end; ACPcpGroupDim4Nr036 := function (k1, k2, k3 , k4) local FTL; FTL := FromTheLeftCollector( 6 ); SetRelativeOrder( FTL, 1, 2 ); SetPower( FTL, 1, [3,0, 4,0, 5,0, 6,k4 ] ); SetConjugate( FTL, 2, 1, [2, 1 , 3,0, 4,0, 5,0, 6,k4 ] ); SetConjugate( FTL, 3, 1, [3,0, 4,1, 5,0, 6,k3 ] ); SetConjugate( FTL, 4, 1, [3,1, 4,0, 5,0, 6,-k3 ] ); SetConjugate( FTL, 5, 1, [3,0, 4,0, 5,1, 6,0 ] ); SetConjugate( FTL, 6, 1, [3,0, 4,0, 5,0, 6,1 ] ); SetRelativeOrder( FTL, 2, 2 ); SetPower( FTL, 2, [3,0, 4,0, 5,1, 6,k2 ] ); SetConjugate( FTL, 3, 2, [3,-1, 4,0, 5,0, 6,k1 ] ); SetConjugate( FTL, 4, 2, [3,0, 4,-1, 5,0, 6,k1 ] ); SetConjugate( FTL, 5, 2, [3,0, 4,0, 5,1, 6,2*k2 ] ); SetConjugate( FTL, 6, 2, [3,0, 4,0, 5,0, 6,-1 ] ); SetConjugate( FTL, 4, 3, [4,1, 5,0, 6,0 ] ); SetConjugate( FTL, 5, 3, [5,1, 6,2*k1 ] ); SetConjugate( FTL, 5, 4, [5,1, 6,2*k1 ] ); return PcpGroupByCollector(FTL); end; ACPcpGroupDim4Nr037 := function (k1, k2, k3 , k4, k5) local FTL; FTL := FromTheLeftCollector( 6 ); SetRelativeOrder( FTL, 1, 2 ); SetPower( FTL, 1, [3,0, 4,0, 5,1, 6,k5 ] ); SetConjugate( FTL, 2, 1, [2, 1 , 3,0, 4,0, 5,0, 6,-k3 ] ); SetConjugate( FTL, 3, 1, [3,0, 4,1, 5,0, 6,-k4 ] ); SetConjugate( FTL, 4, 1, [3,1, 4,0, 5,0, 6,-k4 ] ); SetConjugate( FTL, 5, 1, [3,0, 4,0, 5,1, 6,2*k5 ] ); SetConjugate( FTL, 6, 1, [3,0, 4,0, 5,0, 6,-1 ] ); SetRelativeOrder( FTL, 2, 2 ); SetPower( FTL, 2, [3,0, 4,0, 5,0, 6,k3 ] ); SetConjugate( FTL, 3, 2, [3,-1, 4,0, 5,0, 6,k2 ] ); SetConjugate( FTL, 4, 2, [3,0, 4,-1, 5,0, 6,-k2 + 2*k4 ] ); SetConjugate( FTL, 5, 2, [3,0, 4,0, 5,1, 6,0 ] ); SetConjugate( FTL, 6, 2, [3,0, 4,0, 5,0, 6,1 ] ); SetConjugate( FTL, 4, 3, [4,1, 5,0, 6,k1 ] ); SetConjugate( FTL, 5, 3, [5,1, 6,0 ] ); SetConjugate( FTL, 5, 4, [5,1, 6,0 ] ); return PcpGroupByCollector(FTL); end; ACPcpGroupDim4Nr041 := function (k1, k2, k3 , k4, k5) local FTL; FTL := FromTheLeftCollector( 6 ); SetRelativeOrder( FTL, 1, 2 ); SetPower( FTL, 1, [3,0, 4,0, 5,1, 6,k5 ] ); SetConjugate( FTL, 2, 1, [2, 1 , 3,1, 4,1, 5,1, 6,k1 - k2 - k3 + k5 ] ); SetConjugate( FTL, 3, 1, [3,0, 4,-1, 5,0, 6,2*k1 - k4 ] ); SetConjugate( FTL, 4, 1, [3,-1, 4,0, 5,0, 6,k4 ] ); SetConjugate( FTL, 5, 1, [3,0, 4,0, 5,1, 6,2*k5 ] ); SetConjugate( FTL, 6, 1, [3,0, 4,0, 5,0, 6,-1 ] ); SetRelativeOrder( FTL, 2, 2 ); SetPower( FTL, 2, [3,0, 4,0, 5,0, 6,k3 ] ); SetConjugate( FTL, 3, 2, [3,0, 4,-1, 5,0, 6,k2 ] ); SetConjugate( FTL, 4, 2, [3,-1, 4,0, 5,0, 6,k2 ] ); SetConjugate( FTL, 5, 2, [3,0, 4,0, 5,-1, 6,2*(k1 - k5) ] ); SetConjugate( FTL, 6, 2, [3,0, 4,0, 5,0, 6,1 ] ); SetConjugate( FTL, 4, 3, [4,1, 5,0, 6,0 ] ); SetConjugate( FTL, 5, 3, [5,1, 6,2*k1 ] ); SetConjugate( FTL, 5, 4, [5,1, 6,2*k1 ] ); return PcpGroupByCollector(FTL); end; ACPcpGroupDim4Nr043 := function (k1, k2, k3 , k4, k5) local FTL; FTL := FromTheLeftCollector( 6 ); SetRelativeOrder( FTL, 1, 2 ); SetPower( FTL, 1, [3,0, 4,1, 5,0, 6,k4 ] ); SetConjugate( FTL, 2, 1, [2, 1 , 3,0, 4,0, 5,1, 6,-k2 - 2*k3 - k5 ] ); SetConjugate( FTL, 3, 1, [3,0, 4,1, 5,-1, 6,k1 + k2 + 2*k4 ] ); SetConjugate( FTL, 4, 1, [3,0, 4,1, 5,0, 6,2*k4 ] ); SetConjugate( FTL, 5, 1, [3,-1, 4,1, 5,0, 6,-k2 ] ); SetConjugate( FTL, 6, 1, [3,0, 4,0, 5,0, 6,-1 ] ); SetRelativeOrder( FTL, 2, 2 ); SetPower( FTL, 2, [3,0, 4,0, 5,0, 6,k3 ] ); SetConjugate( FTL, 3, 2, [3,0, 4,1, 5,-1, 6,k2 + 2*k3 + 2*k5 ] ); SetConjugate( FTL, 4, 2, [3,1, 4,0, 5,-1, 6,k2 ] ); SetConjugate( FTL, 5, 2, [3,0, 4,0, 5,-1, 6,2*(k2 + k3 + k5) ] ); SetConjugate( FTL, 6, 2, [3,0, 4,0, 5,0, 6,1 ] ); SetConjugate( FTL, 4, 3, [4,1, 5,0, 6,k1 ] ); SetConjugate( FTL, 5, 3, [5,1, 6,k1 ] ); SetConjugate( FTL, 5, 4, [5,1, 6,-k1 ] ); return PcpGroupByCollector(FTL); end; ACPcpGroupDim4Nr045 := function (k1, k2, k3 , k4, k5) local FTL; FTL := FromTheLeftCollector( 6 ); SetRelativeOrder( FTL, 1, 2 ); SetPower( FTL, 1, [3,1, 4,1, 5,0, 6,k5 ] ); SetConjugate( FTL, 2, 1, [2, 1 , 3,0, 4,0, 5,0, 6,-k3 ] ); SetConjugate( FTL, 3, 1, [3,0, 4,0, 5,-1, 6,-k4 ] ); SetConjugate( FTL, 4, 1, [3,1, 4,1, 5,1, 6,k4 + 2*k5 ] ); SetConjugate( FTL, 5, 1, [3,-1, 4,0, 5,0, 6,k4 ] ); SetConjugate( FTL, 6, 1, [3,0, 4,0, 5,0, 6,-1 ] ); SetRelativeOrder( FTL, 2, 2 ); SetPower( FTL, 2, [3,0, 4,0, 5,0, 6,k3 ] ); SetConjugate( FTL, 3, 2, [3,0, 4,1, 5,0, 6,k2 ] ); SetConjugate( FTL, 4, 2, [3,1, 4,0, 5,0, 6,-k2 ] ); SetConjugate( FTL, 5, 2, [3,-1, 4,-1, 5,-1, 6,k2 - 2*k4 - 2*k5 ] ); SetConjugate( FTL, 6, 2, [3,0, 4,0, 5,0, 6,1 ] ); SetConjugate( FTL, 4, 3, [4,1, 5,0, 6,0 ] ); SetConjugate( FTL, 5, 3, [5,1, 6,k1 ] ); SetConjugate( FTL, 5, 4, [5,1, 6,-k1 ] ); return PcpGroupByCollector(FTL); end; ACPcpGroupDim4Nr055 := function (k1, k2, k3 , k4, k5, k6) local FTL; FTL := FromTheLeftCollector( 7 ); SetRelativeOrder( FTL, 1, 2 ); SetPower( FTL, 1, [4,0, 5,0, 6,0, 7,2*k1 + k2 + k4 + k6 ] ); SetConjugate( FTL, 2, 1, [2, 1 , 4,1, 5,-1, 6,0, 7,k1 + 2*k2 - 2*k3 + 2*k4 + k6 ] ); SetConjugate( FTL, 3, 1, [3, 1 , 4,0, 5,0, 6,0, 7,0 ] ); SetConjugate( FTL, 4, 1, [4,-1, 5,0, 6,0, 7,-k1 - 2*k2 + 2*k3 - 2*k4 ] ); SetConjugate( FTL, 5, 1, [4,0, 5,-1, 6,0, 7,-k1 - 2*k3 ] ); SetConjugate( FTL, 6, 1, [4,0, 5,0, 6,-1, 7,k5 ] ); SetConjugate( FTL, 7, 1, [4,0, 5,0, 6,0, 7,1 ] ); SetRelativeOrder( FTL, 2, 2 ); SetPower( FTL, 2, [4,0, 5,1, 6,0, 7,k3 ] ); SetConjugate( FTL, 3, 2, [ 3, 1, 4,-1, 5,1, 6,0, 7,-k1 - 2*k2 + 2*k3 - k4 ] ); SetConjugate( FTL, 4, 2, [4,-1, 5,0, 6,0, 7,k1 ] ); SetConjugate( FTL, 5, 2, [4,0, 5,1, 6,0, 7,2*k3 ] ); SetConjugate( FTL, 6, 2, [4,0, 5,0, 6,-1, 7,0 ] ); SetConjugate( FTL, 7, 2, [4,0, 5,0, 6,0, 7,-1 ] ); SetRelativeOrder( FTL, 3, 2 ); SetPower( FTL, 3, [4,0, 5,0, 6,0, 7,k2 ] ); SetConjugate( FTL, 4, 3, [4,-1, 5,0, 6,0, 7,-k1 - 2*k2 + 2*k3 - 2*k4 ] ); SetConjugate( FTL, 5, 3, [4,0, 5,-1, 6,0, 7,-k1 - 2*k3 ] ); SetConjugate( FTL, 6, 3, [4,0, 5,0, 6,1, 7,0 ] ); SetConjugate( FTL, 7, 3, [4,0, 5,0, 6,0, 7,1 ] ); SetConjugate( FTL, 5, 4, [5,1, 6,0, 7,2*k1 ] ); SetConjugate( FTL, 6, 4, [6,1, 7,0 ] ); SetConjugate( FTL, 6, 5, [6,1, 7,0 ] ); return PcpGroupByCollector(FTL); end; ACPcpGroupDim4Nr056 := function (k1, k2, k3 , k4, k5, k6) local FTL; FTL := FromTheLeftCollector( 7 ); SetRelativeOrder( FTL, 1, 2 ); SetPower( FTL, 1, [4,0, 5,0, 6,0, 7,k6 ] ); SetConjugate( FTL, 2, 1, [2, 1 , 4,0, 5,-1, 6,1, 7,-2*k3 - k5 + 2*k6 ] ); SetConjugate( FTL, 3, 1, [3, 1 , 4,1, 5,1, 6,0, 7,k4 ] ); SetConjugate( FTL, 4, 1, [4,-1, 5,0, 6,0, 7,2*(k1 + k3 - k4) ] ); SetConjugate( FTL, 5, 1, [4,0, 5,-1, 6,0, 7,-2*k3 ] ); SetConjugate( FTL, 6, 1, [4,0, 5,0, 6,-1, 7,2*(k3 + k5 - k6) ] ); SetConjugate( FTL, 7, 1, [4,0, 5,0, 6,0, 7,1 ] ); SetRelativeOrder( FTL, 2, 2 ); SetPower( FTL, 2, [4,0, 5,1, 6,0, 7,k3 ] ); SetConjugate( FTL, 3, 2, [ 3, 1, 4,1, 5,1, 6,0, 7,-k2 + k4 ] ); SetConjugate( FTL, 4, 2, [4,-1, 5,0, 6,0, 7,k1 ] ); SetConjugate( FTL, 5, 2, [4,0, 5,1, 6,0, 7,2*k3 ] ); SetConjugate( FTL, 6, 2, [4,0, 5,0, 6,-1, 7,0 ] ); SetConjugate( FTL, 7, 2, [4,0, 5,0, 6,0, 7,-1 ] ); SetRelativeOrder( FTL, 3, 2 ); SetPower( FTL, 3, [4,0, 5,0, 6,0, 7,k2 ] ); SetConjugate( FTL, 4, 3, [4,-1, 5,0, 6,0, 7,k1 + 2*k3 - 2*k4 ] ); SetConjugate( FTL, 5, 3, [4,0, 5,-1, 6,0, 7,k1 - 2*k3 ] ); SetConjugate( FTL, 6, 3, [4,0, 5,0, 6,1, 7,0 ] ); SetConjugate( FTL, 7, 3, [4,0, 5,0, 6,0, 7,1 ] ); SetConjugate( FTL, 5, 4, [5,1, 6,0, 7,2*k1 ] ); SetConjugate( FTL, 6, 4, [6,1, 7,0 ] ); SetConjugate( FTL, 6, 5, [6,1, 7,0 ] ); return PcpGroupByCollector(FTL); end; ACPcpGroupDim4Nr058 := function (k1, k2, k3 , k4, k5, k6) local FTL; FTL := FromTheLeftCollector( 7 ); SetRelativeOrder( FTL, 1, 2 ); SetPower( FTL, 1, [4,0, 5,0, 6,0, 7,k6 ] ); SetConjugate( FTL, 2, 1, [2, 1 , 4,1, 5,-1, 6,1, 7,-3*k1 - 2*k3 - k5 + 2*k6 ] ); SetConjugate( FTL, 3, 1, [3, 1 , 4,0, 5,0, 6,0, 7,0 ] ); SetConjugate( FTL, 4, 1, [4,-1, 5,0, 6,0, 7,-k1 - 2*k2 + 2*k3 - 2*k4 ] ); SetConjugate( FTL, 5, 1, [4,0, 5,-1, 6,0, 7,-k1 - 2*k3 ] ); SetConjugate( FTL, 6, 1, [4,0, 5,0, 6,-1, 7,2*(2*k1 + k2 + k4 + k5 - k6) ] ); SetConjugate( FTL, 7, 1, [4,0, 5,0, 6,0, 7,1 ] ); SetRelativeOrder( FTL, 2, 2 ); SetPower( FTL, 2, [4,0, 5,1, 6,0, 7,k3 ] ); SetConjugate( FTL, 3, 2, [ 3, 1, 4,-1, 5,1, 6,0, 7,-k1 - 2*k2 + 2*k3 - k4 ] ); SetConjugate( FTL, 4, 2, [4,-1, 5,0, 6,0, 7,k1 ] ); SetConjugate( FTL, 5, 2, [4,0, 5,1, 6,0, 7,2*k3 ] ); SetConjugate( FTL, 6, 2, [4,0, 5,0, 6,-1, 7,0 ] ); SetConjugate( FTL, 7, 2, [4,0, 5,0, 6,0, 7,-1 ] ); SetRelativeOrder( FTL, 3, 2 ); SetPower( FTL, 3, [4,0, 5,0, 6,0, 7,k2 ] ); SetConjugate( FTL, 4, 3, [4,-1, 5,0, 6,0, 7,-k1 - 2*k2 + 2*k3 - 2*k4 ] ); SetConjugate( FTL, 5, 3, [4,0, 5,-1, 6,0, 7,-k1 - 2*k3 ] ); SetConjugate( FTL, 6, 3, [4,0, 5,0, 6,1, 7,0 ] ); SetConjugate( FTL, 7, 3, [4,0, 5,0, 6,0, 7,1 ] ); SetConjugate( FTL, 5, 4, [5,1, 6,0, 7,2*k1 ] ); SetConjugate( FTL, 6, 4, [6,1, 7,0 ] ); SetConjugate( FTL, 6, 5, [6,1, 7,0 ] ); return PcpGroupByCollector(FTL); end; ACPcpGroupDim4Nr060 := function (k1, k2, k3 , k4, k5, k6) local FTL; FTL := FromTheLeftCollector( 7 ); SetRelativeOrder( FTL, 1, 2 ); SetPower( FTL, 1, [4,0, 5,0, 6,0, 7,k6 ] ); SetConjugate( FTL, 2, 1, [2, 1 , 4,0, 5,-1, 6,1, 7,-2*k3 - k5 + 2*k6 ] ); SetConjugate( FTL, 3, 1, [3, 1 , 4,1, 5,0, 6,0, 7,k1 - k2 + k3 - k4 ] ); SetConjugate( FTL, 4, 1, [4,-1, 5,0, 6,0, 7,-2*(k1 - k2 + k3 - k4) ] ); SetConjugate( FTL, 5, 1, [4,0, 5,-1, 6,0, 7,-2*k3 ] ); SetConjugate( FTL, 6, 1, [4,0, 5,0, 6,-1, 7,2*(k3 + k5 - k6) ] ); SetConjugate( FTL, 7, 1, [4,0, 5,0, 6,0, 7,1 ] ); SetRelativeOrder( FTL, 2, 2 ); SetPower( FTL, 2, [4,0, 5,1, 6,0, 7,k3 ] ); SetConjugate( FTL, 3, 2, [ 3, 1, 4,1, 5,1, 6,0, 7,2*k1 - 2*k2 + 2*k3 - k4 ] ); SetConjugate( FTL, 4, 2, [4,-1, 5,0, 6,0, 7,2*k1 ] ); SetConjugate( FTL, 5, 2, [4,0, 5,1, 6,0, 7,2*k3 ] ); SetConjugate( FTL, 6, 2, [4,0, 5,0, 6,-1, 7,0 ] ); SetConjugate( FTL, 7, 2, [4,0, 5,0, 6,0, 7,-1 ] ); SetRelativeOrder( FTL, 3, 2 ); SetPower( FTL, 3, [4,0, 5,0, 6,0, 7,k2 ] ); SetConjugate( FTL, 4, 3, [4,-1, 5,0, 6,0, 7,-2*(k1 - k2 + k3 - k4) ] ); SetConjugate( FTL, 5, 3, [4,0, 5,-1, 6,0, 7,2*(k1 - k3) ] ); SetConjugate( FTL, 6, 3, [4,0, 5,0, 6,1, 7,0 ] ); SetConjugate( FTL, 7, 3, [4,0, 5,0, 6,0, 7,1 ] ); SetConjugate( FTL, 5, 4, [5,1, 6,0, 7,4*k1 ] ); SetConjugate( FTL, 6, 4, [6,1, 7,0 ] ); SetConjugate( FTL, 6, 5, [6,1, 7,0 ] ); return PcpGroupByCollector(FTL); end; ACPcpGroupDim4Nr061 := function (k1, k2, k3 , k4, k5, k6) local FTL; FTL := FromTheLeftCollector( 7 ); SetRelativeOrder( FTL, 1, 2 ); SetPower( FTL, 1, [4,0, 5,0, 6,0, 7,-k1 + k3 - k4 + k5 ] ); SetConjugate( FTL, 2, 1, [2, 1 , 4,0, 5,-1, 6,1, 7,2*k1 + 2*k2 - k6 ] ); SetConjugate( FTL, 3, 1, [3, 1 , 4,1, 5,0, 6,-1, 7,-8*k1 - 2*k2 + 2*k3 - 2*k4 + k5 ] ); SetConjugate( FTL, 4, 1, [4,-1, 5,0, 6,0, 7,2*(4*k1 + k2 - k3 + k4) ] ); SetConjugate( FTL, 5, 1, [4,0, 5,-1, 6,0, 7,2*(k1 + k2 - k6) ] ); SetConjugate( FTL, 6, 1, [4,0, 5,0, 6,-1, 7,-2*(k1 + k2) ] ); SetConjugate( FTL, 7, 1, [4,0, 5,0, 6,0, 7,1 ] ); SetRelativeOrder( FTL, 2, 2 ); SetPower( FTL, 2, [4,0, 5,1, 6,0, 7,k3 ] ); SetConjugate( FTL, 3, 2, [ 3, 1, 4,1, 5,1, 6,-1, 7,-6*k1 - 2*k2 + 2*k3 - k4 ] ); SetConjugate( FTL, 4, 2, [4,-1, 5,0, 6,0, 7,2*(3*k1 + k2 - k3 + k4) ] ); SetConjugate( FTL, 5, 2, [4,0, 5,1, 6,0, 7,0 ] ); SetConjugate( FTL, 6, 2, [4,0, 5,0, 6,-1, 7,-2*(k1 + k2) ] ); SetConjugate( FTL, 7, 2, [4,0, 5,0, 6,0, 7,1 ] ); SetRelativeOrder( FTL, 3, 2 ); SetPower( FTL, 3, [4,0, 5,0, 6,1, 7,k2 ] ); SetConjugate( FTL, 4, 3, [4,-1, 5,0, 6,0, 7,2*k1 ] ); SetConjugate( FTL, 5, 3, [4,0, 5,-1, 6,0, 7,0 ] ); SetConjugate( FTL, 6, 3, [4,0, 5,0, 6,1, 7,2*k2 ] ); SetConjugate( FTL, 7, 3, [4,0, 5,0, 6,0, 7,-1 ] ); SetConjugate( FTL, 5, 4, [5,1, 6,0, 7,0 ] ); SetConjugate( FTL, 6, 4, [6,1, 7,4*k1 ] ); SetConjugate( FTL, 6, 5, [6,1, 7,0 ] ); return PcpGroupByCollector(FTL); end; ACPcpGroupDim4Nr061b := function (k1, k2, k3 , k4, k5, k6) local FTL; FTL := FromTheLeftCollector( 7 ); SetRelativeOrder( FTL, 1, 2 ); SetPower( FTL, 1, [4,0, 5,0, 6,0, 7,-k1 + k2 + k4 + k5 + k6 ] ); SetConjugate( FTL, 2, 1, [2, 1 , 4,0, 5,-1, 6,1, 7,-2*k1 + 2*k2 - 2*k3 + 2*k4 + 2*k5 + k6 ] ); SetConjugate( FTL, 3, 1, [3, 1 , 4,1, 5,0, 6,-1, 7,2*k1 - 2*k2 + 2*k3 - 2*k4 - k5 ] ); SetConjugate( FTL, 4, 1, [4,-1, 5,0, 6,0, 7,-2*(k1 - k2 + k3 - k4) ] ); SetConjugate( FTL, 5, 1, [4,0, 5,-1, 6,0, 7,-2*k3 ] ); SetConjugate( FTL, 6, 1, [4,0, 5,0, 6,-1, 7,2*(k1 - k2 + k3 - k4 - k5) ] ); SetConjugate( FTL, 7, 1, [4,0, 5,0, 6,0, 7,1 ] ); SetRelativeOrder( FTL, 2, 2 ); SetPower( FTL, 2, [4,0, 5,1, 6,0, 7,k3 ] ); SetConjugate( FTL, 3, 2, [ 3, 1, 4,1, 5,1, 6,-1, 7,2*k1 - 2*k2 + 2*k3 - k4 ] ); SetConjugate( FTL, 4, 2, [4,-1, 5,0, 6,0, 7,2*k1 ] ); SetConjugate( FTL, 5, 2, [4,0, 5,1, 6,0, 7,2*k3 ] ); SetConjugate( FTL, 6, 2, [4,0, 5,0, 6,-1, 7,0 ] ); SetConjugate( FTL, 7, 2, [4,0, 5,0, 6,0, 7,-1 ] ); SetRelativeOrder( FTL, 3, 2 ); SetPower( FTL, 3, [4,0, 5,0, 6,1, 7,k2 ] ); SetConjugate( FTL, 4, 3, [4,-1, 5,0, 6,0, 7,-2*(k1 - k2 + k3 - k4) ] ); SetConjugate( FTL, 5, 3, [4,0, 5,-1, 6,0, 7,2*(k1 - k3) ] ); SetConjugate( FTL, 6, 3, [4,0, 5,0, 6,1, 7,0 ] ); SetConjugate( FTL, 7, 3, [4,0, 5,0, 6,0, 7,1 ] ); SetConjugate( FTL, 5, 4, [5,1, 6,0, 7,4*k1 ] ); SetConjugate( FTL, 6, 4, [6,1, 7,0 ] ); SetConjugate( FTL, 6, 5, [6,1, 7,0 ] ); return PcpGroupByCollector(FTL); end; ACPcpGroupDim4Nr061c:= function (k1, k2, k3 , k4, k5, k6) local FTL; FTL := FromTheLeftCollector( 7 ); SetRelativeOrder( FTL, 1, 2 ); SetPower( FTL, 1, [4,0, 5,0, 6,0, 7,k1 + k2 + k3 + k6 ] ); SetConjugate( FTL, 2, 1, [2, 1 , 4,0, 5,-1, 6,1, 7,2*k2 + k6 ] ); SetConjugate( FTL, 3, 1, [3, 1 , 4,1, 5,0, 6,-1, 7,2*k1 + 2*k3 - k5 + 2*k6 ] ); SetConjugate( FTL, 4, 1, [4,-1, 5,0, 6,0, 7,-2*(k1 + k3 - k5 + k6) ] ); SetConjugate( FTL, 5, 1, [4,0, 5,-1, 6,0, 7,2*(k1 - k3) ] ); SetConjugate( FTL, 6, 1, [4,0, 5,0, 6,-1, 7,-2*k2 ] ); SetConjugate( FTL, 7, 1, [4,0, 5,0, 6,0, 7,1 ] ); SetRelativeOrder( FTL, 2, 2 ); SetPower( FTL, 2, [4,0, 5,1, 6,0, 7,k3 ] ); SetConjugate( FTL, 3, 2, [ 3, 1, 4,1, 5,1, 6,-1, 7,-2*k2 + 2*k3 + k4 ] ); SetConjugate( FTL, 4, 2, [4,-1, 5,0, 6,0, 7,0 ] ); SetConjugate( FTL, 5, 2, [4,0, 5,1, 6,0, 7,2*k3 ] ); SetConjugate( FTL, 6, 2, [4,0, 5,0, 6,-1, 7,-2*k1 ] ); SetConjugate( FTL, 7, 2, [4,0, 5,0, 6,0, 7,-1 ] ); SetRelativeOrder( FTL, 3, 2 ); SetPower( FTL, 3, [4,0, 5,0, 6,1, 7,k2 ] ); SetConjugate( FTL, 4, 3, [4,-1, 5,0, 6,0, 7,0 ] ); SetConjugate( FTL, 5, 3, [4,0, 5,-1, 6,0, 7,2*k1 ] ); SetConjugate( FTL, 6, 3, [4,0, 5,0, 6,1, 7,2*k2 ] ); SetConjugate( FTL, 7, 3, [4,0, 5,0, 6,0, 7,-1 ] ); SetConjugate( FTL, 5, 4, [5,1, 6,0, 7,0 ] ); SetConjugate( FTL, 6, 4, [6,1, 7,0 ] ); SetConjugate( FTL, 6, 5, [6,1, 7,4*k1 ] ); return PcpGroupByCollector(FTL); end; ACPcpGroupDim4Nr062 := function (k1, k2, k3 , k4, k5, k6) local FTL; FTL := FromTheLeftCollector( 7 ); SetRelativeOrder( FTL, 1, 2 ); SetPower( FTL, 1, [4,0, 5,0, 6,0, 7,k3 - k4 + k5 ] ); SetConjugate( FTL, 2, 1, [2, 1 , 4,0, 5,-1, 6,0, 7,-k6 ] ); SetConjugate( FTL, 3, 1, [3, 1 , 4,1, 5,0, 6,-1, 7,-3*k1 - 2*k2 + 2*k3 - 2*k4 + k5 ] ); SetConjugate( FTL, 4, 1, [4,-1, 5,0, 6,0, 7,3*k1 + 2*k2 - 2*k3 + 2*k4 ] ); SetConjugate( FTL, 5, 1, [4,0, 5,-1, 6,0, 7,-2*k6 ] ); SetConjugate( FTL, 6, 1, [4,0, 5,0, 6,-1, 7,-k1 - 2*k2 ] ); SetConjugate( FTL, 7, 1, [4,0, 5,0, 6,0, 7,1 ] ); SetRelativeOrder( FTL, 2, 2 ); SetPower( FTL, 2, [4,0, 5,1, 6,0, 7,k3 ] ); SetConjugate( FTL, 3, 2, [ 3, 1, 4,1, 5,1, 6,-1, 7,-3*k1 - 2*k2 + 2*k3 - k4 ] ); SetConjugate( FTL, 4, 2, [4,-1, 5,0, 6,0, 7,3*k1 + 2*k2 - 2*k3 + 2*k4 ] ); SetConjugate( FTL, 5, 2, [4,0, 5,1, 6,0, 7,0 ] ); SetConjugate( FTL, 6, 2, [4,0, 5,0, 6,-1, 7,-k1 - 2*k2 ] ); SetConjugate( FTL, 7, 2, [4,0, 5,0, 6,0, 7,1 ] ); SetRelativeOrder( FTL, 3, 2 ); SetPower( FTL, 3, [4,0, 5,0, 6,1, 7,k2 ] ); SetConjugate( FTL, 4, 3, [4,-1, 5,0, 6,0, 7,k1 ] ); SetConjugate( FTL, 5, 3, [4,0, 5,-1, 6,0, 7,0 ] ); SetConjugate( FTL, 6, 3, [4,0, 5,0, 6,1, 7,2*k2 ] ); SetConjugate( FTL, 7, 3, [4,0, 5,0, 6,0, 7,-1 ] ); SetConjugate( FTL, 5, 4, [5,1, 6,0, 7,0 ] ); SetConjugate( FTL, 6, 4, [6,1, 7,2*k1 ] ); SetConjugate( FTL, 6, 5, [6,1, 7,0 ] ); return PcpGroupByCollector(FTL); end; ACPcpGroupDim4Nr075 := function (k1, k2, k3 , k4) local FTL; FTL := FromTheLeftCollector( 5 ); SetRelativeOrder( FTL, 1, 4 ); SetPower( FTL, 1, [2,0, 3,0, 4,0, 5,k4 ] ); SetConjugate( FTL, 2, 1, [2,0, 3,-1, 4,0, 5,k3 ] ); SetConjugate( FTL, 3, 1, [2,1, 3,0, 4,0, 5,-k2 ] ); SetConjugate( FTL, 4, 1, [2,0, 3,0, 4,1, 5,0 ] ); SetConjugate( FTL, 5, 1, [2,0, 3,0, 4,0, 5,1 ] ); SetConjugate( FTL, 3, 2, [3,1, 4,0, 5,k1 ] ); SetConjugate( FTL, 4, 2, [4,1, 5,0 ] ); SetConjugate( FTL, 4, 3, [4,1, 5,0 ] ); return PcpGroupByCollector(FTL); end; ACPcpGroupDim4Nr076 := function (k1, k2, k3 , k4) local FTL; FTL := FromTheLeftCollector( 5 ); SetRelativeOrder( FTL, 1, 4 ); SetPower( FTL, 1, [2,0, 3,0, 4,1, 5,k4 ] ); SetConjugate( FTL, 2, 1, [2,0, 3,-1, 4,0, 5,k3 ] ); SetConjugate( FTL, 3, 1, [2,1, 3,0, 4,0, 5,-k2 ] ); SetConjugate( FTL, 4, 1, [2,0, 3,0, 4,1, 5,0 ] ); SetConjugate( FTL, 5, 1, [2,0, 3,0, 4,0, 5,1 ] ); SetConjugate( FTL, 3, 2, [3,1, 4,0, 5,k1 ] ); SetConjugate( FTL, 4, 2, [4,1, 5,0 ] ); SetConjugate( FTL, 4, 3, [4,1, 5,0 ] ); return PcpGroupByCollector(FTL); end; ACPcpGroupDim4Nr077 := function (k1, k2, k3 , k4) local FTL; FTL := FromTheLeftCollector( 5 ); SetRelativeOrder( FTL, 1, 4 ); SetPower( FTL, 1, [2,0, 3,0, 4,2, 5,k4 ] ); SetConjugate( FTL, 2, 1, [2,0, 3,-1, 4,0, 5,k3 ] ); SetConjugate( FTL, 3, 1, [2,1, 3,0, 4,0, 5,-k2 ] ); SetConjugate( FTL, 4, 1, [2,0, 3,0, 4,1, 5,0 ] ); SetConjugate( FTL, 5, 1, [2,0, 3,0, 4,0, 5,1 ] ); SetConjugate( FTL, 3, 2, [3,1, 4,0, 5,k1 ] ); SetConjugate( FTL, 4, 2, [4,1, 5,0 ] ); SetConjugate( FTL, 4, 3, [4,1, 5,0 ] ); return PcpGroupByCollector(FTL); end; ACPcpGroupDim4Nr079 := function (k1, k2, k3 , k4) local FTL; FTL := FromTheLeftCollector( 5 ); SetRelativeOrder( FTL, 1, 4 ); SetPower( FTL, 1, [2,0, 3,0, 4,0, 5,k4 ] ); SetConjugate( FTL, 2, 1, [2,1, 3,1, 4,1, 5,-k3 ] ); SetConjugate( FTL, 3, 1, [2,0, 3,0, 4,-1, 5,k3 ] ); SetConjugate( FTL, 4, 1, [2,-1, 3,0, 4,0, 5,k2 ] ); SetConjugate( FTL, 5, 1, [2,0, 3,0, 4,0, 5,1 ] ); SetConjugate( FTL, 3, 2, [3,1, 4,0, 5,0 ] ); SetConjugate( FTL, 4, 2, [4,1, 5,k1 ] ); SetConjugate( FTL, 4, 3, [4,1, 5,-k1 ] ); return PcpGroupByCollector(FTL); end; ACPcpGroupDim4Nr080 := function (k1, k2, k3 , k4) local FTL; FTL := FromTheLeftCollector( 5 ); SetRelativeOrder( FTL, 1, 4 ); SetPower( FTL, 1, [2,1, 3,1, 4,0, 5,k4 ] ); SetConjugate( FTL, 2, 1, [2,1, 3,1, 4,1, 5,-k3 ] ); SetConjugate( FTL, 3, 1, [2,0, 3,0, 4,-1, 5,k3 ] ); SetConjugate( FTL, 4, 1, [2,-1, 3,0, 4,0, 5,k2 ] ); SetConjugate( FTL, 5, 1, [2,0, 3,0, 4,0, 5,1 ] ); SetConjugate( FTL, 3, 2, [3,1, 4,0, 5,0 ] ); SetConjugate( FTL, 4, 2, [4,1, 5,k1 ] ); SetConjugate( FTL, 4, 3, [4,1, 5,-k1 ] ); return PcpGroupByCollector(FTL); end; ACPcpGroupDim4Nr081 := function (k1, k2, k3 , k4, k5) local FTL; FTL := FromTheLeftCollector( 5 ); SetRelativeOrder( FTL, 1, 4 ); SetPower( FTL, 1, [2,0, 3,0, 4,0, 5,k5 ] ); SetConjugate( FTL, 2, 1, [2,0, 3,1, 4,0, 5,-k3 ] ); SetConjugate( FTL, 3, 1, [2,-1, 3,0, 4,0, 5,k2 ] ); SetConjugate( FTL, 4, 1, [2,0, 3,0, 4,-1, 5,k4 ] ); SetConjugate( FTL, 5, 1, [2,0, 3,0, 4,0, 5,1 ] ); SetConjugate( FTL, 3, 2, [3,1, 4,0, 5,k1 ] ); SetConjugate( FTL, 4, 2, [4,1, 5,0 ] ); SetConjugate( FTL, 4, 3, [4,1, 5,0 ] ); return PcpGroupByCollector(FTL); end; ACPcpGroupDim4Nr082 := function (k1, k2, k3 , k4, k5) local FTL; FTL := FromTheLeftCollector( 5 ); SetRelativeOrder( FTL, 1, 4 ); SetPower( FTL, 1, [2,0, 3,0, 4,0, 5,k5 ] ); SetConjugate( FTL, 2, 1, [2,-1, 3,-1, 4,-1, 5,k2 + k3 + k4 ] ); SetConjugate( FTL, 3, 1, [2,0, 3,0, 4,1, 5,-k4 ] ); SetConjugate( FTL, 4, 1, [2,1, 3,0, 4,0, 5,-k2 ] ); SetConjugate( FTL, 5, 1, [2,0, 3,0, 4,0, 5,1 ] ); SetConjugate( FTL, 3, 2, [3,1, 4,0, 5,0 ] ); SetConjugate( FTL, 4, 2, [4,1, 5,k1 ] ); SetConjugate( FTL, 4, 3, [4,1, 5,-k1 ] ); return PcpGroupByCollector(FTL); end; ACPcpGroupDim4Nr083 := function (k1, k2, k3 , k4, k5, k6) local FTL; FTL := FromTheLeftCollector( 6 ); SetRelativeOrder( FTL, 1, 2 ); SetPower( FTL, 1, [3,0, 4,0, 5,0, 6,k6 ] ); SetConjugate( FTL, 2, 1, [2, 1 , 3,0, 4,0, 5,0, 6,0 ] ); SetConjugate( FTL, 3, 1, [3,-1, 4,0, 5,0, 6,k2 + k3 ] ); SetConjugate( FTL, 4, 1, [3,0, 4,-1, 5,0, 6,-k2 + k3 ] ); SetConjugate( FTL, 5, 1, [3,0, 4,0, 5,-1, 6,k5 ] ); SetConjugate( FTL, 6, 1, [3,0, 4,0, 5,0, 6,1 ] ); SetRelativeOrder( FTL, 2, 4 ); SetPower( FTL, 2, [3,0, 4,0, 5,0, 6,k4 ] ); SetConjugate( FTL, 3, 2, [3,0, 4,-1, 5,0, 6,k3 ] ); SetConjugate( FTL, 4, 2, [3,1, 4,0, 5,0, 6,-k2 ] ); SetConjugate( FTL, 5, 2, [3,0, 4,0, 5,1, 6,0 ] ); SetConjugate( FTL, 6, 2, [3,0, 4,0, 5,0, 6,1 ] ); SetConjugate( FTL, 4, 3, [4,1, 5,0, 6,k1 ] ); SetConjugate( FTL, 5, 3, [5,1, 6,0 ] ); SetConjugate( FTL, 5, 4, [5,1, 6,0 ] ); return PcpGroupByCollector(FTL); end; ACPcpGroupDim4Nr084 := function (k1, k2, k3 , k4, k5, k6) local FTL; FTL := FromTheLeftCollector( 6 ); SetRelativeOrder( FTL, 1, 2 ); SetPower( FTL, 1, [3,0, 4,0, 5,0, 6,k5 ] ); SetConjugate( FTL, 2, 1, [2, 1 , 3,0, 4,0, 5,-1, 6,-k6 ] ); SetConjugate( FTL, 3, 1, [3,-1, 4,0, 5,0, 6,k2 + k3 ] ); SetConjugate( FTL, 4, 1, [3,0, 4,-1, 5,0, 6,-k2 + k3 ] ); SetConjugate( FTL, 5, 1, [3,0, 4,0, 5,-1, 6,-2*k6 ] ); SetConjugate( FTL, 6, 1, [3,0, 4,0, 5,0, 6,1 ] ); SetRelativeOrder( FTL, 2, 4 ); SetPower( FTL, 2, [3,0, 4,0, 5,2, 6,k4 ] ); SetConjugate( FTL, 3, 2, [3,0, 4,-1, 5,0, 6,k3 ] ); SetConjugate( FTL, 4, 2, [3,1, 4,0, 5,0, 6,-k2 ] ); SetConjugate( FTL, 5, 2, [3,0, 4,0, 5,1, 6,0 ] ); SetConjugate( FTL, 6, 2, [3,0, 4,0, 5,0, 6,1 ] ); SetConjugate( FTL, 4, 3, [4,1, 5,0, 6,k1 ] ); SetConjugate( FTL, 5, 3, [5,1, 6,0 ] ); SetConjugate( FTL, 5, 4, [5,1, 6,0 ] ); return PcpGroupByCollector(FTL); end; ACPcpGroupDim4Nr085 := function (k1, k2, k3 , k4, k5, k6) local FTL; FTL := FromTheLeftCollector( 6 ); SetRelativeOrder( FTL, 1, 2 ); SetPower( FTL, 1, [3,0, 4,0, 5,0, 6,k5 ] ); SetConjugate( FTL, 2, 1, [2, 1 , 3,-1, 4,0, 5,0, 6,k2 - k6 ] ); SetConjugate( FTL, 3, 1, [3,-1, 4,0, 5,0, 6,2*(k2 - k6) ] ); SetConjugate( FTL, 4, 1, [3,0, 4,-1, 5,0, 6,-2*k6 ] ); SetConjugate( FTL, 5, 1, [3,0, 4,0, 5,-1, 6,k4 ] ); SetConjugate( FTL, 6, 1, [3,0, 4,0, 5,0, 6,1 ] ); SetRelativeOrder( FTL, 2, 4 ); SetPower( FTL, 2, [3,0, 4,0, 5,0, 6,k3 ] ); SetConjugate( FTL, 3, 2, [3,0, 4,-1, 5,0, 6,-k1 + k2 - 2*k6 ] ); SetConjugate( FTL, 4, 2, [3,1, 4,0, 5,0, 6,-k2 ] ); SetConjugate( FTL, 5, 2, [3,0, 4,0, 5,1, 6,0 ] ); SetConjugate( FTL, 6, 2, [3,0, 4,0, 5,0, 6,1 ] ); SetConjugate( FTL, 4, 3, [4,1, 5,0, 6,2*k1 ] ); SetConjugate( FTL, 5, 3, [5,1, 6,0 ] ); SetConjugate( FTL, 5, 4, [5,1, 6,0 ] ); return PcpGroupByCollector(FTL); end; ACPcpGroupDim4Nr086 := function (k1, k2, k3 , k4, k5, k6) local FTL; FTL := FromTheLeftCollector( 6 ); SetRelativeOrder( FTL, 1, 2 ); SetPower( FTL, 1, [3,0, 4,0, 5,0, 6,k5 ] ); SetConjugate( FTL, 2, 1, [2, 1 , 3,-1, 4,0, 5,-1, 6,k2 - k6 ] ); SetConjugate( FTL, 3, 1, [3,-1, 4,0, 5,0, 6,k1 + k2 + k3 ] ); SetConjugate( FTL, 4, 1, [3,0, 4,-1, 5,0, 6,k1 - k2 + k3 ] ); SetConjugate( FTL, 5, 1, [3,0, 4,0, 5,-1, 6,-k1 + k2 - k3 - 2*k6 ] ); SetConjugate( FTL, 6, 1, [3,0, 4,0, 5,0, 6,1 ] ); SetRelativeOrder( FTL, 2, 4 ); SetPower( FTL, 2, [3,0, 4,0, 5,2, 6,k4 ] ); SetConjugate( FTL, 3, 2, [3,0, 4,-1, 5,0, 6,k3 ] ); SetConjugate( FTL, 4, 2, [3,1, 4,0, 5,0, 6,-k2 ] ); SetConjugate( FTL, 5, 2, [3,0, 4,0, 5,1, 6,0 ] ); SetConjugate( FTL, 6, 2, [3,0, 4,0, 5,0, 6,1 ] ); SetConjugate( FTL, 4, 3, [4,1, 5,0, 6,2*k1 ] ); SetConjugate( FTL, 5, 3, [5,1, 6,0 ] ); SetConjugate( FTL, 5, 4, [5,1, 6,0 ] ); return PcpGroupByCollector(FTL); end; ACPcpGroupDim4Nr087 := function (k1, k2, k3 , k4, k5, k6) local FTL; FTL := FromTheLeftCollector( 6 ); SetRelativeOrder( FTL, 1, 2 ); SetPower( FTL, 1, [3,0, 4,0, 5,0, 6,k6 ] ); SetConjugate( FTL, 2, 1, [2, 1 , 3,0, 4,0, 5,0, 6,0 ] ); SetConjugate( FTL, 3, 1, [3,-1, 4,0, 5,0, 6,k5 ] ); SetConjugate( FTL, 4, 1, [3,0, 4,-1, 5,0, 6,-2*k2 + 2*k3 + k5 ] ); SetConjugate( FTL, 5, 1, [3,0, 4,0, 5,-1, 6,2*k2 - k5 ] ); SetConjugate( FTL, 6, 1, [3,0, 4,0, 5,0, 6,1 ] ); SetRelativeOrder( FTL, 2, 4 ); SetPower( FTL, 2, [3,0, 4,0, 5,0, 6,k4 ] ); SetConjugate( FTL, 3, 2, [3,1, 4,1, 5,1, 6,-k3 ] ); SetConjugate( FTL, 4, 2, [3,0, 4,0, 5,-1, 6,k3 ] ); SetConjugate( FTL, 5, 2, [3,-1, 4,0, 5,0, 6,k2 ] ); SetConjugate( FTL, 6, 2, [3,0, 4,0, 5,0, 6,1 ] ); SetConjugate( FTL, 4, 3, [4,1, 5,0, 6,0 ] ); SetConjugate( FTL, 5, 3, [5,1, 6,k1 ] ); SetConjugate( FTL, 5, 4, [5,1, 6,-k1 ] ); return PcpGroupByCollector(FTL); end; ACPcpGroupDim4Nr088 := function (k1, k2, k3 , k4, k5, k6) local FTL; FTL := FromTheLeftCollector( 6 ); SetRelativeOrder( FTL, 1, 2 ); SetPower( FTL, 1, [3,0, 4,0, 5,0, 6,k5 ] ); SetConjugate( FTL, 2, 1, [2, 1 , 3,1, 4,0, 5,0, 6,-k2 - k6 ] ); SetConjugate( FTL, 3, 1, [3,-1, 4,0, 5,0, 6,2*(k2 + k6) ] ); SetConjugate( FTL, 4, 1, [3,0, 4,-1, 5,0, 6,-k1 + 2*k3 + 2*k6 ] ); SetConjugate( FTL, 5, 1, [3,0, 4,0, 5,-1, 6,-2*k6 ] ); SetConjugate( FTL, 6, 1, [3,0, 4,0, 5,0, 6,1 ] ); SetRelativeOrder( FTL, 2, 4 ); SetPower( FTL, 2, [3,-1, 4,-1, 5,0, 6,k4 ] ); SetConjugate( FTL, 3, 2, [3,1, 4,1, 5,1, 6,-k3 ] ); SetConjugate( FTL, 4, 2, [3,0, 4,0, 5,-1, 6,k3 ] ); SetConjugate( FTL, 5, 2, [3,-1, 4,0, 5,0, 6,k2 ] ); SetConjugate( FTL, 6, 2, [3,0, 4,0, 5,0, 6,1 ] ); SetConjugate( FTL, 4, 3, [4,1, 5,0, 6,0 ] ); SetConjugate( FTL, 5, 3, [5,1, 6,k1 ] ); SetConjugate( FTL, 5, 4, [5,1, 6,-k1 ] ); return PcpGroupByCollector(FTL); end; ACPcpGroupDim4Nr103 := function (k1, k2, k3 , k4, k5) local FTL; FTL := FromTheLeftCollector( 6 ); SetRelativeOrder( FTL, 1, 2 ); SetPower( FTL, 1, [3,0, 4,0, 5,1, 6,k5 ] ); SetConjugate( FTL, 2, 1, [2, 3 , 3,0, 4,0, 5,0, 6,-k4 ] ); SetConjugate( FTL, 3, 1, [3,1, 4,0, 5,0, 6,-k2 - k3 ] ); SetConjugate( FTL, 4, 1, [3,0, 4,-1, 5,0, 6,0 ] ); SetConjugate( FTL, 5, 1, [3,0, 4,0, 5,1, 6,2*k5 ] ); SetConjugate( FTL, 6, 1, [3,0, 4,0, 5,0, 6,-1 ] ); SetRelativeOrder( FTL, 2, 4 ); SetPower( FTL, 2, [3,0, 4,0, 5,0, 6,k4 ] ); SetConjugate( FTL, 3, 2, [3,0, 4,-1, 5,0, 6,k3 ] ); SetConjugate( FTL, 4, 2, [3,1, 4,0, 5,0, 6,-k2 ] ); SetConjugate( FTL, 5, 2, [3,0, 4,0, 5,1, 6,0 ] ); SetConjugate( FTL, 6, 2, [3,0, 4,0, 5,0, 6,1 ] ); SetConjugate( FTL, 4, 3, [4,1, 5,0, 6,k1 ] ); SetConjugate( FTL, 5, 3, [5,1, 6,0 ] ); SetConjugate( FTL, 5, 4, [5,1, 6,0 ] ); return PcpGroupByCollector(FTL); end; ACPcpGroupDim4Nr104 := function (k1, k2, k3 , k4, k5) local FTL; FTL := FromTheLeftCollector( 6 ); SetRelativeOrder( FTL, 1, 2 ); SetPower( FTL, 1, [3,1, 4,0, 5,1, 6,k4 ] ); SetConjugate( FTL, 2, 1, [2, 3 , 3,1, 4,0, 5,0, 6,-k2 - 2*k3 - k5 ] ); SetConjugate( FTL, 3, 1, [3,1, 4,0, 5,0, 6,-2*(k2 + k3 + k5) ] ); SetConjugate( FTL, 4, 1, [3,0, 4,-1, 5,0, 6,-k1 ] ); SetConjugate( FTL, 5, 1, [3,0, 4,0, 5,1, 6,2*(k2 + k3 + k4 + k5) ] ); SetConjugate( FTL, 6, 1, [3,0, 4,0, 5,0, 6,-1 ] ); SetRelativeOrder( FTL, 2, 4 ); SetPower( FTL, 2, [3,0, 4,0, 5,0, 6,k3 ] ); SetConjugate( FTL, 3, 2, [3,0, 4,-1, 5,0, 6,-k1 + k2 + 2*k3 + 2*k5 ] ); SetConjugate( FTL, 4, 2, [3,1, 4,0, 5,0, 6,-k2 ] ); SetConjugate( FTL, 5, 2, [3,0, 4,0, 5,1, 6,0 ] ); SetConjugate( FTL, 6, 2, [3,0, 4,0, 5,0, 6,1 ] ); SetConjugate( FTL, 4, 3, [4,1, 5,0, 6,2*k1 ] ); SetConjugate( FTL, 5, 3, [5,1, 6,0 ] ); SetConjugate( FTL, 5, 4, [5,1, 6,0 ] ); return PcpGroupByCollector(FTL); end; ACPcpGroupDim4Nr106 := function (k1, k2, k3 , k4, k5) local FTL; FTL := FromTheLeftCollector( 6 ); SetRelativeOrder( FTL, 1, 2 ); SetPower( FTL, 1, [3,1, 4,0, 5,0, 6,k5 ] ); SetConjugate( FTL, 2, 1, [2, 3 , 3,1, 4,0, 5,-1, 6,-k3 - k4 + k5 ] ); SetConjugate( FTL, 3, 1, [3,1, 4,0, 5,0, 6,2*k5 ] ); SetConjugate( FTL, 4, 1, [3,0, 4,-1, 5,0, 6,-k1 ] ); SetConjugate( FTL, 5, 1, [3,0, 4,0, 5,1, 6,-2*k4 ] ); SetConjugate( FTL, 6, 1, [3,0, 4,0, 5,0, 6,-1 ] ); SetRelativeOrder( FTL, 2, 4 ); SetPower( FTL, 2, [3,0, 4,0, 5,2, 6,k3 ] ); SetConjugate( FTL, 3, 2, [3,0, 4,-1, 5,0, 6,-k1 - k2 - 2*k5 ] ); SetConjugate( FTL, 4, 2, [3,1, 4,0, 5,0, 6,-k2 ] ); SetConjugate( FTL, 5, 2, [3,0, 4,0, 5,1, 6,0 ] ); SetConjugate( FTL, 6, 2, [3,0, 4,0, 5,0, 6,1 ] ); SetConjugate( FTL, 4, 3, [4,1, 5,0, 6,2*k1 ] ); SetConjugate( FTL, 5, 3, [5,1, 6,0 ] ); SetConjugate( FTL, 5, 4, [5,1, 6,0 ] ); return PcpGroupByCollector(FTL); end; ACPcpGroupDim4Nr110 := function (k1, k2, k3 , k4, k5) local FTL; FTL := FromTheLeftCollector( 6 ); SetRelativeOrder( FTL, 1, 2 ); SetPower( FTL, 1, [3,1, 4,1, 5,0, 6,k1 - k2 - k4 ] ); SetConjugate( FTL, 2, 1, [2, 3 , 3,1, 4,1, 5,1, 6,-2*k1 + 2*k2 - 2*k3 + 2*k4 - k5 ] ); SetConjugate( FTL, 3, 1, [3,0, 4,0, 5,-1, 6,-k4 ] ); SetConjugate( FTL, 4, 1, [3,1, 4,1, 5,1, 6,2*k1 - 2*k2 - k4 ] ); SetConjugate( FTL, 5, 1, [3,-1, 4,0, 5,0, 6,k4 ] ); SetConjugate( FTL, 6, 1, [3,0, 4,0, 5,0, 6,-1 ] ); SetRelativeOrder( FTL, 2, 4 ); SetPower( FTL, 2, [3,-1, 4,-1, 5,0, 6,k3 ] ); SetConjugate( FTL, 3, 2, [3,1, 4,1, 5,1, 6,-k2 ] ); SetConjugate( FTL, 4, 2, [3,0, 4,0, 5,-1, 6,k2 ] ); SetConjugate( FTL, 5, 2, [3,-1, 4,0, 5,0, 6,4*k1 - 4*k2 + 2*k3 - 3*k4 + 2*k5 ] ); SetConjugate( FTL, 6, 2, [3,0, 4,0, 5,0, 6,1 ] ); SetConjugate( FTL, 4, 3, [4,1, 5,0, 6,0 ] ); SetConjugate( FTL, 5, 3, [5,1, 6,2*k1 ] ); SetConjugate( FTL, 5, 4, [5,1, 6,-2*k1 ] ); return PcpGroupByCollector(FTL); end; ACPcpGroupDim4Nr114 := function (k1, k2, k3 , k4, k5) local FTL; FTL := FromTheLeftCollector( 6 ); SetRelativeOrder( FTL, 1, 2 ); SetPower( FTL, 1, [3,0, 4,1, 5,0, 6,k4 ] ); SetConjugate( FTL, 2, 1, [2, 3 , 3,0, 4,1, 5,1, 6,-k1 + k2 - 2*k3 + 2*k4 - k5 ] ); SetConjugate( FTL, 3, 1, [3,-1, 4,0, 5,0, 6,k1 ] ); SetConjugate( FTL, 4, 1, [3,0, 4,1, 5,0, 6,2*k4 ] ); SetConjugate( FTL, 5, 1, [3,0, 4,0, 5,-1, 6,0 ] ); SetConjugate( FTL, 6, 1, [3,0, 4,0, 5,0, 6,-1 ] ); SetRelativeOrder( FTL, 2, 4 ); SetPower( FTL, 2, [3,0, 4,0, 5,0, 6,k3 ] ); SetConjugate( FTL, 3, 2, [3,0, 4,1, 5,0, 6,-k1 + k2 + 2*k4 ] ); SetConjugate( FTL, 4, 2, [3,-1, 4,0, 5,0, 6,k2 ] ); SetConjugate( FTL, 5, 2, [3,0, 4,0, 5,-1, 6,2*(k1 - k2 + k3 - k4 + k5) ] ); SetConjugate( FTL, 6, 2, [3,0, 4,0, 5,0, 6,1 ] ); SetConjugate( FTL, 4, 3, [4,1, 5,0, 6,2*k1 ] ); SetConjugate( FTL, 5, 3, [5,1, 6,0 ] ); SetConjugate( FTL, 5, 4, [5,1, 6,0 ] ); return PcpGroupByCollector(FTL); end; ACPcpGroupDim4Nr143 := function (k1, k2, k3 , k4) local FTL; FTL := FromTheLeftCollector( 5 ); SetRelativeOrder( FTL, 1, 3 ); SetPower( FTL, 1, [2,0, 3,0, 4,0, 5,k4 ] ); SetConjugate( FTL, 2, 1, [2,-1, 3,-1, 4,0, 5,k2 + k3 ] ); SetConjugate( FTL, 3, 1, [2,1, 3,0, 4,0, 5,-k2 ] ); SetConjugate( FTL, 4, 1, [2,0, 3,0, 4,1, 5,0 ] ); SetConjugate( FTL, 5, 1, [2,0, 3,0, 4,0, 5,1 ] ); SetConjugate( FTL, 3, 2, [3,1, 4,0, 5,k1 ] ); SetConjugate( FTL, 4, 2, [4,1, 5,0 ] ); SetConjugate( FTL, 4, 3, [4,1, 5,0 ] ); return PcpGroupByCollector(FTL); end; ACPcpGroupDim4Nr144 := function (k1, k2, k3 , k4) local FTL; FTL := FromTheLeftCollector( 5 ); SetRelativeOrder( FTL, 1, 3 ); SetPower( FTL, 1, [2,0, 3,0, 4,1, 5,k4 ] ); SetConjugate( FTL, 2, 1, [2,-1, 3,-1, 4,0, 5,k2 + k3 ] ); SetConjugate( FTL, 3, 1, [2,1, 3,0, 4,0, 5,-k2 ] ); SetConjugate( FTL, 4, 1, [2,0, 3,0, 4,1, 5,0 ] ); SetConjugate( FTL, 5, 1, [2,0, 3,0, 4,0, 5,1 ] ); SetConjugate( FTL, 3, 2, [3,1, 4,0, 5,k1 ] ); SetConjugate( FTL, 4, 2, [4,1, 5,0 ] ); SetConjugate( FTL, 4, 3, [4,1, 5,0 ] ); return PcpGroupByCollector(FTL); end; ACPcpGroupDim4Nr146 := function (k1, k2, k3 , k4) local FTL; FTL := FromTheLeftCollector( 5 ); SetRelativeOrder( FTL, 1, 3 ); SetPower( FTL, 1, [2,0, 3,0, 4,0, 5,k4 ] ); SetConjugate( FTL, 2, 1, [2,0, 3,0, 4,1, 5,k2 + k3 ] ); SetConjugate( FTL, 3, 1, [2,1, 3,0, 4,0, 5,-k2 ] ); SetConjugate( FTL, 4, 1, [2,0, 3,1, 4,0, 5,-k3 ] ); SetConjugate( FTL, 5, 1, [2,0, 3,0, 4,0, 5,1 ] ); SetConjugate( FTL, 3, 2, [3,1, 4,0, 5,k1 ] ); SetConjugate( FTL, 4, 2, [4,1, 5,-k1 ] ); SetConjugate( FTL, 4, 3, [4,1, 5,k1 ] ); return PcpGroupByCollector(FTL); end; ACPcpGroupDim4Nr147 := function (k1, k2, k3 , k4, k5) local FTL; FTL := FromTheLeftCollector( 5 ); SetRelativeOrder( FTL, 1, 6 ); SetPower( FTL, 1, [2,0, 3,0, 4,0, 5,k5 ] ); SetConjugate( FTL, 2, 1, [2,1, 3,1, 4,0, 5,k1 - k2 - k3 ] ); SetConjugate( FTL, 3, 1, [2,-1, 3,0, 4,0, 5,k2 ] ); SetConjugate( FTL, 4, 1, [2,0, 3,0, 4,-1, 5,k4 ] ); SetConjugate( FTL, 5, 1, [2,0, 3,0, 4,0, 5,1 ] ); SetConjugate( FTL, 3, 2, [3,1, 4,0, 5,k1 ] ); SetConjugate( FTL, 4, 2, [4,1, 5,0 ] ); SetConjugate( FTL, 4, 3, [4,1, 5,0 ] ); return PcpGroupByCollector(FTL); end; ACPcpGroupDim4Nr148 := function (k1, k2, k3 , k4, k5) local FTL; FTL := FromTheLeftCollector( 5 ); SetRelativeOrder( FTL, 1, 6 ); SetPower( FTL, 1, [2,0, 3,0, 4,0, 5,k5 ] ); SetConjugate( FTL, 2, 1, [2,0, 3,0, 4,-1, 5,k4 ] ); SetConjugate( FTL, 3, 1, [2,-1, 3,0, 4,0, 5,k2 ] ); SetConjugate( FTL, 4, 1, [2,0, 3,-1, 4,0, 5,k3 ] ); SetConjugate( FTL, 5, 1, [2,0, 3,0, 4,0, 5,1 ] ); SetConjugate( FTL, 3, 2, [3,1, 4,0, 5,k1 ] ); SetConjugate( FTL, 4, 2, [4,1, 5,-k1 ] ); SetConjugate( FTL, 4, 3, [4,1, 5,k1 ] ); return PcpGroupByCollector(FTL); end; ACPcpGroupDim4Nr158 := function (k1, k2, k3 , k4, k5) local FTL; FTL := FromTheLeftCollector( 6 ); SetRelativeOrder( FTL, 1, 2 ); SetPower( FTL, 1, [3,0, 4,0, 5,1, 6,k5 ] ); SetConjugate( FTL, 2, 1, [2, 2 , 3,0, 4,0, 5,0, 6,-k4 ] ); SetConjugate( FTL, 3, 1, [3,0, 4,-1, 5,0, 6,-k2 ] ); SetConjugate( FTL, 4, 1, [3,-1, 4,0, 5,0, 6,k2 ] ); SetConjugate( FTL, 5, 1, [3,0, 4,0, 5,1, 6,2*k5 ] ); SetConjugate( FTL, 6, 1, [3,0, 4,0, 5,0, 6,-1 ] ); SetRelativeOrder( FTL, 2, 3 ); SetPower( FTL, 2, [3,0, 4,0, 5,0, 6,k4 ] ); SetConjugate( FTL, 3, 2, [3,-1, 4,-1, 5,0, 6,k2 + k3 ] ); --> -------------------- --> maximum size reached --> -------------------- [ Dauer der Verarbeitung: 0.56 Sekunden (vorverarbeitet) ] |
2026-03-28