|
############################################################################
##
#W subgrps.gd The LPRES-package René Hartung
##
############################################################################
##
#O TraceCosetTableLpGroup
##
DeclareOperation( "TraceCosetTableLpGroup", [ IsList, IsObject, IsPosInt ] );
DeclareOperation( "SubgroupLpGroupByCosetTable", [ IsObject, IsList ] );
DeclareOperation( "IsCosetTableLpGroup", [ IsSubgroupLpGroup, IsList ] );
DeclareGlobalFunction( "LPRES_EnforceCoincidences" );
DeclareOperation( "LowIndexSubgroupsLpGroupByFpGroup", [ IsLpGroup, IsPosInt, IsPosInt ] );
DeclareOperation( "LowIndexSubgroupsLpGroupIterator", [ IsLpGroup, IsPosInt, IsPosInt ] );
DeclareOperation( "NilpotentQuotientIterator", [ IsLpGroup ] );
DeclareOperation( "NqEpimorphismNilpotentQuotientIterator", [ IsLpGroup ] );
DeclareOperation( "LowerCentralSeriesIterator", [ IsLpGroup ] );
[ Dauer der Verarbeitung: 0.19 Sekunden
(vorverarbeitet)
]
|