Safe Haskell | None |
---|---|
Language | Haskell2010 |
First quadratic extension of the tower:
- Fq
- Fq2 := Fq[u]/u^2 + 1
- Fq6 := Fq2[v]/v^3 - (9 + u)
- Fq12 := Fq6[w]/w^2 - v
Implementation following "Multiplication and Squaring on Pairing-Friendly Fields" by Devigili, hEigeartaigh, Scott and Dahab.
Documentation
Quadratic extension of Fq
defined as Fq[u]/x^2 + 1
Instances
Eq Fq2 Source # | |
Fractional Fq2 Source # | |
Num Fq2 Source # | |
Show Fq2 Source # | |
Generic Fq2 Source # | |
Semigroup G2 Source # | |
Monoid G2 Source # | |
NFData Fq2 Source # | |
Defined in Pairing.Fq2 | |
CyclicGroup G2 Source # | |
Arbitrary (Point Fq2) Source # | |
type Rep Fq2 Source # | |
Defined in Pairing.Fq2 type Rep Fq2 = D1 (MetaData "Fq2" "Pairing.Fq2" "pairing-0.1.4-2GC3xY6BqzhI8O5raIiEkP" False) (C1 (MetaCons "Fq2" PrefixI True) (S1 (MetaSel (Just "fq2x") NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 Fq) :*: S1 (MetaSel (Just "fq2y") NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 Fq))) |
random :: MonadRandom m => m Fq2 Source #