linbox
|
give LinBox fields an allure of Givaro FieldsThis class adds the necessary requirements allowing the construction of an extension of a LinBox field. More...
#include <givaro-field-gf2.h>
Inherits GF2.
Public Types | |
typedef GF2RandIter | RandIter |
Random iterator generator type. More... | |
Public Member Functions | |
Object Management | |
Element & | init (Element &x, const int &y) const |
Initialization of field base element from an integer. More... | |
Element & | init (Element &x, const unsigned int &y) const |
Default constructor. | |
Element & | init (Element &x, const long &y) const |
Default constructor. | |
Element & | init (Element &x, const unsigned long &y) const |
Default constructor. | |
Element & | init (Element &x, const float &y) const |
Default constructor. | |
Element & | init (Element &x, const double &y) const |
Default constructor. | |
Element & | init (Element &x, const integer &y) const |
Default constructor. | |
Element & | init (Element &x) const |
Default constructor. | |
BitVector::reference | init (BitVector::reference x, const integer &y=0) const |
Default constructor. | |
std::_Bit_reference | init (std::_Bit_reference x, const integer &y=0) const |
Default constructor. | |
integer & | convert (integer &x, Element y) const |
Conversion of field base element to a template class T. More... | |
std::_Bit_reference | convert (std::_Bit_reference x, Element y) const |
Default constructor. | |
template<class XXX > | |
XXX & | convert (XXX &x, Element y) const |
Default constructor. | |
Element & | assign (Element &x, Element y) const |
Assignment of one field base element to another. More... | |
BitVector::reference | assign (BitVector::reference x, Element y) const |
Default constructor. | |
std::_Bit_reference | assign (std::_Bit_reference x, Element y) const |
Default constructor. | |
integer & | cardinality (integer &c) const |
Cardinality. More... | |
integer & | characteristic (integer &c) const |
Characteristic. More... | |
Arithmetic Operations | |
x <- y op z; x <- op y These operations require all elements, including x, to be initialized before the operation is called. Uninitialized field base elements will give undefined results. | |
bool | areEqual (Element x, Element y) const |
Equality of two elements. More... | |
bool | isZero (Element x) const |
Zero equality. More... | |
bool | isOne (Element x) const |
One equality. More... | |
Element & | add (Element &x, Element y, Element z) const |
Addition. More... | |
BitVector::reference | add (BitVector::reference x, Element y, Element z) const |
Addition. More... | |
std::_Bit_reference | add (std::_Bit_reference x, Element y, Element z) const |
Addition. More... | |
Element & | sub (Element &x, Element y, Element z) const |
Subtraction. More... | |
BitVector::reference | sub (BitVector::reference x, Element y, Element z) const |
Subtraction. More... | |
std::_Bit_reference | sub (std::_Bit_reference x, Element y, Element z) const |
Subtraction. More... | |
Element & | mul (Element &x, Element y, Element z) const |
Multiplication. More... | |
BitVector::reference | mul (BitVector::reference x, Element y, Element z) const |
Multiplication. More... | |
std::_Bit_reference | mul (std::_Bit_reference x, Element y, Element z) const |
Multiplication. More... | |
Element & | div (Element &x, Element y, Element z) const |
Division. More... | |
BitVector::reference | div (BitVector::reference x, Element y, Element z) const |
Division. More... | |
std::_Bit_reference | div (std::_Bit_reference x, Element y, Element z) const |
Division. More... | |
Element & | neg (Element &x, Element y) const |
Additive Inverse (Negation). More... | |
BitVector::reference | neg (BitVector::reference x, Element y) const |
Additive Inverse (Negation). More... | |
std::_Bit_reference | neg (std::_Bit_reference x, Element y) const |
Additive Inverse (Negation). More... | |
Element & | inv (Element &x, Element y) const |
Multiplicative Inverse. More... | |
BitVector::reference | inv (BitVector::reference x, Element y) const |
Multiplicative Inverse. More... | |
std::_Bit_reference | inv (std::_Bit_reference x, Element y) const |
Multiplicative Inverse. More... | |
BitVector::reference | axpy (BitVector::reference r, Element a, Element x, Element y) const |
Natural AXPY. More... | |
std::_Bit_reference | axpy (std::_Bit_reference r, Element a, Element x, Element y) const |
Natural AXPY. More... | |
Element & | axpy (Element &r, Element a, Element x, Element y) const |
Natural AXPY. More... | |
Input/Output Operations | |
std::ostream & | write (std::ostream &os) const |
Print field. More... | |
std::ostream & | write (std::ostream &os, Element x) const |
Print field base element. More... | |
std::istream & | read (std::istream &is) |
Read field. More... | |
std::istream & | read (std::istream &is, Element &x) const |
Read field base element. More... | |
std::istream & | read (std::istream &is, BitVector::reference x) const |
Read field base element. More... | |
std::istream & | read (std::istream &is, std::_Bit_reference x) const |
Read field base element. More... | |
Inplace Arithmetic Operations | |
x <- x op y; x <- op x | |
Element & | addin (Element &x, Element y) const |
Inplace Addition. More... | |
BitVector::reference | addin (BitVector::reference x, Element y) const |
Inplace Addition. More... | |
std::_Bit_reference | addin (std::_Bit_reference x, Element y) const |
Inplace Addition. More... | |
Element & | subin (Element &x, Element y) const |
Inplace Subtraction. More... | |
BitVector::reference | subin (BitVector::reference x, Element y) const |
Inplace Subtraction. More... | |
std::_Bit_reference | subin (std::_Bit_reference x, Element y) const |
Inplace Subtraction. More... | |
Element & | mulin (Element &x, Element y) const |
Inplace Multiplication. More... | |
BitVector::reference | mulin (BitVector::reference x, Element y) const |
Inplace Multiplication. More... | |
std::_Bit_reference | mulin (std::_Bit_reference x, Element y) const |
Inplace Multiplication. More... | |
Element & | divin (Element &x, Element y) const |
Inplace Division. More... | |
BitVector::reference | divin (BitVector::reference x, Element y) const |
Inplace Division. More... | |
std::_Bit_reference | divin (std::_Bit_reference x, Element y) const |
Inplace Division. More... | |
Element & | negin (Element &x) const |
Inplace Additive Inverse (Inplace Negation). More... | |
BitVector::reference | negin (BitVector::reference x) const |
Inplace Additive Inplace (Inplace Negation). More... | |
std::_Bit_reference | negin (std::_Bit_reference x) const |
Inplace Additive Inplace (Inplace Negation). More... | |
Element & | invin (Element &x) const |
Inplace Multiplicative Inverse. More... | |
BitVector::reference | invin (BitVector::reference x) const |
Inplace Multiplicative Inverse. More... | |
std::_Bit_reference | invin (std::_Bit_reference x) const |
Inplace Multiplicative Inverse. More... | |
Element & | axpyin (Element &r, Element a, Element x) const |
Inplace AXPY. More... | |
BitVector::reference | axpyin (BitVector::reference r, Element a, Element x) const |
Inplace AXPY. More... | |
std::_Bit_reference | axpyin (std::_Bit_reference r, Element a, Element x) const |
Inplace AXPY. More... | |
Element & | axpyin (Element &r, const std::_Bit_reference a, Element x) const |
Inplace AXPY. More... | |
std::_Bit_reference | axpyin (std::_Bit_reference r, const std::_Bit_reference a, Element x) const |
Inplace AXPY. More... | |
Element & | axpyin (Element &r, Element a, const std::_Bit_reference x) const |
Inplace AXPY. More... | |
std::_Bit_reference | axpyin (std::_Bit_reference r, Element a, const std::_Bit_reference x) const |
Inplace AXPY. More... | |
Element & | axpyin (Element &r, const std::_Bit_reference a, const std::_Bit_reference x) const |
Inplace AXPY. More... | |
std::_Bit_reference | axpyin (std::_Bit_reference r, const std::_Bit_reference a, const std::_Bit_reference x) const |
Inplace AXPY. More... | |
give LinBox fields an allure of Givaro Fields
This class adds the necessary requirements allowing the construction of an extension of a LinBox field.
|
inherited |
Random iterator generator type.
It must meet the common object interface of random element generators as given in the the archetype RandIterArchetype.
|
inlineinherited |
Initialization of field base element from an integer.
Behaves like C++ allocator construct. This function assumes the output field base element x has already been constructed, but that it is not already initialized. This is not a specialization of the template function because such a specialization is not allowed inside the class declaration.
x | field base element to contain output (reference returned). |
y | integer. |
Conversion of field base element to a template class T.
This function assumes the output field base element x has already been constructed, but that it is not already initialized.
x | template class T to contain output (reference returned). |
y | constant field base element. |
|
inlineinherited |
Assignment of one field base element to another.
This function assumes both field base elements have already been constructed and initialized.
x | field base element (reference returned). |
y | field base element. |
Cardinality.
Return integer representing cardinality of the domain. Returns a non-negative integer for all domains with finite cardinality, and returns -1 to signify a domain of infinite cardinality.
Characteristic.
Return integer representing characteristic of the domain. Returns a positive integer to all domains with finite characteristic, and returns 0 to signify a domain of infinite characteristic.
|
inlineinherited |
Equality of two elements.
This function assumes both field base elements have already been constructed and initialized.
x | field base element |
y | field base element |
|
inlineinherited |
Zero equality.
Test if field base element is equal to zero. This function assumes the field base element has already been constructed and initialized.
x | field base element. |
|
inlineinherited |
One equality.
Test if field base element is equal to one. This function assumes the field base element has already been constructed and initialized.
x | field base element. |
|
inlineinherited |
Print field.
os | output stream to which field is written. |
|
inlineinherited |
Print field base element.
This function assumes the field base element has already been constructed and initialized.
os | output stream to which field base element is written. |
x | field base element. |
|
inlineinherited |
Read field.
is | input stream from which field is read. |
|
inlineinherited |
Read field base element.
is | input stream from which field base element is read. |
x | field base element. |
|
inlineinherited |
Read field base element.
is | input stream |
x |
is
|
inlineinherited |
Read field base element.
is | input stream |
x |
is
|
inlineinherited |
Addition.
x = y + z This function assumes all the field base elements have already been constructed and initialized.
x | field base element (reference returned). |
y | field base element. |
z | field base element. |
|
inlineinherited |
Addition.
x | |
y | |
z |
|
inlineinherited |
Addition.
x | |
y | |
z |
|
inlineinherited |
Subtraction.
x = y - z This function assumes all the field base elements have already been constructed and initialized.
x | field base element (reference returned). |
y | field base element. |
z | field base element. |
|
inlineinherited |
Subtraction.
x | |
y | |
z |
|
inlineinherited |
Subtraction.
x | |
y | |
z |
|
inlineinherited |
Multiplication.
x = y * z This function assumes all the field base elements have already been constructed and initialized.
x | field base element (reference returned). |
y | field base element. |
z | field base element. |
|
inlineinherited |
Multiplication.
x | |
y | |
z |
|
inlineinherited |
Multiplication.
x | |
y | |
z |
|
inlineinherited |
Division.
x = y / z This function assumes all the field base elements have already been constructed and initialized.
x | field base element (reference returned). |
y | field base element. |
z | field base element. |
|
inlineinherited |
Division.
x | |
y | |
z |
|
inlineinherited |
Division.
x | |
y | |
z |
|
inlineinherited |
Additive Inverse (Negation).
x = - y This function assumes both field base elements have already been constructed and initialized.
x | field base element (reference returned). |
y | field base element. |
|
inlineinherited |
|
inlineinherited |
|
inlineinherited |
Multiplicative Inverse.
x = 1 / y This function assumes both field base elements have already been constructed and initialized.
x | field base element (reference returned). |
y | field base element. |
|
inlineinherited |
|
inlineinherited |
|
inlineinherited |
Natural AXPY.
r = a * x + y This function assumes all field elements have already been constructed and initialized.
r | field element (reference returned). |
a | field element. |
x | field element. |
y | field element. |
|
inlineinherited |
Natural AXPY.
r | |
a | |
x | |
y |
|
inlineinherited |
Natural AXPY.
r | |
a | |
x | |
y |
|
inlineinherited |
Inplace Addition.
x += y This function assumes both field base elements have already been constructed and initialized.
x | field base element (reference returned). |
y | field base element. |
|
inlineinherited |
Inplace Addition.
x | |
y |
|
inlineinherited |
Inplace Addition.
x | |
y |
|
inlineinherited |
Inplace Subtraction.
x -= y This function assumes both field base elements have already been constructed and initialized.
x | field base element (reference returned). |
y | field base element. |
|
inlineinherited |
Inplace Subtraction.
x | |
y |
|
inlineinherited |
Inplace Subtraction.
x | |
y |
|
inlineinherited |
Inplace Multiplication.
x *= y This function assumes both field base elements have already been constructed and initialized.
x | field base element (reference returned). |
y | field base element. |
|
inlineinherited |
Inplace Multiplication.
x | |
y |
|
inlineinherited |
Inplace Multiplication.
x | |
y |
|
inlineinherited |
Inplace Division.
x /= y This function assumes both field base elements have already been constructed and initialized.
x | field base element (reference returned). |
y | field base element. |
|
inlineinherited |
|
inlineinherited |
|
inlineinherited |
Inplace Additive Inverse (Inplace Negation).
x = - x This function assumes the field base element has already been constructed and initialized.
x | field base element (reference returned). |
|
inlineinherited |
|
inlineinherited |
|
inlineinherited |
Inplace Multiplicative Inverse.
x = 1 / x This function assumes the field base elementhas already been constructed and initialized.
x | field base element (reference returned). |
|
inlineinherited |
|
inlineinherited |
|
inlineinherited |
Inplace AXPY.
r += a * x This function assumes all field elements have already been constructed and initialized. Purely virtual
r | field element (reference returned). |
a | field element. |
x | field element. |
|
inlineinherited |
Inplace AXPY.
r | |
a | |
x |
|
inlineinherited |
Inplace AXPY.
r | |
a | |
x |
|
inlineinherited |
Inplace AXPY.
r | |
a | |
x |
|
inlineinherited |
Inplace AXPY.
r | |
a | |
x |
|
inlineinherited |
Inplace AXPY.
r | |
a | |
x |
|
inlineinherited |
Inplace AXPY.
r | |
a | |
x |
|
inlineinherited |
Inplace AXPY.
r | |
a | |
x |
|
inlineinherited |
Inplace AXPY.
r | |
a | |
x |