203{
204
206 {
211
215
219
223 else
226
231
233 #ifdef HAVE_SDB
236 else
238 #endif
240
242 {
247 }
248
252 return "argument of option is not in valid range 0..9";
254
261
264 {
265
266
271 }
273
277 else
280
284 else
287
289 {
291 if (
mintime <= 0)
return "invalid float argument";
294 }
295
298
300 {
303 return "integer argument must be larger than 0";
306 }
307
309 {
312 }
313
315 {
317 #ifdef HAVE_FLINT
318 #if __FLINT_RELEASE >= 20503
322 for (
slong i = 0;
i < nthreads;
i++)
327 #endif
328 #endif
329 #ifdef HAVE_NTL
330 #if NTL_MAJOR_VERSION>=10
331 #ifdef NTL_THREAD_BOOST
333 #endif
334 #endif
335 #endif
336 }
337
338 default:
340 }
341}
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)