double ddot(long,double[],long,double[],long);