linbox

long ints modulo a positive integer. More...
#include <ntllzz_p.h>
Public Member Functions  
integer &  cardinality (integer &c) const 
Cardinality. More...  
integer &  characteristic (integer &c) const 
Characteristic. More...  
Element &  inv (Element &x, const Element &y) const 
Multiplicative Inverse. More...  
bool  isZero (const Element &x) const 
Zero equality. More...  
bool  isOne (const Element &x) const 
One equality. More...  
bool  isMOne (const Element &x) const 
MOne equality. More...  
Element &  invin (Element &x) const 
Inplace Multiplicative Inverse. More...  
std::ostream &  write (std::ostream &os) const 
Print field. More...  
long ints modulo a positive integer.
While NTL allows any int to serve as the modulus, only prime moduli yield fields. The primality of the modulus will not be checked, so it is the programmer's responsibility to supply a prime modulus if a field is wanted. These specializations allow the Givaro::ZRing template class to be used to wrap NTL's zz_p
class as a LinBox field. Uses nice trick for mod p via floating point.
Cardinality.
Return integer representing cardinality of the field. Returns the modulus of the field, which should be prime.
Characteristic.
Return integer representing characteristic of the field. Returns the modulus of the field, which should be prime.

inline 
Multiplicative Inverse.
x = 1 / y This function assumes both field elements have already been constructed and initialized.
x  field element (reference returned). 
y  field element. 

inline 
Zero equality.
Test if field element is equal to zero. This function assumes the field element has already been constructed and initialized. In this specialization, NTL's IsZero function is called.
x  field element. 

inline 
One equality.
Test if field element is equal to one. This function assumes the field element has already been constructed and initialized. In this specialization, NTL's IsOne function is called.
x  field element. 

inline 
MOne equality.
Test if field element is equal to one. This function assumes the field element has already been constructed and initialized. In this specialization, NTL's IsMOne function is called.
x  field element. 

inline 
Inplace Multiplicative Inverse.
x = 1 / x This function assumes both field elements have already been constructed and initialized.
x  field element (reference returned). 

inline 
Print field.
os  output stream to which field is written. 