1 #ifndef IPID_H
2 #define IPID_H
3 /****************************************
4 * Computer Algebra System SINGULAR *
5 ****************************************/
6
7 /*
8 * ABSTRACT: identfier handling
9 */
10 #include "misc/options.h"
11 #include "Singular/idrec.h"
12 #include "Singular/subexpr.h"
13 #include "Singular/lists.h"
14
15 EXTERN_VAR idhdl currPackHdl;
16 EXTERN_VAR idhdl basePackHdl;
17 EXTERN_VAR package currPack;
18 EXTERN_VAR package basePack;
19 #define IDROOT (currPack->idroot)
20
21 struct sip_command;
22 typedef struct sip_command ip_command;
23 typedef ip_command * command;
24
25 struct sip_command
26 {
27 sleftv arg1; /*arg1 to build_in, proc to proc_call*/
28 sleftv arg2; /*NULL or arg2 to build_in, args to proc_call*/
29 sleftv arg3; /*NULL or arg3*/
30 short argc; /*0,1,2,3 to build_in, -1 otherwise*/
31 short op; /* build_in or PROC_CMD*/
32 };
33
34 struct sip_package
35 {
36 idhdl idroot; /* local objects */
37 char *libname;
38 short ref;
39 language_defs language;
40 BOOLEAN loaded;
41 void *handle;
42 };
43
paCopy(package pack)44 inline package paCopy(package pack)
45 {
46 pack->ref++;
47 return pack;
48 }
49
paKill(package pack)50 inline void paKill(package pack)
51 {
52 pack->ref--;
53 }
54
55 class proclevel
56 {
57 public:
58 proclevel * next;
59 idhdl cPackHdl;
60 package cPack;
61 char * name;
proclevel()62 proclevel() { memset(this,0,sizeof(*this)); }
63 void push(char *);
64 void pop();
65 };
66 EXTERN_VAR proclevel *procstack;
67
68 typedef struct
69 {
70 int (*iiAddCproc)(const char *libname, const char *procname, BOOLEAN pstatic,
71 BOOLEAN(*func)(leftv res, leftv v));
72 int (*iiArithAddCmd)(const char *szName, short nAlias, short nTokval,
73 short nToktype, short nPos);
74
75 } SModulFunctions;
76
77
78 EXTERN_VAR idhdl currRingHdl;
79 /* ================================================================== */
80 /* module support */
81 typedef int (*SModulFunc_t)(SModulFunctions*);
82 BOOLEAN load_builtin(const char *newlib, BOOLEAN autoexport, SModulFunc_t init);
83 void module_help_main(const char *newlib,const char *help);
84 void module_help_proc(const char *newlib,const char *p, const char *help);
85
86 /* ================================================================== */
87
88 /*extern ring currRing; in ring.h */
89
90 idhdl enterid(const char * a, int lev, int t, idhdl* root, BOOLEAN init=TRUE, BOOLEAN search=TRUE);
91 idhdl ggetid(const char *n);
92 //idhdl ggetid(const char *n, idhdl *packhdl);
93 void killid(const char * a, idhdl * i);
94 void killhdl(idhdl h, package prooti=currPack);
95 void killhdl2(idhdl h, idhdl * ih, ring r);
96 lists ipNameList(idhdl root);
97 lists ipNameListLev(idhdl root, int lev);
98 void ipMoveId(idhdl h);
99 BOOLEAN checkPackage(package pack);
100 idhdl packFindHdl(package r);
101 poly jj_NormalizeQRingP(poly p, const ring r);
102 void jjNormalizeQRingId(leftv I);
103 #define jjNormalizeQRingP(p) jj_NormalizeQRingP(p,currRing)
104 void *idrecDataInit(int t);
105
106 #define FLAG_STD 0 // is a SB wrt. currRing ("isSB")
107 #define FLAG_TWOSTD 3 // is a 2-sided SB wrt. currRing (" 2SB")
108 #define FLAG_QRING 4 // is normalized wrt. qring ("qringNF")
109 #define FLAG_QRING_DEF 5 // is a qring to be defined
110 #define FLAG_OTHER_RING 6 // mark newstruct parts as "write-only"
111 #define FLAG_RING 7 // mark newstruct parts as "ring dep."
112 #define hasFlag(A,F) Sy_inset((F),(A)->flag)
113 #define setFlag(A,F) (A)->flag|=Sy_bit(F)
114 #define resetFlag(A,F) (A)->flag&=~Sy_bit(F)
115 void ipListFlag(idhdl h);
116
117
118 #define IDNEXT(a) ((a)->next)
119 #define IDTYP(a) ((a)->typ)
120 #define IDFLAG(a) ((a)->flag)
121 #define IDLEV(a) ((a)->lev)
122 #define IDID(a) ((a)->id)
123 #define IDATTR(a) ((a)->attribute)
124
125 #define IDINT(a) ((int)(long)((a)->data.ustring))
126 #define IDDATA(a) ((a)->data.ustring)
127 #define IDRING(a) ((a)->data.uring)
128 #define IDINTVEC(a) ((a)->data.iv)
129 #define IDBIMAT(a) ((a)->data.bim)
130 #define IDPOLY(a) ((a)->data.p)
131 #define IDBIGINT(a) ((a)->data.n)
132 #define IDNUMBER(a) ((a)->data.n)
133 #define IDIDEAL(a) ((a)->data.uideal)
134 #define IDMATRIX(a) ((a)->data.umatrix)
135 #define IDMAP(a) ((a)->data.umap)
136 #define IDSTRING(a) ((a)->data.ustring)
137 #define IDLIST(a) ((a)->data.l)
138 #define IDLINK(a) ((a)->data.li)
139 #define IDPACKAGE(a) ((a)->data.pack)
140 #define IDPROC(a) ((a)->data.pinf)
141
142 EXTERN_VAR omBin sip_command_bin;
143 EXTERN_VAR omBin sip_package_bin;
144 EXTERN_VAR omBin idrec_bin;
145 EXTERN_VAR omBin sleftv_bin;
146
147 EXTERN_VAR coeffs coeffs_BIGINT;
148
149 /* options */
150 struct soptionStruct
151 {
152 const char * name;
153 unsigned setval;
154 unsigned resetval;
155 };
156
157 extern const struct soptionStruct optionStruct[];
158 extern const struct soptionStruct verboseStruct[];
159
160 #endif
161
162
163