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

Safe HaskellNone
LanguageHaskell98

Math.Algebra.Field.Extension

Documentation

newtype UPoly a Source

Constructors

UP [a] 

Instances

Eq a => Eq (UPoly a) 
(Eq a, Num a) => Num (UPoly a) 
Ord a => Ord (UPoly a) 
(Eq a, Show a, Num a) => Show (UPoly a) 

showUP :: (Show a, Num a, Eq a) => [Char] -> [a] -> [Char] Source

toUPoly :: (Num a, Eq a) => [a] -> UPoly a Source

(<+>) :: (Num a, Eq a) => [a] -> [a] -> [a] Source

(<*>) :: (Num t, Eq t) => [t] -> [t] -> [t] Source

convert :: (Num a, Eq a) => UPoly Integer -> UPoly a Source

lt :: UPoly a -> a Source

monomial :: Num a => a -> Int -> UPoly a Source

quotRemUP :: (Eq k, Fractional k) => UPoly k -> UPoly k -> (UPoly k, UPoly k) Source

modUP :: (Fractional k, Eq k) => UPoly k -> UPoly k -> UPoly k Source

extendedEuclidUP :: (Fractional k, Eq k) => UPoly k -> UPoly k -> (UPoly k, UPoly k, UPoly k) Source

data ExtensionField k poly Source

Constructors

Ext (UPoly k) 

Instances

Eq k => Eq (ExtensionField k poly) 
(Eq k, Fractional k, PolynomialAsType k poly) => Fractional (ExtensionField k poly) 
(Eq k, Fractional k, PolynomialAsType k poly) => Num (ExtensionField k poly) 
Ord k => Ord (ExtensionField k poly) 
(Eq k, Show k, Num k) => Show (ExtensionField k poly) 
(FinSet fp, Eq fp, Num fp, PolynomialAsType fp poly) => FinSet (ExtensionField fp poly) 
(FiniteField k, PolynomialAsType k poly) => FiniteField (ExtensionField k poly) 

(/>) :: (Fractional t, Eq t) => t -> UPoly t -> UPoly t Source

embed :: (Num k, Eq k) => UPoly Integer -> ExtensionField k poly Source

polys :: (Num a1, Num a, Eq a1, Eq a) => a1 -> [a] -> [UPoly a] Source

f4 :: [F4] Source

f8 :: [F8] Source

f9 :: [F9] Source

degree :: [a] -> Int Source

data Sqrt a Source

Constructors

Sqrt a 

Instances