double local_min_rc ( double *a, double *b, int *status, double value );