23 #define SI_MAX_NEST 500
24 #elif defined(__CYGWIN__)
25 #define SI_MAX_NEST 480
27 #define SI_MAX_NEST 1000
30 #if defined(ix86Mac_darwin) || defined(x86_64Mac_darwin) || defined(ppcMac_darwin)
31 # define MODULE_SUFFIX bundle
32 #elif defined(__CYGWIN__)
33 # define MODULE_SUFFIX dll
35 # define MODULE_SUFFIX so
38 #define MODULE_SUFFIX_STRING EXPANDED_STRINGIFY(MODULE_SUFFIX)
41 #ifdef HAVE_DYNAMIC_LOADING
49 const char *procname,
int line,
long pos,
BOOLEAN pstatic=
FALSE);
52 extern int iiArithAddCmd(
const char *szName,
short nAlias,
short nTokval,
53 short nToktype,
short nPos);
85 return (strcmp(lib,
IDPACKAGE(hl)->libname)==0);
101 while ((*e>
' ') && (*e!=
'(')) e++;
112 while ((*e==
' ') || (*e==
'\t') || (*e==
'(')) e++;
118 return omStrDup(
"parameter list #;");
129 char *argstr=(
char *)
omAlloc(127);
141 if ((*
s==
' ')||(*
s==
'\t'))
143 else if ((*
s==
'\n')&&(*(
s+1)==
' '))
150 &&((par!=0) || (*e!=
')'))
154 else if (*e==
')') par--;
155 args_found=args_found || (*e>
' ');
163 if ((
int)strlen(argstr)+12 +(int)strlen(
s)>= argstrlen)
166 char *a=(
char *)
omAlloc( argstrlen);
172 if(strncmp(
s,
"alias ",6)!=0)
174 strcat(argstr,
"parameter ");
208 long head =
pi->data.s.def_end -
pi->data.s.proc_start;
209 procbuflen =
pi->data.s.help_end -
pi->data.s.help_start;
223 s[procbuflen+
head+1] =
'\n';
224 s[procbuflen+
head+2] =
'\0';
226 for(
i=0;
i<=procbuflen+
head+2;
i++)
229 (
s[
i+1]==
'"' ||
s[
i+1]==
'{' ||
s[
i+1]==
'}' ||
s[
i+1]==
'\\'))
240 procbuflen =
pi->data.s.def_end -
pi->data.s.proc_start;
241 char *ss=(
char *)
omAlloc(procbuflen+2);
251 assume(
pi->data.s.body_end >
pi->data.s.body_start);
253 procbuflen =
pi->data.s.body_end -
pi->data.s.body_start;
254 pi->data.s.body = (
char *)
omAlloc( strlen(argstr)+procbuflen+15+
255 strlen(
pi->libname) );
260 strcpy(
pi->data.s.body,argstr);
261 myfread(
pi->data.s.body+strlen(argstr), procbuflen, 1,
fp);
263 procbuflen+=strlen(argstr);
266 pi->data.s.body[procbuflen] =
'\0';
267 strcat(
pi->data.s.body+procbuflen,
"\n;return();\n\n" );
268 strcat(
pi->data.s.body+procbuflen+13,
pi->libname);
269 s=(
char *)strchr(
pi->data.s.body,
'{');
275 if (
pi->data.s.example_lineno == 0)
280 procbuflen =
pi->data.s.proc_end -
pi->data.s.example_start - strlen(
buf);
285 s[procbuflen] =
'\0';
286 strcat(
s+procbuflen-3,
"\n;return();\n\n" );
287 p=(
char *)strchr(
s,
'{');
297 int restore_traceit=0;
317 if (restore_traceit)
traceit=save_trace;
324 (
pi->libname!=
NULL) && (
pi->libname[0]!=
'\0'))
326 if ((
pi->libname!=
NULL) && (
pi->libname[0]!=
'\0'))
327 Warn(
"option changed in proc %s from %s",
pi->procname,
pi->libname);
329 Warn(
"option changed in proc %s",
pi->procname);
381 save_flags=
pi->trace_flag;
382 if(
pi->data.s.body==
NULL )
429 if (oh!=
NULL) o=oh->id;
435 Werror(
"ring change during procedure call %s: %s -> %s (level %d)",
pi->procname,o,n,
myynest);
462 pi->trace_flag=save_flags;
506 Werror(
"'%s::%s()' is a local procedure and cannot be accessed by an user.",
507 pi->libname,
pi->procname);
524 switch (
pi->language)
551 err = (
pi->data.o.function)(
res, args);
575 if (!err)
Warn(
"too many arguments for %s",
IDID(pn));
672 if (err)
return NULL;
719 tmp.
rtyp=arg_types[0];
720 while(arg_types[
i]!=0)
724 tt->
rtyp=arg_types[
i];
761 printf(
"entering example (level %d)\n",
myynest);
773 printf(
"leaving -example- (level %d)\n",
myynest);
795 # define SI_GET_BUILTIN_MOD_INIT0(name) int SI_MOD_INIT0(name)(SModulFunctions*);
797 # undef SI_GET_BUILTIN_MOD_INIT0
806 if (strcmp(libname,
"flint.so")==0)
return SI_MOD_INIT0(flint);
808 # define SI_GET_BUILTIN_MOD_INIT(name) if (strcmp(libname, #name ".so") == 0){ return SI_MOD_INIT0(name); }
810 # undef SI_GET_BUILTIN_MOD_INIT
823 char *libname = (
char *)
omAlloc(strlen(
id)+5);
824 const char *suffix[] = {
"",
".lib",
".so",
".sl",
NULL };
830 for(
i=0; suffix[
i] !=
NULL;
i++)
832 sprintf(libname,
"%s%s",
id, suffix[
i]);
836 #ifdef HAVE_DYNAMIC_LOADING
842 #ifdef HAVE_DYNAMIC_LOADING
873 strncpy(where,
IDPACKAGE(pl)->libname,127);
882 if (strcmp(newlib,
"Singular")==0)
return FALSE;
907 WarnS(
"not of type package.");
929 if (root==
NULL)
return;
934 && (
pi->data.s.body_start == 0L))
955 idhdl h=
p->idroot->get(
"mod_init",0);
998 WerrorS(
"Cannot load library,... aborting.");
1008 Warn(
"library %s has old format. This format is still accepted,", newlib);
1009 WarnS(
"but for functionality you may wish to change to the new");
1010 WarnS(
"format. Please refer to the manual for further information.");
1025 ls = ls->
pop(newlib);
1029 PrintS(
"--------------------\n");
1032 Print(
"%s: LIB-stack:(%d), %s %s\n", newlib, ls->
cnt, ls->
get(),
1035 PrintS(
"--------------------\n");
1046 const char *procname,
int,
long pos,
BOOLEAN pstatic)
1048 memset(
pi,0,
sizeof(*
pi));
1053 pi->is_static = pstatic;
1054 pi->data.s.proc_start = pos;
1067 if (
IsCmd(procname,dummy))
1069 Werror(
">>%s< is a reserved name",procname);
1082 Warn(
"extend `%s`",procname);
1101 pi->is_static = pstatic;
1102 pi->data.o.function = func;
1106 if(
pi->data.o.function == func)
1118 pi->is_static = pstatic;
1119 pi->data.o.function = func;
1123 Warn(
"internal error: unknown procedure type %d",
pi->language);
1129 WarnS(
"iiAddCproc: failed.");
1137 int r=
iiAddCproc(libname,procname,pstatic,func);
1140 if (r) r=
iiAddCproc(libname,procname,pstatic,func);
1146 #ifdef HAVE_DYNAMIC_LOADING
1149 #include <pthread.h>
1163 dyn_modules =
new std::map<std::string, void *>();
1164 dyn_modules->insert(std::pair<std::string, void *>(fname, handle));
1168 for (std::map<std::string, void *>::iterator it =
dyn_modules->begin();
1191 memset(FullName,0,
sizeof(FullName));
1193 if( *fullname !=
'/' && *fullname !=
'.' )
1194 sprintf(FullName,
"./%s", newlib);
1195 else strncpy(FullName, fullname,255);
1198 if(
IsCmd(plib, token))
1200 Werror(
"'%s' is resered identifier\n", plib);
1201 goto load_modules_end;
1203 pl =
basePack->idroot->get(plib,0);
1236 Werror(
"%s not found", newlib);
1238 goto load_modules_end;
1252 int ver=(*fktn)(&sModulFunctions);
1259 Warn(
"loaded %s for a different version of Singular(expected MAX_TOK: %d, got %d)",fullname,
MAX_TOK,ver);
1268 Werror(
"mod_init not found:: %s\nThis is probably not a dynamic module for Singular!\n",
dynl_error());
1281 GLOBAL_VAR static pthread_mutex_t mutex = PTHREAD_MUTEX_INITIALIZER;
1282 pthread_mutex_lock(&mutex);
1284 pthread_mutex_unlock(&mutex);
1304 pl =
basePack->idroot->get(plib,0);
1333 (*init)(&sModulFunctions);
1347 Werror(
">>%s<< is not a package (trying to add package help)",plib);
1362 Werror(
">>%s<< is not a package(trying to add help for %s)",plib,
p);
1369 strncpy(buff,
p,255);
1370 strncat(buff,
"_help",255-strlen(
p));
1378 #ifdef HAVE_DYNAMIC_LOADING
1386 if (!bin_dir) {
return NULL; }
1407 if(c>=97 && c<=(97+26)) c-=32;
1413 if(c>=65 && c<=(65+26)) c+=32;
1427 char *
p = strrchr(tmpname,
DIR_SEP);
1429 if(
p==
NULL)
p = tmpname;
else p++;
1432 while(isalnum(*r)||(*r==
'_')) r++;
1445 void piShowProcList()
1451 Print(
"%-15s %20s %s,%s %s,%s %s,%s\n",
"Library",
"function",
1452 "line",
"start",
"line",
"body",
"line",
"example");
1466 Print(
"%d %-15s %20s ",
proc->is_static ? 1 : 0,
proc->libname,
1469 Print(
"line %-5ld %4d,%-5ld %4d,%-5ld\n",
1470 proc->data.s.proc_start,
1471 proc->data.s.body_lineno,
proc->data.s.body_start,
1472 proc->data.s.example_lineno,
proc->data.s.example_start);
1474 PrintS(
"type: object\n");
1493 #ifdef HAVE_LIBPARSER
1499 for(lp =
this;lp!=
NULL;lp=lp->
next)
1501 if(strcmp(lp->
get(), libn)==0)
break;
unsigned char * proc[NUM_PROC]
void push(const char *p, char *libname)
libstackv pop(const char *p)
Class used for (list of) interpreter objects.
void CleanUp(ring r=currRing)
const CanonicalForm int s
const Variable & v
< [in] a sqrfree bivariate poly
char name(const Variable &v)
void WerrorS(const char *s)
FILE * feFopen(const char *path, const char *mode, char *where, short useWerror, short path_only)
size_t myfread(void *ptr, size_t size, size_t nmemb, FILE *stream)
char * feGetResource(const char id, int warn)
void newBuffer(char *s, feBufferTypes t, procinfo *pi, int lineno)
int IsCmd(const char *n, int &tok)
idhdl ggetid(const char *n)
void killhdl2(idhdl h, idhdl *ih, ring r)
idhdl enterid(const char *s, int lev, int t, idhdl *root, BOOLEAN init, BOOLEAN search)
VAR proclevel * procstack
void killhdl(idhdl h, package proot)
idhdl packFindHdl(package r)
EXTERN_VAR omBin sleftv_bin
const struct soptionStruct verboseStruct[]
int(* SModulFunc_t)(SModulFunctions *)
const struct soptionStruct optionStruct[]
int iiAddCproc(const char *libname, const char *procname, BOOLEAN pstatic, BOOLEAN(*func)(leftv res, leftv v))
char * iiProcName(char *buf, char &ct, char *&e)
void yylprestart(FILE *input_file)
bool registered_dyn_module(char *fullname)
ideal ii_CallProcId2Id(const char *lib, const char *proc, ideal arg, const ring R)
void register_dyn_module(char *fullname, void *handle)
BOOLEAN iiLoadLIB(FILE *fp, const char *libnamebuf, const char *newlib, idhdl pl, BOOLEAN autoexport, BOOLEAN tellerror)
void * iiCallLibProc1(const char *n, void *arg, int arg_type, BOOLEAN &err)
char * iiConvName(const char *libname)
static void iiCallLibProcEnd(idhdl save_ringhdl, ring save_ring)
BOOLEAN iiEStart(char *example, procinfo *pi)
#define SI_GET_BUILTIN_MOD_INIT0(name)
int flint_mod_init(SModulFunctions *psModulFunctions)
BOOLEAN load_modules_aux(const char *newlib, char *fullname, BOOLEAN autoexport)
static void iiCheckNest()
#define SI_GET_BUILTIN_MOD_INIT(name)
BOOLEAN iiLibCmd(const char *newlib, BOOLEAN autoexport, BOOLEAN tellerror, BOOLEAN force)
BOOLEAN iiGetLibStatus(const char *lib)
leftv ii_CallLibProcM(const char *n, void **args, int *arg_types, const ring R, BOOLEAN &err)
args: NULL terminated array of arguments arg_types: 0 terminated array of corresponding types
BOOLEAN iiMake_proc(idhdl pn, package pack, leftv args)
BOOLEAN iiTryLoadLib(leftv v, const char *id)
procinfo * iiInitSingularProcinfo(procinfov pi, const char *libname, const char *procname, int, long pos, BOOLEAN pstatic)
#define MODULE_SUFFIX_STRING
static void iiCleanProcs(idhdl &root)
BOOLEAN load_modules(const char *newlib, char *fullname, BOOLEAN autoexport)
SI_FOREACH_BUILTIN(SI_GET_BUILTIN_MOD_INIT0) }
int ii_CallProcId2Int(const char *lib, const char *proc, ideal arg, const ring R)
THREAD_VAR std::map< std::string, void * > * dyn_modules
VAR libstackv library_stack
int iiAddCprocTop(const char *libname, const char *procname, BOOLEAN pstatic, BOOLEAN(*func)(leftv res, leftv v))
INST_VAR sleftv iiRETURNEXPR
void close_all_dyn_modules()
const char * yylp_errlist[]
BOOLEAN load_builtin(const char *newlib, BOOLEAN autoexport, SModulFunc_t init)
EXTERN_VAR int yylplineno
char * iiProcArgs(char *e, BOOLEAN withParenth)
BOOLEAN iiLocateLib(const char *lib, char *where)
SModulFunc_t iiGetBuiltinModInit(const char *libname)
void module_help_main(const char *newlib, const char *help)
static void iiShowLevRings()
BOOLEAN iiAllStart(procinfov pi, const char *p, feBufferTypes t, int l)
void * binary_module_function(const char *newlib, const char *funcname)
static void iiCallLibProcBegin()
void module_help_proc(const char *newlib, const char *p, const char *help)
static void iiRunInit(package p)
char * iiGetLibProcBuffer(procinfo *pi, int part)
EXTERN_VAR int yylp_errno
BOOLEAN iiPStart(idhdl pn, leftv v)
int iiArithAddCmd(const char *szName, short nAlias, short nTokval, short nToktype, short nPos)
void iiCheckPack(package &p)
idhdl rFindHdl(ring r, idhdl n)
VAR char libnamebuf[1024]
int yylplex(const char *libname, const char *libfile, lib_style_types *lib_style, idhdl pl, BOOLEAN autoexport=FALSE, lp_modes=LOAD_LIB)
lib_types type_of_LIB(const char *newlib, char *libnamebuf)
#define SI_MOD_INIT0(name)
void * dynl_sym(void *handle, const char *symbol)
int dynl_check_opened(char *filename)
const char * dynl_error()
int dynl_close(void *handle)
void * dynl_open(char *filename)
#define omreallocSize(addr, o_size, size)
#define omFreeBin(addr, bin)
void rChangeCurrRing(ring r)
VAR ring currRing
Widely used global variable which specifies the current polynomial ring for Singular interpreter and ...
void PrintS(const char *s)
void Werror(const char *fmt,...)
#define TRACE_SHOW_LINENO
EXTERN_VAR int traceit_stop
static ring rIncRefCnt(ring r)
static void rDecRefCnt(ring r)
int status int void * buf
int(* iiArithAddCmd)(const char *szName, short nAlias, short nTokval, short nToktype, short nPos)
int(* iiAddCproc)(const char *libname, const char *procname, BOOLEAN pstatic, BOOLEAN(*func)(leftv res, leftv v))
INST_VAR sleftv sLastPrinted