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

Safe HaskellSafe-Infered

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 :: (Eq a, Num a, Show a) => [Char] -> [a] -> [Char]Source

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

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

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

lt :: UPoly a -> aSource

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

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

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

extendedEuclidUP :: (Eq k, Fractional 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) 

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

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

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

degree :: [a] -> IntSource

data Sqrt a Source

Constructors

Sqrt a 

Instances