Math.Projects.MiniquaternionGeometry

Documentation

data F9

Constructors

F9 F3 F3

Instances

Eq F9

Defined in Math.Projects.MiniquaternionGeometry

Methods

(==) :: F9 -> F9 -> Bool

(/=) :: F9 -> F9 -> Bool

Fractional F9

Defined in Math.Projects.MiniquaternionGeometry

Methods

(/) :: F9 -> F9 -> F9

recip :: F9 -> F9

fromRational :: Rational -> F9

Num F9

Defined in Math.Projects.MiniquaternionGeometry

Methods

(+) :: F9 -> F9 -> F9

(-) :: F9 -> F9 -> F9

(*) :: F9 -> F9 -> F9

negate :: F9 -> F9

abs :: F9 -> F9

signum :: F9 -> F9

fromInteger :: Integer -> F9

Ord F9

Defined in Math.Projects.MiniquaternionGeometry

Methods

compare :: F9 -> F9 -> Ordering

(<) :: F9 -> F9 -> Bool

(<=) :: F9 -> F9 -> Bool

(>) :: F9 -> F9 -> Bool

(>=) :: F9 -> F9 -> Bool

max :: F9 -> F9 -> F9

min :: F9 -> F9 -> F9

Show F9

Defined in Math.Projects.MiniquaternionGeometry

Methods

showsPrec :: Int -> F9 -> ShowS

show :: F9 -> String

showList :: [F9] -> ShowS

FiniteField F9

Defined in Math.Projects.MiniquaternionGeometry

Methods

eltsFq :: F9 -> [F9]

basisFq :: F9 -> [F9]

e :: F9

f9 :: [F9]

w :: F9

conj :: F9 -> F9

norm :: F9 -> F3

data J9

Constructors

J9 F9

Instances

Eq J9

Defined in Math.Projects.MiniquaternionGeometry

Methods

(==) :: J9 -> J9 -> Bool

(/=) :: J9 -> J9 -> Bool

Fractional J9

Defined in Math.Projects.MiniquaternionGeometry

Methods

(/) :: J9 -> J9 -> J9

recip :: J9 -> J9

fromRational :: Rational -> J9

Num J9

Defined in Math.Projects.MiniquaternionGeometry

Methods

(+) :: J9 -> J9 -> J9

(-) :: J9 -> J9 -> J9

(*) :: J9 -> J9 -> J9

negate :: J9 -> J9

abs :: J9 -> J9

signum :: J9 -> J9

fromInteger :: Integer -> J9

Ord J9

Defined in Math.Projects.MiniquaternionGeometry

Methods

compare :: J9 -> J9 -> Ordering

(<) :: J9 -> J9 -> Bool

(<=) :: J9 -> J9 -> Bool

(>) :: J9 -> J9 -> Bool

(>=) :: J9 -> J9 -> Bool

max :: J9 -> J9 -> J9

min :: J9 -> J9 -> J9

Show J9

Defined in Math.Projects.MiniquaternionGeometry

Methods

showsPrec :: Int -> J9 -> ShowS

show :: J9 -> String

showList :: [J9] -> ShowS

FiniteField J9

Defined in Math.Projects.MiniquaternionGeometry

Methods

eltsFq :: J9 -> [J9]

basisFq :: J9 -> [J9]

squaresF9 :: [F9]

i :: J9

j :: J9

k :: J9

j9 :: [J9]

autJ9 :: J9 -> Permutation J9

autA :: Permutation J9

autB :: Permutation J9

autC :: Permutation J9

autsJ9 :: [Permutation J9]

conj' :: J9 -> J9

isAut :: (Eq a1, Num a1, Num a2) => [a2] -> (a2 -> a1) -> Bool

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

isComplex :: J9 -> Bool

ptsPG2 :: Num a => [a] -> [[a]]

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

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

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

phi :: Design [F9]

phi' :: Design [F9]

collineationsPhi :: [Permutation [F9]]

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

omega0 :: Design [J9]

omega :: Design [J9]

omega2 :: Design [J9]

collineationsOmega :: [Permutation [J9]]

omegaD :: Design [J9]

omegaD1 :: Design Integer

omegaD2 :: Design [J9]

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

psi :: Design [J9]

psi2 :: Design [J9]

collineationsPsi :: [Permutation [J9]]

order :: Design a -> Int

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

collinear :: (Foldable t, Eq a) => Design a -> t a -> Bool

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

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

isQuadrilateral :: (Foldable t, Eq a) => Design a -> [t a] -> Bool

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

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

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

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