HaskellForMaths-0.4.3: Combinatorics, group theory, commutative algebra, non-commutative algebra

Math.Combinatorics.Design

Synopsis

# Documentation

isSubset :: Eq a => [a] -> [a] -> BoolSource

data Design a Source

Constructors

 D [a] [[a]]

Instances

 Eq a => Eq (Design a) Ord a => Ord (Design a) Show a => Show (Design a)

design :: Ord a => ([a], [[a]]) -> Design aSource

toDesign :: Ord a => ([a], [[a]]) -> Design aSource

points :: Design t -> [t]Source

blocks :: Design t -> [[t]]Source

isDesign :: Ord a => Int -> Design a -> BoolSource

incidenceMatrix :: Eq t => Design t -> [[Int]]Source

The incidence matrix of a design, with rows indexed by blocks and columns by points. (Note that in the literature, the opposite convention is sometimes used instead.)

subsetDesign :: (Enum a, Num a, Ord a) => a -> Int -> Design aSource

ag2 :: (FiniteField k, Ord k) => [k] -> Design [k]Source

The affine plane AG(2,Fq), a 2-(q^2,q,1) design

pg2 :: (FiniteField k, Ord k) => [k] -> Design [k]Source

The projective plane PG(2,Fq), a square 2-(q^2+q+1,q+1,1) design

flatsDesignPG :: (Num a, Ord a, FinSet a) => Int -> [a] -> Int -> Design [a]Source

pg :: (Num a, Ord a, FinSet a) => Int -> [a] -> Design [a]Source

flatsDesignAG :: (Num a, Ord a, FinSet a) => Int -> [a] -> Int -> Design [a]Source

ag :: (Num a, Ord a, FinSet a) => Int -> [a] -> Design [a]Source

to1n :: (Enum a1, Num a1, Ord a) => Design a -> Design a1Source

paleyDesign :: (Num a, Ord a) => [a] -> Design aSource

dual :: Ord t => Design t -> Design [t]Source

The dual of a design

derivedDesign :: Ord t => Design t -> t -> Design tSource

pointResidual :: Ord t => Design t -> t -> Design tSource

blockResidual :: Ord t => Design t -> [t] -> Design tSource

incidenceGraph :: Ord a => Design a -> Graph (Either a [a])Source

The incidence graph of a design

designAuts :: Ord t => Design t -> [Permutation t]Source

Find a strong generating set for the automorphism group of a design

Generators for the Mathieu group M24, a finite simple group of order 244823040

A strong generating set for the Mathieu group M24, a finite simple group of order 244823040

A strong generating set for the Mathieu group M23, a finite simple group of order 10200960

A strong generating set for the Mathieu group M22, a finite simple group of order 443520

The Steiner system S(5,8,24), with 759 blocks, whose automorphism group is M24

The Steiner system S(4,7,23), with 253 blocks, whose automorphism group is M23

The Steiner system S(3,6,22), with 77 blocks, whose automorphism group is M22

The Steiner system S(5,6,12), with 132 blocks, whose automorphism group is M12

The Steiner system S(4,5,11), with 66 blocks, whose automorphism group is M11

Generators for the Mathieu group M12, a finite simple group of order 95040

A strong generating set for the Mathieu group M12, a finite simple group of order 95040

A strong generating set for the Mathieu group M11, a finite simple group of order 7920