linbox
1
|
wrapper of Givaro's Montgomery<Std32>.This class is a modular representation with a Montgomery reduction More...
#include <givaro-montg.h>
Public Types | |
typedef Montgomery< Std32 >::Rep | Element |
typedef GIV_randIter < Montgomery< Std32 > , LinBox::integer > | RandIter |
Public Member Functions | |
GivaroMontg (const integer &p) | |
GivaroMontg (const integer &p, const integer &k) | |
integer & | characteristic (integer &c) const |
integer & | cardinality (integer &c) const |
Element & | init (Element &x, const integer &y=0) const |
integer & | convert (integer &x, const Element &y) const |
wrapper of Givaro's Montgomery<Std32>.
This class is a modular representation with a Montgomery reduction
typedef Montgomery<Std32>::Rep Element |
Element type. This type is inherited from the Givaro class Montgomery<Std32>
typedef GIV_randIter< Montgomery<Std32>, LinBox::integer > RandIter |
RandIter type This type is inherited from the Givaro class Montgomery<Std32>
GivaroMontg | ( | const integer & | p | ) | [inline] |
Constructor from an integer this constructor use the ZpzDom<TAG> constructor
GivaroMontg | ( | const integer & | p, |
const integer & | k | ||
) | [inline] |
Constructor from an integer (takes degree of extension as 2nd parameter, must be 1) this constructor use the ZpzDom<TAG> constructor
integer& characteristic | ( | integer & | c | ) | const [inline] |
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.
integer& cardinality | ( | integer & | c | ) | const [inline] |
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.
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. We assume that the type of Element is short int. this methos is just a simple cast.
x | field base Element to contain output (reference returned). |
y | integer. |
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. |