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

Math.Combinatorics.Design

Synopsis

Documentation

data Design a Source

Constructors

D [a] [[a]] 

Instances

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

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.)

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

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

m24 :: [Permutation Integer]Source

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

m24sgs :: [Permutation Integer]Source

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

m23sgs :: [Permutation Integer]Source

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

m22sgs :: [Permutation Integer]Source

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

s_5_8_24 :: Design IntegerSource

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

s_4_7_23 :: Design IntegerSource

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

s_3_6_22 :: Design IntegerSource

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

s_5_6_12 :: Design IntegerSource

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

s_4_5_11 :: Design IntegerSource

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

m12 :: [Permutation Integer]Source

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

m12sgs :: [Permutation Integer]Source

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

m11sgs :: [Permutation Integer]Source

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