|
#############################################################################
##
#W trans.gd GAP transitive groups library Alexander Hulpke
##
##
#Y Copyright (C) 2001, Alexander Hulpke, Colorado State University
#Y (C) 1998 School Math and Comp. Sci., University of St Andrews, Scotland
##
## This file contains the declarations for the transitive groups library
##
# ensure that the dummy binds from the library are killed
MakeReadWriteGlobal("TransitiveGroupsAvailable");
Unbind(TransitiveGroupsAvailable);
MakeReadWriteGlobal("NrTransitiveGroups");
Unbind(NrTransitiveGroups);
MakeReadWriteGlobal("TransitiveGroup");
Unbind(TransitiveGroup);
MakeReadWriteGlobal("TRANSProperties");
Unbind(TRANSProperties);
#############################################################################
##
#F TransitiveGroup(<deg>,<nr>)
##
## <#GAPDoc Label="TransitiveGroup">
## <ManSection>
## <Func Name="TransitiveGroup" Arg='deg,nr'/>
##
## <Description>
## returns the <A>nr</A>-th transitive group of degree <A>deg</A>. Both <A>deg</A> and
## <A>nr</A> must be positive integers. The transitive groups of equal degree
## are sorted with respect to their size, so for example
## <C>TransitiveGroup( <A>deg</A>, 1 )</C> is a transitive group of degree and
## size <A>deg</A>, e.g, the cyclic group of size <A>deg</A>, if <A>deg</A> is a
## prime.
## </Description>
## </ManSection>
## <#/GAPDoc>
##
DeclareGlobalFunction("TransitiveGroup");
DeclareGlobalFunction("TransitiveGroupsAvailable");
#############################################################################
##
#F NrTransitiveGroups(<deg>)
##
## <#GAPDoc Label="NrTransitiveGroups">
## <ManSection>
## <Func Name="NrTransitiveGroups" Arg='deg'/>
##
## <Description>
## returns the number of transitive groups of degree <A>deg</A> stored in
## the library of transitive groups.
## The function returns <K>fail</K> if <A>deg</A> is
## beyond the range of the library.
## <P/>
## <Example><![CDATA[
## gap> TransitiveGroup(10,22);
## S(5)[x]2
## gap> l:=AllTransitiveGroups(NrMovedPoints,12,Size,1440,IsSolvable,false);
## [ S(6)[x]2, M_10.2(12)=A_6.E_4(12)=[S_6[1/720]{M_10}S_6]2 ]
## gap> List(l,IsSolvable);
## [ false, false ]
## ]]></Example>
## </Description>
## </ManSection>
## <#/GAPDoc>
##
DeclareGlobalFunction("NrTransitiveGroups");
#############################################################################
##
#F MinialTransitiveIndices(<deg>)
##
DeclareGlobalFunction("MinimalTransitiveIndices");
DeclareGlobalVariable( "TRANSCOMBCACHE", "combinations cache" );
DeclareGlobalVariable( "TRANSARRCACHE", "arrangements cache" );
if IsHPCGAP then
BindGlobal("TRANSREGION", NewLibraryRegion("transitive groups region"));
else
BindGlobal("TRANSREGION", fail);
fi;
DeclareGlobalFunction("SelectTransitiveGroups");
DeclareGlobalFunction("AllTransitiveGroups");
DeclareGlobalFunction("AllLibraryTransitiveGroups");
DeclareGlobalFunction("OneTransitiveGroup");
#############################################################################
##
#E
[ Dauer der Verarbeitung: 0.25 Sekunden
(vorverarbeitet)
]
|
