void dprtsv(double*,long,long,long,CHAR_INT,long,long,
	long);
void dsva(double*,long,long,long,long,double[],double[],
	long[],CHAR_INT,long,double[],double[]);
void dsvdrs(double*,long,long,long,double*,long,long,
	double[],double[]);