Documentation

data F9 Source

e :: F9 Source

f9 :: [F9] Source

w :: F9 Source

conj :: F9 -> F9 Source

norm :: F9 -> F3 Source

data J9 Source

squaresF9 :: [F9] Source

i :: J9 Source

j :: J9 Source

k :: J9 Source

j9 :: [J9] Source

autJ9 :: J9 -> Permutation J9 Source

autA :: Permutation J9 Source

autB :: Permutation J9 Source

autC :: Permutation J9 Source

autsJ9 :: [Permutation J9] Source

conj' :: J9 -> J9 Source

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

isReal :: (Num a, Eq a) => a -> Bool Source

isComplex :: J9 -> Bool Source

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

orthogonalLinesPG2 :: (Ord a, Num 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 Integer Source

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 -> Int Source

isProjectivePlane :: Eq a => Design a -> Bool Source

collinear :: Eq a => Design a -> [a] -> Bool Source

isQuadrangle :: Eq a => Design a -> [a] -> Bool Source

concurrent :: Eq a => Design a -> [[a]] -> Bool Source

isQuadrilateral :: Eq a => Design a -> [[a]] -> Bool Source

isOval :: Eq a => Design a -> [a] -> Bool Source

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

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

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