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 :: (Eq a1, Num a1, Num a2) => [a2] -> (a2 -> a1) -> Bool Source #

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

isComplex :: J9 -> Bool Source #

ptsPG2 :: Num a => [a] -> [[a]] 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 :: (Foldable t, Eq a) => Design a -> t a -> Bool Source #

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

concurrent :: (Foldable t1, Foldable t2, Eq a) => Design a -> t1 (t2 a) -> Bool Source #

isQuadrilateral :: (Foldable t, Eq a) => Design a -> [t 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 #