13#include "factory/factory.h"
15#define FE_OPT_STRUCTURE
18#if !defined(GENERATE_OPTION_INDEX) && !defined(ESINGULAR) && !defined(TSINGULAR)
26#include <flint/flint.h>
35#ifdef GENERATE_OPTION_INDEX
45#elif defined(TSINGULAR)
67 else if (*
name >= 97 && *
name <= 122)
85 fprintf(
fd,
"FE_OPT_UNDEF\n} feOptIndex;\n");
88 rename(
"feOptES.xx",
"feOptES.inc");
89#elif defined(TSINGULAR)
90 rename(
"feOptTS.xx",
"feOptTS.inc");
92 rename(
"feOpt.xx",
"feOpt.inc");
139#if !defined(ESINGULAR) && !defined(TSINGULAR)
166 if (
errno)
return "invalid integer argument";
195 return "option value needs to be an integer";
252 return "argument of option is not in valid range 0..9";
291 if (
mintime <= 0)
return "invalid float argument";
303 return "integer argument must be larger than 0";
318 #if __FLINT_RELEASE >= 20503
322 for (
slong i = 0;
i < nthreads;
i++)
330 #if NTL_MAJOR_VERSION>=10
331 #ifdef NTL_THREAD_BOOST
383#if defined(ESINGULAR)
384 printf(
"ESingular starts up Singular within emacs;\n");
385#elif defined(TSINGULAR)
386 printf(
"TSingular starts up Singular within a terminal window;\n");
388 printf(
"Singular is a Computer Algebra System (CAS) for Polynomial Computations.\n");
389 printf(
"Usage: %s [options] [file1 [file2 ...]]\n",
name);
407 printf(
" %c%c --%-20s %s\n",
415 printf(
" %c%c --%-20s %s\n",
425 printf(
"\nFor more information, type `help;' from within Singular or visit\n");
426 printf(
"https://www.singular.uni-kl.de or consult the\n");
427 printf(
"Singular manual (available as on-line info or html manual).\n");
void factoryseed(int s)
random seed initializer
const CanonicalForm int s
char name(const Variable &v)
#define LONG_OPTION_RETURN
const char SHORT_OPTS_STRING[]
feOptIndex feGetOptIndex(const char *name)
const char * feSetOptValue(feOptIndex opt, char *optarg)
static const char * feOptAction(feOptIndex opt)
void feOptDumpVersionTuple(void)
void feOptHelp(const char *name)
EXTERN_VAR struct fe_option feOptSpec[]
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)