Quellcodebibliothek Statistik Leitseite products/sources/formale Sprachen/GAP/pkg/lpres/   (Algebra von RWTH Aachen Version 4.15.1©)  Datei vom 12.6.2024 mit Größe 2 kB image not shown  

Quelle  read.g   Sprache: unbekannt

 
#############################################################################
##
#W    read.g            The GAP 4 package LPRES                    René Hartung
##

# problem with polycyclic's Igs vs. Cgs
USE_CANONICAL_PCS := true;

BindGlobal( "LPRES_TEST_ALL", false);

# coset enumeration for (finite index) subgroups of LpGroups
LPRES_TCSTART := 2;
if IsPackageMarkedForLoading( "ACE", "5.0" ) then
  LPRES_CosetEnumerator := function( h )
    local f, rels, gens;

    f    := FreeGeneratorsOfFpGroup( Parent( h ) );
    rels := RelatorsOfFpGroup( Parent( h ) );
    gens := List( GeneratorsOfGroup( h ), UnderlyingElement );
    return ValueGlobal("ACECosetTable")( f, rels, gens : silent, hard, max := 10^8, Wo := 10^8 );
    end;
else
  LPRES_CosetEnumerator := CosetTableInWholeGroup;
fi;


ReadPackage( LPRESPkgName, "gap/misc.gi");
ReadPackage( LPRESPkgName, "gap/hnf.gi");
ReadPackage( LPRESPkgName, "gap/initqs.gi");
ReadPackage( LPRESPkgName, "gap/homs.gi");
ReadPackage( LPRESPkgName, "gap/tails.gi");
ReadPackage( LPRESPkgName, "gap/consist.gi");
ReadPackage( LPRESPkgName, "gap/cover.gi");
ReadPackage( LPRESPkgName, "gap/endos.gi");
ReadPackage( LPRESPkgName, "gap/buildnew.gi");
ReadPackage( LPRESPkgName, "gap/extqs.gi");
ReadPackage( LPRESPkgName, "gap/quotsys.gi");
ReadPackage( LPRESPkgName, "gap/nq.gi");
ReadPackage( LPRESPkgName, "gap/nq_non.gi");
ReadPackage( LPRESPkgName, "gap/lpres.gi");
ReadPackage( LPRESPkgName, "gap/subgrps.gi" );
ReadPackage( LPRESPkgName, "gap/reidschr.gi" );
ReadPackage( LPRESPkgName, "gap/examples.gi");

# approximating the Schur multiplier
ReadPackage( LPRESPkgName, "gap/schumu/schumu.gi" );

# parallel version of LPRES's nilpotent quotient algorithm
if IsPackageMarkedForLoading( "ParGap", "1.1.2" ) then
  LPRESPar_StoreResults := true;
  ReadPackage( LPRESPkgName, "gap/pargap/misc.gi" );
  ReadPackage( LPRESPkgName, "gap/pargap/consist.gi" );
  ReadPackage( LPRESPkgName, "gap/pargap/induce.gi" );
  ReadPackage( LPRESPkgName, "gap/pargap/pargap.gi" );
  ReadPackage( LPRESPkgName, "gap/pargap/storing.gi" );
fi;


[ Dauer der Verarbeitung: 0.28 Sekunden  (vorverarbeitet)  ]