HaskellForMaths-0.4.5: Combinatorics, group theory, commutative algebra, non-commutative algebra

Safe Haskell | None

Math.Projects.MiniquaternionGeometry

# Documentation

data F9 Source

Constructors

F9 F3 F3 |

Instances

Eq F9 |
Fractional F9 |
Num F9 |
Ord F9 |
Show F9 |
FiniteField F9 |

e :: F9 Source

f9 :: [F9]Source

w :: F9 Source

conj :: F9 -> F9 Source

norm :: F9 -> F3 Source

data J9 Source

Constructors

J9 F9 |

Instances

Eq J9 |
Fractional J9 |
Num J9 |
Ord J9 |
Show J9 |
FiniteField J9 |

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 a, Num a, Num t) => [t] -> (t -> a) -> Bool Source

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

isComplex :: J9 -> Bool Source

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 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 t => Design t -> 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