linbox  1
Static Public Member Functions
PIR_ntl_ZZ_p Class Reference

extend Wrapper of ZZ_p from NTL. Add PIR functions

  
More...

#include <PIR-ntl-ZZ_p.h>

Inherits UnparametricField< K >.

List of all members.

Static Public Member Functions

template<class Element2 >
static Element & init (Element &x, const Element2 &y)
 Init x from y.
static Element & init (Element &x, const Element &y)
 Init from a NTL::ZZ_p.
static Element & init (Element &x, const integer &y)
 I don't know how to init from integer.
static integerconvert (integer &x, const Element &y)
 Convert y to an Element.
static Element & assign (Element &x, const Element &y)
 x = y.
static bool areEqual (const Element &x, const Element &y)
 Test if x == y.
static bool isZero (const Element &x)
 Test if x == 0.
static bool isOne (const Element &x)
 Test if x == 1.
static Element & add (Element &x, const Element &y, const Element &z)
 return x = y + z
static Element & sub (Element &x, const Element &y, const Element &z)
 return x = y - z
template<class Int >
static Element & mul (Element &x, const Element &y, const Int &z)
 return x = y * z
static Element & div (Element &x, const Element &y, const Element &z)
 If exists a, such that a * z =y, return x = one of them. Otherwise, throw an exception.
static Element & inv (Element &x, const Element &y)
 If y is a unit, return x = 1 / y, otherwsie, throw an exception.
static Element & neg (Element &x, const Element &y)
 return x = -y;
template<class Int >
static Element & axpy (Element &r, const Element &a, const Int &x, const Element &y)
 return r = a x + y
static Element & addin (Element &x, const Element &y)
 return x += y;
static Element & subin (Element &x, const Element &y)
 return x -= y;
template<class Int >
static Element & mulin (Element &x, const Int &y)
 return x *= y;
static Element & divin (Element &x, const Element &y)
 If y divides x, return x /= y, otherwise throw an exception.
static Element & invin (Element &x)
 If x is a unit, x = 1 / x, otherwise, throw an exception.
static Element & negin (Element &x)
 return x = -x;
template<class Int >
static Element & axpyin (Element &r, const Element &a, const Int &x)
 return r += a x
static std::ostream & write (std::ostream &out, const Element &y)
 out << y;
static std::istream & read (std::istream &in, Element &x)
 read x from istream in
static bool isUnit (const Element &x)
 Test if x is a unit.
static Element & gcd (Element &g, const Element &a, const Element &b)
 return g = gcd (a, b)
static Element & gcdin (Element &g, const Element &b)
 return g = gcd (g, b)
static Element & xgcd (Element &g, Element &s, Element &t, const Element &a, const Element &b)
 g = gcd(a, b) = a*s + b*t. and gcd (s, t) is a unit.
static Element & dxgcd (Element &g, Element &s, Element &t, Element &a1, Element &b1, const Element &a, const Element &b)
 g = gcd(a, b) = a*s + b*t. and gcd (s, t) is a unit. s * a1 + t * b1 = a unit.
static bool isDivisor (const Element &a, const Element &b)
 Test if a | b.
static Element & normal (Element &a, const Element &b)
 a = normalization of b.
static Element & normalIn (Element &a)
 
      

Additional Inherited Members

- Public Types inherited from UnparametricField< K >
typedef K Element
typedef UnparametricRandIter< K > RandIter
 Type of random field element generators.
- Public Member Functions inherited from UnparametricField< K >
template<>
NTL::zz_p & init (NTL::zz_p &x, const integer &y) const
template<>
integerconvert (integer &x, const NTL::zz_p &y) const
template<>
integercardinality (integer &c) const
template<>
integercharacteristic (integer &c) const
template<>
NTL::zz_p & inv (NTL::zz_p &x, const NTL::zz_p &y) const
template<>
bool isZero (const NTL::zz_p &x) const
template<>
bool isOne (const NTL::zz_p &x) const
template<>
NTL::zz_p & invin (NTL::zz_p &x) const
template<>
std::ostream & write (std::ostream &os) const
template<>
std::ostream & write (std::ostream &os) const
template<>
std::ostream & write (std::ostream &os) const
 UnparametricField (integer q=0, size_t e=1)
 UnparametricField (const UnparametricField &F)
 construct this field as copy of F.
 ~UnparametricField ()
const UnparametricField & operator= (const UnparametricField &F) const
Element & init (Element &x, const integer &y=0) const
 x := y. Caution: it is via cast to long. Good candidate for specialization.
integerconvert (integer &x, const Element &y) const
 x := y. Caution: it is via cast to long. Good candidate for specialization.
double & convert (double &x, const Element &y) const
 x := y. Caution: it is via cast to long. Good candidate for specialization. –dpritcha
Element & assign (Element &x, const Element &y) const
integercardinality (integer &c) const
 c := cardinality of this field (-1 if infinite).
integercharacteristic (integer &c) const
 c := characteristic of this field (zero or prime).
bool areEqual (const Element &x, const Element &y) const
 x == y
bool isZero (const Element &x) const
 x == 0
bool isOne (const Element &x) const
 x == 1
Element & add (Element &x, const Element &y, const Element &z) const
 x := y + z
Element & sub (Element &x, const Element &y, const Element &z) const
 x := y - z
Element & mul (Element &x, const Element &y, const Element &z) const
 x := y*z
Element & div (Element &x, const Element &y, const Element &z) const
 x := y/z
Element & neg (Element &x, const Element &y) const
 x := -y
Element & inv (Element &x, const Element &y) const
 x := 1/y
Element & axpy (Element &z, const Element &a, const Element &x, const Element &y) const
 z := a*x + y
Element & addin (Element &x, const Element &y) const
 x := x + y
Element & subin (Element &x, const Element &y) const
 x := x - y
Element & mulin (Element &x, const Element &y) const
 x := x*y
Element & divin (Element &x, const Element &y) const
 x := x/y
Element & negin (Element &x) const
 x := -x
Element & invin (Element &x) const
 x := 1/x
Element & axpyin (Element &y, const Element &a, const Element &x) const
 y := a*x + y
std::ostream & write (std::ostream &os) const
std::istream & read (std::istream &is) const
std::ostream & write (std::ostream &os, const Element &x) const
std::istream & read (std::istream &is, Element &x) const
 UnparametricField (const K &A)
 Default constructor.
const K & operator() (void) const
K & operator() (void)
template<>
NTL::RR & init (NTL::RR &x, const integer &y) const
template<>
integerconvert (integer &x, const NTL::RR &y) const
template<>
NTL::RR & inv (NTL::RR &x, const NTL::RR &y) const
template<>
bool isZero (const NTL::RR &x) const
template<>
bool isOne (const NTL::RR &x) const
template<>
NTL::RR & invin (NTL::RR &x) const
template<>
std::ostream & write (std::ostream &os) const
template<>
 UnparametricField (integer q, size_t e)
template<>
NTL::ZZ_p & init (NTL::ZZ_p &x, const integer &y) const
template<>
integerconvert (integer &x, const NTL::ZZ_p &y) const
template<>
integercardinality (integer &c) const
template<>
integercharacteristic (integer &c) const
template<>
NTL::ZZ_p & inv (NTL::ZZ_p &x, const NTL::ZZ_p &y) const
template<>
bool isZero (const NTL::ZZ_p &x) const
template<>
bool isOne (const NTL::ZZ_p &x) const
template<>
NTL::ZZ_p & invin (NTL::ZZ_p &x) const
template<>
std::ostream & write (std::ostream &os) const

Detailed Description

extend Wrapper of ZZ_p from NTL. Add PIR functions

  

Member Function Documentation

static bool isUnit ( const Element &  x)
inlinestatic

Test if x is a unit.

some PIR function


The documentation for this class was generated from the following file: