251 if (si_echo < 0 || si_echo > 9)
252 return "argument of option is not in valid range 0..9";
288 case FE_OPT_MIN_TIME:
291 if (
mintime <= 0)
return "invalid float argument";
299 case FE_OPT_TICKS_PER_SEC:
301 int ticks = (int) ((
long)(
feOptSpec[FE_OPT_TICKS_PER_SEC].
value));
303 return "integer argument must be larger than 0";
308 case FE_OPT_DUMP_VERSIONTUPLE:
315 #if __FLINT_RELEASE >= 20503
316 case FE_OPT_FLINT_THREADS:
319 nthreads = FLINT_MAX(nthreads, WORD(1));
320 flint_set_num_threads(nthreads);
321 int * cpu_affinities =
new int[nthreads];
322 for (
slong i = 0;
i < nthreads;
i++)
323 cpu_affinities[
i] = (
int)
i;
324 flint_set_thread_affinity(cpu_affinities, nthreads);
325 delete[] cpu_affinities;
void factoryseed(int s)
random seed initializer
const CanonicalForm int s
void feOptDumpVersionTuple(void)
void feOptHelp(const char *name)
static char * feResource(feResourceConfig config, int warn)
const char * feHelpBrowser(char *which, int warn)
char * fe_fgets_dummy(const char *, char *, int)
char *(* fe_fgets_stdin)(const char *pr, char *s, int size)
char * fe_fgets(const char *pr, char *s, int size)
void SetMinDisplayTime(double mtime)
STATIC_VAR double mintime
void SetTimerResolution(int res)