HaskellForMaths-0.4.9: Combinatorics, group theory, commutative algebra, non-commutative algebra
Safe HaskellNone
LanguageHaskell98

Math.Projects.MiniquaternionGeometry

Documentation

data F9 Source #

Constructors

F9 F3 F3 

Instances

Instances details
Eq F9 Source # 
Instance details

Defined in Math.Projects.MiniquaternionGeometry

Methods

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

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

Fractional F9 Source # 
Instance details

Defined in Math.Projects.MiniquaternionGeometry

Methods

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

recip :: F9 -> F9

fromRational :: Rational -> F9

Num F9 Source # 
Instance details

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 Source # 
Instance details

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 Source # 
Instance details

Defined in Math.Projects.MiniquaternionGeometry

Methods

showsPrec :: Int -> F9 -> ShowS

show :: F9 -> String

showList :: [F9] -> ShowS

FiniteField F9 Source # 
Instance details

Defined in Math.Projects.MiniquaternionGeometry

Methods

eltsFq :: F9 -> [F9] Source #

basisFq :: F9 -> [F9] Source #

f9 :: [F9] Source #

conj :: F9 -> F9 Source #

norm :: F9 -> F3 Source #

data J9 Source #

Constructors

J9 F9 

Instances

Instances details
Eq J9 Source # 
Instance details

Defined in Math.Projects.MiniquaternionGeometry

Methods

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

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

Fractional J9 Source # 
Instance details

Defined in Math.Projects.MiniquaternionGeometry

Methods

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

recip :: J9 -> J9

fromRational :: Rational -> J9

Num J9 Source # 
Instance details

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 Source # 
Instance details

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 Source # 
Instance details

Defined in Math.Projects.MiniquaternionGeometry

Methods

showsPrec :: Int -> J9 -> ShowS

show :: J9 -> String

showList :: [J9] -> ShowS

FiniteField J9 Source # 
Instance details

Defined in Math.Projects.MiniquaternionGeometry

Methods

eltsFq :: J9 -> [J9] Source #

basisFq :: J9 -> [J9] Source #

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 #

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

omegaD1 :: Design Integer Source #

(<*) :: Num b => [b] -> b -> [b] 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 #