void dvecp(double[],long,STRING);
void dwdif(long,double[],double[],double[]);
void dwexp(long,double[],double[]);
void dwlog(long,double[],double[]);
void dwpro1(long,double,double[],double[]);
void dwset(long,double,double,double[]);
void dwsqrt(long,double[],double[]);