Documentation

data F9 Source

e :: F9Source

f9 :: [F9]Source

w :: F9Source

conj :: F9 -> F9Source

norm :: F9 -> F3Source

data J9 Source

squaresF9 :: [F9]Source

i :: J9Source

j :: J9Source

k :: J9Source

j9 :: [J9]Source

autJ9 :: J9 -> Permutation J9Source

autA :: Permutation J9Source

autB :: Permutation J9Source

autC :: Permutation J9Source

autsJ9 :: [Permutation J9]Source

conj' :: J9 -> J9Source

isAut :: (Eq a, Num t, Num a) => [t] -> (t -> a) -> BoolSource

isReal :: (Eq a, Num a) => a -> BoolSource

isComplex :: J9 -> BoolSource

ptsPG2 :: Num t => [t] -> [[t]]Source

orthogonalLinesPG2 :: (Num a, Ord a) => [[a]] -> [[[a]]]Source

rightLinesPG2 :: Num t => [t] -> [[[t]]]Source

leftLinesPG2 :: Num t => [t] -> [[[t]]]Source

phi :: Design [F9]Source

phi' :: Design [F9]Source

collineationsPhi :: [Permutation [F9]]Source

liftToGraph :: Ord a => Design a -> Permutation a -> Permutation (Either a [a])Source

omega0 :: Design [J9]Source

omega :: Design [J9]Source

omega2 :: Design [J9]Source

collineationsOmega :: [Permutation [J9]]Source

omegaD :: Design [J9]Source

omegaD1 :: Design IntegerSource

omegaD2 :: Design [J9]Source

(<*) :: Num b => [b] -> b -> [b]Source

psi :: Design [J9]Source

psi2 :: Design [J9]Source

collineationsPsi :: [Permutation [J9]]Source

order :: Design a -> IntSource

isProjectivePlane :: Eq a => Design a -> BoolSource

collinear :: Eq a => Design a -> [a] -> BoolSource

isQuadrangle :: Eq a => Design a -> [a] -> BoolSource

concurrent :: Eq a => Design a -> [[a]] -> BoolSource

isQuadrilateral :: Eq a => Design a -> [[a]] -> BoolSource

isOval :: Eq a => Design a -> [a] -> BoolSource

findOvals1 :: Eq a => Design a -> [[a]]Source

findQuadrangles :: Eq a => Design a -> [[a]]Source

findOvals :: Ord a => Design a -> [[a]]Source