Fabcoin Core
0.16.2
P2P Digital Currency
|
GF(p^2), optimal normal basis. More...
#include <xtr.h>
Public Types | |
typedef F | BaseField |
Public Types inherited from AbstractRing< GFP2Element > | |
typedef GFP2Element | Element |
Public Types inherited from AbstractGroup< GFP2Element > | |
typedef GFP2Element | Element |
Public Member Functions | |
GFP2_ONB (const Integer &p) | |
const Integer & | GetModulus () const |
GFP2Element | ConvertIn (const Integer &a) const |
GFP2Element | ConvertIn (const GFP2Element &a) const |
GFP2Element | ConvertOut (const GFP2Element &a) const |
bool | Equal (const GFP2Element &a, const GFP2Element &b) const |
Compare two elements for equality. More... | |
const Element & | Identity () const |
Provides the Identity element. More... | |
const Element & | Add (const Element &a, const Element &b) const |
Adds elements in the group. More... | |
const Element & | Inverse (const Element &a) const |
Inverts the element in the group. More... | |
const Element & | Double (const Element &a) const |
Doubles an element in the group. More... | |
const Element & | Subtract (const Element &a, const Element &b) const |
Subtracts elements in the group. More... | |
Element & | Accumulate (Element &a, const Element &b) const |
TODO. More... | |
Element & | Reduce (Element &a, const Element &b) const |
Reduces an element in the congruence class. More... | |
bool | IsUnit (const Element &a) const |
Determines whether an element is a unit in the group. More... | |
const Element & | MultiplicativeIdentity () const |
Retrieves the multiplicative identity. More... | |
const Element & | Multiply (const Element &a, const Element &b) const |
Multiplies elements in the group. More... | |
const Element & | MultiplicativeInverse (const Element &a) const |
Calculate the multiplicative inverse of an element in the group. More... | |
const Element & | Square (const Element &a) const |
Square an element in the group. More... | |
Element | Exponentiate (const Element &a, const Integer &e) const |
Raises a base to an exponent in the group. More... | |
const Element & | PthPower (const Element &a) const |
void | RaiseToPthPower (Element &a) const |
const Element & | SpecialOperation1 (const Element &a) const |
const Element & | SpecialOperation2 (const Element &x, const Element &y, const Element &z) const |
Public Member Functions inherited from AbstractRing< GFP2Element > | |
AbstractRing () | |
Construct an AbstractRing. More... | |
AbstractRing (const AbstractRing &source) | |
Copy construct an AbstractRing. More... | |
AbstractRing & | operator= (const AbstractRing &source) |
Assign an AbstractRing. More... | |
virtual const Element & | Divide (const Element &a, const Element &b) const |
Divides elements in the group. More... | |
virtual Element | CascadeExponentiate (const Element &x, const Integer &e1, const Element &y, const Integer &e2) const |
TODO. More... | |
virtual void | SimultaneousExponentiate (Element *results, const Element &base, const Integer *exponents, unsigned int exponentsCount) const |
Exponentiates a base to multiple exponents in the Ring. More... | |
virtual const AbstractGroup< GFP2Element > & | MultiplicativeGroup () const |
Retrieves the multiplicative group. More... | |
Public Member Functions inherited from AbstractGroup< GFP2Element > | |
virtual | ~AbstractGroup () |
virtual bool | InversionIsFast () const |
Determine if inversion is fast. More... | |
virtual Element | ScalarMultiply (const Element &a, const Integer &e) const |
Performs a scalar multiplication. More... | |
virtual Element | CascadeScalarMultiply (const Element &x, const Integer &e1, const Element &y, const Integer &e2) const |
TODO. More... | |
virtual void | SimultaneousMultiply (Element *results, const Element &base, const Integer *exponents, unsigned int exponentsCount) const |
Multiplies a base to multiple exponents in a group. More... | |
Protected Attributes | |
BaseField | modp |
GFP2Element | result |
Integer | t |
GF(p^2), optimal normal basis.
|
inlinevirtual |
TODO.
a | first element |
b | second element |
Reimplemented from AbstractGroup< GFP2Element >.
Definition at line 111 of file xtr.h.
|
inlinevirtual |
Adds elements in the group.
a | first element |
b | second element |
a
and b
Implements AbstractGroup< GFP2Element >.
|
inline |
|
inline |
|
inline |
Doubles an element in the group.
a | the element |
Reimplemented from AbstractGroup< GFP2Element >.
|
inlinevirtual |
Compare two elements for equality.
a | first element |
b | second element |
Equal() tests the elements for equality using a==b
Implements AbstractGroup< GFP2Element >.
|
inlinevirtual |
Raises a base to an exponent in the group.
a | the base |
e | the exponent |
Reimplemented from AbstractRing< GFP2Element >.
Definition at line 163 of file xtr.h.
Provides the Identity element.
Implements AbstractGroup< GFP2Element >.
Definition at line 78 of file xtr.h.
Inverts the element in the group.
a | first element |
Implements AbstractGroup< GFP2Element >.
Determines whether an element is a unit in the group.
a | the element |
Implements AbstractRing< GFP2Element >.
Definition at line 125 of file xtr.h.
Retrieves the multiplicative identity.
Implements AbstractRing< GFP2Element >.
|
inlinevirtual |
Calculate the multiplicative inverse of an element in the group.
a | the element |
Implements AbstractRing< GFP2Element >.
Definition at line 150 of file xtr.h.
|
inlinevirtual |
Multiplies elements in the group.
a | the multiplicand |
b | the multiplier |
Implements AbstractRing< GFP2Element >.
Definition at line 136 of file xtr.h.
|
inlinevirtual |
Reduces an element in the congruence class.
a | element to reduce |
b | the congruence class |
Reimplemented from AbstractGroup< GFP2Element >.
Square an element in the group.
a | the element |
Reimplemented from AbstractRing< GFP2Element >.
Definition at line 155 of file xtr.h.
|
inlinevirtual |
Subtracts elements in the group.
a | first element |
b | second element |
a
and b
. The element a
must provide a Subtract member function. Reimplemented from AbstractGroup< GFP2Element >.
|
mutableprotected |