| Safe Haskell | None |
|---|---|
| Language | Haskell98 |
Math.Algebra.Field.Base
- newtype Q = Q Rational
- numeratorQ :: Q -> Integer
- denominatorQ :: Q -> Integer
- extendedEuclid :: Integral t => t -> t -> (t, t, t)
- newtype Fp n = Fp Integer
- class (Eq fq, Fractional fq) => FiniteField fq where
- primitiveElt :: (Num a, Eq a) => [a] -> a
- powers :: (Num a, Eq a) => a -> [a]
- char :: [a] -> Int
- type F2 = Fp T2
- f2 :: [F2]
- type F3 = Fp T3
- f3 :: [F3]
- type F5 = Fp T5
- f5 :: [F5]
- type F7 = Fp T7
- f7 :: [F7]
- type F11 = Fp T11
- f11 :: [F11]
- type F13 = Fp T13
- f13 :: [F13]
- type F17 = Fp T17
- f17 :: [F17]
- type F19 = Fp T19
- f19 :: [F19]
- type F23 = Fp T23
- f23 :: [F23]
- type F29 = Fp T29
- f29 :: [F29]
- type F31 = Fp T31
- f31 :: [F31]
- type F37 = Fp T37
- f37 :: [F37]
- type F41 = Fp T41
- f41 :: [F41]
- type F43 = Fp T43
- f43 :: [F43]
- type F47 = Fp T47
- f47 :: [F47]
- type F53 = Fp T53
- f53 :: [F53]
- type F59 = Fp T59
- f59 :: [F59]
- type F61 = Fp T61
- f61 :: [F61]
- type F67 = Fp T67
- f67 :: [F67]
- type F71 = Fp T71
- f71 :: [F71]
- type F73 = Fp T73
- f73 :: [F73]
- type F79 = Fp T79
- f79 :: [F79]
- type F83 = Fp T83
- f83 :: [F83]
- type F89 = Fp T89
- f89 :: [F89]
- type F97 = Fp T97
- f97 :: [F97]
Documentation
Q is just the rationals, but with a better show function than the Prelude version
Instances
| Eq Q | |
| Fractional Q | |
| Num Q | |
| Ord Q | |
| Show Q | |
| Invertible LPQ | |
| HopfAlgebra Q (SL2 ABCD) | |
| Bialgebra Q (SL2 ABCD) | |
| Coalgebra Q (SL2 ABCD) | |
| Algebra Q (SL2 ABCD) | |
| IntegerAsType n => PolynomialAsType Q (Sqrt n) | |
| HopfAlgebra (LaurentPoly Q) (SL2q String) | |
| Bialgebra (LaurentPoly Q) (SL2q String) | |
| Bialgebra (LaurentPoly Q) (M2q String) | |
| Coalgebra (LaurentPoly Q) (SL2q String) | |
| Coalgebra (LaurentPoly Q) (M2q String) | |
| Algebra (LaurentPoly Q) (SL2q String) | |
| Algebra (LaurentPoly Q) (M2q String) | |
| Algebra (LaurentPoly Q) (Aq02 String) | |
| Algebra (LaurentPoly Q) (Aq20 String) | |
| Comodule (LaurentPoly Q) (M2q String) (Aq20 String) | |
| Invertible (NPoly LPQ BraidGens) | |
| Invertible (NPoly LPQ IwahoriHeckeGens) |
numeratorQ :: Q -> Integer Source
denominatorQ :: Q -> Integer Source
extendedEuclid :: Integral t => t -> t -> (t, t, t) Source
Instances
| PolynomialAsType F5 ConwayF25 | |
| PolynomialAsType F3 ConwayF27 | |
| PolynomialAsType F3 ConwayF9 | |
| PolynomialAsType F2 ConwayF32 | |
| PolynomialAsType F2 ConwayF16 | |
| PolynomialAsType F2 ConwayF8 | |
| PolynomialAsType F2 ConwayF4 | |
| Eq (Fp n) | |
| IntegerAsType n => Fractional (Fp n) | |
| IntegerAsType n => Num (Fp n) | |
| Ord (Fp n) | |
| Show (Fp n) | |
| IntegerAsType p => FinSet (Fp p) | |
| IntegerAsType p => FiniteField (Fp p) |
class (Eq fq, Fractional fq) => FiniteField fq where Source
Instances
| FiniteField J9 | |
| FiniteField F9 | |
| IntegerAsType p => FiniteField (Fp p) | |
| (FiniteField k, PolynomialAsType k poly) => FiniteField (ExtensionField k poly) |
primitiveElt :: (Num a, Eq a) => [a] -> a Source