Data Structures | Macros | Typedefs | Functions | Variables
ipid.h File Reference
#include <string.h>
#include <Singular/idrec.h>
#include <Singular/subexpr.h>
#include <Singular/lists.h>

Go to the source code of this file.

Data Structures

struct  ip_command
 
struct  ip_package
 
class  proclevel
 
struct  SModulFunctions
 
struct  soptionStruct
 

Macros

#define IDROOT   (currPack->idroot)
 
#define FLAG_STD   0
 
#define FLAG_TWOSTD   3
 
#define FLAG_QRING   4
 
#define hasFlag(A, F)   Sy_inset((F),(A)->flag)
 
#define setFlag(A, F)   (A)->flag|=Sy_bit(F)
 
#define resetFlag(A, F)   (A)->flag&=~Sy_bit(F)
 
#define IDNEXT(a)   ((a)->next)
 
#define IDTYP(a)   ((a)->typ)
 
#define IDFLAG(a)   ((a)->flag)
 
#define IDLEV(a)   ((a)->lev)
 
#define IDID(a)   ((a)->id)
 
#define IDATTR(a)   ((a)->attribute)
 
#define IDINT(a)   ((int)(long)((a)->data.ustring))
 
#define IDDATA(a)   ((a)->data.ustring)
 
#define IDRING(a)   ((a)->data.uring)
 
#define IDINTVEC(a)   ((a)->data.iv)
 
#define IDBIMAT(a)   ((a)->data.bim)
 
#define IDPOLY(a)   ((a)->data.p)
 
#define IDBIGINT(a)   ((a)->data.n)
 
#define IDNUMBER(a)   ((a)->data.n)
 
#define IDIDEAL(a)   ((a)->data.uideal)
 
#define IDMATRIX(a)   ((a)->data.umatrix)
 
#define IDMAP(a)   ((a)->data.umap)
 
#define IDSTRING(a)   ((a)->data.ustring)
 
#define IDLIST(a)   ((a)->data.l)
 
#define IDLINK(a)   ((a)->data.li)
 
#define IDPACKAGE(a)   ((a)->data.pack)
 
#define IDPROC(a)   ((a)->data.pinf)
 

Typedefs

typedef ip_command * command
 
typedef int(* SModulFunc_t) (SModulFunctions *)
 

Functions

package paCopy (package pack)
 
void paKill (package pack)
 
BOOLEAN load_builtin (const char *newlib, BOOLEAN autoexport, SModulFunc_t init)
 
void module_help_main (const char *newlib, const char *help)
 
void module_help_proc (const char *newlib, const char *p, const char *help)
 
idhdl enterid (const char *a, int lev, int t, idhdl *root, BOOLEAN init=TRUE, BOOLEAN serach=TRUE)
 
idhdl ggetid (const char *n)
 
idhdl ggetid (const char *n, BOOLEAN local, idhdl *packhdl)
 
void killid (const char *a, idhdl *i)
 
void killhdl (idhdl h, package prooti=currPack)
 
void killhdl2 (idhdl h, idhdl *ih, ring r)
 
lists ipNameList (idhdl root)
 
lists ipNameListLev (idhdl root, int lev)
 
void ipMoveId (idhdl h)
 
BOOLEAN checkPackage (package pack)
 
idhdl packFindHdl (package r)
 
void jjNormalizeQRingP (poly &p)
 
void jjNormalizeQRingId (leftv I)
 
void * idrecDataInit (int t)
 
void ipListFlag (idhdl h)
 

Variables

idhdl currPackHdl
 
idhdl basePackHdl
 
package currPack
 
package basePack
 
proclevelprocstack
 
idhdl currRingHdl
 
omBin sip_command_bin
 
omBin sip_package_bin
 
omBin idrec_bin
 
omBin sleftv_bin
 
coeffs coeffs_BIGINT
 
FILE * feFilePending
 
const struct soptionStruct optionStruct []
 
const struct soptionStruct verboseStruct []
 

Data Structure Documentation

§ sip_command

struct sip_command

Definition at line 26 of file ipid.h.

Data Fields
sleftv arg1
sleftv arg2
sleftv arg3
short argc
short op

§ sip_package

struct sip_package

Definition at line 35 of file ipid.h.

Data Fields
void * handle
idhdl idroot
language_defs language
char * libname
BOOLEAN loaded
short ref

§ soptionStruct

struct soptionStruct

Definition at line 149 of file ipid.h.

Data Fields
const char * name
unsigned resetval
unsigned setval

Macro Definition Documentation

§ FLAG_QRING

#define FLAG_QRING   4

Definition at line 108 of file ipid.h.

§ FLAG_STD

#define FLAG_STD   0

Definition at line 106 of file ipid.h.

§ FLAG_TWOSTD

#define FLAG_TWOSTD   3

Definition at line 107 of file ipid.h.

§ hasFlag

#define hasFlag (   A,
 
)    Sy_inset((F),(A)->flag)

Definition at line 109 of file ipid.h.

§ IDATTR

#define IDATTR (   a)    ((a)->attribute)

Definition at line 120 of file ipid.h.

§ IDBIGINT

#define IDBIGINT (   a)    ((a)->data.n)

Definition at line 128 of file ipid.h.

§ IDBIMAT

#define IDBIMAT (   a)    ((a)->data.bim)

Definition at line 126 of file ipid.h.

§ IDDATA

#define IDDATA (   a)    ((a)->data.ustring)

Definition at line 123 of file ipid.h.

§ IDFLAG

#define IDFLAG (   a)    ((a)->flag)

Definition at line 117 of file ipid.h.

§ IDID

#define IDID (   a)    ((a)->id)

Definition at line 119 of file ipid.h.

§ IDIDEAL

#define IDIDEAL (   a)    ((a)->data.uideal)

Definition at line 130 of file ipid.h.

§ IDINT

#define IDINT (   a)    ((int)(long)((a)->data.ustring))

Definition at line 122 of file ipid.h.

§ IDINTVEC

#define IDINTVEC (   a)    ((a)->data.iv)

Definition at line 125 of file ipid.h.

§ IDLEV

#define IDLEV (   a)    ((a)->lev)

Definition at line 118 of file ipid.h.

§ IDLINK

#define IDLINK (   a)    ((a)->data.li)

Definition at line 135 of file ipid.h.

§ IDLIST

#define IDLIST (   a)    ((a)->data.l)

Definition at line 134 of file ipid.h.

§ IDMAP

#define IDMAP (   a)    ((a)->data.umap)

Definition at line 132 of file ipid.h.

§ IDMATRIX

#define IDMATRIX (   a)    ((a)->data.umatrix)

Definition at line 131 of file ipid.h.

§ IDNEXT

#define IDNEXT (   a)    ((a)->next)

Definition at line 115 of file ipid.h.

§ IDNUMBER

#define IDNUMBER (   a)    ((a)->data.n)

Definition at line 129 of file ipid.h.

§ IDPACKAGE

#define IDPACKAGE (   a)    ((a)->data.pack)

Definition at line 136 of file ipid.h.

§ IDPOLY

#define IDPOLY (   a)    ((a)->data.p)

Definition at line 127 of file ipid.h.

§ IDPROC

#define IDPROC (   a)    ((a)->data.pinf)

Definition at line 137 of file ipid.h.

§ IDRING

#define IDRING (   a)    ((a)->data.uring)

Definition at line 124 of file ipid.h.

§ IDROOT

#define IDROOT   (currPack->idroot)

Definition at line 20 of file ipid.h.

§ IDSTRING

#define IDSTRING (   a)    ((a)->data.ustring)

Definition at line 133 of file ipid.h.

§ IDTYP

#define IDTYP (   a)    ((a)->typ)

Definition at line 116 of file ipid.h.

§ resetFlag

#define resetFlag (   A,
 
)    (A)->flag&=~Sy_bit(F)

Definition at line 111 of file ipid.h.

§ setFlag

#define setFlag (   A,
 
)    (A)->flag|=Sy_bit(F)

Definition at line 110 of file ipid.h.

Typedef Documentation

§ command

typedef ip_command* command

Definition at line 24 of file ipid.h.

§ SModulFunc_t

typedef int(* SModulFunc_t) (SModulFunctions *)

Definition at line 82 of file ipid.h.

Function Documentation

§ checkPackage()

BOOLEAN checkPackage ( package  pack)

§ enterid()

idhdl enterid ( const char *  a,
int  lev,
int  t,
idhdl root,
BOOLEAN  init = TRUE,
BOOLEAN  serach = TRUE 
)

Definition at line 259 of file ipid.cc.

260 {
261  if (s==NULL) return NULL;
262  if (root==NULL) return NULL;
263  idhdl h;
264  s=omStrDup(s);
265  // idhdl *save_root=root;
266  if (t==PACKAGE_CMD)
267  {
268  if (root!=&(basePack->idroot))
269  {
270  root=&(basePack->idroot);
271  }
272  }
273  // is it already defined in root ?
274  if ((h=(*root)->get(s,lev))!=NULL)
275  {
276  if (IDLEV(h)==lev)
277  {
278  if ((IDTYP(h) == t)||(t==DEF_CMD))
279  {
280  if (IDTYP(h)==PACKAGE_CMD)
281  {
282  if (strcmp(s,"Top")==0)
283  {
284  goto errlabel;
285  }
286  else return *root;
287  }
288  else
289  {
290  if (BVERBOSE(V_REDEFINE))
291  Warn("redefining %s (%s)",s,my_yylinebuf);
292  if (s==IDID(h)) IDID(h)=NULL;
293  killhdl2(h,root,currRing);
294  }
295  }
296  else
297  goto errlabel;
298  }
299  }
300  // is it already defined in currRing->idroot ?
301  else if (search && (currRing!=NULL)&&((*root) != currRing->idroot))
302  {
303  if ((h=currRing->idroot->get(s,lev))!=NULL)
304  {
305  if (IDLEV(h)==lev)
306  {
307  if ((IDTYP(h) == t)||(t==DEF_CMD))
308  {
309  if (BVERBOSE(V_REDEFINE))
310  Warn("redefining %s (%s)",s,my_yylinebuf);
311  if (s==IDID(h)) IDID(h)=NULL;
312  killhdl2(h,&currRing->idroot,currRing);
313  }
314  else
315  goto errlabel;
316  }
317  }
318  }
319  // is it already defined in idroot ?
320  else if (search && (*root != IDROOT))
321  {
322  if ((h=IDROOT->get(s,lev))!=NULL)
323  {
324  if (IDLEV(h)==lev)
325  {
326  if ((IDTYP(h) == t)||(t==DEF_CMD))
327  {
328  if (BVERBOSE(V_REDEFINE))
329  Warn("redefining %s (%s)",s,my_yylinebuf);
330  if (s==IDID(h)) IDID(h)=NULL;
331  killhdl2(h,&IDROOT,NULL);
332  }
333  else
334  goto errlabel;
335  }
336  }
337  }
338  *root = (*root)->set(s, lev, t, init);
339 #ifndef SING_NDEBUG
340  checkall();
341 #endif
342  return *root;
343 
344  errlabel:
345  //Werror("identifier `%s` in use(lev h=%d,typ=%d,t=%d, curr=%d)",s,IDLEV(h),IDTYP(h),t,lev);
346  Werror("identifier `%s` in use",s);
347  //listall();
348  omFree((ADDRESS)s);
349  return NULL;
350 }
const CanonicalForm int s
Definition: facAbsFact.cc:55
#define IDID(a)
Definition: ipid.h:119
#define IDROOT
Definition: ipid.h:20
void * ADDRESS
Definition: auxiliary.h:115
Definition: idrec.h:34
idhdl get(const char *s, int lev)
Definition: ipid.cc:91
ring currRing
Widely used global variable which specifies the current polynomial ring for Singular interpreter and ...
Definition: polys.cc:10
#define IDTYP(a)
Definition: ipid.h:116
void killhdl2(idhdl h, idhdl *ih, ring r)
Definition: ipid.cc:409
char my_yylinebuf[80]
Definition: febase.cc:48
Definition: tok.h:58
#define omFree(addr)
Definition: omAllocDecl.h:261
int search(const CFArray &A, const CanonicalForm &F, int i, int j)
search for F in A between index i and j
#define IDLEV(a)
Definition: ipid.h:118
#define BVERBOSE(a)
Definition: options.h:33
#define NULL
Definition: omList.c:10
package basePack
Definition: ipid.cc:64
static Poly * h
Definition: janet.cc:978
#define V_REDEFINE
Definition: options.h:43
void Werror(const char *fmt,...)
Definition: reporter.cc:189
idhdl set(const char *s, int lev, int t, BOOLEAN init=TRUE)
Definition: ipid.cc:218
#define Warn
Definition: emacs.cc:80
#define omStrDup(s)
Definition: omAllocDecl.h:263

§ ggetid() [1/2]

idhdl ggetid ( const char *  n)

Definition at line 509 of file ipid.cc.

510 {
511  idhdl h = IDROOT->get(n,myynest);
512  if ((h!=NULL)&&(IDLEV(h)==myynest)) return h;
513  idhdl h2=NULL;
514  if (currRing!=NULL)
515  {
516  h2 = currRing->idroot->get(n,myynest);
517  }
518  if (h2!=NULL) return h2;
519  if (h!=NULL) return h;
520  if (basePack!=currPack)
521  return basePack->idroot->get(n,myynest);
522  return NULL;
523 }
#define IDROOT
Definition: ipid.h:20
Definition: idrec.h:34
int myynest
Definition: febase.cc:46
ring currRing
Widely used global variable which specifies the current polynomial ring for Singular interpreter and ...
Definition: polys.cc:10
#define IDLEV(a)
Definition: ipid.h:118
#define NULL
Definition: omList.c:10
package basePack
Definition: ipid.cc:64
package currPack
Definition: ipid.cc:63
static Poly * h
Definition: janet.cc:978

§ ggetid() [2/2]

idhdl ggetid ( const char *  n,
BOOLEAN  local,
idhdl packhdl 
)

Definition at line 496 of file ipid.cc.

497 {
498  idhdl h = IDROOT->get(n,myynest);
499  idhdl h2=NULL;
500  *packhdl = NULL;
501  if ((currRing!=NULL) && ((h==NULL)||(IDLEV(h)!=myynest)))
502  {
503  h2 = currRing->idroot->get(n,myynest);
504  }
505  if (h2==NULL) return h;
506  return h2;
507 }
#define IDROOT
Definition: ipid.h:20
Definition: idrec.h:34
int myynest
Definition: febase.cc:46
ring currRing
Widely used global variable which specifies the current polynomial ring for Singular interpreter and ...
Definition: polys.cc:10
#define IDLEV(a)
Definition: ipid.h:118
#define NULL
Definition: omList.c:10
static Poly * h
Definition: janet.cc:978

§ idrecDataInit()

void* idrecDataInit ( int  t)

Definition at line 132 of file ipid.cc.

133 {
134  switch (t)
135  {
136  //the type with init routines:
137 #ifdef SINGULAR_4_2
138  case CNUMBER_CMD:
139  return (void*)n2Init(0,NULL);
140  case CPOLY_CMD:
141  return (void*)p2Init(0,NULL);
142  case CMATRIX_CMD:
143 #endif
144  case BIGINTMAT_CMD:
145  return (void *)new bigintmat();
146  case INTVEC_CMD:
147  case INTMAT_CMD:
148  return (void *)new intvec();
149  case NUMBER_CMD:
150  return (void *) nInit(0);
151  case BIGINT_CMD:
152  return (void *) n_Init(0, coeffs_BIGINT);
153  case IDEAL_CMD:
154  case MODUL_CMD:
155  case MATRIX_CMD:
156  return (void*) idInit(1,1);
157  case MAP_CMD:
158  {
159  map m = (map)idInit(1,1);
160  m->preimage = omStrDup(IDID(currRingHdl));
161  return (void *)m;
162  }
163  case STRING_CMD:
164  return (void *)omAlloc0(1);
165  case LIST_CMD:
166  {
168  l->Init();
169  return (void*)l;
170  }
171  //the types with the standard init: set the struct to zero
172  case LINK_CMD:
173  return (void*) omAlloc0Bin(sip_link_bin);
174  case RING_CMD:
175  return NULL;
176  case PACKAGE_CMD:
177  {
178  package pa=(package)omAlloc0Bin(sip_package_bin);
179  pa->language=LANG_NONE;
180  pa->loaded = FALSE;
181  return (void*)pa;
182  }
183  case PROC_CMD:
184  {
186  pi->ref=1;
187  pi->language=LANG_NONE;
188  return (void*)pi;
189  }
190  case RESOLUTION_CMD:
191  return (void *)omAlloc0(sizeof(ssyStrategy));
192  //other types: without init (int,script,poly,def,package)
193  case CRING_CMD:
194  case INT_CMD:
195  case DEF_CMD:
196  case POLY_CMD:
197  case VECTOR_CMD:
198  case QRING_CMD:
199  return (void*)0L;
200  default:
201  {
202  if (t>MAX_TOK)
203  {
204 #ifdef BLACKBOX_DEVEL
205  Print("bb-type %d\n",t);
206 #endif
207  blackbox *bb=getBlackboxStuff(t);
208  if (bb!=NULL)
209  return (void *)bb->blackbox_Init(bb);
210  }
211  else
212  Werror("unknown type in idrecDataInit:%d",t);
213  break;
214  }
215  }
216  return (void *)0L;
217 }
#define omAllocBin(bin)
Definition: omAllocDecl.h:205
CanonicalForm map(const CanonicalForm &primElem, const Variable &alpha, const CanonicalForm &F, const Variable &beta)
map from to such that is mapped onto
Definition: cf_map_ext.cc:400
Definition: tok.h:48
#define Print
Definition: emacs.cc:83
Definition: tok.h:95
Definition: lists.h:22
#define IDID(a)
Definition: ipid.h:119
#define FALSE
Definition: auxiliary.h:94
Definition: tok.h:38
Matrices of numbers.
Definition: bigintmat.h:51
Definition: tok.h:213
static FORCE_INLINE number n_Init(long i, const coeffs r)
a number representing i in the given coeff field/ring r
Definition: coeffs.h:542
language_defs language
Definition: subexpr.h:58
short ref
Definition: subexpr.h:59
coeffs coeffs_BIGINT
Definition: ipid.cc:54
omBin procinfo_bin
Definition: subexpr.cc:51
Definition: tok.h:56
Definition: intvec.h:14
Definition: tok.h:58
idhdl currRingHdl
Definition: ipid.cc:65
int m
Definition: cfEzgcd.cc:119
INLINE_THIS void Init(int l=0)
#define omAlloc0Bin(bin)
Definition: omAllocDecl.h:206
#define pi
Definition: libparse.cc:1143
ideal idInit(int idsize, int rank)
initialise an ideal / module
Definition: simpleideals.cc:38
Definition: tok.h:116
#define NULL
Definition: omList.c:10
slists * lists
Definition: mpr_numeric.h:146
Definition: tok.h:117
omBin slists_bin
Definition: lists.cc:23
Definition: tok.h:157
#define nInit(i)
Definition: numbers.h:24
void Werror(const char *fmt,...)
Definition: reporter.cc:189
#define omAlloc0(size)
Definition: omAllocDecl.h:211
int l
Definition: cfEzgcd.cc:94
procinfo * procinfov
Definition: structs.h:63
blackbox * getBlackboxStuff(const int t)
return the structure to the type given by t
Definition: blackbox.cc:16
#define omStrDup(s)
Definition: omAllocDecl.h:263

§ ipListFlag()

void ipListFlag ( idhdl  h)

Definition at line 525 of file ipid.cc.

526 {
527  if (hasFlag(h,FLAG_STD)) PrintS(" (SB)");
528 #ifdef HAVE_PLURAL
529  if (hasFlag(h,FLAG_TWOSTD)) PrintS(" (2SB)");
530 #endif
531 }
#define FLAG_TWOSTD
Definition: ipid.h:107
void PrintS(const char *s)
Definition: reporter.cc:284
#define FLAG_STD
Definition: ipid.h:106
#define hasFlag(A, F)
Definition: ipid.h:109

§ ipMoveId()

void ipMoveId ( idhdl  h)

Definition at line 610 of file ipid.cc.

611 {
612  if ((currRing!=NULL)&&(tomove!=NULL))
613  {
614  if (RingDependend(IDTYP(tomove))
615  || ((IDTYP(tomove)==LIST_CMD) && (lRingDependend(IDLIST(tomove)))))
616  {
617  /*move 'tomove' to ring id's*/
618  if (ipSwapId(tomove,IDROOT,currRing->idroot))
619  ipSwapId(tomove,basePack->idroot,currRing->idroot);
620  }
621  else
622  {
623  /*move 'tomove' to global id's*/
624  ipSwapId(tomove,currRing->idroot,IDROOT);
625  }
626  }
627 }
#define IDLIST(a)
Definition: ipid.h:134
#define IDROOT
Definition: ipid.h:20
ring currRing
Widely used global variable which specifies the current polynomial ring for Singular interpreter and ...
Definition: polys.cc:10
#define IDTYP(a)
Definition: ipid.h:116
int RingDependend(int t)
Definition: gentable.cc:23
#define NULL
Definition: omList.c:10
package basePack
Definition: ipid.cc:64
Definition: tok.h:117
BOOLEAN lRingDependend(lists L)
Definition: lists.cc:199
static int ipSwapId(idhdl tomove, idhdl &root1, idhdl &root2)
Definition: ipid.cc:585

§ ipNameList()

lists ipNameList ( idhdl  root)

Definition at line 533 of file ipid.cc.

534 {
535  idhdl h=root;
536  /* compute the length */
537  int l=0;
538  while (h!=NULL) { l++; h=IDNEXT(h); }
539  /* allocate list */
541  L->Init(l);
542  /* copy names */
543  h=root;
544  l=0;
545  while (h!=NULL)
546  {
547  /* list is initialized with 0 => no need to clear anything */
548  L->m[l].rtyp=STRING_CMD;
549  L->m[l].data=omStrDup(IDID(h));
550  l++;
551  h=IDNEXT(h);
552  }
553  return L;
554 }
#define omAllocBin(bin)
Definition: omAllocDecl.h:205
sleftv * m
Definition: lists.h:45
Definition: lists.h:22
#define IDID(a)
Definition: ipid.h:119
#define IDNEXT(a)
Definition: ipid.h:115
Definition: idrec.h:34
void * data
Definition: subexpr.h:89
INLINE_THIS void Init(int l=0)
#define NULL
Definition: omList.c:10
slists * lists
Definition: mpr_numeric.h:146
int rtyp
Definition: subexpr.h:92
omBin slists_bin
Definition: lists.cc:23
static Poly * h
Definition: janet.cc:978
int l
Definition: cfEzgcd.cc:94
#define omStrDup(s)
Definition: omAllocDecl.h:263

§ ipNameListLev()

lists ipNameListLev ( idhdl  root,
int  lev 
)

Definition at line 556 of file ipid.cc.

557 {
558  idhdl h=root;
559  /* compute the length */
560  int l=0;
561  while (h!=NULL) { if (IDLEV(h)==lev) l++; h=IDNEXT(h); }
562  /* allocate list */
564  L->Init(l);
565  /* copy names */
566  h=root;
567  l=0;
568  while (h!=NULL)
569  {
570  if (IDLEV(h)==lev)
571  {
572  /* list is initialized with 0 => no need to clear anything */
573  L->m[l].rtyp=STRING_CMD;
574  L->m[l].data=omStrDup(IDID(h));
575  l++;
576  }
577  h=IDNEXT(h);
578  }
579  return L;
580 }
#define omAllocBin(bin)
Definition: omAllocDecl.h:205
sleftv * m
Definition: lists.h:45
Definition: lists.h:22
#define IDID(a)
Definition: ipid.h:119
#define IDNEXT(a)
Definition: ipid.h:115
Definition: idrec.h:34
void * data
Definition: subexpr.h:89
#define IDLEV(a)
Definition: ipid.h:118
INLINE_THIS void Init(int l=0)
#define NULL
Definition: omList.c:10
slists * lists
Definition: mpr_numeric.h:146
int rtyp
Definition: subexpr.h:92
omBin slists_bin
Definition: lists.cc:23
static Poly * h
Definition: janet.cc:978
int l
Definition: cfEzgcd.cc:94
#define omStrDup(s)
Definition: omAllocDecl.h:263

§ jjNormalizeQRingId()

void jjNormalizeQRingId ( leftv  I)

Definition at line 2138 of file ipassign.cc.

2139 {
2140  if ((currRing->qideal!=NULL) && (!hasFlag(I,FLAG_QRING)))
2141  {
2142  if (I->e==NULL)
2143  {
2144  ideal I0=(ideal)I->Data();
2145  switch (I->Typ())
2146  {
2147  case IDEAL_CMD:
2148  case MODUL_CMD:
2149  {
2150  ideal F=idInit(1,1);
2151  ideal II=kNF(F,currRing->qideal,I0);
2152  idDelete(&F);
2153  if (I->rtyp!=IDHDL)
2154  {
2155  idDelete((ideal*)&(I0));
2156  I->data=II;
2157  }
2158  else
2159  {
2160  idhdl h=(idhdl)I->data;
2161  idDelete((ideal*)&IDIDEAL(h));
2162  IDIDEAL(h)=II;
2163  setFlag(h,FLAG_QRING);
2164  }
2165  break;
2166  }
2167  default: break;
2168  }
2169  setFlag(I,FLAG_QRING);
2170  }
2171  }
2172 }
poly kNF(ideal F, ideal Q, poly p, int syzComp, int lazyReduce)
Definition: kstd1.cc:2971
Subexpr e
Definition: subexpr.h:106
#define idDelete(H)
delete an ideal
Definition: ideals.h:29
#define IDIDEAL(a)
Definition: ipid.h:130
int Typ()
Definition: subexpr.cc:996
Definition: idrec.h:34
#define IDHDL
Definition: tok.h:31
void * data
Definition: subexpr.h:89
ring currRing
Widely used global variable which specifies the current polynomial ring for Singular interpreter and ...
Definition: polys.cc:10
#define setFlag(A, F)
Definition: ipid.h:110
idrec * idhdl
Definition: ring.h:18
#define FLAG_QRING
Definition: ipid.h:108
ideal idInit(int idsize, int rank)
initialise an ideal / module
Definition: simpleideals.cc:38
#define NULL
Definition: omList.c:10
#define hasFlag(A, F)
Definition: ipid.h:109
int rtyp
Definition: subexpr.h:92
void * Data()
Definition: subexpr.cc:1138
static Poly * h
Definition: janet.cc:978

§ jjNormalizeQRingP()

void jjNormalizeQRingP ( poly p)

Definition at line 2173 of file ipassign.cc.

2174 {
2175  if((p!=NULL) && (currRing->qideal!=NULL))
2176  {
2177  ideal F=idInit(1,1);
2178  poly p2=kNF(F,currRing->qideal,p);
2179  pNormalize(p2);
2180  idDelete(&F);
2181  pDelete(&p);
2182  p=p2;
2183  }
2184 }
poly kNF(ideal F, ideal Q, poly p, int syzComp, int lazyReduce)
Definition: kstd1.cc:2971
#define idDelete(H)
delete an ideal
Definition: ideals.h:29
return P p
Definition: myNF.cc:203
ring currRing
Widely used global variable which specifies the current polynomial ring for Singular interpreter and ...
Definition: polys.cc:10
pNormalize(P.p)
ideal idInit(int idsize, int rank)
initialise an ideal / module
Definition: simpleideals.cc:38
#define NULL
Definition: omList.c:10
#define pDelete(p_ptr)
Definition: polys.h:169
END_NAMESPACE const void * p2
Definition: syzextra.cc:202
polyrec * poly
Definition: hilb.h:10

§ killhdl()

void killhdl ( idhdl  h,
package  prooti = currPack 
)

Definition at line 378 of file ipid.cc.

379 {
380  int t=IDTYP(h);
381  if (((BEGIN_RING<t) && (t<END_RING))
382  || ((t==LIST_CMD) && (lRingDependend((lists)IDDATA(h)))))
383  killhdl2(h,&currRing->idroot,currRing);
384  else
385  {
386  if(t==PACKAGE_CMD)
387  {
388  killhdl2(h,&(basePack->idroot),NULL);
389  }
390  else
391  {
392  idhdl s=proot->idroot;
393  while ((s!=h) && (s!=NULL)) s=s->next;
394  if (s!=NULL)
395  killhdl2(h,&(proot->idroot),NULL);
396  else if (basePack!=proot)
397  {
398  idhdl s=basePack->idroot;
399  while ((s!=h) && (s!=NULL)) s=s->next;
400  if (s!=NULL)
401  killhdl2(h,&(basePack->idroot),currRing);
402  else
403  killhdl2(h,&(currRing->idroot),currRing);
404  }
405  }
406  }
407 }
const CanonicalForm int s
Definition: facAbsFact.cc:55
Definition: lists.h:22
Definition: idrec.h:34
ring currRing
Widely used global variable which specifies the current polynomial ring for Singular interpreter and ...
Definition: polys.cc:10
#define IDTYP(a)
Definition: ipid.h:116
void killhdl2(idhdl h, idhdl *ih, ring r)
Definition: ipid.cc:409
idhdl next
Definition: idrec.h:38
#define NULL
Definition: omList.c:10
package basePack
Definition: ipid.cc:64
Definition: tok.h:117
#define IDDATA(a)
Definition: ipid.h:123
BOOLEAN lRingDependend(lists L)
Definition: lists.cc:199

§ killhdl2()

void killhdl2 ( idhdl  h,
idhdl ih,
ring  r 
)

Definition at line 409 of file ipid.cc.

410 {
411  //printf("kill %s, id %x, typ %d lev: %d\n",IDID(h),(int)IDID(h),IDTYP(h),IDLEV(h));
412  idhdl hh;
413 
414  if (TEST_V_ALLWARN
415  && (IDLEV(h)!=myynest)
416  &&(IDLEV(h)==0))
417  {
418  if (((*ih)==basePack->idroot)
419  || ((currRing!=NULL)&&((*ih)==currRing->idroot)))
420  Warn("kill global `%s` at line >>%s<<\n",IDID(h),my_yylinebuf);
421  }
422  if (h->attribute!=NULL)
423  {
424  //h->attribute->killAll(r); MEMORY LEAK!
425  h->attribute=NULL;
426  }
427  if (IDTYP(h) == PACKAGE_CMD)
428  {
429  if (strcmp(IDID(h),"Top")==0)
430  {
431  WarnS("can not kill `Top`");
432  return;
433  }
434  // any objects defined for this package ?
435  if ((IDPACKAGE(h)->ref<=0) && (IDPACKAGE(h)->idroot!=NULL))
436  {
437  if (currPack==IDPACKAGE(h))
438  {
441  }
442  idhdl * hd = &IDRING(h)->idroot;
443  idhdl hdh = IDNEXT(*hd);
444  idhdl temp;
445  while (hdh!=NULL)
446  {
447  temp = IDNEXT(hdh);
448  killhdl2(hdh,&(IDPACKAGE(h)->idroot),NULL);
449  hdh = temp;
450  }
451  killhdl2(*hd,hd,NULL);
452  if (IDPACKAGE(h)->libname!=NULL) omFree((ADDRESS)(IDPACKAGE(h)->libname));
453  }
454  paKill(IDPACKAGE(h));
457  }
458  else if (IDTYP(h)==RING_CMD)
459  rKill(h);
460  else if (IDDATA(h)!=NULL)
462  // general -------------------------------------------------------------
463  // now dechain it and delete idrec
464  if (IDID(h)!=NULL) // OB: ?????
465  omFree((ADDRESS)IDID(h));
466  IDID(h)=NULL;
467  IDDATA(h)=NULL;
468  if (h == (*ih))
469  {
470  // h is at the beginning of the list
471  *ih = IDNEXT(h) /* ==*ih */;
472  }
473  else if (ih!=NULL)
474  {
475  // h is somethere in the list:
476  hh = *ih;
477  loop
478  {
479  if (hh==NULL)
480  {
481  PrintS(">>?<< not found for kill\n");
482  return;
483  }
484  idhdl hhh = IDNEXT(hh);
485  if (hhh == h)
486  {
487  IDNEXT(hh) = IDNEXT(hhh);
488  break;
489  }
490  hh = hhh;
491  }
492  }
494 }
idhdl currPackHdl
Definition: ipid.cc:61
loop
Definition: myNF.cc:98
#define IDID(a)
Definition: ipid.h:119
#define IDNEXT(a)
Definition: ipid.h:115
void * ADDRESS
Definition: auxiliary.h:115
#define WarnS
Definition: emacs.cc:81
void paKill(package pack)
Definition: ipid.h:51
Definition: idrec.h:34
#define IDPACKAGE(a)
Definition: ipid.h:136
int myynest
Definition: febase.cc:46
ring currRing
Widely used global variable which specifies the current polynomial ring for Singular interpreter and ...
Definition: polys.cc:10
#define IDTYP(a)
Definition: ipid.h:116
void killhdl2(idhdl h, idhdl *ih, ring r)
Definition: ipid.cc:409
char my_yylinebuf[80]
Definition: febase.cc:48
const ring r
Definition: syzextra.cc:208
void rKill(ring r)
Definition: ipshell.cc:6026
omBin idrec_bin
Definition: ipid.cc:52
#define omFree(addr)
Definition: omAllocDecl.h:261
void s_internalDelete(const int t, void *d, const ring r)
Definition: subexpr.cc:496
void PrintS(const char *s)
Definition: reporter.cc:284
#define IDLEV(a)
Definition: ipid.h:118
#define NULL
Definition: omList.c:10
attr attribute
Definition: idrec.h:41
package basePack
Definition: ipid.cc:64
#define IDRING(a)
Definition: ipid.h:124
package currPack
Definition: ipid.cc:63
idhdl packFindHdl(package r)
Definition: ipid.cc:739
void iiCheckPack(package &p)
Definition: ipshell.cc:1505
#define IDDATA(a)
Definition: ipid.h:123
#define omFreeBin(addr, bin)
Definition: omAllocDecl.h:259
#define TEST_V_ALLWARN
Definition: options.h:135
#define Warn
Definition: emacs.cc:80

§ killid()

void killid ( const char *  a,
idhdl i 
)

Definition at line 351 of file ipid.cc.

352 {
353  if (id!=NULL)
354  {
355  idhdl h = (*ih)->get(id,myynest);
356 
357  // id not found in global list, is it defined in current ring ?
358  if (h==NULL)
359  {
360  if ((currRing!=NULL) && (*ih != (currRing->idroot)))
361  {
362  h = currRing->idroot->get(id,myynest);
363  if (h!=NULL)
364  {
365  killhdl2(h,&(currRing->idroot),currRing);
366  return;
367  }
368  }
369  Werror("`%s` is not defined",id);
370  return;
371  }
372  killhdl2(h,ih,currRing);
373  }
374  else
375  WerrorS("kill what ?");
376 }
void WerrorS(const char *s)
Definition: feFopen.cc:24
Definition: idrec.h:34
int myynest
Definition: febase.cc:46
ring currRing
Widely used global variable which specifies the current polynomial ring for Singular interpreter and ...
Definition: polys.cc:10
void killhdl2(idhdl h, idhdl *ih, ring r)
Definition: ipid.cc:409
#define NULL
Definition: omList.c:10
static Poly * h
Definition: janet.cc:978
void Werror(const char *fmt,...)
Definition: reporter.cc:189

§ load_builtin()

BOOLEAN load_builtin ( const char *  newlib,
BOOLEAN  autoexport,
SModulFunc_t  init 
)

Definition at line 1080 of file iplib.cc.

1081 {
1082  int iiAddCproc(const char *libname, const char *procname, BOOLEAN pstatic,
1083  BOOLEAN(*func)(leftv res, leftv v));
1084 /*
1085  typedef int (*fktn_t)(int(*iiAddCproc)(const char *libname, const char *procname,
1086  BOOLEAN pstatic,
1087  BOOLEAN(*func)(leftv res, leftv v)));
1088 */
1089  // SModulFunc_t fktn;
1090  idhdl pl;
1091  char *plib = iiConvName(newlib);
1092  // BOOLEAN RET=TRUE;
1093  // int token;
1094 
1095  pl = basePack->idroot->get(plib,0); // search PACKAGE only in Top
1096  if ((pl!=NULL)
1097  &&(IDTYP(pl)==PACKAGE_CMD))
1098  {
1099  if(IDPACKAGE(pl)->language==LANG_C)
1100  {
1101  if (BVERBOSE(V_LOAD_LIB)) Warn( "(builtin) %s already loaded", newlib);
1102  omFree(plib);
1103  return FALSE;
1104  }
1105  }
1106  else
1107  {
1108  pl = enterid( plib,0, PACKAGE_CMD, &IDROOT, TRUE );
1109  IDPACKAGE(pl)->libname=omStrDup(newlib);
1110  }
1111  IDPACKAGE(pl)->language = LANG_C;
1112 
1113  IDPACKAGE(pl)->handle=(void *)NULL;
1114  SModulFunctions sModulFunctions;
1115 
1116  package s=currPack;
1117  currPack=IDPACKAGE(pl);
1118  if( init!= NULL)
1119  {
1120  sModulFunctions.iiArithAddCmd = iiArithAddCmd;
1121  if (autoexport) sModulFunctions.iiAddCproc = iiAddCprocTop;
1122  else sModulFunctions.iiAddCproc = iiAddCproc;
1123  (*init)(&sModulFunctions);
1124  }
1125  if (BVERBOSE(V_LOAD_LIB)) Print( "// ** loaded (builtin) %s \n", newlib);
1126  currPack->loaded=1;
1127  currPack=s;
1128 
1129  return FALSE;
1130 }
int iiAddCprocTop(const char *libname, const char *procname, BOOLEAN pstatic, BOOLEAN(*func)(leftv res, leftv v))
Definition: iplib.cc:969
const CanonicalForm int s
Definition: facAbsFact.cc:55
Class used for (list of) interpreter objects.
Definition: subexpr.h:83
#define Print
Definition: emacs.cc:83
#define FALSE
Definition: auxiliary.h:94
#define V_LOAD_LIB
Definition: options.h:45
#define IDROOT
Definition: ipid.h:20
#define TRUE
Definition: auxiliary.h:98
Definition: idrec.h:34
poly res
Definition: myNF.cc:322
Definition: subexpr.h:21
#define IDPACKAGE(a)
Definition: ipid.h:136
#define IDTYP(a)
Definition: ipid.h:116
idhdl enterid(const char *s, int lev, int t, idhdl *root, BOOLEAN init, BOOLEAN search)
Definition: ipid.cc:259
#define omFree(addr)
Definition: omAllocDecl.h:261
#define BVERBOSE(a)
Definition: options.h:33
const Variable & v
< [in] a sqrfree bivariate poly
Definition: facBivar.h:37
#define NULL
Definition: omList.c:10
package basePack
Definition: ipid.cc:64
package currPack
Definition: ipid.cc:63
int(* iiAddCproc)(const char *libname, const char *procname, BOOLEAN pstatic, BOOLEAN(*func)(leftv res, leftv v))
Definition: ipid.h:71
int iiAddCproc(const char *libname, const char *procname, BOOLEAN pstatic, BOOLEAN(*func)(leftv res, leftv v))
Definition: iplib.cc:897
char * iiConvName(const char *libname)
Definition: iplib.cc:1214
int BOOLEAN
Definition: auxiliary.h:85
int(* iiArithAddCmd)(const char *szName, short nAlias, short nTokval, short nToktype, short nPos)
Definition: ipid.h:73
#define Warn
Definition: emacs.cc:80
#define omStrDup(s)
Definition: omAllocDecl.h:263
int iiArithAddCmd(const char *szName, short nAlias, short nTokval, short nToktype, short nPos)
Definition: iparith.cc:9084

§ module_help_main()

void module_help_main ( const char *  newlib,
const char *  help 
)

Definition at line 1132 of file iplib.cc.

1133 {
1134  char *plib = iiConvName(newlib);
1135  idhdl pl = basePack->idroot->get(plib,0);
1136  if ((pl==NULL)||(IDTYP(pl)!=PACKAGE_CMD))
1137  Werror(">>%s<< is not a package (trying to add package help)",plib);
1138  else
1139  {
1140  package s=currPack;
1141  currPack=IDPACKAGE(pl);
1143  IDSTRING(h)=omStrDup(help);
1144  currPack=s;
1145  }
1146 }
const CanonicalForm int s
Definition: facAbsFact.cc:55
#define FALSE
Definition: auxiliary.h:94
#define IDROOT
Definition: ipid.h:20
Definition: idrec.h:34
#define IDPACKAGE(a)
Definition: ipid.h:136
#define IDTYP(a)
Definition: ipid.h:116
idhdl enterid(const char *s, int lev, int t, idhdl *root, BOOLEAN init, BOOLEAN search)
Definition: ipid.cc:259
#define IDSTRING(a)
Definition: ipid.h:133
#define help
Definition: libparse.cc:1228
#define NULL
Definition: omList.c:10
package basePack
Definition: ipid.cc:64
package currPack
Definition: ipid.cc:63
char * iiConvName(const char *libname)
Definition: iplib.cc:1214
static Poly * h
Definition: janet.cc:978
void Werror(const char *fmt,...)
Definition: reporter.cc:189
#define omStrDup(s)
Definition: omAllocDecl.h:263

§ module_help_proc()

void module_help_proc ( const char *  newlib,
const char *  p,
const char *  help 
)

Definition at line 1147 of file iplib.cc.

1148 {
1149  char *plib = iiConvName(newlib);
1150  idhdl pl = basePack->idroot->get(plib,0);
1151  if ((pl==NULL)||(IDTYP(pl)!=PACKAGE_CMD))
1152  Werror(">>%s<< is not a package(trying to add help for %s)",plib,p);
1153  else
1154  {
1155  package s=currPack;
1156  currPack=IDPACKAGE(pl);
1157  char buff[256];
1158  buff[255]='\0';
1159  strncpy(buff,p,255);
1160  strncat(buff,"_help",255-strlen(p));
1162  IDSTRING(h)=omStrDup(help);
1163  currPack=s;
1164  }
1165 }
const CanonicalForm int s
Definition: facAbsFact.cc:55
#define FALSE
Definition: auxiliary.h:94
return P p
Definition: myNF.cc:203
#define IDROOT
Definition: ipid.h:20
Definition: idrec.h:34
#define IDPACKAGE(a)
Definition: ipid.h:136
#define IDTYP(a)
Definition: ipid.h:116
idhdl enterid(const char *s, int lev, int t, idhdl *root, BOOLEAN init, BOOLEAN search)
Definition: ipid.cc:259
#define IDSTRING(a)
Definition: ipid.h:133
#define help
Definition: libparse.cc:1228
#define NULL
Definition: omList.c:10
package basePack
Definition: ipid.cc:64
package currPack
Definition: ipid.cc:63
char * iiConvName(const char *libname)
Definition: iplib.cc:1214
static Poly * h
Definition: janet.cc:978
void Werror(const char *fmt,...)
Definition: reporter.cc:189
#define omStrDup(s)
Definition: omAllocDecl.h:263

§ packFindHdl()

idhdl packFindHdl ( package  r)

Definition at line 739 of file ipid.cc.

740 {
741  idhdl h=basePack->idroot;
742  while (h!=NULL)
743  {
744  if ((IDTYP(h)==PACKAGE_CMD)
745  && (IDPACKAGE(h)==r))
746  return h;
747  h=IDNEXT(h);
748  }
749  return NULL;
750 }
#define IDNEXT(a)
Definition: ipid.h:115
Definition: idrec.h:34
#define IDPACKAGE(a)
Definition: ipid.h:136
#define IDTYP(a)
Definition: ipid.h:116
const ring r
Definition: syzextra.cc:208
#define NULL
Definition: omList.c:10
package basePack
Definition: ipid.cc:64
static Poly * h
Definition: janet.cc:978

§ paCopy()

package paCopy ( package  pack)
inline

Definition at line 45 of file ipid.h.

46 {
47  pack->ref++;
48  return pack;
49 }

§ paKill()

void paKill ( package  pack)
inline

Definition at line 51 of file ipid.h.

52 {
53  pack->ref--;
54 }

Variable Documentation

§ basePack

package basePack

Definition at line 64 of file ipid.cc.

§ basePackHdl

idhdl basePackHdl

Definition at line 62 of file ipid.cc.

§ coeffs_BIGINT

coeffs coeffs_BIGINT

Definition at line 54 of file ipid.cc.

§ currPack

package currPack

Definition at line 63 of file ipid.cc.

§ currPackHdl

idhdl currPackHdl

Definition at line 61 of file ipid.cc.

§ currRingHdl

idhdl currRingHdl

Definition at line 65 of file ipid.cc.

§ feFilePending

FILE* feFilePending

Definition at line 56 of file ipid.cc.

§ idrec_bin

omBin idrec_bin

Definition at line 52 of file ipid.cc.

§ optionStruct

const struct soptionStruct optionStruct[]

Definition at line 516 of file misc_ip.cc.

§ procstack

proclevel* procstack

Definition at line 58 of file ipid.cc.

§ sip_command_bin

omBin sip_command_bin

Definition at line 49 of file ipid.cc.

§ sip_package_bin

omBin sip_package_bin

Definition at line 50 of file ipid.cc.

§ sleftv_bin

omBin sleftv_bin

Definition at line 50 of file subexpr.cc.

§ verboseStruct

const struct soptionStruct verboseStruct[]

Definition at line 546 of file misc_ip.cc.