- 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