Functions
libsingular.h File Reference
#include <math.h>
#include <singularconfig.h>
#include <kernel/mod2.h>
#include <kernel/structs.h>
#include <kernel/polys.h>
#include <coeffs/numbers.h>
#include <kernel/oswrapper/feread.h>
#include <polys/monomials/ring.h>
#include <omalloc/omalloc.h>
#include <polys/clapsing.h>
#include <polys/monomials/maps.h>
#include <kernel/GBEngine/kutil.h>
#include <kernel/GBEngine/kstd1.h>
#include <kernel/GBEngine/tgb.h>
#include <polys/sparsmat.h>
#include <Singular/mod_lib.h>
#include <Singular/subexpr.h>
#include <Singular/tok.h>
#include <Singular/grammar.h>
#include <Singular/ipid.h>
#include <Singular/ipshell.h>
#include <Singular/attrib.h>
#include <misc/options.h>

Go to the source code of this file.

Functions

void siInit (char *)
 

Function Documentation

§ siInit()

void siInit ( char *  )

Definition at line 1215 of file misc_ip.cc.

1216 {
1217 // factory default settings: -----------------------------------------------
1218  On(SW_USE_EZGCD);
1220  //On(SW_USE_FF_MOD_GCD);
1221  On(SW_USE_EZGCD_P);
1222  On(SW_USE_QGCD);
1223  Off(SW_USE_NTL_SORT); // may be changed by an command line option
1225 
1226 // memory initialization: -----------------------------------------------
1227  om_Opts.OutOfMemoryFunc = omSingOutOfMemoryFunc;
1228 #ifndef OM_NDEBUG
1229 #ifndef __OPTIMIZE__
1230  om_Opts.ErrorHook = dErrorBreak;
1231 #else
1232  om_Opts.Keep = 0; /* !OM_NDEBUG, __OPTIMIZE__*/
1233 #endif
1234 #else
1235  om_Opts.Keep = 0; /* OM_NDEBUG */
1236 #endif
1237  omInitInfo();
1238 
1239 // options ---------------------------------------------------------------
1240  si_opt_1=0;
1241 // interpreter tables etc.: -----------------------------------------------
1242  memset(&sLastPrinted,0,sizeof(sleftv));
1244 
1245  extern int iiInitArithmetic(); iiInitArithmetic(); // iparith.cc
1246 
1247  basePack=(package)omAlloc0(sizeof(*basePack));
1249  idhdl h;
1250  h=enterid("Top", 0, PACKAGE_CMD, &IDROOT, TRUE);
1251  IDPACKAGE(h)->language = LANG_TOP;
1252  IDPACKAGE(h)=basePack;
1253  currPackHdl=h;
1254  basePackHdl=h;
1255 
1256  coeffs_BIGINT = nInitChar(n_Q,(void*)1);
1257 
1258 #if 1
1259  // def HAVE_POLYEXTENSIONS
1260  if(TRUE)
1261  {
1262  n_coeffType type;
1263  #ifdef SINGULAR_4_1
1264  type = nRegister(n_polyExt, naInitChar);
1265  assume(type == n_polyExt);
1266  #endif
1267 
1268  type = nRegister(n_algExt, naInitChar);
1269  assume(type == n_algExt);
1270 
1271  type = nRegister(n_transExt, ntInitChar);
1272  assume(type == n_transExt);
1273 
1274  (void)type;
1275  }
1276 #endif
1277 
1278 // random generator: -----------------------------------------------
1279  int t=initTimer();
1280  if (t==0) t=1;
1281  initRTimer();
1282  siSeed=t;
1283  factoryseed(t);
1284  siRandomStart=t;
1285  feOptSpec[FE_OPT_RANDOM].value = (void*) ((long)siRandomStart);
1286 
1287 // ressource table: ----------------------------------------------------
1288  // Don't worry: ifdef OM_NDEBUG, then all these calls are undef'ed
1289  // hack such that all shared' libs in the bindir are loaded correctly
1291 
1292 // singular links: --------------------------------------------------
1293  slStandardInit();
1294  myynest=0;
1295 // semapohore 0 -----------------------------------------------------
1296  int cpus=2;
1297  int cpu_n;
1298  #ifdef _SC_NPROCESSORS_ONLN
1299  if ((cpu_n=sysconf(_SC_NPROCESSORS_ONLN))>cpus) cpus=cpu_n;
1300  #elif defined(_SC_NPROCESSORS_CONF)
1301  if ((cpu_n=sysconf(_SC_NPROCESSORS_CONF))>cpus) cpus=cpu_n;
1302  #endif
1303  feSetOptValue(FE_OPT_CPUS, cpus);
1304 
1305 #ifdef SINGULAR_4_1
1306 // default coeffs
1307  {
1308  idhdl h;
1309  h=enterid(omStrDup("QQ"),0/*level*/, CRING_CMD,&(basePack->idroot),FALSE /*init*/,FALSE /*search*/);
1310  IDDATA(h)=(char*)nInitChar(n_Q,NULL);
1311  h=enterid(omStrDup("ZZ"),0/*level*/, CRING_CMD,&(basePack->idroot),FALSE /*init*/,FALSE /*search*/);
1312  IDDATA(h)=(char*)nInitChar(n_Z,NULL);
1313  //h=enterid(omStrDup("RR"),0/*level*/, CRING_CMD,&(basePack->idroot),FALSE /*init*/,FALSE /*search*/);
1314  //IDDATA(h)=(char*)nInitChar(n_R,NULL);
1315  //h=enterid(omStrDup("CC"),0/*level*/, CRING_CMD,&(basePack->idroot),FALSE /*init*/,FALSE /*search*/);
1316  //IDDATA(h)=(char*)nInitChar(n_long_C,NULL);
1318  if (t!=n_unknown)
1319  {
1320  h=enterid(omStrDup("AE"),0/*level*/, CRING_CMD,&(basePack->idroot),FALSE /*init*/,FALSE /*search*/);
1321  IDDATA(h)=(char*)nInitChar(t,NULL);
1322  }
1324  if (t!=n_unknown)
1325  {
1326  h=enterid(omStrDup("QAE"),0/*level*/, CRING_CMD,&(basePack->idroot),FALSE /*init*/,FALSE /*search*/);
1327  IDDATA(h)=(char*)nInitChar(t,NULL);
1328  }
1330  if (n_pAE!=n_unknown)
1331  {
1332  iiAddCproc("kernel","pAE",FALSE,ii_pAE_init);
1333  }
1334  #ifdef HAVE_FLINT
1336  if (t!=n_unknown)
1337  {
1338  h=enterid(omStrDup("flint_poly_Q"),0/*level*/, CRING_CMD,&(basePack->idroot),FALSE /*init*/,FALSE /*search*/);
1339  IDDATA(h)=(char*)nInitChar(t,NULL);
1340  }
1342  if (n_FlintZn!=n_unknown)
1343  {
1344  iiAddCproc("kernel","flintZ",FALSE,ii_FlintZn_init);
1345  }
1346  #endif
1347  }
1348 #endif
1349 // setting routines for PLURAL QRINGS:
1350 // allowing to use libpolys without libSingular(kStd)
1351 #ifdef HAVE_PLURAL
1352  nc_NF=k_NF;
1358 #endif
1359 // loading standard.lib -----------------------------------------------
1360  if (! feOptValue(FE_OPT_NO_STDLIB))
1361  {
1362  BITSET save1,save2;
1363  SI_SAVE_OPT(save1,save2);
1364  si_opt_2 &= ~Sy_bit(V_LOAD_LIB);
1365  iiLibCmd(omStrDup("standard.lib"), TRUE,TRUE,TRUE);
1366  SI_RESTORE_OPT(save1,save2);
1367  }
1368  errorreported = 0;
1369 }
BBA_Proc sca_mora
Definition: old.gring.cc:76
int iiInitArithmetic()
initialisation of arithmetic structured data
Definition: iparith.cc:9041
BOOLEAN flintQ_InitChar(coeffs cf, void *infoStruct)
Definition: flintcf_Q.cc:561
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:3071
ip_package * package
Definition: structs.h:46
void omSingOutOfMemoryFunc()
Definition: misc_ip.cc:1163
unsigned si_opt_1
Definition: options.c:5
BOOLEAN n_AEInitChar(coeffs r, void *)
Definition: OPAE.cc:344
void factoryseed(int s)
random seed initializer
Definition: cf_random.cc:176
Class used for (list of) interpreter objects.
Definition: subexpr.h:84
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:1383
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:97
static n_coeffType n_FlintZn
Definition: misc_ip.cc:1190
#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
BOOLEAN n_QAEInitChar(coeffs r, void *)
Definition: OPAEQ.cc:336
#define IDROOT
Definition: ipid.h:20
int siRandomStart
Definition: cntrlc.cc:103
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:101
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
static n_coeffType n_pAE
Definition: misc_ip.cc:1174
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:718
Definition: idrec.h:34
omOpts_t om_Opts
Definition: omOpts.c:11
BBA_Proc gnc_gr_bba
Definition: old.gring.cc:73
#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:259
Definition: tok.h:55
#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:519
BBA_Proc sca_bba
Definition: old.gring.cc:75
BBA_Proc gnc_gr_mora
Definition: old.gring.cc:74
#define assume(x)
Definition: mod2.h:403
static BOOLEAN ii_FlintZn_init(leftv res, leftv a)
Definition: misc_ip.cc:1191
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:467
BOOLEAN n_pAEInitChar(coeffs r, void *p)
Definition: OPAEp.cc:351
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:93
#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:72
int iiAddCproc(const char *libname, const char *procname, BOOLEAN pstatic, BOOLEAN(*func)(leftv res, leftv v))
Definition: iplib.cc:908
#define IDDATA(a)
Definition: ipid.h:123
BBA_Proc sca_gr_bba
Definition: old.gring.cc:77
unsigned si_opt_2
Definition: options.c:6
static Poly * h
Definition: janet.cc:978
static BOOLEAN ii_pAE_init(leftv res, leftv a)
Definition: misc_ip.cc:1175
#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:329
BOOLEAN ntInitChar(coeffs cf, void *infoStruct)
Initialize the coeffs object.
Definition: transext.cc:2536
#define omStrDup(s)
Definition: omAllocDecl.h:263