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

Safe Haskell | None
Language | Haskell98

Math.Projects.MiniquaternionGeometry

# Documentation

data F9 Source #

Constructors

F9 F3 F3 |

Instances

Eq F9 Source # |
Instance details Defined in Math.Projects.MiniquaternionGeometry Methods (==) :: F9 -> F9 -> Bool Source # (/=) :: F9 -> F9 -> Bool Source #
Fractional F9 Source # |
Instance details Defined in Math.Projects.MiniquaternionGeometry Methods (/) :: F9 -> F9 -> F9 Source # recip :: F9 -> F9 Source # fromRational :: Rational -> F9 Source #
Num F9 Source # |
Instance details Defined in Math.Projects.MiniquaternionGeometry Methods (+) :: F9 -> F9 -> F9 Source # (-) :: F9 -> F9 -> F9 Source # (*) :: F9 -> F9 -> F9 Source # negate :: F9 -> F9 Source # abs :: F9 -> F9 Source # signum :: F9 -> F9 Source # fromInteger :: Integer -> F9 Source #
Ord F9 Source # |
Instance details Defined in Math.Projects.MiniquaternionGeometry Methods compare :: F9 -> F9 -> Ordering Source # (<) :: F9 -> F9 -> Bool Source # (<=) :: F9 -> F9 -> Bool Source # (>) :: F9 -> F9 -> Bool Source # (>=) :: F9 -> F9 -> Bool Source # max :: F9 -> F9 -> F9 Source # min :: F9 -> F9 -> F9 Source #
Show F9 Source # |
Instance details Defined in Math.Projects.MiniquaternionGeometry Methods showsPrec :: Int -> F9 -> ShowS Source # show :: F9 -> String Source # showList :: [F9] -> ShowS Source #
FiniteField F9 Source # |
Instance details Defined in Math.Projects.MiniquaternionGeometry Methods eltsFq :: F9 -> [F9] Source # basisFq :: F9 -> [F9] Source #

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 Source # |
Instance details Defined in Math.Projects.MiniquaternionGeometry Methods (==) :: J9 -> J9 -> Bool Source # (/=) :: J9 -> J9 -> Bool Source #
Fractional J9 Source # |
Instance details Defined in Math.Projects.MiniquaternionGeometry Methods (/) :: J9 -> J9 -> J9 Source # recip :: J9 -> J9 Source # fromRational :: Rational -> J9 Source #
Num J9 Source # |
Instance details Defined in Math.Projects.MiniquaternionGeometry Methods (+) :: J9 -> J9 -> J9 Source # (-) :: J9 -> J9 -> J9 Source # (*) :: J9 -> J9 -> J9 Source # negate :: J9 -> J9 Source # abs :: J9 -> J9 Source # signum :: J9 -> J9 Source # fromInteger :: Integer -> J9 Source #
Ord J9 Source # |
Instance details Defined in Math.Projects.MiniquaternionGeometry Methods compare :: J9 -> J9 -> Ordering Source # (<) :: J9 -> J9 -> Bool Source # (<=) :: J9 -> J9 -> Bool Source # (>) :: J9 -> J9 -> Bool Source # (>=) :: J9 -> J9 -> Bool Source # max :: J9 -> J9 -> J9 Source # min :: J9 -> J9 -> J9 Source #
Show J9 Source # |
Instance details Defined in Math.Projects.MiniquaternionGeometry Methods showsPrec :: Int -> J9 -> ShowS Source # show :: J9 -> String Source # showList :: [J9] -> ShowS Source #
FiniteField J9 Source # |
Instance details Defined in Math.Projects.MiniquaternionGeometry Methods eltsFq :: J9 -> [J9] Source # basisFq :: J9 -> [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 #