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

Math.Algebra.Field.Extension

Documentation

newtype UPoly a Source

Constructors

UP [a] 

Instances

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

quotRemUP :: (Num k, Fractional 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) 
(Num k, Fractional k, PolynomialAsType k poly) => Fractional (ExtensionField k poly) 
(Num k, Fractional k, PolynomialAsType k poly) => Num (ExtensionField k poly) 
Ord k => Ord (ExtensionField k poly) 
Num k => Show (ExtensionField k poly) 
(FiniteField k, PolynomialAsType k poly) => FiniteField (ExtensionField k poly) 

data Sqrt a Source

Constructors

Sqrt a 

Instances