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

Safe HaskellNone
LanguageHaskell98

Math.Projects.MiniquaternionGeometry

Documentation

f9 :: [F9] Source

j9 :: [J9] Source

isAut :: (Eq a, Num t, Num a) => [t] -> (t -> a) -> Bool Source

isReal :: (Eq a, Num a) => a -> 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

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

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

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

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

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