- data Design a = D [a] [[a]]
- incidenceMatrix :: Eq t => Design t -> [[Int]]
- ag2 :: (FiniteField k, Ord k) => [k] -> Design [k]
- pg2 :: (FiniteField k, Ord k) => [k] -> Design [k]
- dual :: Ord t => Design t -> Design [t]
- derivedDesign :: Ord t => Design t -> t -> Design t
- pointResidual :: Ord t => Design t -> t -> Design t
- blockResidual :: Ord t => Design t -> [t] -> Design t
- incidenceGraph :: Ord a => Design a -> Graph (Either a [a])
- designAuts :: Ord t => Design t -> [Permutation t]
- m24 :: [Permutation Integer]
- m24sgs :: [Permutation Integer]
- m23sgs :: [Permutation Integer]
- m22sgs :: [Permutation Integer]
- s_5_8_24 :: Design Integer
- s_4_7_23 :: Design Integer
- s_3_6_22 :: Design Integer
- s_5_6_12 :: Design Integer
- s_4_5_11 :: Design Integer
- m12 :: [Permutation Integer]
- m12sgs :: [Permutation Integer]
- m11sgs :: [Permutation Integer]

# Documentation

D [a] [[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

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

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

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

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