My Project  debian-1:4.1.1-p2+ds-4build2
Functions
libsingular.h File Reference
#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 "kernel/maps/gen_maps.h"
#include "kernel/preimage.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 "Singular/blackbox.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 1310 of file misc_ip.cc.

1311 {
1312 // factory default settings: -----------------------------------------------
1313  On(SW_USE_EZGCD);
1315  //On(SW_USE_FF_MOD_GCD);
1316  On(SW_USE_EZGCD_P);
1317  On(SW_USE_QGCD);
1318  Off(SW_USE_NTL_SORT); // may be changed by an command line option
1319 // memory initialization: -----------------------------------------------
1320  om_Opts.OutOfMemoryFunc = omSingOutOfMemoryFunc;
1321 #ifndef OM_NDEBUG
1322 #ifndef __OPTIMIZE__
1323  om_Opts.ErrorHook = dErrorBreak;
1324 #else
1325  om_Opts.Keep = 0; /* !OM_NDEBUG, __OPTIMIZE__*/
1326 #endif
1327 #else
1328  om_Opts.Keep = 0; /* OM_NDEBUG */
1329 #endif
1330  omInitInfo();
1331 
1332 // options ---------------------------------------------------------------
1333  si_opt_1=0;
1334 // interpreter tables etc.: -----------------------------------------------
1335  memset(&sLastPrinted,0,sizeof(sleftv));
1337 
1338  extern int iiInitArithmetic(); iiInitArithmetic(); // iparith.cc
1339 
1340  basePack=(package)omAlloc0(sizeof(*basePack));
1342  idhdl h;
1343  h=enterid("Top", 0, PACKAGE_CMD, &IDROOT, FALSE);
1344  IDPACKAGE(h)=basePack;
1345  IDPACKAGE(h)->language = LANG_TOP;
1346  currPackHdl=h;
1347  basePackHdl=h;
1348 
1349  coeffs_BIGINT = nInitChar(n_Q,(void*)1);
1350 
1351 #if 1
1352  // def HAVE_POLYEXTENSIONS
1353  if(TRUE)
1354  {
1355  n_coeffType type;
1356  #ifdef SINGULAR_4_2
1357  type = nRegister(n_polyExt, n2pInitChar);
1358  assume(type == n_polyExt);
1359  #endif
1360 
1361  type = nRegister(n_algExt, naInitChar);
1362  assume(type == n_algExt);
1363 
1364  type = nRegister(n_transExt, ntInitChar);
1365  assume(type == n_transExt);
1366 
1367  (void)type;
1368  }
1369 #endif
1370 
1371 // random generator: -----------------------------------------------
1372  int t=initTimer();
1373  if (t==0) t=1;
1374  initRTimer();
1375  siSeed=t;
1376  factoryseed(t);
1377  siRandomStart=t;
1378  feOptSpec[FE_OPT_RANDOM].value = (void*) ((long)siRandomStart);
1379 
1380 // ressource table: ----------------------------------------------------
1381  // Don't worry: ifdef OM_NDEBUG, then all these calls are undef'ed
1382  // hack such that all shared' libs in the bindir are loaded correctly
1384 
1385 // singular links: --------------------------------------------------
1386  slStandardInit();
1387  myynest=0;
1388 // how many processes ? -----------------------------------------------------
1389  int cpus=2;
1390  int cpu_n;
1391  #ifdef _SC_NPROCESSORS_ONLN
1392  if ((cpu_n=sysconf(_SC_NPROCESSORS_ONLN))>cpus) cpus=cpu_n;
1393  #elif defined(_SC_NPROCESSORS_CONF)
1394  if ((cpu_n=sysconf(_SC_NPROCESSORS_CONF))>cpus) cpus=cpu_n;
1395  #endif
1396  feSetOptValue(FE_OPT_CPUS, cpus);
1397 // how many threads ? -----------------------------------------------------
1398  feSetOptValue(FE_OPT_THREADS, cpus);
1399 
1400 // default coeffs
1401  {
1402  idhdl h;
1403  h=enterid("QQ",0/*level*/, CRING_CMD,&(basePack->idroot),FALSE /*init*/,FALSE /*search*/);
1404  IDDATA(h)=(char*)nInitChar(n_Q,NULL);
1405  h=enterid("ZZ",0/*level*/, CRING_CMD,&(basePack->idroot),FALSE /*init*/,FALSE /*search*/);
1406  IDDATA(h)=(char*)nInitChar(n_Z,NULL);
1407  iiAddCproc("kernel","crossprod",FALSE,iiCrossProd);
1408  iiAddCproc("kernel","Float",FALSE,iiFloat);
1409  //h=enterid("RR",0/*level*/, CRING_CMD,&(basePack->idroot),FALSE /*init*/,FALSE /*search*/);
1410  //IDDATA(h)=(char*)nInitChar(n_R,NULL);
1411  //h=enterid("CC",0/*level*/, CRING_CMD,&(basePack->idroot),FALSE /*init*/,FALSE /*search*/);
1412  //IDDATA(h)=(char*)nInitChar(n_long_C,NULL);
1413  n_coeffType t;
1414 #ifdef SINGULAR_4_2
1415  t=nRegister(n_unknown,n_AEInitChar);
1416  if (t!=n_unknown)
1417  {
1418  h=enterid("AE",0/*level*/, CRING_CMD,&(basePack->idroot),FALSE /*init*/,FALSE /*search*/);
1419  IDDATA(h)=(char*)nInitChar(t,NULL);
1420  }
1421  t=nRegister(n_unknown,n_QAEInitChar);
1422  if (t!=n_unknown)
1423  {
1424  h=enterid("QAE",0/*level*/, CRING_CMD,&(basePack->idroot),FALSE /*init*/,FALSE /*search*/);
1425  IDDATA(h)=(char*)nInitChar(t,NULL);
1426  }
1427  n_pAE=nRegister(n_unknown,n_pAEInitChar);
1428  if (n_pAE!=n_unknown)
1429  {
1430  iiAddCproc("kernel","pAE",FALSE,ii_pAE_init);
1431  }
1432 #endif
1433  #ifdef HAVE_FLINT
1435  if (t!=n_unknown)
1436  {
1437  h=enterid("flint_poly_Q",0/*level*/, CRING_CMD,&(basePack->idroot),FALSE /*init*/,FALSE /*search*/);
1438  IDDATA(h)=(char*)nInitChar(t,NULL);
1439  }
1441  if (n_FlintZn!=n_unknown)
1442  {
1443  iiAddCproc("kernel","flintZ",FALSE,ii_FlintZn_init);
1444  }
1445  #endif
1446  }
1447 // setting routines for PLURAL QRINGS:
1448 // allowing to use libpolys without libSingular(kStd)
1449 #ifdef HAVE_PLURAL
1450  nc_NF=k_NF;
1456 #endif
1457 // loading standard.lib -----------------------------------------------
1458  if (! feOptValue(FE_OPT_NO_STDLIB))
1459  {
1460  BITSET save1,save2;
1461  SI_SAVE_OPT(save1,save2);
1462  si_opt_2 &= ~Sy_bit(V_LOAD_LIB);
1463  iiLibCmd(omStrDup("standard.lib"), TRUE,TRUE,TRUE);
1464  SI_RESTORE_OPT(save1,save2);
1465  }
1466  errorreported = 0;
1467 }
FALSE
#define FALSE
Definition: auxiliary.h:94
feInitResources
void feInitResources(const char *argv0)
Definition: feResource.cc:170
errorreported
short errorreported
Definition: feFopen.cc:23
CRING_CMD
@ CRING_CMD
Definition: tok.h:56
dErrorBreak
void dErrorBreak()
Definition: dError.cc:141
iiInitArithmetic
int iiInitArithmetic()
initialisation of arithmetic structured data
Definition: iparith.cc:8894
LANG_TOP
@ LANG_TOP
Definition: subexpr.h:24
naInitChar
BOOLEAN naInitChar(coeffs cf, void *infoStruct)
Initialize the coeffs object.
Definition: algext.cc:1395
enterid
idhdl enterid(const char *s, int lev, int t, idhdl *root, BOOLEAN init, BOOLEAN search)
Definition: ipid.cc:257
BITSET
#define BITSET
Definition: structs.h:18
NONE
#define NONE
Definition: tok.h:218
IDDATA
#define IDDATA(a)
Definition: ipid.h:121
omStrDup
#define omStrDup(s)
Definition: omAllocDecl.h:263
basePackHdl
idhdl basePackHdl
Definition: ipid.cc:58
gnc_gr_bba
BBA_Proc gnc_gr_bba
Definition: old.gring.cc:67
feSetOptValue
const char * feSetOptValue(feOptIndex opt, char *optarg)
Definition: feOpt.cc:150
V_LOAD_LIB
#define V_LOAD_LIB
Definition: options.h:47
nInitChar
coeffs nInitChar(n_coeffType t, void *parameter)
one-time initialisations for new coeffs in case of an error return NULL
Definition: numbers.cc:349
n_Q
@ n_Q
rational (GMP) numbers
Definition: coeffs.h:31
currPack
package currPack
Definition: ipid.cc:59
siRandomStart
int siRandomStart
Definition: cntrlc.cc:98
gnc_gr_mora
BBA_Proc gnc_gr_mora
Definition: gb_hack.h:10
sleftv
Class used for (list of) interpreter objects.
Definition: subexpr.h:82
omInitInfo
void omInitInfo()
Definition: omStats.c:17
flintQ_InitChar
BOOLEAN flintQ_InitChar(coeffs cf, void *infoStruct)
Definition: flintcf_Q.cc:560
factoryseed
void factoryseed(int s)
random seed initializer
Definition: cf_random.cc:176
n_coeffType
n_coeffType
Definition: coeffs.h:27
SW_USE_EZGCD
static const int SW_USE_EZGCD
set to 1 to use EZGCD over Z
Definition: cf_defs.h:32
iiAddCproc
int iiAddCproc(const char *libname, const char *procname, BOOLEAN pstatic, BOOLEAN(*func)(leftv res, leftv v))
Definition: iplib.cc:1005
iiCrossProd
static BOOLEAN iiCrossProd(leftv res, leftv args)
Definition: misc_ip.cc:1276
nRegister
n_coeffType nRegister(n_coeffType n, cfInitCharProc p)
Definition: numbers.cc:538
k_sca_gr_bba
ideal k_sca_gr_bba(const ideal F, const ideal Q, const intvec *, const intvec *, kStrategy strat, const ring _currRing)
Modified Plural's Buchberger's algorithmus.
Definition: sca.cc:95
SW_USE_NTL_SORT
static const int SW_USE_NTL_SORT
set to 1 to sort factors in a factorization
Definition: cf_defs.h:36
n_FlintZn
static n_coeffType n_FlintZn
Definition: misc_ip.cc:1225
initTimer
int initTimer()
Definition: timer.cc:69
iiFloat
static BOOLEAN iiFloat(leftv res, leftv pnn)
Definition: misc_ip.cc:1247
n_polyExt
@ n_polyExt
used to represent polys as coeffcients
Definition: coeffs.h:35
TRUE
#define TRUE
Definition: auxiliary.h:98
Sy_bit
#define Sy_bit(x)
Definition: options.h:32
omSingOutOfMemoryFunc
void omSingOutOfMemoryFunc()
Definition: misc_ip.cc:1197
k_NF
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:3006
k_sca_bba
ideal k_sca_bba(const ideal F, const ideal Q, const intvec *, const intvec *, kStrategy strat, const ring _currRing)
Modified modern Sinuglar Buchberger's algorithm.
Definition: sca.cc:368
IDROOT
#define IDROOT
Definition: ipid.h:18
h
static Poly * h
Definition: janet.cc:972
ii_FlintZn_init
static BOOLEAN ii_FlintZn_init(leftv res, leftv a)
Definition: misc_ip.cc:1226
SI_RESTORE_OPT
#define SI_RESTORE_OPT(A, B)
Definition: options.h:24
n_Z
@ n_Z
only used if HAVE_RINGS is defined
Definition: coeffs.h:44
SW_USE_CHINREM_GCD
static const int SW_USE_CHINREM_GCD
set to 1 to use modular gcd over Z
Definition: cf_defs.h:38
flintZn_InitChar
BOOLEAN flintZn_InitChar(coeffs cf, void *infoStruct)
Definition: flintcf_Zn.cc:465
myynest
int myynest
Definition: febase.cc:41
n_transExt
@ n_transExt
used for all transcendental extensions, i.e., the top-most extension in an extension tower is transce...
Definition: coeffs.h:39
Off
void Off(int sw)
switches
Definition: canonicalform.cc:1905
ntInitChar
BOOLEAN ntInitChar(coeffs cf, void *infoStruct)
Initialize the coeffs object.
Definition: transext.cc:2492
feOptSpec
struct fe_option feOptSpec[]
coeffs_BIGINT
coeffs coeffs_BIGINT
Definition: ipid.cc:52
idrec
Definition: idrec.h:34
sca_bba
BBA_Proc sca_bba
Definition: gb_hack.h:10
IDPACKAGE
#define IDPACKAGE(a)
Definition: ipid.h:134
sca_gr_bba
BBA_Proc sca_gr_bba
Definition: gb_hack.h:10
SW_USE_EZGCD_P
static const int SW_USE_EZGCD_P
set to 1 to use EZGCD over F_q
Definition: cf_defs.h:34
nc_NF
NF_Proc nc_NF
Definition: old.gring.cc:66
om_Opts
omOpts_t om_Opts
Definition: omOpts.c:11
k_sca_mora
ideal k_sca_mora(const ideal F, const ideal Q, const intvec *, const intvec *, kStrategy strat, const ring _currRing)
Modified modern Sinuglar Mora's algorithm.
Definition: sca.cc:885
PACKAGE_CMD
@ PACKAGE_CMD
Definition: tok.h:149
name
char name(const Variable &v)
Definition: factory.h:180
k_gnc_gr_mora
ideal k_gnc_gr_mora(const ideal F, const ideal Q, const intvec *, const intvec *, kStrategy strat, const ring _currRing)
Definition: gr_kstd2.cc:1307
sleftv::rtyp
int rtyp
Definition: subexpr.h:91
basePack
package basePack
Definition: ipid.cc:60
assume
#define assume(x)
Definition: mod2.h:390
sLastPrinted
sleftv sLastPrinted
Definition: subexpr.cc:51
NULL
#define NULL
Definition: omList.c:10
siSeed
int siSeed
Definition: sirandom.c:29
fe_option::value
void * value
Definition: fegetopt.h:93
currPackHdl
idhdl currPackHdl
Definition: ipid.cc:57
k_gnc_gr_bba
ideal k_gnc_gr_bba(const ideal F, const ideal Q, const intvec *, const intvec *, kStrategy strat, const ring _currRing)
Definition: gr_kstd2.cc:1045
initRTimer
void initRTimer()
Definition: timer.cc:158
sca_mora
BBA_Proc sca_mora
Definition: gb_hack.h:10
SI_SAVE_OPT
#define SI_SAVE_OPT(A, B)
Definition: options.h:21
feOptValue
static void * feOptValue(feOptIndex opt)
Definition: feOpt.h:40
SW_USE_QGCD
static const int SW_USE_QGCD
set to 1 to use Encarnacion GCD over Q(a)
Definition: cf_defs.h:40
iiLibCmd
BOOLEAN iiLibCmd(char *newlib, BOOLEAN autoexport, BOOLEAN tellerror, BOOLEAN force)
Definition: iplib.cc:826
n_unknown
@ n_unknown
Definition: coeffs.h:29
n2pInitChar
BOOLEAN n2pInitChar(coeffs cf, void *infoStruct)
Definition: algext.cc:1679
omAlloc0
#define omAlloc0(size)
Definition: omAllocDecl.h:211
On
void On(int sw)
switches
Definition: canonicalform.cc:1898
package
ip_package * package
Definition: structs.h:46
si_opt_2
unsigned si_opt_2
Definition: options.c:6
n_algExt
@ n_algExt
used for all algebraic extensions, i.e., the top-most extension in an extension tower is algebraic
Definition: coeffs.h:36
si_opt_1
unsigned si_opt_1
Definition: options.c:5