linbox
|
wrapper of Givaro's ZpzDom. More...
#include <givaro-zpz.h>
Public Types | |
typedef Givaro::ZpzDom< TAG >::Rep | Element |
Element type. | |
typedef Givaro::GIV_randIter < Givaro::ZpzDom< TAG > , integer > | RandIter |
RandIter type This type is inherited from the Givaro class Givaro::ZpzDom<TAG> | |
Public Member Functions | |
GivaroZpz (const integer &p) | |
Constructor from an integer this constructor use the Givaro::ZpzDom<TAG> constructor. | |
GivaroZpz (const integer &p, const integer &k) | |
Constructor from an integer (takes degree of extension as 2nd parameter, must be 1) this constructor use the Givaro::ZpzDom<TAG> constructor. | |
GivaroZpz (const GivaroZpz< TAG > &F) | |
Copy constructor. | |
integer & | characteristic (integer &c) const |
Characteristic. | |
integer & | cardinality (integer &c) const |
Cardinality. | |
integer & | convert (integer &x, const Element &y) const |
Conversion of field base element to an integer. | |
Element & | init (Element &x, const integer &y=0) const |
Initialization of field base element from an integer. | |
template<> | |
integer & | convert (integer &x, const Element &y) const |
wrapper of Givaro's ZpzDom.
Most methods are inherited from Givaro::ZpzDom< Givaro::Std16>, Givaro::ZpzDom< Givaro::Std32> and Givaro::ZpzDom<log16> classes of Givaro. These classes allow to construct only finite field with a prime modulus.
typedef Givaro::ZpzDom<TAG>::Rep Element |
Element type.
This type is inherited from the Givaro class Givaro::ZpzDom<TAG>
Copy constructor.
This copy constructor use the Givaro::ZpzDom<TAG> copy constructor
integer& characteristic | ( | integer & | c | ) | const [inline] |
Characteristic.
Return integer representing characteristic of the domain.
integer& cardinality | ( | integer & | c | ) | const [inline] |
Cardinality.
Return integer representing cardinality of the domain.
Conversion of field base element to an integer.
This function assumes the output field base element x has already been constructed, but that it is not already initialized.
x | integer to contain output (reference returned). |
y | constant field base element. |
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.
x | field base element to contain output (reference returned). |
y | integer. |
this function translates the internal representation to the real value of the element. This can have no sense but can be usefull NB : the init function for this specialisation does the same thing. the function transaltes the values to her internal representation.