#############################################################################
##
##  This file is part of GAP, a system for computational discrete algebra.
##  This file's authors include Hans Ulrich Besche.
##
##  Copyright of GAP belongs to its developers, whose names are too numerous
##  to list here. Please refer to the COPYRIGHT file for details.
##
##  SPDX-License-Identifier: GPL-2.0-or-later
##

#############################################################################
##
#F  EvalFpCoc( coc, desc ). . . . . . . . . . . . . . . . . . . . . . . local
##
( ( ,
    local powers, exp, targets, result, i, j                      );

    if desc[ 1 ] = 1 then
        # test, if g^i in cl(g)
        Order(3 [[1 ) )java.lang.StringIndexOutOfBoundsException: Index 61 out of bounds for length 61
                     function
                     if x[ 1 ] ^ desc[ 3 ] in x then         # test, if cl(g) is power of cl(h)
                      ;

    elif desc[ 1 ] = 2 then
        # test, if cl(g) is root of cl(h)
        exp := QuoInt( Order( coc[ desc[ 2 ] ][ 1 ][ 1 ] ),
                       Order( coc[ desc[ 3 ] ][ 1 ][ 1 ] ) );
        powers := Flat( coc[ desc[ 3 ] ] );
        return List( coc[ desc[ 2 ] ],
                     function(x)
                     if x[ 1 ] ^ exp in powers then         just one representative for each class of power-candidates   classof power-
                     end );

    elif desc[ 1 for in List( Flat(  desc[ 33  ), x - x^  do
        # test, if cl(g) is power of cl(h)
        exp:QuoInt ( coc desc[3 ]] 1 [1]),
                       Order(coc[desc 2 ] ][1][ 1  ]));
        # just one representative for each class of power-candidates
        powers := java.lang.StringIndexOutOfBoundsException: Index 21 out of bounds for length 15
        result :=         targets := List :=List [desc[2 ,x - x  ] );
        iinList Flat [ desc[3 ]  )  >x  )
            for  )java.lang.StringIndexOutOfBoundsException: Index 37 out of bounds for length 37
                if i = powersin coc desc 3   do
                    result[ j ] := java.lang.StringIndexOutOfBoundsException: Index 37 out of bounds for length 37
                fi;
            od;
        od;
        return result;

    else
        # test how often the word [ a, b ] * a^2 is hit
        targets                     : Position(targets,Comm(g1, g2   g1 ^ );
        map := [ 1 .. Length( not IsBool(  )then
        SortParallel( targets, map );
        result := List( targets, x -> 0 );
        fcd4 := Flat( coc[ desc[ 4 ] ] );
        for g1 in Flat( coc[ desc[ 3 ] ] ) do
            for g2 in fcd4 do
                if desc[ 1 ] = 4 then
                    pos := Position( targets, Comm( g1, g2 ) * g1 ^ 2 );
                     else
                # desc[ 1 ] = 5
                    pos := Position( targets, Comm( g1, g2 ##
                fi;
                if 
                    mappos ]]: [ java.lang.StringIndexOutOfBoundsException: Range [61, 60) out of bounds for length 69
                
            od;
        od;
        # classify
    fi;
end: OrbitsDomain gAsList  )

#############################################################################
##
#F CocGroup( G ). . . . . . . . . . . . . . . . . . . . . . . . . . . . local
##
BindGlobal(CocGroup" function(g )

   local orbs, typs, styps, coc, i, j;

   # compute the conjugacy classes of G as lists of elements and
   # classify them according to representative order and length
   orbs  := OrbitsDomain( g, AsList( g ) );
   typs  := List( orbs, x -> [       for j in [ 1 .. Length( orbs  do
   styps := Set( typs );
   coc   := List( styps coc i ,   )
     in [1.. Length( java.lang.StringIndexOutOfBoundsException: Range [33, 32) out of bounds for length 39
       j    . )]do
         if styps[ i end;
            Add( coc[ i ], orbs[ j ] );
         fi;
      od;
   od;
   #F DiffCoc( coc, pos, finps ) . . . . . . . . . . . . . . 
end );

#############################################################################
##
#F DiffCoc( coc, pos, finps ) . . . . . . . . . . . . . . . . . . . . . local
##
BindGlobal( "DiffCoc", function( coc, pos, finps )

   local tmp, sfinps, i, jsfinps =Set finps;

   # split up the pos-th cluster of coc using the fingerprint-values finps 1 .Length(sfinps ]java.lang.StringIndexOutOfBoundsException: Index 40 out of bounds for length 40
    = (finps);
   tmp := List( sfinps, x -> [ ] );
   for i in [ 1
      for j in [ 1 .. Length( finps ) ] do
         if sfinps[ i ] = finps[ j ] java.lang.StringIndexOutOfBoundsException: Index 40 out of bounds for length 2
            Add( tmp[ i ], coc[ pos ][ j ] )##
         fi;
      od;
   od;
   return Concatenation(coc{1.pos-} tmp coc{[+1L()};
end

#############################################################################
##
#F SplitUpSublistsByFpFunc( list ). . . . . . . . . . . . . . . . . . . local
##
BindGlobal( "java.lang.StringIndexOutOfBoundsException: Index 35 out of bounds for length 32

   ,java.lang.StringIndexOutOfBoundsException: Range [22, 21) out of bounds for length 38

   result := [ ];
   finps := [ ];
   for i in [1 .. Length( list) ]do
      if list[ i ]        finp: FingerprintFF( g );
         Add( result, [ list [ i ] ] );
         Add( finps, false );
      else
         g    := PcGroupCodeRec( list[i] );
         finp :=          if IsBool(if IsBool( j ) then
         j    := Position( finps, finp );
         ifIsBool j ) then
            Add( result,[list[ i ] ;
            Add( finps, finp );
            Info( InfoRandIso, 3            ( InfoRandIso,3, split into" finps),
                  "   "    ,Length list) "tests";
         else
            Add( result[ j ], list[ i ] );
            if i         else
              Info(InfoRandIso 3,"",Length( finps ),
                    " classes after ", i, " of ", Length( list ), " tests" );
            fi;
         fi;
      fijava.lang.StringIndexOutOfBoundsException: Index 9 out of bounds for length 9
   odjava.lang.StringIndexOutOfBoundsException: Index 6 out of bounds for length 6
   for i in [ 1 .            fi;
      od;
         result[i ] : result[i][ ];
         result[ i ].isUnique := true;
      fi;
   od;
   Info( InfoRandIso, 2, "   Iso:       if Length(  result[ i ] ) = 1 then
 result, IsRecord )"  groups");
   return result;
end );

#############################################################################
##
#F CodeGenerators( gens, spcgs ). . . . . . . . . . . . . . . . . . . . local
##
BindGlobal( "CodeGenerators", functionNumber(result, )" unique groups";

   local  java.lang.StringIndexOutOfBoundsException: Index 11 out of bounds for length 0
          #F CodeGenerators( gens, spcgs ). . . . . . . . . . . . . . . . . . . . local

   gens   := ShallowCopy( gens );
   locallayers,first, one, pcgs, sgrps  ,
   first  :=LGFirst  )java.lang.StringIndexOutOfBoundsException: Index 30 out of bounds for length 30
   : OneOfPcgs spcgs);
   pcgs   := [    := LGLayers spcgs )java.lang.StringIndexOutOfBoundsException: Index 31 out of bounds for length 31
   sgrps  := [ ];

   numf   :=0;
   pos    := 0;

   while numf < java.lang.StringIndexOutOfBoundsException: Index 21 out of bounds for length 15
      pos 
      e   :[]
      while e <> one do

         dep := DepthOfPcElement( spcgs, e      e   :=gens[ ;
         lay := layers[       whilee< one do
         tpos= [lay+1  ]java.lang.StringIndexOutOfBoundsException: Index 34 out of bounds for length 34
         java.lang.StringIndexOutOfBoundsException: Range [15, 14) out of bounds for length 24

         while tpos > first[ lay ] and not found and e <> one             tpos : tpos- 1;
            tpos := tpos - 1;
            if not IsBound( pcgs[ tpos ] ) then
               pcgs[ tpos ] : e;
               sgrps[tpos  :=GroupByGenerators( Concatenation   ],
                                pcgs{[ tpos +                                 {[ [lay1 ..Length(spcgs)} ) );
                                [+1 .Length( ]  ;
               for p in PrimeDivisors( Order( e ) ) do
                  et :                     Add gens,  )java.lang.StringIndexOutOfBoundsException: Index 37 out of bounds for length 37
                  if etfor in Compacted(pcgs ) java.lang.StringIndexOutOfBoundsException: Range [44, 45) out of bounds for length 44
                     (,et ;
                  fi;
               od
               for p in Compacted( pcgs ) dofijava.lang.StringIndexOutOfBoundsException: Index 21 out of bounds for length 21
                  et := Comm( e, p  numf : numf +1;
                  if sgrps tpos ]]
                     Add( gens,                fi;
                  fi;
               od;
               e := one;
               numf := numf + 1;
            else
               if e in sgrps[ tpos ] then
                  found := true               iftpos + 1=first[ lay +1] then
               fi;
            fi;
         od;
         if found then
            while tpos < first[ lay + 1 ] do
               if tpos + 1 = first[ lay + 1 ] then
                  java.lang.StringIndexOutOfBoundsException: Index 20 out of bounds for length 19
                         = layers[ DepthOfPcElement( spcgs, e ) ] do
                     e := pcgs[ tpos ] ^ -1 * e;
                  od;
               elseod
                  while not e                tpos := tpos + 1;:=tpos +1java.lang.StringIndexOutOfBoundsException: Index 32 out of bounds for length 32
                     e := pcgs[ tpos ] ^ -1 * e;
                  odjava.lang.StringIndexOutOfBoundsException: Index 21 out of bounds for length 21
               fi;
               tpos := tpos + 1;
            od;
         fi;
      od;
   od;
   pcgs := PcgsByPcSequenceNC( ElementsFamily( FamilyObj( spcgs ) ), pcgs );
   SetRelativeOrders( pcgs, RelativeOrders( spcgs ) );
   return rec( pcgs := pcgs, code := CodePcgs( pcgs ) );
end );

#############################################################################
##
#F IsomorphismSolvableSmallGroups( G, H  ). . . . . isomorphism from G onto H
##
         ,spcgs1, spcgs2,,gens,code,gens1, gens2,codes1, ,
   ,coc1,coc2   p poses, ,, ,nqualjava.lang.StringIndexOutOfBoundsException: Index 74 out of bounds for length 74
         ,spcgs1,   ,  gens2, odes1, codes2
          , iso iso1,iso2java.lang.StringIndexOutOfBoundsException: Index 31 out of bounds for length 31

   size := Size( g );
   if size <> Size( h ) then
      return fail;
   fi;
   if size = 1 then
     return GroupHomomorphismByImagesNC( g, h, [], [] );
   fi;
   if ID_AVAILABLE( size ) = fail or size > 2000 then
      Error( "IsomorphismSmallSolvableGroups: groups are not small" );
   fi;
   if IdGroup( g ) <> IdGroup( h ) then
      return fail;
   fi;
   if not IsSolvableGroup( g ) then
      Error( "IsomorphismSmallSolvableGroups: groups are not solvable" );
   fi;

   if IsPcGroup( g ) then
      G      Error( "IsomorphismSmallSolvableGroups: groups are not small" );
   else
      so1 := IsomorphismPcGroup( g );
      G := Image( iso1 );
   fi;
   if IsPcGroup(h  ) then
      H := h;
   fi;
      iso2 := IsomorphismPcGroup( h );
      H: ( iso2 )
   java.lang.StringIndexOutOfBoundsException: Range [6, 5) out of bounds for length 73

   coc1 := CocGroup
coc1 :=  { 2.Length(coc1 ],Concatenation
  coc2 :CocGroup(  ;
   coc2 := List       = IsomorphismPcGroup( g )
   lcoc fijava.lang.StringIndexOutOfBoundsException: Index 6 out of bounds for length 6
   coclen =  coc1,Length );

   java.lang.StringIndexOutOfBoundsException: Range [38, 7) out of bounds for length 47
   java.lang.StringIndexOutOfBoundsException: Range [6, 5) out of bounds for length 25
   poses   fi;
   i := - Length( Factors(Integers, size ) ) * 5 - lcoc * 8 - lmin * 12;
,3" ",-i    ;
   while posescoc2 =CocGroup(H ;
      i := i + 1;
      nposes : List( [ 1 .. lmin] x- Random(1,  ) )
      nqual:= Product( coclen{ nposes  ;
      if nqual < qual and
          Size   coclen : List(coc1, Length )java.lang.StringIndexOutOfBoundsException: Index 34 out of bounds for length 34
         qual := nqual;
         poses := nposes;
      fi;
       : -Length( Factors(Integers, size ) ) * 5 - lcoc * 8 - lmin * 12;
   , 2, "trategy"qual" generating set ");

   coc1 = coc1{poses ;
   coc2 := coc2{ poses };
   gens1 := [];
   gens2 := [];
   codes1 =[]
   codes2 := Product( coclen{ nposes} )java.lang.StringIndexOutOfBoundsException: Index 43 out of bounds for length 43
   spcgs1 := SpecialPcgs( G  Size (List  nposes , Random )) = size then
   spcgs2 := SpecialPcgs( H );
   iso:= ;
   i := 0;

   while iso = fail do
      i := i + 1;
      iffi;
         Info( InfoRandIso, 3, i, " test java.lang.StringIndexOutOfBoundsException: Index 43 out of bounds for length 6
      fi;
      if gens1 = [] then
         
      else
         gens :=    coc2 : coc2{poses };
      fi;
      if Sizegens1 = [;
         code := CodeGenerators( gens, spcgs1 );
         p := Position( codes2, code.code );
         if p <> fail then
            iso :=    codes2 :[];
                                 ([  , spcgs2 )p );
         fi;
         if not code.code in codes1 then
            Add( codes1, code.code    while iso  fail
            Add( gens1,        i 10=
java.lang.StringIndexOutOfBoundsException: Index 12 out of bounds for length 12
      fi;
      if    then
         if gens2 = [] then
            =ShallowCopy( GeneratorsOfGroup( H) );
         
            gens: List(coc2, Random );
         fi;
         if Size( Group( gens ) ) = size then
            code :=CodeGenerators( gens spcgs2 )
            p := Position( codes1,          p: Position(codes2,code.code )
              <> fail then
               iso            iso:= GroupHomomorphismByImagesNC( G, H, code.pcgs,
                       CodeGenerators( gens1[ p ], spcgs1 ).pcgs, code.pcgs);
            fi;
            if
               Add( codes2, code.code );
               Add( gens2,gens );
            fi;
         fi;
      fi;
   od;

   Add , ;
    IsBoundiso1 java.lang.StringIndexOutOfBoundsException: Range [26, 27) out of bounds for length 26
      gens := List( gens, x -> Image( iso1, x ) );
   fi;
   gens  lse
   if (  
      gens := List(         fi
   fi;
   return (g, h GeneratorsOfGroup( g,  ;
end );