ipid.h
Go to the documentation of this file.
1 #ifndef IPID_H
2 #define IPID_H
3 /****************************************
4 * Computer Algebra System SINGULAR *
5 ****************************************/
6 
7 /*
8 * ABSTRACT: identfier handling
9 */
10 #include <string.h>
11 //#include <kernel/structs.h>
12 #include <Singular/idrec.h>
13 #include <Singular/subexpr.h>
14 #include <Singular/lists.h>
15 
16 extern idhdl currPackHdl;
17 extern idhdl basePackHdl;
18 extern package currPack;
19 extern package basePack;
20 #define IDROOT (currPack->idroot)
21 
22 struct sip_command;
23 typedef struct sip_command ip_command;
24 typedef ip_command * command;
25 
27 {
28  sleftv arg1; /*arg1 to build_in, proc to proc_call*/
29  sleftv arg2; /*NULL or arg2 to build_in, args to proc_call*/
30  sleftv arg3; /*NULL or arg3*/
31  short argc; /*0,1,2,3 to build_in, -1 otherwise*/
32  short op; /* build_in or PROC_CMD*/
33 };
34 
36 {
37  idhdl idroot; /* local objects */
38  char *libname;
39  short ref;
42  void *handle;
43 };
44 
45 inline package paCopy(package pack)
46 {
47  pack->ref++;
48  return pack;
49 }
50 
51 inline void paKill(package pack)
52 {
53  pack->ref--;
54 }
55 
56 class proclevel
57 {
58  public:
61  ring cRing;
63  package cPack;
64  char * name;
65  proclevel() { memset(this,0,sizeof(*this)); }
66  void push(char *);
67  void pop();
68 };
69 extern proclevel *procstack;
70 
71 typedef struct
72 {
73  int (*iiAddCproc)(const char *libname, const char *procname, BOOLEAN pstatic,
74  BOOLEAN(*func)(leftv res, leftv v));
75  int (*iiArithAddCmd)(const char *szName, short nAlias, short nTokval,
76  short nToktype, short nPos);
77 
79 
80 
81 extern idhdl currRingHdl;
82 /* ================================================================== */
83 /* module support */
84 typedef int (*SModulFunc_t)(SModulFunctions*);
85 BOOLEAN load_builtin(const char *newlib, BOOLEAN autoexport, SModulFunc_t init);
86 void module_help_main(const char *newlib,const char *help);
87 void module_help_proc(const char *newlib,const char *p, const char *help);
88 
89 /* ================================================================== */
90 
91 /*extern ring currRing; in ring.h */
92 
93 idhdl enterid(const char * a, int lev, int t, idhdl* root, BOOLEAN init=TRUE, BOOLEAN serach=TRUE);
94 idhdl ggetid(const char *n);
95 idhdl ggetid(const char *n, BOOLEAN local, idhdl *packhdl);
96 void killid(const char * a, idhdl * i);
97 void killhdl(idhdl h, package prooti=currPack);
98 void killhdl2(idhdl h, idhdl * ih, ring r);
99 lists ipNameList(idhdl root);
100 lists ipNameListLev(idhdl root, int lev);
101 void ipMoveId(idhdl h);
104 void jjNormalizeQRingId(leftv I);
105 void jjNormalizeQRingP(leftv I);
106 void *idrecDataInit(int t);
107 
108 #define FLAG_STD 0
109 #define FLAG_TWOSTD 3
110 #define FLAG_QRING 4
111 #define hasFlag(A,F) Sy_inset((F),(A)->flag)
112 #define setFlag(A,F) (A)->flag|=Sy_bit(F)
113 #define resetFlag(A,F) (A)->flag&=~Sy_bit(F)
114 void ipListFlag(idhdl h);
115 
116 
117 #define IDNEXT(a) ((a)->next)
118 #define IDTYP(a) ((a)->typ)
119 #define IDFLAG(a) ((a)->flag)
120 #define IDLEV(a) ((a)->lev)
121 #define IDID(a) ((a)->id)
122 #define IDATTR(a) ((a)->attribute)
123 
124 #define IDINT(a) ((int)(long)((a)->data.ustring))
125 #define IDDATA(a) ((a)->data.ustring)
126 #define IDRING(a) ((a)->data.uring)
127 #define IDINTVEC(a) ((a)->data.iv)
128 #define IDBIMAT(a) ((a)->data.bim)
129 #define IDPOLY(a) ((a)->data.p)
130 #define IDBIGINT(a) ((a)->data.n)
131 #define IDNUMBER(a) ((a)->data.n)
132 #define IDIDEAL(a) ((a)->data.uideal)
133 #define IDMATRIX(a) ((a)->data.umatrix)
134 #define IDMAP(a) ((a)->data.umap)
135 #define IDSTRING(a) ((a)->data.ustring)
136 #define IDLIST(a) ((a)->data.l)
137 #define IDLINK(a) ((a)->data.li)
138 #define IDPACKAGE(a) ((a)->data.pack)
139 #define IDPROC(a) ((a)->data.pinf)
140 
141 extern omBin sip_command_bin;
142 extern omBin sip_package_bin;
143 extern omBin idrec_bin;
144 extern omBin sleftv_bin;
145 
146 extern coeffs coeffs_BIGINT;
147 
148 extern FILE *feFilePending; /*temp. storage for grammar.y */
149 #endif
150 
151 
proclevel()
Definition: ipid.h:65
FILE * feFilePending
Definition: ipid.cc:55
coeffs coeffs_BIGINT
Definition: ipid.cc:53
ip_package * package
Definition: structs.h:46
Class used for (list of) interpreter objects.
Definition: subexpr.h:83
ip_command * command
Definition: ipid.h:24
const poly a
Definition: syzextra.cc:212
omBin_t * omBin
Definition: omStructs.h:12
void jjNormalizeQRingP(leftv I)
Definition: ipassign.cc:2152
omBin sip_command_bin
Definition: ipid.cc:48
Definition: lists.h:22
char * libname
Definition: ipid.h:38
void ipMoveId(idhdl h)
Definition: ipid.cc:601
return P p
Definition: myNF.cc:203
idhdl basePackHdl
Definition: ipid.cc:61
sleftv arg2
Definition: ipid.h:29
void killid(const char *a, idhdl *i)
Definition: ipid.cc:342
omBin idrec_bin
Definition: ipid.cc:51
BOOLEAN checkPackage(package pack)
const CanonicalForm CFMap CFMap int &both_non_zero int n
Definition: cfEzgcd.cc:52
short op
Definition: ipid.h:32
#define TRUE
Definition: auxiliary.h:144
void killhdl2(idhdl h, idhdl *ih, ring r)
Definition: ipid.cc:400
language_defs language
Definition: ipid.h:40
char * name
Definition: ipid.h:64
idhdl packFindHdl(package r)
Definition: ipid.cc:729
idhdl cRingHdl
Definition: ipid.h:60
short argc
Definition: ipid.h:31
void paKill(package pack)
Definition: ipid.h:51
Definition: idrec.h:34
void jjNormalizeQRingId(leftv I)
Definition: ipassign.cc:2117
poly res
Definition: myNF.cc:322
const ring r
Definition: syzextra.cc:208
short ref
Definition: ipid.h:39
idhdl cPackHdl
Definition: ipid.h:62
Definition: ipid.h:56
The main handler for Singular numbers which are suitable for Singular polynomials.
omBin sip_package_bin
Definition: ipid.cc:49
package currPack
Definition: ipid.cc:62
void module_help_proc(const char *newlib, const char *p, const char *help)
Definition: iplib.cc:1207
proclevel * next
Definition: ipid.h:59
omBin sleftv_bin
Definition: subexpr.cc:50
int i
Definition: cfEzgcd.cc:123
sleftv arg1
Definition: ipid.h:28
int iiArithAddCmd(const char *szName, short nAlias, short nTokval, short nToktype, short nPos=-1)
Definition: iparith.cc:9062
BOOLEAN load_builtin(const char *newlib, BOOLEAN autoexport, SModulFunc_t init)
Definition: iplib.cc:1145
lists ipNameListLev(idhdl root, int lev)
Definition: ipid.cc:547
void ipListFlag(idhdl h)
Definition: ipid.cc:516
#define help
Definition: libparse.cc:1228
BOOLEAN loaded
Definition: ipid.h:41
void module_help_main(const char *newlib, const char *help)
Definition: iplib.cc:1192
idhdl ggetid(const char *n)
Definition: ipid.cc:500
language_defs
Definition: subexpr.h:20
const Variable & v
< [in] a sqrfree bivariate poly
Definition: facBivar.h:37
idhdl idroot
Definition: ipid.h:37
void * idrecDataInit(int t)
Definition: ipid.cc:131
idhdl currPackHdl
Definition: ipid.cc:60
ring cRing
Definition: ipid.h:61
int(* SModulFunc_t)(SModulFunctions *)
Definition: ipid.h:84
idhdl currRingHdl
Definition: ipid.cc:64
void killhdl(idhdl h, package prooti=currPack)
Definition: ipid.cc:369
int iiAddCproc(const char *libname, const char *procname, BOOLEAN pstatic, BOOLEAN(*func)(leftv res, leftv v))
Definition: iplib.cc:1001
lists ipNameList(idhdl root)
Definition: ipid.cc:524
proclevel * procstack
Definition: ipid.cc:57
static Poly * h
Definition: janet.cc:978
int BOOLEAN
Definition: auxiliary.h:131
idhdl enterid(const char *a, int lev, int t, idhdl *root, BOOLEAN init=TRUE, BOOLEAN serach=TRUE)
Definition: ipid.cc:256
sleftv arg3
Definition: ipid.h:30
void * handle
Definition: ipid.h:42