My Project  debian-1:4.1.1-p2+ds-4build1
ipshell.h
Go to the documentation of this file.
1 #ifndef IPSHELL_H
2 #define IPSHELL_H
3 /****************************************
4 * Computer Algebra System SINGULAR *
5 ****************************************/
6 /*
7 * ABSTRACT
8 */
9 #include <stdio.h>
10 //#include "kernel/structs.h"
11 #include "kernel/ideals.h"
12 #include "Singular/lists.h"
13 #include "Singular/fevoices.h"
14 
15 struct _ssubexpr;
16 typedef struct _ssubexpr *Subexpr;
17 
24 
26 
27 BOOLEAN iiARROW (leftv, char*,char *);
28 
29 extern leftv iiCurrArgs;
30 extern idhdl iiCurrProc;
31 extern int iiOp; /* the current operation*/
32 extern const char * currid;
33 extern int iiRETURNEXPR_len;
34 extern sleftv iiRETURNEXPR;
35 extern ring *iiLocalRing;
36 //extern cmdnames cmds[];
37 extern const char *lastreserved;
38 extern int myynest;
39 extern int printlevel;
40 extern int si_echo;
41 
42 
43 extern BOOLEAN yyInRingConstruction; /* 1: during ring construction */
44 
45 int IsCmd(const char *n, int & tok);
46 
47 BOOLEAN iiPStart(idhdl pn, leftv sl);
48 BOOLEAN iiEStart(char* example, procinfo *pi);
50 void type_cmd(leftv v);
51 void test_cmd(int i);
52 void list_cmd(int typ, const char* what, const char * prefix,
53  BOOLEAN iterate, BOOLEAN fullname=FALSE);
54 //char * iiStringMatrix(matrix im, int dim, char ch=',');
55 void killlocals(int v);
57 const char * Tok2Cmdname(int i);
58 const char * iiTwoOps(int t);
59 int iiOpsTwoChar(const char *s);
60 
61 BOOLEAN iiWRITE(leftv res,leftv exprlist);
62 BOOLEAN iiExport(leftv v, int toLev);
63 BOOLEAN iiExport(leftv v, int toLev, package pack);
64 BOOLEAN iiInternalExport (leftv v, int toLev, package pack);
65 /// find the library of an proc
66 static inline char * iiGetLibName(const procinfov pi) { return pi->libname; }
67 char * iiGetLibProcBuffer( procinfov pi, int part=1 );
68 char * iiProcName(char *buf, char & ct, char* &e);
69 char * iiProcArgs(char *e,BOOLEAN withParenth);
70 BOOLEAN iiLibCmd( char *newlib, BOOLEAN autoexport, BOOLEAN tellerror, BOOLEAN force );
71 /* sees wheter library lib has already been loaded
72  if yes, writes filename of lib into where and returns TRUE,
73  if no, returns FALSE
74 */
75 /// load lib/module given in v
76 BOOLEAN jjLOAD(const char *s, BOOLEAN autoexport = FALSE);
77 BOOLEAN jjLOAD_TRY(const char *s);
78 BOOLEAN iiLocateLib(const char* lib, char* where);
79 leftv iiMap(map theMap, const char * what);
80 void iiMakeResolv(resolvente r, int length, int rlen, char * name, int typ0,
81  intvec ** weights=NULL);
88 
91 
92 int iiRegularity(lists L);
95 void iiDebug();
96 BOOLEAN iiCheckRing(int i);
97 poly iiHighCorner(ideal i, int ak);
98 char * iiConvName(const char *libname);
99 BOOLEAN iiLoadLIB(FILE *fp, const char *libnamebuf, const char *newlib,
100  idhdl pl, BOOLEAN autoexport, BOOLEAN tellerror);
101 
102 // converts a resolution into a list of modules
103 lists syConvRes(syStrategy syzstr,BOOLEAN toDel=FALSE,int add_row_shift=0);
104 // converts a list of modules into a minimal resolution
106 // converts a list of modules into a resolution
108 
111 
112 /* ================================================================== */
113 /* Expressions : */
114 BOOLEAN iiExprArith1(leftv res, sleftv* a, int op);
115 BOOLEAN iiExprArith2(leftv res, sleftv* a, int op, sleftv* b,
116  BOOLEAN proccall=FALSE);
117 BOOLEAN iiExprArith3(leftv res, int op, leftv a, leftv b, leftv c);
118 BOOLEAN iiExprArithM(leftv res, sleftv* a, int op);
119 BOOLEAN iiApply(leftv res,leftv a, int op, leftv proc);
120 
121 typedef BOOLEAN (*proc1)(leftv,leftv);
122 
123 #ifdef GENTABLE
124 struct sValCmd1
125 {
126  proc1 p;
127  short cmd;
128  short res;
129  short arg;
130  short valid_for;
131 };
132 
133 typedef BOOLEAN (*proc2)(leftv,leftv,leftv);
134 struct sValCmd2
135 {
136  proc2 p;
137  short cmd;
138  short res;
139  short arg1;
140  short arg2;
141  short valid_for;
142 };
143 
144 typedef BOOLEAN (*proc3)(leftv,leftv,leftv,leftv);
145 struct sValCmd3
146 {
147  proc3 p;
148  short cmd;
149  short res;
150  short arg1;
151  short arg2;
152  short arg3;
153  short valid_for;
154 };
155 struct sValCmdM
156 {
157  proc1 p;
158  short cmd;
159  short res;
160  short number_of_args; /* -1: any, -2: any >0, .. */
161  short valid_for;
162 };
163 extern const struct sValCmd2 dArith2[];
164 extern const struct sValCmd1 dArith1[];
165 extern const struct sValCmd3 dArith3[];
166 extern const struct sValCmdM dArithM[];
167 #endif
168 
169 /* ================================================================== */
170 /* Assigments : */
171 BOOLEAN iiAssign(leftv left, leftv right, BOOLEAN toplevel=TRUE);
172 
173 typedef BOOLEAN (*proci)(leftv,leftv,Subexpr);
174 struct sValAssign_sys
175 {
176  proc1 p;
177  short res;
178  short arg;
179 };
180 
181 struct sValAssign
182 {
183  proci p;
184  short res;
185  short arg;
186 };
187 
190 
191 int iiTokType(int op);
192 /* ================================================================== */
193 int iiDeclCommand(leftv sy, leftv name, int lev, int t, idhdl* root,
194  BOOLEAN isring = FALSE, BOOLEAN init_b=TRUE);
195 BOOLEAN iiMake_proc(idhdl pn, package pack, leftv sl);
196 void* iiCallLibProc1(const char*n, void *arg, int arg_type, BOOLEAN &err);
197 void* iiCallLibProcM(const char*n, void **args, int *arg_types, BOOLEAN &err);
198 // from misc.cc:
199 char * showOption();
201 /* ================================================================== */
202 char * versionString();
203 /* ================================================================== */
204 void singular_example(char *str);
205 
206 BOOLEAN iiTryLoadLib(leftv v, const char *id);
207 
208 int iiAddCproc(const char *libname, const char *procname, BOOLEAN pstatic,
209  BOOLEAN(*func)(leftv res, leftv v));
210 
211 void iiCheckPack(package &p);
212 #ifndef SING_NDEBUG
213 void checkall();
214 #endif
215 
216 void rSetHdl(idhdl h);
217 ring rInit(leftv pn, leftv rv, leftv ord);
218 idhdl rDefault(const char *s);
219 
220 idhdl rSimpleFindHdl(ring r, idhdl root, idhdl n=NULL);
221 idhdl rFindHdl(ring r, idhdl n);
222 void rKill(idhdl h);
223 void rKill(ring r);
224 lists scIndIndset(ideal S, BOOLEAN all, ideal Q);
225 BOOLEAN mpKoszul(leftv res,leftv c/*ip*/, leftv b/*in*/, leftv id);
230 BOOLEAN loSimplex( leftv res, leftv args );
231 BOOLEAN loNewtonP( leftv res, leftv arg1 );
232 BOOLEAN nuMPResMat( leftv res, leftv arg1, leftv arg2 );
233 BOOLEAN nuLagSolve( leftv res, leftv arg1, leftv arg2, leftv arg3 );
234 BOOLEAN nuVanderSys( leftv res, leftv arg1, leftv arg2, leftv arg3);
236 
238 /*
239 BOOLEAN jjRESULTANT(leftv res, leftv u, leftv v, leftv w);
240 #if 0
241 BOOLEAN jjIS_SQR_FREE(leftv res, leftv u);
242 #endif
243 */
244 /* ================================================================== */
245 void paPrint(const char *n,package p);
246 /* ================================================================== */
247 
248 
250 
251 /* table interface for iiAddCproc */
252 /// apply an operation 'op' to an argument a
253 /// return TRUE on failure
254 BOOLEAN iiExprArith1Tab(leftv res,///< [out] pre-allocated result
255  leftv a, ///< [in] argument
256  int op, ///< [in] operation
257  const struct sValCmd1* dA1, ///< [in] table of possible proc
258  ///< assumes dArith1[0].cmd==op
259  int at, ///< [in] a->Typ()
260  const struct sConvertTypes *dConvertTypes ///< [in] table of type conversions
261  );
262 /// apply an operation 'op' to arguments a and a->next
263 /// return TRUE on failure
264 BOOLEAN iiExprArith2Tab(leftv res,///< [out] pre-allocated result
265  leftv a, ///< [in] 2 arguments
266  int op, ///< [in] operation
267  const struct sValCmd2* dA2,///< [in] table of possible proc
268  ///< assumes dA2[0].cmd==op
269  int at, ///< [in] a->Typ()
270  const struct sConvertTypes *dConvertTypes ///< [in] table of type conversions
271  );
272 /// apply an operation 'op' to arguments a, a->next and a->next->next
273 /// return TRUE on failure
274 BOOLEAN iiExprArith3Tab(leftv res, ///< [out] pre-allocated result
275  leftv a, ///< [in] 3 arguments
276  int op, ///< [in] operation
277  const struct sValCmd3* dA3,///< [in] table of possible proc
278  ///< assumes dA3[0].cmd==op
279  int at, ///< [in] a->Typ()
280  const struct sConvertTypes *dConvertTypes ///< [in] table of type conversions
281  );
282 
283 /// check a list of arguemys against a given field of types
284 /// return TRUE if the types match
285 /// return FALSE (and, if report) report an error via Werror otherwise
286 BOOLEAN iiCheckTypes(leftv args,/// < [in] argument list (may be NULL)
287  const short *type_list,///< [in] field of types
288  ///< len, t1,t2,...
289  int report=0 /// ;in] report error?
290  );
291 
292 BOOLEAN iiBranchTo(leftv r, leftv args);
293 
294 lists rDecompose(const ring r);
295 
296 lists rDecompose_list_cf(const ring r);
298 #endif
299 
iiDeclCommand
int iiDeclCommand(leftv sy, leftv name, int lev, int t, idhdl *root, BOOLEAN isring=FALSE, BOOLEAN init_b=TRUE)
Definition: ipshell.cc:1121
FALSE
#define FALSE
Definition: auxiliary.h:94
jjRESULTANT
BOOLEAN jjRESULTANT(leftv res, leftv u, leftv v, leftv w)
Definition: ipshell.cc:3277
_ssubexpr
Definition: subexpr.h:67
sConvertTypes
Definition: gentable.cc:115
iiGetLibName
static char * iiGetLibName(const procinfov pi)
find the library of an proc
Definition: ipshell.h:65
jjBETTI2_ID
BOOLEAN jjBETTI2_ID(leftv res, leftv u, leftv v)
Definition: ipshell.cc:898
iiCallLibProcM
void * iiCallLibProcM(const char *n, void **args, int *arg_types, BOOLEAN &err)
args: NULL terminated arry of arguments arg_types: 0 terminated array of corresponding types
Definition: iplib.cc:646
list_cmd
void list_cmd(int typ, const char *what, const char *prefix, BOOLEAN iterate, BOOLEAN fullname=FALSE)
Definition: ipshell.cc:416
iiCheckTypes
BOOLEAN iiCheckTypes(leftv args, const short *type_list, int report=0)
check a list of arguemys against a given field of types return TRUE if the types match return FALSE (...
Definition: ipshell.cc:6502
rDecompose
lists rDecompose(const ring r)
Definition: ipshell.cc:2040
iiBranchTo
BOOLEAN iiBranchTo(leftv r, leftv args)
Definition: ipshell.cc:1178
rDefault
idhdl rDefault(const char *s)
Definition: ipshell.cc:1549
versionString
char * versionString()
Definition: misc_ip.cc:788
iiConvName
char * iiConvName(const char *libname)
Definition: iplib.cc:1330
iiCallLibProc1
void * iiCallLibProc1(const char *n, void *arg, int arg_type, BOOLEAN &err)
Definition: iplib.cc:612
iiAssignCR
BOOLEAN iiAssignCR(leftv, leftv)
Definition: ipshell.cc:6446
sValAssign::p
int p
Definition: gentable.cc:110
myynest
int myynest
Definition: febase.cc:40
iiLocateLib
BOOLEAN iiLocateLib(const char *lib, char *where)
Definition: iplib.cc:811
printlevel
int printlevel
Definition: febase.cc:35
jjLIST_PL
BOOLEAN jjLIST_PL(leftv res, leftv v)
Definition: iparith.cc:7307
iiMake_proc
BOOLEAN iiMake_proc(idhdl pn, package pack, leftv sl)
Definition: iplib.cc:484
sValAssign::res
short res
Definition: gentable.cc:111
sValAssign_sys::res
short res
Definition: gentable.cc:104
lists.h
sValCmd3::arg3
short arg3
Definition: gentable.cc:90
sValCmd1::arg
short arg
Definition: gentable.cc:80
iiExprArith3Tab
BOOLEAN iiExprArith3Tab(leftv res, leftv a, int op, const struct sValCmd3 *dA3, int at, const struct sConvertTypes *dConvertTypes)
apply an operation 'op' to arguments a, a->next and a->next->next return TRUE on failure
Definition: iparith.cc:8532
showOption
char * showOption()
Definition: misc_ip.cc:727
iiGetLibProcBuffer
char * iiGetLibProcBuffer(procinfov pi, int part=1)
map
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
jjVARIABLES_P
BOOLEAN jjVARIABLES_P(leftv res, leftv u)
Definition: ipshell.cc:6249
iiRegularity
int iiRegularity(lists L)
Definition: ipshell.cc:955
proc3
BOOLEAN(* proc3)(leftv, leftv, leftv, leftv)
Definition: ipshell.h:143
iiAssign
BOOLEAN iiAssign(leftv left, leftv right, BOOLEAN toplevel=TRUE)
Definition: ipassign.cc:1791
syConvList
syStrategy syConvList(lists li)
Definition: ipshell.cc:3193
lastreserved
const char * lastreserved
Definition: ipshell.cc:79
sValCmd2::res
short res
Definition: gentable.cc:70
iiPStart
BOOLEAN iiPStart(idhdl pn, leftv sl)
Definition: iplib.cc:352
sValCmdM::number_of_args
short number_of_args
Definition: gentable.cc:98
dArith2
const struct sValCmd2 dArith2[]
Definition: table.h:293
sValAssign_sys::p
int p
Definition: gentable.cc:103
sValCmd1::valid_for
short valid_for
Definition: gentable.cc:81
iiWRITE
BOOLEAN iiWRITE(leftv res, leftv exprlist)
Definition: ipshell.cc:579
length
static BOOLEAN length(leftv result, leftv arg)
Definition: interval.cc:267
procinfo
Definition: subexpr.h:52
jjIMPORTFROM
BOOLEAN jjIMPORTFROM(leftv res, leftv u, leftv v)
Definition: ipassign.cc:2186
rSimpleFindHdl
idhdl rSimpleFindHdl(ring r, idhdl root, idhdl n=NULL)
Definition: ipshell.cc:6164
nuUResSolve
BOOLEAN nuUResSolve(leftv res, leftv args)
solve a multipolynomial system using the u-resultant Input ideal must be 0-dimensional and (currRing-...
Definition: ipshell.cc:4845
syBetti1
BOOLEAN syBetti1(leftv res, leftv u)
Definition: ipshell.cc:3109
killlocals
void killlocals(int v)
Definition: ipshell.cc:377
iiLoadLIB
BOOLEAN iiLoadLIB(FILE *fp, const char *libnamebuf, const char *newlib, idhdl pl, BOOLEAN autoexport, BOOLEAN tellerror)
Definition: iplib.cc:914
paPrint
void paPrint(const char *n, package p)
Definition: ipshell.cc:6272
iiExprArith1Tab
BOOLEAN iiExprArith1Tab(leftv res, leftv a, int op, const struct sValCmd1 *dA1, int at, const struct sConvertTypes *dConvertTypes)
apply an operation 'op' to an argument a return TRUE on failure
Definition: iparith.cc:8137
sValCmd2::arg1
short arg1
Definition: gentable.cc:71
sValAssign_sys::arg
short arg
Definition: gentable.cc:105
iiOpsTwoChar
int iiOpsTwoChar(const char *s)
Definition: ipshell.cc:118
iiExprArith3
BOOLEAN iiExprArith3(leftv res, int op, leftv a, leftv b, leftv c)
Definition: iparith.cc:8480
syConvRes
lists syConvRes(syStrategy syzstr, BOOLEAN toDel=FALSE, int add_row_shift=0)
Definition: ipshell.cc:3121
nuVanderSys
BOOLEAN nuVanderSys(leftv res, leftv arg1, leftv arg2, leftv arg3)
COMPUTE: polynomial p with values given by v at points p1,..,pN derived from p; more precisely: consi...
Definition: ipshell.cc:4744
sValAssign_sys
Definition: gentable.cc:101
sValCmd2::cmd
short cmd
Definition: gentable.cc:69
sleftv
Class used for (list of) interpreter objects.
Definition: subexpr.h:81
w
const CanonicalForm & w
Definition: facAbsFact.cc:55
type_cmd
void type_cmd(leftv v)
Definition: ipshell.cc:245
b
CanonicalForm b
Definition: cfModGcd.cc:4044
sValCmd1::res
short res
Definition: gentable.cc:79
nuMPResMat
BOOLEAN nuMPResMat(leftv res, leftv arg1, leftv arg2)
returns module representing the multipolynomial resultant matrix Arguments 2: ideal i,...
Definition: ipshell.cc:4592
leftv
sleftv * leftv
Definition: structs.h:59
iiDebug
void iiDebug()
Definition: ipshell.cc:983
mpJacobi
BOOLEAN mpJacobi(leftv res, leftv a)
Definition: ipshell.cc:3008
pi
#define pi
Definition: libparse.cc:1142
iiAddCproc
int iiAddCproc(const char *libname, const char *procname, BOOLEAN pstatic, BOOLEAN(*func)(leftv res, leftv v))
Definition: iplib.cc:1004
jjBETTI2
BOOLEAN jjBETTI2(leftv res, leftv u, leftv v)
Definition: ipshell.cc:919
iiHighCorner
poly iiHighCorner(ideal i, int ak)
Definition: ipshell.cc:1511
dArithM
const struct sValCmdM dArithM[]
Definition: table.h:844
TRUE
#define TRUE
Definition: auxiliary.h:98
i
int i
Definition: cfEzgcd.cc:125
jjLOAD_TRY
BOOLEAN jjLOAD_TRY(const char *s)
Definition: iparith.cc:5172
iiAlias
BOOLEAN iiAlias(leftv p)
Definition: ipid.cc:754
res
CanonicalForm res
Definition: facAbsFact.cc:64
fp
CanonicalForm fp
Definition: cfModGcd.cc:4043
buf
int status int void * buf
Definition: si_signals.h:58
iiRETURNEXPR
sleftv iiRETURNEXPR
Definition: iplib.cc:454
iiCurrArgs
leftv iiCurrArgs
Definition: ipshell.cc:77
IsCmd
int IsCmd(const char *n, int &tok)
Definition: iparith.cc:8679
BOOLEAN
int BOOLEAN
Definition: auxiliary.h:85
rFindHdl
idhdl rFindHdl(ring r, idhdl n)
Definition: ipshell.cc:1594
semicProc
BOOLEAN semicProc(leftv, leftv, leftv)
Definition: ipshell.cc:4488
dArith3
const struct sValCmd3 dArith3[]
Definition: table.h:726
sValAssign
Definition: gentable.cc:108
proci
BOOLEAN(* proci)(leftv, leftv, Subexpr)
Definition: ipshell.h:172
resolvente
ideal * resolvente
Definition: ideals.h:17
sValCmd2::p
int p
Definition: gentable.cc:68
h
static Poly * h
Definition: janet.cc:972
rSetHdl
void rSetHdl(idhdl h)
Definition: ipshell.cc:5049
sValCmd1::cmd
short cmd
Definition: gentable.cc:78
jjLOAD
BOOLEAN jjLOAD(const char *s, BOOLEAN autoexport=FALSE)
load lib/module given in v
Definition: iparith.cc:5096
scIndIndset
lists scIndIndset(ideal S, BOOLEAN all, ideal Q)
Definition: ipshell.cc:1021
proc2
BOOLEAN(* proc2)(leftv, leftv, leftv)
Definition: ipshell.h:132
coeffs
iiMakeResolv
void iiMakeResolv(resolvente r, int length, int rlen, char *name, int typ0, intvec **weights=NULL)
Definition: ipshell.cc:765
sValCmd2::valid_for
short valid_for
Definition: gentable.cc:73
setOption
BOOLEAN setOption(leftv res, leftv v)
Definition: misc_ip.cc:585
intvec
Definition: intvec.h:16
spaddProc
BOOLEAN spaddProc(leftv, leftv, leftv)
Definition: ipshell.cc:4365
jjVARIABLES_ID
BOOLEAN jjVARIABLES_ID(leftv res, leftv u)
Definition: ipshell.cc:6257
iiMap
leftv iiMap(map theMap, const char *what)
Definition: ipshell.cc:606
kWeight
BOOLEAN kWeight(leftv res, leftv id)
Definition: ipshell.cc:3238
fevoices.h
sValCmd2::arg2
short arg2
Definition: gentable.cc:72
nuLagSolve
BOOLEAN nuLagSolve(leftv res, leftv arg1, leftv arg2, leftv arg3)
find the (complex) roots an univariate polynomial Determines the roots of an univariate polynomial us...
Definition: ipshell.cc:4615
iiLibCmd
BOOLEAN iiLibCmd(char *newlib, BOOLEAN autoexport, BOOLEAN tellerror, BOOLEAN force)
Definition: iplib.cc:825
iiApply
BOOLEAN iiApply(leftv res, leftv a, int op, leftv proc)
Definition: ipshell.cc:6363
iiExprArith2Tab
BOOLEAN iiExprArith2Tab(leftv res, leftv a, int op, const struct sValCmd2 *dA2, int at, const struct sConvertTypes *dConvertTypes)
apply an operation 'op' to arguments a and a->next return TRUE on failure
Definition: iparith.cc:8065
loSimplex
BOOLEAN loSimplex(leftv res, leftv args)
Implementation of the Simplex Algorithm.
Definition: ipshell.cc:4506
singular_system
leftv singular_system(sleftv h)
rDecompose_CF
BOOLEAN rDecompose_CF(leftv res, const coeffs C)
Definition: ipshell.cc:1838
libnamebuf
char libnamebuf[1024]
Definition: libparse.cc:1095
yyInRingConstruction
BOOLEAN yyInRingConstruction
Definition: grammar.cc:172
feBufferTypes
feBufferTypes
Definition: fevoices.h:15
syBetti2
BOOLEAN syBetti2(leftv res, leftv u, leftv w)
Definition: ipshell.cc:3086
slists
Definition: lists.h:21
iiExport
BOOLEAN iiExport(leftv v, int toLev)
Definition: ipshell.cc:1413
sValCmdM::res
short res
Definition: gentable.cc:97
iiExprArith1
BOOLEAN iiExprArith1(leftv res, sleftv *a, int op)
iiARROW
BOOLEAN iiARROW(leftv, char *, char *)
Definition: ipshell.cc:6412
idrec
Definition: idrec.h:33
sValCmd3::res
short res
Definition: gentable.cc:87
iiCurrProc
idhdl iiCurrProc
Definition: ipshell.cc:78
iiOp
int iiOp
Definition: iparith.cc:218
iiParameter
BOOLEAN iiParameter(leftv p)
Definition: ipshell.cc:1279
iiInternalExport
BOOLEAN iiInternalExport(leftv v, int toLev, package pack)
Definition: ipshell.cc:1367
iiProcName
char * iiProcName(char *buf, char &ct, char *&e)
Definition: iplib.cc:94
syForceMin
syStrategy syForceMin(lists li)
Definition: ipshell.cc:3222
sValCmd3::arg2
short arg2
Definition: gentable.cc:89
iiTwoOps
const char * iiTwoOps(int t)
Definition: gentable.cc:258
sValCmdM::cmd
short cmd
Definition: gentable.cc:96
sValCmdM::valid_for
short valid_for
Definition: gentable.cc:99
si_echo
int si_echo
Definition: febase.cc:34
iiTokType
int iiTokType(int op)
Definition: iparith.cc:233
iiExprArithM
BOOLEAN iiExprArithM(leftv res, sleftv *a, int op)
rDecompose_list_cf
lists rDecompose_list_cf(const ring r)
Definition: ipshell.cc:1909
exprlist_length
int exprlist_length(leftv v)
Definition: ipshell.cc:543
kQHWeight
BOOLEAN kQHWeight(leftv res, leftv v)
Definition: ipshell.cc:3260
name
char name(const Variable &v)
Definition: factory.h:180
iiExprArith2
BOOLEAN iiExprArith2(leftv res, sleftv *a, int op, sleftv *b, BOOLEAN proccall=FALSE)
jjMINRES
BOOLEAN jjMINRES(leftv res, leftv v)
Definition: ipshell.cc:864
iiLocalRing
ring * iiLocalRing
Definition: iplib.cc:453
spectrumProc
BOOLEAN spectrumProc(leftv, leftv)
Definition: ipshell.cc:4070
test_cmd
void test_cmd(int i)
Definition: ipshell.cc:505
iiCheckPack
void iiCheckPack(package &p)
Definition: ipshell.cc:1535
rInit
ring rInit(leftv pn, leftv rv, leftv ord)
Definition: ipshell.cc:5542
NULL
#define NULL
Definition: omList.c:9
jjSYSTEM
BOOLEAN jjSYSTEM(leftv res, leftv v)
Definition: extra.cc:228
sValAssign::arg
short arg
Definition: gentable.cc:112
dArith1
const struct sValCmd1 dArith1[]
Definition: table.h:19
ideals.h
l
int l
Definition: cfEzgcd.cc:93
sValCmdM
Definition: gentable.cc:93
iiAllStart
BOOLEAN iiAllStart(procinfov pi, char *p, feBufferTypes t, int l)
Definition: iplib.cc:292
mpKoszul
BOOLEAN mpKoszul(leftv res, leftv c, leftv b, leftv id)
Definition: ipshell.cc:3030
sValCmd1
Definition: gentable.cc:75
sValCmd2
Definition: gentable.cc:66
sValCmd3
Definition: gentable.cc:83
spectrumfProc
BOOLEAN spectrumfProc(leftv, leftv)
Definition: ipshell.cc:4121
v
const Variable & v
< [in] a sqrfree bivariate poly
Definition: facBivar.h:37
sValCmdM::p
int p
Definition: gentable.cc:95
dConvertTypes
const struct sConvertTypes dConvertTypes[]
Definition: table.h:1207
p
int p
Definition: cfModGcd.cc:4019
sValCmd3::p
int p
Definition: gentable.cc:85
s
const CanonicalForm int s
Definition: facAbsFact.cc:55
sValCmd1::p
int p
Definition: gentable.cc:77
jjCHARSERIES
BOOLEAN jjCHARSERIES(leftv res, leftv u)
Definition: ipshell.cc:3284
Q
#define Q
Definition: sirandom.c:25
proc
unsigned char * proc[NUM_PROC]
Definition: checklibs.c:16
Tok2Cmdname
const char * Tok2Cmdname(int i)
Definition: gentable.cc:137
sValCmd3::arg1
short arg1
Definition: gentable.cc:88
iiRETURNEXPR_len
int iiRETURNEXPR_len
Definition: iplib.cc:455
iiTryLoadLib
BOOLEAN iiTryLoadLib(leftv v, const char *id)
Definition: iplib.cc:763
spmulProc
BOOLEAN spmulProc(leftv, leftv, leftv)
Definition: ipshell.cc:4407
rKill
void rKill(idhdl h)
Definition: ipshell.cc:6121
sValCmd3::cmd
short cmd
Definition: gentable.cc:86
semicProc3
BOOLEAN semicProc3(leftv, leftv, leftv, leftv)
Definition: ipshell.cc:4448
iiTestAssume
BOOLEAN iiTestAssume(leftv a, leftv b)
Definition: ipshell.cc:6385
package
ip_package * package
Definition: structs.h:45
currid
const char * currid
Definition: grammar.cc:171
loNewtonP
BOOLEAN loNewtonP(leftv res, leftv arg1)
compute Newton Polytopes of input polynomials
Definition: ipshell.cc:4500
iiEStart
BOOLEAN iiEStart(char *example, procinfo *pi)
Definition: iplib.cc:698
proc1
BOOLEAN(* proc1)(leftv, leftv)
Definition: ipshell.h:120
ssyStrategy
Definition: syz.h:36
singular_example
void singular_example(char *str)
Definition: misc_ip.cc:448
jjBETTI
BOOLEAN jjBETTI(leftv res, leftv v)
Definition: ipshell.cc:885
iiCheckRing
BOOLEAN iiCheckRing(int i)
Definition: ipshell.cc:1491
iiProcArgs
char * iiProcArgs(char *e, BOOLEAN withParenth)
Definition: iplib.cc:108
sValCmd3::valid_for
short valid_for
Definition: gentable.cc:91