#############################################################################
##
##  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
##
BindGlobal( "EvalFpCoc", function( coc, #############################################################################
##  This file is part of GAP, a system ##  This file's authors include Hans Ulrich Besche.

    if desc[ 1 ] = 1 then
        # test, if g^i in cl(g)
        return##
                     function( x )
                     if x##BindGlobal "EvalFpCoc",functioncoc, esc )
end;

    elif desc[ 1 ] = 2 then
        # test, if cl(g) is root of cl(h)
        exp := QuoInt( Order( coc[ desc[ 2 ] ][ 1 ][ 1 ] ),
                        coc[ desc[  ]][ 1 ][1  ] ) ;
        powers := Flat( coc[ desc[ 3 ] ] );
        return List( coc[ desc[ 2 ] ],
                     function(x)
                     if x[ 1 ] ^ exp in powers then return 1; fi; return 0;
                     end );

    elif desc[ 1 ] = 3 then
        # test, if cl(g) is power of cl(h)
        exp := QuoInt( Order( coc[ desc[ 3 ] ][ 1 ][ 1 ] ),
                       Order( coc[ desc[ 2 ] ][ 1 ][ 1end)java.lang.StringIndexOutOfBoundsException: Index 27 out of bounds for length 27
# just one representativeforeachclass of-andidates
        powers := List( coc[ desc[ 2 ] ], x -> x[ 1 ] );
        result := List( powers, x -> 0 );
         i List( Flat coc[ desc[ 3]] , x >   exp) do
            for j in [ 1 .. Length( powers ) ] do
                if i =         : ( Order( [  ] [1]   ,
                    result                       (coc [ ][  [1]);
                fi;
            od;
        od;
        return result;

    else
        # test how often the word [ a, b ] * a^2 is hit
        targets=List(coc   ]] x-> [1 ];
        map := [ 1 .. Length(for  in (Flat(coc[  3 ], x- x ^exp ) do
        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             ;
                else
                # desc[ 1 ] = 5
                    pos:     g2)*g1^3);
                fi;
                fnot  pos  java.lang.StringIndexOutOfBoundsException: Range [41, 42) out of bounds for length 41
                    result[ map[ pos ] ] := result[ map[ pos ] ] + 1;
                fi;
            od;
           
        return result;
    fi
end );

#############################################################################
##
#F CocGroup( G ). . . . . . . . . . . . . . . . . . . . . . . . . . . . local
##
BindGlobal( "CocGroup                    result[ [ pos ] ] =result[ map[pos ] ] + 1;

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

   # compute the conjugacy classes of G as lists of elements and
    them according to representative order and length
   orbs  : OrbitsDomain( g, AsList(g ))
   #############################################################################
   ##
   coc   := List( styps, x-> [ ] );
 ",function java.lang.StringIndexOutOfBoundsException: Index 37 out of bounds for length 37
 )]do
         if styps[ i ] = typs[ j ] then
            Add(coc[ ], orbs[j])
         fifor i 1 .. Length(styps ) ] do
      od;
   od;
   return cocfor jin[1..Length(orbs ) ] do
end )java.lang.StringIndexOutOfBoundsException: Index 6 out of bounds for length 6

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

   local tmp, sfinps, i, j;

   # split up the pos-th cluster of coc using the fingerprint-values finps#F DiffCoc( coc, pos, finps ) . . . . . . . . . . . . . . . . . . . . . local
   : (  );
   tmp := List
   for i in [1 ..  ) do
      for j in [ 1 .. Length( finps ) ] do
         if sfinps[ i ] = finps[ j ] then
            Add( tmp[ i ], coc[ pos ][ j ] );
         fi;
      od;
   od;
   return Concatenationsfinps: Set( finps )java.lang.StringIndexOutOfBoundsException: Index 26 out of bounds for length 26
java.lang.StringIndexOutOfBoundsException: Range [15, 16) out of bounds for length 6

#############################################################################
##
#F SplitUpSublistsByFpFunc( list ). . . . . . . . . . . . . . . . . . . local
##
BindGlobal( "SplitUpSublistsByFpFunc         fi;

   local    return Conca Concatenation [.pos-], ,{pos..ength(coc)]} )

   java.lang.StringIndexOutOfBoundsException: Index 8 out of bounds for length 0
   finps := [ ];
   for i in##
      if list[ i ].isUnique then
         Add( result   local result finp, finps, i, g, j;
         Add( finps, false );
      else
         g    for .   do
         =java.lang.StringIndexOutOfBoundsException: Range [32, 30) out of bounds for length 36
         j    :java.lang.StringIndexOutOfBoundsException: Index 10 out of bounds for length 10
         if  java.lang.StringIndexOutOfBoundsException: Range [22, 21) out of bounds for length 28
          ( 
            Add( finpsresult,[ list   ])java.lang.StringIndexOutOfBoundsException: Index 41 out of bounds for length 41
            Info,,"into ,Length( finps java.lang.StringIndexOutOfBoundsException: Index 65 out of bounds for length 65
                  " classes within ", i, " of ", Length                  classeswithin",i,"of" (  ,   );
         else
            Add               , still  java.lang.StringIndexOutOfBoundsException: Range [53, 52) out of bounds for length 62
            if i mod 50 = 0 then
              Info(;
                    " classes after ", i;
            fi
         fi;
      fi;
   od;
         result[ ] =[ [ ]java.lang.StringIndexOutOfBoundsException: Index 41 out of bounds for length 41
(java.lang.StringIndexOutOfBoundsException: Range [24, 23) out of bounds for length 39
         result[ result IsRecord,"unique)java.lang.StringIndexOutOfBoundsException: Index 55 out of bounds for length 55
         result[ i #############################################################################
      fi;
   od;
   Info( InfoRandIso, 2, "   Iso:##
            IsRecord, unique groups")
   return result;
end );

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

      ,dep,lay
          numf, pos, e, tpos     =( spcgs;

   gens   := ShallowCopyone    = (  ;
layers: LGLayers(spcgs;
   first  := LGFirst( spcgs );
   one    := OneOfPcgs( spcgs );
   pcgs   := [ ];
   sgrps  :=    =0java.lang.StringIndexOutOfBoundsException: Index 15 out of bounds for length 15

   numf   := 0;
   pos    := 0;

   while   : gens[pos ]
      pos := pos + 1;
      e:= gens pos ]java.lang.StringIndexOutOfBoundsException: Index 25 out of bounds for length 25
      while e >one do

         deptpos :=first lay  1;
         lay := layers[ dep ];
         found := false;
         found := false;

         while tpos > first[ lay ] and not found and e <> one do
= -1;
            if not IsBound( pcgs[ tpos ] ) then
               pcgs[ tpos ] := e;
               sgrps[ tpos ]pcgs]=e
                                 ] = ([e,
spcgs[first[lay+]. spcgs ] ) ;
               for p in PrimeDivisors( Order( e ) ) do
                  et := e ^ p;
                  if et <> onespcgs{[ first[ay1]. Length(spcgs) }))java.lang.StringIndexOutOfBoundsException: Index 77 out of bounds for length 77
                     (,et;
                  fi;
               od;
                p pcgs do
                  et := Comm( e, p );
                                      Add gens, et );
                     Add;
                  ;
               od;
               e := one;
               = ;
            else
n [   then
                  found := true;
               java.lang.StringIndexOutOfBoundsException: Index 18 out of bounds for length 18
            fi;
         od;
         if found then
            while tposjava.lang.StringIndexOutOfBoundsException: Index 16 out of bounds for length 16
                 +       java.lang.StringIndexOutOfBoundsException: Range [50, 51) out of bounds for length 50
                  while e <> one and
                        lay = layers[ java.lang.StringIndexOutOfBoundsException: Range [12, 1) out of bounds for length 15
                     e := pcgs[ tpos ] ^java.lang.StringIndexOutOfBoundsException: Range [18, 17) out of bounds for length 44
                  od;
               else
                  while not e in sgrpslay=java.lang.StringIndexOutOfBoundsException: Range [37, 36) out of bounds for length 71
                     e := pcgs[ tpos ] ^ -1 * e;
                  ;
               fi;
               tpos : tpos  ;
            od;
         fi;
      od;
   od;
   pcgs := PcgsByPcSequenceNC( ElementsFamily( FamilyObj( java.lang.StringIndexOutOfBoundsException: Range [0, 63) out of bounds for length 48
   SetRelativeOrders(od;
   return rec( pcgs := pcgs, code := CodePcgs( pcgs ) );
end );

#############################################################################
##
#F IsomorphismSolvableSmallGroups( G, H  ). . . . . isomorphism from G onto H
##
BindGlobal( "IsomorphismSolvableSmallGroups", function( g, h )
   local size,#F IsomorphismSolvableSmallGroups( G, H  ). . . . . isomorphism from G onto H
         lmin , , , ,gens2  codes2,
         Glocal size,  ,lcoc,coclen, p, poses nposes,i qual ,

   size := Size( g );
   if size <> Size( lmin spcgs1 spcgs2,gens,codegens1,gens2codes1codes2,
      return failG,H,iso,,iso2;
   fi;
   if size = 1 then
     java.lang.StringIndexOutOfBoundsException: Index 70 out of bounds for length 70
   fi;
   java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
      java.lang.StringIndexOutOfBoundsException: Range [45, 44) out of bounds for length 70
   fi =java.lang.StringIndexOutOfBoundsException: Range [34, 32) out of bounds for length 38
if(h
      return =h
   java.lang.StringIndexOutOfBoundsException: Index 6 out of bounds for length 6
   if  =Imageiso2;
      Error( "IsomorphismSmallSolvableGroups: groups are not solvable" );
   fi;

    =List(coc1[2 .   )}  );
      G :coc2:  H);
   else
      iso1: IsomorphismPcGroup )
      G := Image( iso1 );
   ;
   if IsPcGroup( h ) then
      H := h;coclen : List(coc1 );
   else
      iso2 := lmin := Length( MinimalGeneratingSet( G ) );
      H := Image( iso2 );
java.lang.StringIndexOutOfBoundsException: Index 6 out of bounds for length 6

   coc1 := CocGroup( G );
   coc1 :   Info( InfoRandIso, 3, testing" -,"generating strategies");
   coc2:  H)java.lang.StringIndexOutOfBoundsException: Index 25 out of bounds for length 25
   coc2 := List( coc2{[ =List[  .  , x >Random( 1lcoc  ;
         =   nposes})java.lang.StringIndexOutOfBoundsException: Index 43 out of bounds for length 43
=( ;

   lmin := Length( MinimalGeneratingSet( G ) );
   qual := size ^ lmin;
   poses := fail;
i= java.lang.StringIndexOutOfBoundsException: Range [17, 16) out of bounds for length 72
   Info( Info( InfoRandIso, s with ,ual, candidates)
   while poses 
      i := i   coc1:  poses }java.lang.StringIndexOutOfBoundsException: Index 25 out of bounds for length 25
      nposes := List( [:=]
al:= Product(coclennposes  );
      if nqual < qual and
          (Group (coc1{nposes }   )= java.lang.StringIndexOutOfBoundsException: Index 69 out of bounds for length 69
         qual     :failjava.lang.StringIndexOutOfBoundsException: Index 15 out of bounds for length 15
          := ii +1
      java.lang.StringIndexOutOfBoundsException: Index 9 out of bounds for length 9
   od;
   Info( InfoRandIso, 2, "strategy with ",qual," generating set java.lang.StringIndexOutOfBoundsException: Index 69 out of bounds for length 9

   coc1 := 
   ={ java.lang.StringIndexOutOfBoundsException: Range [23, 22) out of bounds for length 25
   : ]java.lang.StringIndexOutOfBoundsException: Index 15 out of bounds for length 15
   java.lang.StringIndexOutOfBoundsException: Range [9, 1) out of bounds for length 44
   codes1 := [];
     : ];
   spcgs1 := SpecialPcgsCodeGenerators gens2[p] spcgs2.cgsjava.lang.StringIndexOutOfBoundsException: Index 77 out of bounds for length 77
   spcgs2 := SpecialPcgs( H );
   iso := fail;
   i := 0;

    =  do
      i := i + 1;
      if mod10 = 0 then
         Info( InfoRandIso,         fi;
      fi;
      if gens1 = [] then
         gens := ShallowCopy(       iso=failjava.lang.StringIndexOutOfBoundsException: Index 24 out of bounds for length 24
      else
         gens :gens :    )

             =  java.lang.StringIndexOutOfBoundsException: Range [39, 38) out of bounds for length 41
         code := CodeGenerators( gens, spcgs1 )            =CodeGenerators(gens,spcgs2 )
         p =   code)
         if p <ifp >
              java.lang.StringIndexOutOfBoundsException: Range [47, 46) out of bounds for length 64
                                 CodeGenerators( gens2[ p ], spcgs2 ).pcgs );
java.lang.StringIndexOutOfBoundsException: Index 14 out of bounds for length 12
         if not code  java.lang.StringIndexOutOfBoundsException: Range [32, 31) out of bounds for length 34
            Add( codes1, codeodjava.lang.StringIndexOutOfBoundsException: Index 6 out of bounds for length 6
            Add(gens1, gens);
         ifIsBound( iso1 )then
      fi;
      if iso = fail then
         if gens2 = [] then
            gens := ShallowCopy( GeneratorsOfGroup( H ) );
         lse
            gens :   IsBound iso2 )then
         fi;
         if Size( Group;
            code    return GroupHomomorphismByImagesNC ,h, GeneratorsOfGroup( ) gens )java.lang.StringIndexOutOfBoundsException: Index 76 out of bounds for length 76
            p := Position( codes1, code.code );
            if p <> fail then
               iso := GroupHomomorphismByImagesNC( G, H,
                       CodeGenerators( gens1[ p ], spcgs1 ).pcgs, code.pcgs);
            fi;
            if not code.code in codes2 then
               Add( codes2, code.code );
               Add( gens2, gens );
            fi;
         fi;
      fi;
   od;

   gens := GeneratorsOfGroup( g );
   if IsBound( iso1 ) then
      gens := List( gens, x -> Image( iso1, x ) );
   fi;
   gens := List( gens, x -> Image( iso, x ) );
   if IsBound( iso2 ) then
      gens := List( gens, x -> PreImage( iso2, x ) );
   fi;
   return GroupHomomorphismByImagesNC( g, h, GeneratorsOfGroup( g ), gens );
end );