My Project
Loading...
Searching...
No Matches
libsingular.h File Reference
#include "singularconfig.h"
#include "factory/globaldefs.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 "polys/shiftop.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 * name)

Definition at line 1361 of file misc_ip.cc.

1362{
1363// memory initialization: -----------------------------------------------
1364 om_Opts.OutOfMemoryFunc = omSingOutOfMemoryFunc;
1365#ifndef OM_NDEBUG
1366#ifndef __OPTIMIZE__
1367 om_Opts.ErrorHook = dErrorBreak;
1368#else
1369 om_Opts.Keep = 0; /* !OM_NDEBUG, __OPTIMIZE__*/
1370#endif
1371#else
1372 om_Opts.Keep = 0; /* OM_NDEBUG */
1373#endif
1374 omInitInfo();
1375// factory
1376#ifndef HAVE_NTL
1377 extern void initPT();
1378 initPT();
1379#endif
1380// options ---------------------------------------------------------------
1381 si_opt_1=0;
1382// interpreter tables etc.: -----------------------------------------------
1383 memset(&sLastPrinted,0,sizeof(sleftv));
1384 sLastPrinted.rtyp=NONE;
1385
1386 extern int iiInitArithmetic(); iiInitArithmetic(); // iparith.cc
1387
1388 basePack=(package)omAlloc0(sizeof(*basePack));
1390 idhdl h;
1391 h=enterid("Top", 0, PACKAGE_CMD, &IDROOT, FALSE);
1393 IDPACKAGE(h)->language = LANG_TOP;
1394 currPackHdl=h;
1395 basePackHdl=h;
1396
1397 coeffs_BIGINT = nInitChar(n_Q,(void*)1);
1398
1399#if 1
1400 // def HAVE_POLYEXTENSIONS
1401 if(TRUE)
1402 {
1403 n_coeffType type;
1404 #ifdef SINGULAR_4_2
1406 assume(type == n_polyExt);
1407 #endif
1408
1409 type = nRegister(n_algExt, naInitChar);
1410 assume(type == n_algExt);
1411
1413 assume(type == n_transExt);
1414
1415 (void)type;
1416 }
1417#endif
1418
1419// random generator: -----------------------------------------------
1420 {
1421 int t=startTimer();
1422 if (t==0) t=1;
1423 initRTimer();
1424 siSeed=t;
1425 factoryseed(t);
1426 siRandomStart=t;
1427 feOptSpec[FE_OPT_RANDOM].value = (void*) ((long)siRandomStart);
1428 }
1429
1430// ressource table: ----------------------------------------------------
1431 // Don't worry: ifdef OM_NDEBUG, then all these calls are undef'ed
1432 // hack such that all shared' libs in the bindir are loaded correctly
1434
1435// singular links: --------------------------------------------------
1437 myynest=0;
1438// how many processes ? -----------------------------------------------------
1439 {
1440 int cpus=2;
1441 int cpu_n;
1442 #ifdef _SC_NPROCESSORS_ONLN
1443 if ((cpu_n=sysconf(_SC_NPROCESSORS_ONLN))>cpus) cpus=cpu_n;
1444 #elif defined(_SC_NPROCESSORS_CONF)
1445 if ((cpu_n=sysconf(_SC_NPROCESSORS_CONF))>cpus) cpus=cpu_n;
1446 #endif
1448 char *env_cpu=getenv("SINGULAR_CPUS");
1449 if (env_cpu!=NULL)
1450 {
1451 int t=atoi(env_cpu);
1452 if ((t>=0)&&(t<cpus)) cpus=t;
1453 }
1454 feSetOptValue(FE_OPT_CPUS, cpus);
1455// how many threads ? -----------------------------------------------------
1456 feSetOptValue(FE_OPT_THREADS, cpus);
1457 }
1458
1459// default coeffs
1460 {
1461 idhdl h;
1462 h=enterid("QQ",0/*level*/, CRING_CMD,&(basePack->idroot),FALSE /*init*/,FALSE /*search*/);
1463 IDDATA(h)=(char*)nInitChar(n_Q,NULL);
1464 h=enterid("ZZ",0/*level*/, CRING_CMD,&(basePack->idroot),FALSE /*init*/,FALSE /*search*/);
1465 IDDATA(h)=(char*)nInitChar(n_Z,NULL);
1467 iiAddCproc("kernel","crossprod",FALSE,iiCrossProd);
1468 iiAddCproc("kernel","Float",FALSE,iiFloat);
1469 //h=enterid("RR",0/*level*/, CRING_CMD,&(basePack->idroot),FALSE /*init*/,FALSE /*search*/);
1470 //IDDATA(h)=(char*)nInitChar(n_R,NULL);
1471 //h=enterid("CC",0/*level*/, CRING_CMD,&(basePack->idroot),FALSE /*init*/,FALSE /*search*/);
1472 //IDDATA(h)=(char*)nInitChar(n_long_C,NULL);
1473 }
1474// setting routines for PLURAL QRINGS:
1475// allowing to use libpolys without libSingular(kStd)
1476#ifdef HAVE_PLURAL
1477 nc_NF=k_NF;
1483#endif
1484// loading standard.lib -----------------------------------------------
1485 if (! feOptValue(FE_OPT_NO_STDLIB))
1486 {
1487 BITSET save1,save2;
1488 SI_SAVE_OPT(save1,save2);
1490 iiLibCmd("standard.lib", TRUE,TRUE,TRUE);
1491 SI_RESTORE_OPT(save1,save2);
1492 }
1493 // interpreter error handling
1494 #ifndef __CYGWIN__
1495 factoryError=callWerrorS; // to honour later changes of variable WerrorS
1496 #endif
1497 errorreported = 0;
1498}
BOOLEAN naInitChar(coeffs cf, void *infoStruct)
Initialize the coeffs object.
Definition algext.cc:1386
BOOLEAN n2pInitChar(coeffs cf, void *infoStruct)
Definition algext.cc:1640
#define BITSET
Definition auxiliary.h:85
#define TRUE
Definition auxiliary.h:101
#define FALSE
Definition auxiliary.h:97
void initPT()
void factoryseed(int s)
random seed initializer
Definition cf_random.cc:189
VAR void(* factoryError)(const char *s)
Definition cf_util.cc:80
Class used for (list of) interpreter objects.
Definition subexpr.h:83
VAR int siRandomStart
Definition cntrlc.cc:99
n_coeffType
Definition coeffs.h:27
@ n_polyExt
used to represent polys as coefficients
Definition coeffs.h:34
@ n_Q
rational (GMP) numbers
Definition coeffs.h:30
@ n_algExt
used for all algebraic extensions, i.e., the top-most extension in an extension tower is algebraic
Definition coeffs.h:35
@ n_Zn
only used if HAVE_RINGS is defined
Definition coeffs.h:44
@ n_transExt
used for all transcendental extensions, i.e., the top-most extension in an extension tower is transce...
Definition coeffs.h:38
@ n_Z
only used if HAVE_RINGS is defined
Definition coeffs.h:43
coeffs nInitChar(n_coeffType t, void *parameter)
one-time initialisations for new coeffs in case of an error return NULL
Definition numbers.cc:406
VAR short errorreported
Definition feFopen.cc:23
const char * feSetOptValue(feOptIndex opt, char *optarg)
Definition feOpt.cc:154
static void * feOptValue(feOptIndex opt)
Definition feOpt.h:40
EXTERN_VAR struct fe_option feOptSpec[]
Definition feOpt.h:17
void feInitResources(const char *argv0)
VAR int myynest
Definition febase.cc:41
char * getenv()
EXTERN_VAR BBA_Proc gnc_gr_bba
Definition gb_hack.h:10
EXTERN_VAR BBA_Proc gnc_gr_mora
Definition gb_hack.h:10
EXTERN_VAR BBA_Proc sca_gr_bba
Definition gb_hack.h:10
EXTERN_VAR NF_Proc nc_NF
Definition gb_hack.h:9
EXTERN_VAR BBA_Proc sca_mora
Definition gb_hack.h:10
EXTERN_VAR BBA_Proc sca_bba
Definition gb_hack.h:10
ideal k_gnc_gr_bba(const ideal F, const ideal Q, const intvec *, const bigintmat *, kStrategy strat, const ring _currRing)
Definition gr_kstd2.cc:1030
ideal k_gnc_gr_mora(const ideal F, const ideal Q, const intvec *, const bigintmat *, kStrategy strat, const ring _currRing)
Definition gr_kstd2.cc:1283
int iiInitArithmetic()
initialisation of arithmetic structured data
Definition iparith.cc:9953
idhdl enterid(const char *s, int lev, int t, idhdl *root, BOOLEAN init, BOOLEAN search)
Definition ipid.cc:256
VAR package basePack
Definition ipid.cc:56
VAR package currPack
Definition ipid.cc:55
VAR idhdl currPackHdl
Definition ipid.cc:53
VAR idhdl basePackHdl
Definition ipid.cc:54
#define IDDATA(a)
Definition ipid.h:126
#define IDROOT
Definition ipid.h:19
#define IDPACKAGE(a)
Definition ipid.h:139
int iiAddCproc(const char *libname, const char *procname, BOOLEAN pstatic, BOOLEAN(*func)(leftv res, leftv v))
Definition iplib.cc:1073
BOOLEAN iiLibCmd(const char *newlib, BOOLEAN autoexport, BOOLEAN tellerror, BOOLEAN force)
Definition iplib.cc:894
STATIC_VAR Poly * h
Definition janet.cc:971
ideal k_sca_bba(const ideal F, const ideal Q, const intvec *, const bigintmat *, kStrategy strat, const ring _currRing)
Modified modern Sinuglar Buchberger's algorithm.
Definition sca.cc:368
ideal k_sca_gr_bba(const ideal F, const ideal Q, const intvec *, const bigintmat *, kStrategy strat, const ring _currRing)
Modified Plural's Buchberger's algorithmus.
Definition sca.cc:95
ideal k_sca_mora(const ideal F, const ideal Q, const intvec *, const bigintmat *, kStrategy strat, const ring _currRing)
Modified modern Sinuglar Mora's algorithm.
Definition sca.cc:885
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:3438
static BOOLEAN iiCrossProd(leftv res, leftv args)
Definition misc_ip.cc:1326
void omSingOutOfMemoryFunc()
Definition misc_ip.cc:1199
static BOOLEAN iiFloat(leftv res, leftv pnn)
Definition misc_ip.cc:1297
static void callWerrorS(const char *s)
Definition misc_ip.cc:1360
void dErrorBreak(void)
#define assume(x)
Definition mod2.h:389
void nRegisterCfByName(cfInitCfByNameProc p, n_coeffType n)
Definition numbers.cc:624
n_coeffType nRegister(n_coeffType n, cfInitCharProc p)
Definition numbers.cc:583
#define omAlloc0(size)
#define NULL
Definition omList.c:12
omOpts_t om_Opts
Definition omOpts.c:13
VAR unsigned si_opt_2
Definition options.c:6
VAR unsigned si_opt_1
Definition options.c:5
#define SI_SAVE_OPT(A, B)
Definition options.h:20
#define Sy_bit(x)
Definition options.h:31
#define V_LOAD_LIB
Definition options.h:47
#define SI_RESTORE_OPT(A, B)
Definition options.h:23
VAR coeffs coeffs_BIGINT
Definition polys.cc:14
idrec * idhdl
Definition ring.h:22
coeffs nrnInitCfByName(char *s, n_coeffType)
Definition rmodulon.cc:33
#define SIPC_MAX_SEMAPHORES
Definition simpleipc.h:10
VAR int siSeed
Definition sirandom.c:30
ip_package * package
Definition structs.h:39
INST_VAR sleftv sLastPrinted
Definition subexpr.cc:46
@ LANG_TOP
Definition subexpr.h:22
int name
New type name for int.
int startTimer()
Definition timer.cc:66
void initRTimer()
Definition timer.cc:136
@ CRING_CMD
Definition tok.h:56
@ PACKAGE_CMD
Definition tok.h:150
#define NONE
Definition tok.h:223
BOOLEAN ntInitChar(coeffs cf, void *infoStruct)
Initialize the coeffs object.
Definition transext.cc:2636
#define omInitInfo()
Definition xalloc.h:228