#include <NTL/ZZ_p.h>
#include <NTL/vec_ZZ.h>
#include <NTL/vector.h>
typedef Vec<ZZ_p> vec_ZZ_p;
void mul(vec_ZZ_p& x, const vec_ZZ_p& a, const ZZ_p& b);
void mul(vec_ZZ_p& x, const vec_ZZ_p& a, long b);
void mul(vec_ZZ_p& x, const ZZ_p& a, const vec_ZZ_p& b);
void mul(vec_ZZ_p& x, long a, const vec_ZZ_p& b);
void add(vec_ZZ_p& x, const vec_ZZ_p& a, const vec_ZZ_p& b);
void sub(vec_ZZ_p& x, const vec_ZZ_p& a, const vec_ZZ_p& b);
void clear(vec_ZZ_p& x);
void negate(vec_ZZ_p& x, const vec_ZZ_p& a);
long IsZero(const vec_ZZ_p& a);
void InnerProduct(ZZ_p& x, const vec_ZZ_p& a, const vec_ZZ_p& b);
void InnerProduct(ZZ_p& x, const vec_ZZ_p& a, const vec_ZZ_p& b,
long offset);
void VectorCopy(vec_ZZ_p& x, const vec_ZZ_p& a, long n);
vec_ZZ_p VectorCopy(const vec_ZZ_p& a, long n);
void random(vec_ZZ_p& x, long n);
vec_ZZ_p random_vec_ZZ_p(long n);
vec_ZZ_p operator+(const vec_ZZ_p& a, const vec_ZZ_p& b);
vec_ZZ_p operator-(const vec_ZZ_p& a, const vec_ZZ_p& b);
vec_ZZ_p operator-(const vec_ZZ_p& a);
vec_ZZ_p operator*(const vec_ZZ_p& a, const ZZ_p& b);
vec_ZZ_p operator*(const vec_ZZ_p& a, long b);
vec_ZZ_p operator*(const ZZ_p& a, const vec_ZZ_p& b);
vec_ZZ_p operator*(long a, const vec_ZZ_p& b);
ZZ_p operator*(const vec_ZZ_p& a, const vec_ZZ_p& b);
vec_ZZ_p& operator+=(vec_ZZ_p& x, const vec_ZZ_p& a);
vec_ZZ_p& operator-=(vec_ZZ_p& x, const vec_ZZ_p& a);
vec_ZZ_p& operator*=(vec_ZZ_p& x, const ZZ_p& a);
vec_ZZ_p& operator*=(vec_ZZ_p& x, long a);