|
##############################################################################
##
#A nqpcp.gi Mai 1999 Werner Nickel
##
## This file contains functions for the interface to the package
## ``polycyclic''.
##
#############################################################################
##
#F NqInitFromTheLeftCollector . . . . . . . . . initialise an ftl collector
##
InstallGlobalFunction( NqInitFromTheLeftCollector,
function( nqrec )
local ftl, g, rel;
ftl := FromTheLeftCollector( nqrec.NrGenerators );
for g in [1..nqrec.NrGenerators] do
SetRelativeOrder( ftl, g, nqrec.RelativeOrders[ g ] );
od;
for rel in nqrec.Powers do
SetPower( ftl, rel[1], rel{[2..Length(rel)]} );
od;
for rel in nqrec.Conjugates do
SetConjugate( ftl, rel[1], rel[2], rel{[3..Length(rel)]} );
od;
SetFilterObj( ftl, IsConfluent );
UpdatePolycyclicCollector( ftl );
return ftl;
end );
#############################################################################
##
#F NqPcpGroupByCollector . . . . . . . . . pcp group from collector, set lcs
##
InstallGlobalFunction( NqPcpGroupByCollector,
function( coll, nqrec )
local G, gens, ranks, lcs, a, z, r;
G := PcpGroupByCollector( coll );
gens := GeneratorsOfGroup( G );
ranks := nqrec.Ranks;
lcs := [ G ];
a := 1;
z := nqrec.NrGenerators;
for r in ranks do
a := a + r;
Add( lcs, SubgroupNC( G, gens{[a..z]} ) );
od;
G!.LowerCentralFactors := List( nqrec.LowerCentralFactors,
NqElementaryDivisors );
SetLowerCentralSeriesOfGroup( G, lcs );
SetIsNilpotentGroup( G, true );
return G;
end );
#############################################################################
##
#F NqPcpGroupByNqOutput . . . . . . . . . pcp group from nq output, set lcs
##
InstallGlobalFunction( NqPcpGroupByNqOutput,
nqrec -> NqPcpGroupByCollector( NqInitFromTheLeftCollector(nqrec), nqrec )
);
#############################################################################
##
#F NqPcpElementByWord . . . . . . pcp element from generator exponent list
##
InstallGlobalFunction( "NqPcpElementByWord",
function( coll, w ) return PcpElementByGenExpList( coll, w ); end );
[ Dauer der Verarbeitung: 0.31 Sekunden
(vorverarbeitet)
]
|
