static void mps_context_init (mps_context * s) { mpf_t test; /* Set default streams */ s->instr = stdin; s->outstr = stdout; s->logstr = stdout; /* Allocate space for the configurations */ s->input_config = (mps_input_configuration*)mps_malloc (sizeof(mps_input_configuration)); s->output_config = (mps_output_configuration*)mps_malloc (sizeof(mps_output_configuration)); mps_set_default_values (s); /* Find minimum GMP supported precision */ mpf_init2 (test, 1); s->minimum_gmp_precision = mpf_get_prec (test); mpf_clear (test); /* Set standard precision */ s->output_config->prec = (int)(0.9 * DBL_DIG * LOG2_10); MPS_DEBUG (s, "Setting prec_out to %ld digits", s->output_config->prec); mps_mp_set_prec (s, DBL_DIG * LOG2_10 + 1); s->initialized = false; s->exit_required = false; }
void mps_context_init (mps_context * s) { /* Set default streams */ s->instr = stdin; s->outstr = stdout; s->logstr = stdout; /* Allocate space for the configurations */ s->input_config = (mps_input_configuration *) mps_malloc (sizeof (mps_input_configuration)); s->output_config = (mps_output_configuration *) mps_malloc (sizeof (mps_output_configuration)); mps_set_default_values (s); /* Set standard precision */ s->output_config->prec = (int) (0.9 * DBL_DIG * LOG2_10); MPS_DEBUG (s, "Setting prec_out to %ld digits", s->output_config->prec); mps_mp_set_prec (s, DBL_DIG * LOG2_10 + 1); s->initialized = false; }