double dd7tpr(long,double[],double[]);
void dq7rfh(long*,long[],long,long,long,long,double*,
	double[],long,double[]);
double dr7mdc(long);
void ds7cpr(double[],long[],long,long);
void dv2axy(long,double[],double,double[],double[]);
double dv2nrm(long,double[]);
void dv7prm(long,long[],double[]);
void dv7scl(long,double[],double,double[]);
void dv7scp(long,double[],double);
void dv7swp(long,double[],double[]);