Functions
tesths.cc File Reference
#include <kernel/mod2.h>
#include <omalloc/omalloc.h>
#include <misc/options.h>
#include <factory/factory.h>
#include <kernel/oswrapper/feread.h>
#include <Singular/fevoices.h>
#include <kernel/oswrapper/timer.h>
#include "ipshell.h"
#include "cntrlc.h"
#include "links/silink.h"
#include "ipid.h"
#include "sdb.h"
#include "feOpt.h"
#include "distrib.h"
#include "mmalloc.h"
#include "tok.h"
#include "fegetopt.h"
#include <Singular/countedref.h>
#include <Singular/pyobject_setup.h>
#include <unistd.h>
#include <string.h>
#include <stddef.h>
#include <stdlib.h>
#include <time.h>
#include <errno.h>

Go to the source code of this file.

Functions

int siInit (char *)
 
int mmInit (void)
 
int main (int argc, char **argv)
 

Function Documentation

◆ main()

int main ( int  argc,
char **  argv 
)

Definition at line 68 of file tesths.cc.

71 {
72  mmInit();
73  // Don't worry: ifdef OM_NDEBUG, then all these calls are undef'ed
74  omInitRet_2_Info(argv[0]);
76 
77  siInit(argv[0]);
78  init_signals();
79 
80  // parse command line options
81  int optc, option_index;
82  const char* errormsg;
83  while((optc = fe_getopt_long(argc, argv,
84  SHORT_OPTS_STRING, feOptSpec, &option_index))
85  != EOF)
86  {
87  if (optc == '?' || optc == 0)
88  {
89  fprintf(stderr, "Use '%s --help' for a complete list of options\n", feArgv0);
90  exit(1);
91  }
92 
93  if (optc != LONG_OPTION_RETURN)
94  option_index = feGetOptIndex(optc);
95 
96  assume(option_index >= 0 && option_index < (int) FE_OPT_UNDEF);
97 
98  if (fe_optarg == NULL &&
99  (feOptSpec[option_index].type == feOptBool ||
100  feOptSpec[option_index].has_arg == optional_argument))
101  errormsg = feSetOptValue((feOptIndex) option_index, (int) 1);
102  else
103  errormsg = feSetOptValue((feOptIndex) option_index, fe_optarg);
104 
105  if (errormsg)
106  {
107  if (fe_optarg == NULL)
108  fprintf(stderr, "Error: Option '--%s' %s\n",
109  feOptSpec[option_index].name, errormsg);
110  else
111  fprintf(stderr, "Error: Option '--%s=%s' %s\n",
112  feOptSpec[option_index].name, fe_optarg, errormsg);
113  fprintf(stderr, "Use '%s --help' for a complete list of options\n", feArgv0);
114  exit(1);
115  }
116  if (optc == 'h') exit(0);
117  switch(option_index)
118  {
119  case FE_OPT_DUMP_VERSIONTUPLE:
120  exit(0);
121  break;
122  default: ;
123  }
124  }
125 
126  /* say hello */
127 
128  if (TEST_V_QUIET)
129  {
130  (printf)(
131 " SINGULAR /"
132 #ifndef MAKE_DISTRIBUTION
133 " Development"
134 #endif
135 "\n"
136 " A Computer Algebra System for Polynomial Computations / version %s\n"
137 " 0<\n"
138 " by: W. Decker, G.-M. Greuel, G. Pfister, H. Schoenemann \\ %s\n"
139 "FB Mathematik der Universitaet, D-67653 Kaiserslautern \\\n"
140 , VERSION, VERSION_DATE);
141  if (feOptValue(FE_OPT_NO_SHELL)) Warn("running in restricted mode:"
142  " shell invocation and links are disallowed");
143  }
144  else
145  {
146  if (feOptValue(FE_OPT_SORT)) On(SW_USE_NTL_SORT);
147  dup2(1,2);
148  /* alternative:
149  * memcpy(stderr,stdout,sizeof(FILE));
150  */
151  }
152 
153 #ifdef SINGULAR_PYOBJECT_SETUP_H
154  pyobject_setup();
155 #endif
156 #ifdef SI_COUNTEDREF_AUTOLOAD
157  countedref_init();
158 #endif
159  errorreported = 0;
160 
161  // -- example for "static" modules ------
162  //load_builtin("huhu.so",FALSE,(SModulFunc_t)huhu_mod_init);
163  //module_help_main("huhu.so","Help for huhu\nhaha\n");
164  //module_help_proc("huhu.so","p","Help for huhu::p\nhaha\n");
165  setjmp(si_start_jmpbuf);
166 
167  // Now, put things on the stack of stuff to do
168  // Last thing to do is to execute given scripts
169  if (fe_optind < argc)
170  {
171  int i = argc - 1;
172  FILE *fd;
173  while (i >= fe_optind)
174  {
175  if ((fd = feFopen(argv[i], "r")) == NULL)
176  {
177  Warn("Can not open %s", argv[i]);
178  }
179  else
180  {
181  fclose(fd);
182  newFile(argv[i]);
183  }
184  i--;
185  }
186  }
187  else
188  {
190  }
191 
192  // before scripts, we execute -c, if it was given
193  if (feOptValue(FE_OPT_EXECUTE) != NULL)
194  newBuffer(omStrDup((char*) feOptValue(FE_OPT_EXECUTE)), BT_execute);
195 
196  // first thing, however, is to load .singularrc from Singularpath
197  // and cwd/$HOME (in that order).
198  if (! feOptValue(FE_OPT_NO_RC))
199  {
200  char buf[MAXPATHLEN];
201  FILE * rc = feFopen("." DIR_SEPP ".singularrc", "r", buf);
202  if (rc == NULL) rc = feFopen("~" DIR_SEPP ".singularrc", "r", buf);
203  if (rc == NULL) rc = feFopen(".singularrc", "r", buf);
204 
205  if (rc != NULL)
206  {
207  if (BVERBOSE(V_LOAD_LIB))
208  Print("// ** executing %s\n", buf);
209  fclose(rc);
210  newFile(buf);
211  }
212  }
213 
214  /* start shell */
216  {
218  char *linkname=(char*) feOptValue(FE_OPT_LINK);
219  if((linkname!=NULL)&&(strcmp(linkname,"ssi")==0))
220  {
221  return ssiBatch((char*) feOptValue(FE_OPT_MPHOST),(char*) feOptValue(FE_OPT_MPPORT));
222  //Print("batch: p:%s, h:%s\n",(char*) feOptValue(FE_OPT_MPPORT),(char*) feOptValue(FE_OPT_MPHOST));
223  //exit(0);
224  }
225  else
226  {
227  Print("** missing arguments: -b requires --link/--MPhost/--MPport\n");
228  return 1;
229  }
230  }
231  setjmp(si_start_jmpbuf);
232  yyparse();
233  m2_end(0);
234  return 0;
235 }
feOptIndex
Definition: feOptGen.h:15
jmp_buf si_start_jmpbuf
Definition: cntrlc.cc:101
int status int fd
Definition: si_signals.h:59
#define TEST_V_QUIET
Definition: options.h:127
#define optional_argument
Definition: fegetopt.h:101
char *(* fe_fgets_stdin)(const char *pr, char *s, int size)
Definition: feread.cc:34
void pyobject_setup()
initialize blackbox support for pyobject; functionilty os autoloaded on demand
#define MAXPATHLEN
Definition: omRet2Info.c:22
#define Print
Definition: emacs.cc:83
char * fe_optarg
Definition: fegetopt.c:96
static void * feOptValue(feOptIndex opt)
Definition: feOpt.h:40
#define omInitGetBackTrace()
#define V_LOAD_LIB
Definition: options.h:45
void omInitRet_2_Info(const char *argv0)
Definition: omRet2Info.c:34
char * fe_fgets_dummy(const char *, char *, int)
Definition: feread.cc:451
void m2_end(int i)
Definition: misc_ip.cc:1074
static const int SW_USE_NTL_SORT
set to 1 to sort factors in a factorization
Definition: cf_defs.h:36
#define TRUE
Definition: auxiliary.h:98
const char * feSetOptValue(feOptIndex opt, char *optarg)
Definition: feOpt.cc:153
int fe_getopt_long(int argc, char *const *argv, const char *options, const struct fe_option *long_options, int *opt_index)
Definition: fegetopt.c:666
BOOLEAN singular_in_batchmode
Definition: cntrlc.cc:71
Voice * feInitStdin(Voice *pp)
Definition: fevoices.cc:669
#define assume(x)
Definition: mod2.h:394
int mmInit(void)
Definition: tesths.cc:54
int status int void * buf
Definition: si_signals.h:59
struct fe_option feOptSpec[]
int siInit(char *)
Definition: misc_ip.cc:1221
void On(int sw)
switches
#define DIR_SEPP
Definition: feResource.h:7
FILE * feFopen(const char *path, const char *mode, char *where, short useWerror, short path_only)
Definition: feFopen.cc:47
void countedref_init()
Definition: countedref.h:458
int i
Definition: cfEzgcd.cc:123
char name(const Variable &v)
Definition: factory.h:178
int yyparse(void)
Definition: grammar.cc:2101
short errorreported
Definition: feFopen.cc:23
char * feArgv0
Definition: feResource.cc:19
#define BVERBOSE(a)
Definition: options.h:33
#define NULL
Definition: omList.c:10
#define VERSION
Definition: mod2.h:16
#define LONG_OPTION_RETURN
Definition: feOptTab.h:4
Voice * currentVoice
Definition: fevoices.cc:57
void init_signals()
Definition: cntrlc.cc:572
void newBuffer(char *s, feBufferTypes t, procinfo *pi, int lineno)
Definition: fevoices.cc:171
BOOLEAN newFile(char *fname, FILE *f)
Definition: fevoices.cc:129
feOptIndex feGetOptIndex(const char *name)
Definition: feOpt.cc:104
int fe_optind
Definition: fegetopt.c:111
const char SHORT_OPTS_STRING[]
Definition: feOpt.cc:29
#define Warn
Definition: emacs.cc:80
#define omStrDup(s)
Definition: omAllocDecl.h:263

◆ mmInit()

int mmInit ( void  )

Definition at line 54 of file tesths.cc.

55 {
56 #if defined(OMALLOC_USES_MALLOC) || defined(X_OMALLOC)
57  /* in mmstd.c, for some architectures freeSize() unconditionally uses the *system* free() */
58  /* sage ticket 5344: http://trac.sagemath.org/sage_trac/ticket/5344 */
59  /* do not rely on the default in Singular as libsingular may be different */
60  mp_set_memory_functions(omMallocFunc,omReallocSizeFunc,omFreeSizeFunc);
61 #else
62  mp_set_memory_functions(malloc,reallocSize,freeSize);
63 #endif
64  return 1;
65 }
void omFreeSizeFunc(void *addr, size_t size)
void * omReallocSizeFunc(void *old_addr, size_t old_size, size_t new_size)
void * malloc(size_t size)
Definition: omalloc.c:92
#define freeSize
Definition: omAllocFunc.c:13
#define reallocSize
Definition: omAllocFunc.c:15
void * omMallocFunc(size_t size)

◆ siInit()

int siInit ( char *  )

Definition at line 1221 of file misc_ip.cc.

1222 {
1223 // factory default settings: -----------------------------------------------
1224  On(SW_USE_EZGCD);
1226  //On(SW_USE_FF_MOD_GCD);
1227  On(SW_USE_EZGCD_P);
1228  On(SW_USE_QGCD);
1229  Off(SW_USE_NTL_SORT); // may be changed by an command line option
1231 
1232 // memory initialization: -----------------------------------------------
1233  om_Opts.OutOfMemoryFunc = omSingOutOfMemoryFunc;
1234 #ifndef OM_NDEBUG
1235 #ifndef __OPTIMIZE__
1236  om_Opts.ErrorHook = dErrorBreak;
1237 #else
1238  om_Opts.Keep = 0; /* !OM_NDEBUG, __OPTIMIZE__*/
1239 #endif
1240 #else
1241  om_Opts.Keep = 0; /* OM_NDEBUG */
1242 #endif
1243  omInitInfo();
1244 
1245 // options ---------------------------------------------------------------
1246  si_opt_1=0;
1247 // interpreter tables etc.: -----------------------------------------------
1248  memset(&sLastPrinted,0,sizeof(sleftv));
1250 
1251  extern int iiInitArithmetic(); iiInitArithmetic(); // iparith.cc
1252 
1253  basePack=(package)omAlloc0(sizeof(*basePack));
1255  idhdl h;
1256  h=enterid("Top", 0, PACKAGE_CMD, &IDROOT, TRUE);
1257  IDPACKAGE(h)=basePack;
1258  IDPACKAGE(h)->language = LANG_TOP;
1259  currPackHdl=h;
1260  basePackHdl=h;
1261 
1262  coeffs_BIGINT = nInitChar(n_Q,(void*)1);
1263 
1264 #if 1
1265  // def HAVE_POLYEXTENSIONS
1266  if(TRUE)
1267  {
1268  n_coeffType type;
1269  #ifdef SINGULAR_4_2
1270  type = nRegister(n_polyExt, n2pInitChar);
1271  assume(type == n_polyExt);
1272  #endif
1273 
1274  type = nRegister(n_algExt, naInitChar);
1275  assume(type == n_algExt);
1276 
1277  type = nRegister(n_transExt, ntInitChar);
1278  assume(type == n_transExt);
1279 
1280  (void)type;
1281  }
1282 #endif
1283 
1284 // random generator: -----------------------------------------------
1285  int t=initTimer();
1286  if (t==0) t=1;
1287  initRTimer();
1288  siSeed=t;
1289  factoryseed(t);
1290  siRandomStart=t;
1291  feOptSpec[FE_OPT_RANDOM].value = (void*) ((long)siRandomStart);
1292 
1293 // ressource table: ----------------------------------------------------
1294  // Don't worry: ifdef OM_NDEBUG, then all these calls are undef'ed
1295  // hack such that all shared' libs in the bindir are loaded correctly
1297 
1298 // singular links: --------------------------------------------------
1299  slStandardInit();
1300  myynest=0;
1301 // semapohore 0 -----------------------------------------------------
1302  int cpus=2;
1303  int cpu_n;
1304  #ifdef _SC_NPROCESSORS_ONLN
1305  if ((cpu_n=sysconf(_SC_NPROCESSORS_ONLN))>cpus) cpus=cpu_n;
1306  #elif defined(_SC_NPROCESSORS_CONF)
1307  if ((cpu_n=sysconf(_SC_NPROCESSORS_CONF))>cpus) cpus=cpu_n;
1308  #endif
1309  feSetOptValue(FE_OPT_CPUS, cpus);
1310 
1311 // default coeffs
1312  {
1313  idhdl h;
1314  h=enterid(omStrDup("QQ"),0/*level*/, CRING_CMD,&(basePack->idroot),FALSE /*init*/,FALSE /*search*/);
1315  IDDATA(h)=(char*)nInitChar(n_Q,NULL);
1316  h=enterid(omStrDup("ZZ"),0/*level*/, CRING_CMD,&(basePack->idroot),FALSE /*init*/,FALSE /*search*/);
1317  IDDATA(h)=(char*)nInitChar(n_Z,NULL);
1318  //h=enterid(omStrDup("RR"),0/*level*/, CRING_CMD,&(basePack->idroot),FALSE /*init*/,FALSE /*search*/);
1319  //IDDATA(h)=(char*)nInitChar(n_R,NULL);
1320  //h=enterid(omStrDup("CC"),0/*level*/, CRING_CMD,&(basePack->idroot),FALSE /*init*/,FALSE /*search*/);
1321  //IDDATA(h)=(char*)nInitChar(n_long_C,NULL);
1322  n_coeffType t;
1323 #ifdef SINGULAR_4_2
1324  t=nRegister(n_unknown,n_AEInitChar);
1325  if (t!=n_unknown)
1326  {
1327  h=enterid(omStrDup("AE"),0/*level*/, CRING_CMD,&(basePack->idroot),FALSE /*init*/,FALSE /*search*/);
1328  IDDATA(h)=(char*)nInitChar(t,NULL);
1329  }
1330  t=nRegister(n_unknown,n_QAEInitChar);
1331  if (t!=n_unknown)
1332  {
1333  h=enterid(omStrDup("QAE"),0/*level*/, CRING_CMD,&(basePack->idroot),FALSE /*init*/,FALSE /*search*/);
1334  IDDATA(h)=(char*)nInitChar(t,NULL);
1335  }
1336  n_pAE=nRegister(n_unknown,n_pAEInitChar);
1337  if (n_pAE!=n_unknown)
1338  {
1339  iiAddCproc("kernel","pAE",FALSE,ii_pAE_init);
1340  }
1341 #endif
1342  #ifdef HAVE_FLINT
1344  if (t!=n_unknown)
1345  {
1346  h=enterid(omStrDup("flint_poly_Q"),0/*level*/, CRING_CMD,&(basePack->idroot),FALSE /*init*/,FALSE /*search*/);
1347  IDDATA(h)=(char*)nInitChar(t,NULL);
1348  }
1350  if (n_FlintZn!=n_unknown)
1351  {
1352  iiAddCproc("kernel","flintZ",FALSE,ii_FlintZn_init);
1353  }
1354  #endif
1355  }
1356 // setting routines for PLURAL QRINGS:
1357 // allowing to use libpolys without libSingular(kStd)
1358 #ifdef HAVE_PLURAL
1359  nc_NF=k_NF;
1365 #endif
1366 // loading standard.lib -----------------------------------------------
1367  if (! feOptValue(FE_OPT_NO_STDLIB))
1368  {
1369  BITSET save1,save2;
1370  SI_SAVE_OPT(save1,save2);
1371  si_opt_2 &= ~Sy_bit(V_LOAD_LIB);
1372  iiLibCmd(omStrDup("standard.lib"), TRUE,TRUE,TRUE);
1373  SI_RESTORE_OPT(save1,save2);
1374  }
1375  errorreported = 0;
1376 }
BBA_Proc sca_mora
Definition: old.gring.cc:75
int iiInitArithmetic()
initialisation of arithmetic structured data
Definition: iparith.cc:8937
BOOLEAN flintQ_InitChar(coeffs cf, void *infoStruct)
Definition: flintcf_Q.cc:560
poly k_NF(ideal F, ideal Q, poly p, int syzComp, int lazyReduce, const ring _currRing)
NOTE: this is just a wrapper which sets currRing for the actual kNF call.
Definition: kstd1.cc:3164
ip_package * package
Definition: structs.h:46
void omSingOutOfMemoryFunc()
Definition: misc_ip.cc:1169
unsigned si_opt_1
Definition: options.c:5
void factoryseed(int s)
random seed initializer
Definition: cf_random.cc:176
Class used for (list of) interpreter objects.
Definition: subexpr.h:82
ideal k_gnc_gr_bba(const ideal F, const ideal Q, const intvec *, const intvec *, kStrategy strat, const ring _currRing)
Definition: gr_kstd2.cc:1055
ideal k_sca_bba(const ideal F, const ideal Q, const intvec *, const intvec *, kStrategy strat, const ring _currRing)
Modified modern Sinuglar Buchberger&#39;s algorithm.
Definition: sca.cc:374
ideal k_sca_gr_bba(const ideal F, const ideal Q, const intvec *, const intvec *, kStrategy strat, const ring _currRing)
Modified Plural&#39;s Buchberger&#39;s algorithmus.
Definition: sca.cc:100
static void * feOptValue(feOptIndex opt)
Definition: feOpt.h:40
void Off(int sw)
switches
idhdl currPackHdl
Definition: ipid.cc:61
BOOLEAN naInitChar(coeffs cf, void *infoStruct)
Initialize the coeffs object.
Definition: algext.cc:1406
ideal k_sca_mora(const ideal F, const ideal Q, const intvec *, const intvec *, kStrategy strat, const ring _currRing)
Modified modern Sinuglar Mora&#39;s algorithm.
Definition: sca.cc:896
used for all transcendental extensions, i.e., the top-most extension in an extension tower is transce...
Definition: coeffs.h:39
#define FALSE
Definition: auxiliary.h:94
static n_coeffType n_FlintZn
Definition: misc_ip.cc:1197
#define V_LOAD_LIB
Definition: options.h:45
static const int SW_USE_EZGCD_P
set to 1 to use EZGCD over F_q
Definition: cf_defs.h:34
rational (GMP) numbers
Definition: coeffs.h:31
#define IDROOT
Definition: ipid.h:20
int siRandomStart
Definition: cntrlc.cc:102
static const int SW_USE_NTL_SORT
set to 1 to sort factors in a factorization
Definition: cf_defs.h:36
#define TRUE
Definition: auxiliary.h:98
void * value
Definition: fegetopt.h:93
const char * feSetOptValue(feOptIndex opt, char *optarg)
Definition: feOpt.cc:153
void feInitResources(const char *argv0)
Definition: feResource.cc:170
void WerrorS(const char *s)
Definition: feFopen.cc:24
void initRTimer()
Definition: timer.cc:158
idhdl basePackHdl
Definition: ipid.cc:62
#define BITSET
Definition: structs.h:18
coeffs coeffs_BIGINT
Definition: ipid.cc:54
#define Sy_bit(x)
Definition: options.h:30
BOOLEAN iiLibCmd(char *newlib, BOOLEAN autoexport, BOOLEAN tellerror, BOOLEAN force)
Definition: iplib.cc:844
BOOLEAN n2pInitChar(coeffs cf, void *infoStruct)
Definition: algext.cc:1691
Definition: idrec.h:34
omOpts_t om_Opts
Definition: omOpts.c:11
BBA_Proc gnc_gr_bba
Definition: old.gring.cc:72
#define IDPACKAGE(a)
Definition: ipid.h:136
int myynest
Definition: febase.cc:46
idhdl enterid(const char *s, int lev, int t, idhdl *root, BOOLEAN init, BOOLEAN search)
Definition: ipid.cc:258
Definition: tok.h:56
#define SI_RESTORE_OPT(A, B)
Definition: options.h:22
void omInitInfo()
Definition: omStats.c:17
n_coeffType nRegister(n_coeffType n, cfInitCharProc p)
Definition: numbers.cc:533
BBA_Proc sca_bba
Definition: old.gring.cc:74
BBA_Proc gnc_gr_mora
Definition: old.gring.cc:73
#define assume(x)
Definition: mod2.h:394
static BOOLEAN ii_FlintZn_init(leftv res, leftv a)
Definition: misc_ip.cc:1198
struct fe_option feOptSpec[]
only used if HAVE_RINGS is defined
Definition: coeffs.h:43
void On(int sw)
switches
ideal k_gnc_gr_mora(const ideal F, const ideal Q, const intvec *, const intvec *, kStrategy strat, const ring _currRing)
Definition: gr_kstd2.cc:1317
char name(const Variable &v)
Definition: factory.h:178
static const int SW_USE_CHINREM_GCD
set to 1 to use modular gcd over Z
Definition: cf_defs.h:38
short errorreported
Definition: feFopen.cc:23
BOOLEAN flintZn_InitChar(coeffs cf, void *infoStruct)
Definition: flintcf_Zn.cc:466
n_coeffType
Definition: coeffs.h:27
#define NULL
Definition: omList.c:10
int siSeed
Definition: sirandom.c:29
used for all algebraic extensions, i.e., the top-most extension in an extension tower is algebraic ...
Definition: coeffs.h:36
package basePack
Definition: ipid.cc:64
static const int SW_USE_QGCD
set to 1 to use Encarnacion GCD over Q(a)
Definition: cf_defs.h:40
static const int SW_USE_EZGCD
set to 1 to use EZGCD over Z
Definition: cf_defs.h:32
package currPack
Definition: ipid.cc:63
int rtyp
Definition: subexpr.h:91
#define SI_SAVE_OPT(A, B)
Definition: options.h:19
sleftv sLastPrinted
Definition: subexpr.cc:55
int initTimer()
Definition: timer.cc:69
NF_Proc nc_NF
Definition: old.gring.cc:71
int iiAddCproc(const char *libname, const char *procname, BOOLEAN pstatic, BOOLEAN(*func)(leftv res, leftv v))
Definition: iplib.cc:1023
#define IDDATA(a)
Definition: ipid.h:123
BBA_Proc sca_gr_bba
Definition: old.gring.cc:76
unsigned si_opt_2
Definition: options.c:6
static Poly * h
Definition: janet.cc:978
#define NONE
Definition: tok.h:216
void dErrorBreak()
Definition: dError.cc:141
#define omAlloc0(size)
Definition: omAllocDecl.h:211
used to represent polys as coeffcients
Definition: coeffs.h:35
void(* factoryError)(const char *s)
Definition: cf_util.cc:75
coeffs nInitChar(n_coeffType t, void *parameter)
one-time initialisations for new coeffs in case of an error return NULL
Definition: numbers.cc:341
BOOLEAN ntInitChar(coeffs cf, void *infoStruct)
Initialize the coeffs object.
Definition: transext.cc:2498
#define omStrDup(s)
Definition: omAllocDecl.h:263