Quelle  design.gd   Sprache: Shell

############################################################################
##
#C  IsDesign category for designs
##

DeclareCategory( "IsDesign", IsObject );

############################################################################
##
#F  IsDesignFamily
##

DeclareCategoryFamily( "IsDesign" );

############################################################################
##
#O  DesignFamily( <t>, <v>, <k>, <lambda> )
##

DeclareOperation( "DesignFamily", [IsInt, IsInt, IsInt, IsInt] );

############################################################################
##
#R  IsDesignDefaultRep def. rep. for designs
##

DeclareRepresentation( "IsDesignDefaultRep",
   IsComponentObjectRep and IsAttributeStoringRep,
   [] );

############################################################################
##
#A  PointsOfDesign( <D> )
##

DeclareAttribute( "PointsOfDesign", IsDesign );

############################################################################
##
#A  BlocksOfDesign( <D> )
##

DeclareAttribute( "BlocksOfDesign", IsDesign );

############################################################################
##
#O  IsPointIncidentBlock( <D>, <pointnr>, <blocknr> )
##

DeclareOperation( "IsPointIncidentBlock", [IsDesign, IsInt, IsInt] );

############################################################################
##
#O  PointsIncidentBlocks( <D>, <blocknrs> )
##

DeclareOperation( "PointsIncidentBlocks", [IsDesign, IsList] );

############################################################################
##
#O  BlocksIncidentPoints( <D>, <pointnrs> )
##

DeclareOperation( "BlocksIncidentPoints", [IsDesign, IsList] );

############################################################################
##
#A  DesignParameter( <D> )
##

DeclareAttribute( "DesignParameter", IsDesign );

############################################################################
##
#A  IncidenceMat( <D> )
##

DeclareAttribute( "IncidenceMat", IsDesign );

############################################################################
##
#O  PrintIncidenceMat( <D> )
##

DeclareOperation( "PrintIncidenceMat", [IsDesign] );

############################################################################
##
#O  BlockIntersectionNumbersK( <D>, <k> )
##

DeclareOperation( "BlockIntersectionNumbersK", [IsDesign, IsInt] );

############################################################################
##
#P  IsCircularDesign( <D> )
##

DeclareProperty( "IsCircularDesign", IsDesign );

############################################################################
##
#O  DesignFromPointsAndBlocks( <P>, <B> )
##

DeclareOperation( "DesignFromPointsAndBlocks", [IsList, IsList] );

############################################################################
##
#O  DesignFromIncidenceMat( <M> )
##

DeclareOperation( "DesignFromIncidenceMat", [IsMatrix] );

############################################################################
##
#O  DesignFromFerreroPairStar( <G>, <Phi> )
##

DeclareOperation( "DesignFromFerreroPairStar", [IsGroup, IsGroup] );

############################################################################
##
#O  DesignFromFerreroPairBlank( <G>, <Phi> )
##

DeclareOperation( "DesignFromFerreroPairBlank", [IsGroup, IsGroup] );

############################################################################
##
#F  DesignFromPlanarNearRing( <N> )
##

DeclareGlobalFunction( "DesignFromPlanarNearRing" );

############################################################################
##
#O  DesignFromPlanarNearRingStar( <N> )
##

DeclareOperation( "DesignFromPlanarNearRingStar", [IsNearRing] );

############################################################################
##
#O  DesignFromPlanarNearRingBlank( <N> )
##

DeclareOperation( "DesignFromPlanarNearRingBlank", [IsNearRing] );

############################################################################
##
#O  DesignFromWdNearRing( <N> )
##

DeclareOperation( "DesignFromWdNearRing", [IsNearRing] );

##########################################################################
##
#F  AutomorphismGroupOfCyclicGroup := function( G, k )
##
## returns the automorphism group of size <k> of a cyclic group <G>
## of prime power order if existing

DeclareGlobalFunction( "AutomorphismGroupOfCyclicGroup" );


############################################################################
##
#F  DesignFromPair( G, Phi )
##

DeclareGlobalFunction( "DesignFromPair" );

############################################################################
##
#F  PrintDesignParameterPBIBD( D )
##

DeclareGlobalFunction( "PrintDesignParameterPBIBD" );