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 1366 of file misc_ip.cc.

1367{
1368// memory initialization: -----------------------------------------------
1369#ifdef HAVE_OMALLOC
1370 om_Opts.OutOfMemoryFunc = omSingOutOfMemoryFunc;
1371#ifndef OM_NDEBUG
1372#ifndef __OPTIMIZE__
1373 #ifndef MAKE_DISTRUBTION
1374 om_Opts.ErrorHook = dErrorBreak;
1375 #endif
1376#else
1377 om_Opts.Keep = 0; /* !OM_NDEBUG, __OPTIMIZE__*/
1378#endif
1379#else
1380 om_Opts.Keep = 0; /* OM_NDEBUG */
1381#endif
1382 omInitInfo();
1383#endif
1384// factory
1385#ifndef HAVE_NTL
1386 extern void initPT();
1387 initPT();
1388#endif
1389 { // set cpus (in siInit), if SINGULAR_CPUS is set, set within the limits
1390 char *env_cpu=getenv("SINGULAR_CPUS");
1391 if (env_cpu!=NULL)
1392 {
1393 int cpu_n,cpus;
1394 #ifdef _SC_NPROCESSORS_ONLN
1395 if ((cpu_n=sysconf(_SC_NPROCESSORS_ONLN))>cpus) cpus=cpu_n;
1396 #elif defined(_SC_NPROCESSORS_CONF)
1397 if ((cpu_n=sysconf(_SC_NPROCESSORS_CONF))>cpus) cpus=cpu_n;
1398 #endif
1399 #ifdef HAVE_SIMPLEIPC
1401 #endif
1402
1403 int t=atoi(env_cpu);
1404 if ((t>=0)&&(t<cpus)) cpus=t;
1405 feSetOptValue(FE_OPT_CPUS, cpus);
1406 // how many threads ? -----------------------------------------------------
1407 feSetOptValue(FE_OPT_THREADS, cpus);
1408 }
1409 }
1410// options ---------------------------------------------------------------
1411 si_opt_1=0;
1412// interpreter tables etc.: -----------------------------------------------
1413 memset(&sLastPrinted,0,sizeof(sleftv));
1414 sLastPrinted.rtyp=NONE;
1415
1416 extern int iiInitArithmetic(); iiInitArithmetic(); // iparith.cc
1417
1418 basePack=(package)omAlloc0(sizeof(*basePack));
1420 idhdl h;
1421 h=enterid("Top", 0, PACKAGE_CMD, &IDROOT, FALSE);
1423 IDPACKAGE(h)->language = LANG_TOP;
1424 currPackHdl=h;
1425 basePackHdl=h;
1426
1427 coeffs_BIGINT = nInitChar(n_Q,(void*)1);
1428
1429#if 1
1430 // def HAVE_POLYEXTENSIONS
1431 if(TRUE)
1432 {
1433 n_coeffType type;
1434 #ifdef SINGULAR_4_2
1436 assume(type == n_polyExt);
1437 #endif
1438
1439 type = nRegister(n_algExt, naInitChar);
1440 assume(type == n_algExt);
1441
1443 assume(type == n_transExt);
1444
1445 (void)type;
1446 }
1447#endif
1448
1449// random generator: -----------------------------------------------
1450 {
1451 int t=startTimer();
1452 if (t==0) t=1;
1453 initRTimer();
1454 siSeed=t;
1455 factoryseed(t);
1456 siRandomStart=t;
1457 feOptSpec[FE_OPT_RANDOM].value = (void*) ((long)siRandomStart);
1458 }
1459
1460// ressource table: ----------------------------------------------------
1461 // Don't worry: ifdef OM_NDEBUG, then all these calls are undef'ed
1462 // hack such that all shared' libs in the bindir are loaded correctly
1464
1465// singular links: --------------------------------------------------
1467 myynest=0;
1468
1469// default coeffs
1470 {
1471 idhdl h;
1472 h=enterid("QQ",0/*level*/, CRING_CMD,&(basePack->idroot),FALSE /*init*/,FALSE /*search*/);
1473 IDDATA(h)=(char*)nInitChar(n_Q,NULL);
1474 h=enterid("ZZ",0/*level*/, CRING_CMD,&(basePack->idroot),FALSE /*init*/,FALSE /*search*/);
1475 IDDATA(h)=(char*)nInitChar(n_Z,NULL);
1477 iiAddCproc("kernel","crossprod",FALSE,iiCrossProd);
1478 iiAddCproc("kernel","Float",FALSE,iiFloat);
1479 //h=enterid("RR",0/*level*/, CRING_CMD,&(basePack->idroot),FALSE /*init*/,FALSE /*search*/);
1480 //IDDATA(h)=(char*)nInitChar(n_R,NULL);
1481 //h=enterid("CC",0/*level*/, CRING_CMD,&(basePack->idroot),FALSE /*init*/,FALSE /*search*/);
1482 //IDDATA(h)=(char*)nInitChar(n_long_C,NULL);
1483 }
1484// setting routines for PLURAL QRINGS:
1485// allowing to use libpolys without libSingular(kStd)
1486#ifdef HAVE_PLURAL
1487 nc_NF=k_NF;
1493#endif
1494// loading standard.lib -----------------------------------------------
1495 if (! feOptValue(FE_OPT_NO_STDLIB))
1496 {
1497 BITSET save1,save2;
1498 SI_SAVE_OPT(save1,save2);
1500 iiLibCmd("standard.lib", TRUE,TRUE,TRUE);
1501 SI_RESTORE_OPT(save1,save2);
1502 }
1503 // interpreter error handling
1504 #ifndef __CYGWIN__
1505 factoryError=callWerrorS; // to honour later changes of variable WerrorS
1506 #endif
1507 errorreported = 0;
1508}
BOOLEAN naInitChar(coeffs cf, void *infoStruct)
Initialize the coeffs object.
Definition algext.cc:1433
BOOLEAN n2pInitChar(coeffs cf, void *infoStruct)
Definition algext.cc:1687
#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:186
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:412
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:9990
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:878
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:3444
static BOOLEAN iiCrossProd(leftv res, leftv args)
Definition misc_ip.cc:1331
void omSingOutOfMemoryFunc()
Definition misc_ip.cc:1204
static BOOLEAN iiFloat(leftv res, leftv pnn)
Definition misc_ip.cc:1302
static void callWerrorS(const char *s)
Definition misc_ip.cc:1365
void dErrorBreak(void)
Definition dError.cc:140
#define assume(x)
Definition mod2.h:389
void nRegisterCfByName(cfInitCfByNameProc p, n_coeffType n)
Definition numbers.cc:631
n_coeffType nRegister(n_coeffType n, cfInitCharProc p)
Definition numbers.cc:590
#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