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. | |
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
Characteristic.
Return integer representing characteristic of the domain.
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. |