rand_cauchy 195 rand-test.c else if (strcmp(generator,"cauchy")==0) x = rand_cauchy(); rand_cauchy 51 rand.h double rand_cauchy (void); /* Cauchy centred at zero with unit width */