My Project
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 
31 EXTERN_VAR int iiOp; /* the current operation*/
32 extern const char * currid;
36 //extern cmdnames cmds[];
37 extern const char *lastreserved;
41 
42 
43 EXTERN_VAR 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);
49 BOOLEAN iiAllStart(procinfov pi, const char *p,feBufferTypes t, int l);
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( const 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 iiGetLibStatus(const char *lib);
100 BOOLEAN iiLoadLIB(FILE *fp, const char *libnamebuf, const char *newlib,
101  idhdl pl, BOOLEAN autoexport, BOOLEAN tellerror);
102 
103 // converts a resolution into a list of modules
104 lists syConvRes(syStrategy syzstr,BOOLEAN toDel=FALSE,int add_row_shift=0);
105 // converts a list of modules into a minimal resolution
107 // converts a list of modules into a resolution
109 
112 
113 /* ================================================================== */
114 /* Expressions : */
117  BOOLEAN proccall=FALSE);
118 BOOLEAN iiExprArith3(leftv res, int op, leftv a, leftv b, leftv c);
120 BOOLEAN iiApply(leftv res,leftv a, int op, leftv proc);
121 
122 typedef BOOLEAN (*proc1)(leftv,leftv);
123 
124 #ifdef GENTABLE
125 struct sValCmd1
126 {
127  proc1 p;
128  short cmd;
129  short res;
130  short arg;
131  short valid_for;
132 };
133 
135 struct sValCmd2
136 {
137  proc2 p;
138  short cmd;
139  short res;
140  short arg1;
141  short arg2;
142  short valid_for;
143 };
144 
146 struct sValCmd3
147 {
148  proc3 p;
149  short cmd;
150  short res;
151  short arg1;
152  short arg2;
153  short arg3;
154  short valid_for;
155 };
156 struct sValCmdM
157 {
158  proc1 p;
159  short cmd;
160  short res;
161  short number_of_args; /* -1: any, -2: any >0, .. */
162  short valid_for;
163 };
164 extern const struct sValCmd2 dArith2[];
165 extern const struct sValCmd1 dArith1[];
166 extern const struct sValCmd3 dArith3[];
167 extern const struct sValCmdM dArithM[];
168 #endif
169 
170 /* ================================================================== */
171 /* Assigments : */
172 BOOLEAN iiAssign(leftv left, leftv right, BOOLEAN toplevel=TRUE);
173 coeffs jjSetMinpoly(coeffs cf, number a);
174 
175 typedef BOOLEAN (*proci)(leftv,leftv,Subexpr);
176 struct sValAssign_sys
177 {
179  short res;
180  short arg;
181 };
182 
183 struct sValAssign
184 {
186  short res;
187  short arg;
188 };
189 
192 
193 int iiTokType(int op);
194 /* ================================================================== */
195 int iiDeclCommand(leftv sy, leftv name, int lev, int t, idhdl* root,
196  BOOLEAN isring = FALSE, BOOLEAN init_b=TRUE);
197 BOOLEAN iiMake_proc(idhdl pn, package pack, leftv sl);
198 void* iiCallLibProc1(const char* n, void *arg, int arg_type, BOOLEAN &err);
199 leftv ii_CallLibProcM(const char* n, void **args, int *arg_types, const ring R, BOOLEAN &err);
200 ideal ii_CallProcId2Id(const char* lib,const char* proc, ideal arg,const ring R);
201 int ii_CallProcId2Int(const char* lib,const char* proc, ideal arg,const ring R);
202 // from misc.cc:
203 char * showOption();
205 /* ================================================================== */
206 char * versionString();
207 /* ================================================================== */
208 void singular_example(char *str);
209 
210 BOOLEAN iiTryLoadLib(leftv v, const char *id);
211 
212 int iiAddCproc(const char *libname, const char *procname, BOOLEAN pstatic,
213  BOOLEAN(*func)(leftv res, leftv v));
214 
215 void iiCheckPack(package &p);
216 #ifndef SING_NDEBUG
217 void checkall();
218 #endif
219 
220 void rSetHdl(idhdl h);
221 ring rInit(leftv pn, leftv rv, leftv ord);
222 idhdl rDefault(const char *s);
223 
224 idhdl rFindHdl(ring r, idhdl n);
225 void rKill(idhdl h);
226 void rKill(ring r);
227 lists scIndIndset(ideal S, BOOLEAN all, ideal Q);
228 BOOLEAN mpKoszul(leftv res,leftv c/*ip*/, leftv b/*in*/, leftv id);
233 BOOLEAN loSimplex( leftv res, leftv args );
234 BOOLEAN loNewtonP( leftv res, leftv arg1 );
235 BOOLEAN nuMPResMat( leftv res, leftv arg1, leftv arg2 );
236 BOOLEAN nuLagSolve( leftv res, leftv arg1, leftv arg2, leftv arg3 );
237 BOOLEAN nuVanderSys( leftv res, leftv arg1, leftv arg2, leftv arg3);
239 
241 /*
242 BOOLEAN jjRESULTANT(leftv res, leftv u, leftv v, leftv w);
243 #if 0
244 BOOLEAN jjIS_SQR_FREE(leftv res, leftv u);
245 #endif
246 */
247 /* ================================================================== */
248 void paPrint(const char *n,package p);
249 /* ================================================================== */
250 
251 
253 
254 /* table interface for iiAddCproc */
255 /// apply an operation 'op' to an argument a
256 /// return TRUE on failure
257 BOOLEAN iiExprArith1Tab(leftv res,///< [out] pre-allocated result
258  leftv a, ///< [in] argument
259  int op, ///< [in] operation
260  const struct sValCmd1* dA1, ///< [in] table of possible proc
261  ///< assumes dArith1[0].cmd==op
262  int at, ///< [in] a->Typ()
263  const struct sConvertTypes *dConvertTypes ///< [in] table of type conversions
264  );
265 /// apply an operation 'op' to arguments a and a->next
266 /// return TRUE on failure
267 BOOLEAN iiExprArith2Tab(leftv res,///< [out] pre-allocated result
268  leftv a, ///< [in] 2 arguments
269  int op, ///< [in] operation
270  const struct sValCmd2* dA2,///< [in] table of possible proc
271  ///< assumes dA2[0].cmd==op
272  int at, ///< [in] a->Typ()
273  const struct sConvertTypes *dConvertTypes ///< [in] table of type conversions
274  );
275 /// apply an operation 'op' to arguments a, a->next and a->next->next
276 /// return TRUE on failure
277 BOOLEAN iiExprArith3Tab(leftv res, ///< [out] pre-allocated result
278  leftv a, ///< [in] 3 arguments
279  int op, ///< [in] operation
280  const struct sValCmd3* dA3,///< [in] table of possible proc
281  ///< assumes dA3[0].cmd==op
282  int at, ///< [in] a->Typ()
283  const struct sConvertTypes *dConvertTypes ///< [in] table of type conversions
284  );
285 
286 /// check a list of arguemys against a given field of types
287 /// return TRUE if the types match
288 /// return FALSE (and, if report) report an error via Werror otherwise
289 BOOLEAN iiCheckTypes(leftv args,/// < [in] argument list (may be NULL)
290  const short *type_list,///< [in] field of types
291  ///< len, t1,t2,...
292  int report=0 /// ;in] report error?
293  );
294 
295 BOOLEAN iiBranchTo(leftv r, leftv args);
296 
297 lists rDecompose(const ring r);
298 
299 lists rDecompose_list_cf(const ring r);
301 ring rCompose(const lists L, const BOOLEAN check_comp=TRUE, const long bitmask=0x7fff, const int isLetterplace=FALSE);
302 
303 void iiSetReturn(const leftv h);
304 #endif
305 
int BOOLEAN
Definition: auxiliary.h:87
#define TRUE
Definition: auxiliary.h:100
#define FALSE
Definition: auxiliary.h:96
int l
Definition: cfEzgcd.cc:100
int i
Definition: cfEzgcd.cc:132
int p
Definition: cfModGcd.cc:4078
CanonicalForm fp
Definition: cfModGcd.cc:4102
CanonicalForm cf
Definition: cfModGcd.cc:4083
CanonicalForm b
Definition: cfModGcd.cc:4103
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:504
unsigned char * proc[NUM_PROC]
Definition: checklibs.c:16
Definition: idrec.h:35
Definition: intvec.h:23
Class used for (list of) interpreter objects.
Definition: subexpr.h:83
Definition: lists.h:24
const CanonicalForm int s
Definition: facAbsFact.cc:51
CanonicalForm res
Definition: facAbsFact.cc:60
const CanonicalForm & w
Definition: facAbsFact.cc:51
const Variable & v
< [in] a sqrfree bivariate poly
Definition: facBivar.h:39
feBufferTypes
Definition: fevoices.h:17
#define EXTERN_INST_VAR
Definition: globaldefs.h:9
#define EXTERN_VAR
Definition: globaldefs.h:6
ideal * resolvente
Definition: ideals.h:18
static BOOLEAN length(leftv result, leftv arg)
Definition: interval.cc:257
const struct sConvertTypes dConvertTypes[]
Definition: table.h:1277
lists rDecompose(const ring r)
Definition: ipshell.cc:2165
const struct sValCmd1 dArith1[]
Definition: table.h:37
BOOLEAN(* proci)(leftv, leftv, Subexpr)
Definition: ipshell.h:175
void iiMakeResolv(resolvente r, int length, int rlen, char *name, int typ0, intvec **weights=NULL)
Definition: ipshell.cc:847
BOOLEAN iiWRITE(leftv res, leftv exprlist)
Definition: ipshell.cc:588
BOOLEAN jjVARIABLES_P(leftv res, leftv u)
Definition: ipshell.cc:6304
lists rDecompose_list_cf(const ring r)
Definition: ipshell.cc:2126
int iiAddCproc(const char *libname, const char *procname, BOOLEAN pstatic, BOOLEAN(*func)(leftv res, leftv v))
Definition: iplib.cc:1063
EXTERN_VAR leftv iiCurrArgs
Definition: ipshell.h:29
int iiOpsTwoChar(const char *s)
Definition: ipshell.cc:121
EXTERN_VAR BOOLEAN yyInRingConstruction
Definition: ipshell.h:43
BOOLEAN jjMINRES(leftv res, leftv v)
Definition: ipshell.cc:946
BOOLEAN iiARROW(leftv, char *, char *)
Definition: ipshell.cc:6474
BOOLEAN jjSYSTEM(leftv res, leftv v)
Definition: extra.cc:229
EXTERN_INST_VAR sleftv iiRETURNEXPR
Definition: ipshell.h:34
BOOLEAN iiParameter(leftv p)
Definition: ipshell.cc:1380
BOOLEAN jjLOAD(const char *s, BOOLEAN autoexport=FALSE)
load lib/module given in v
Definition: iparith.cc:5466
char * iiProcName(char *buf, char &ct, char *&e)
Definition: iplib.cc:100
EXTERN_VAR int si_echo
Definition: ipshell.h:40
BOOLEAN spaddProc(leftv, leftv, leftv)
Definition: ipshell.cc:4431
short arg
Definition: gentable.cc:83
short res
Definition: gentable.cc:73
void iiCheckPack(package &p)
Definition: ipshell.cc:1634
BOOLEAN jjBETTI(leftv res, leftv v)
Definition: ipshell.cc:967
BOOLEAN iiApply(leftv res, leftv a, int op, leftv proc)
Definition: ipshell.cc:6425
BOOLEAN(* proc3)(leftv, leftv, leftv, leftv)
Definition: ipshell.h:145
const char * currid
Definition: grammar.cc:171
ideal ii_CallProcId2Id(const char *lib, const char *proc, ideal arg, const ring R)
Definition: iplib.cc:661
ring rInit(leftv pn, leftv rv, leftv ord)
Definition: ipshell.cc:5628
BOOLEAN iiPStart(idhdl pn, leftv sl)
Definition: iplib.cc:371
int p
Definition: gentable.cc:88
short arg1
Definition: gentable.cc:74
leftv iiMap(map theMap, const char *what)
Definition: ipshell.cc:615
EXTERN_VAR int myynest
Definition: ipshell.h:38
int iiRegularity(lists L)
Definition: ipshell.cc:1037
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:4681
BOOLEAN rDecompose_CF(leftv res, const coeffs C)
Definition: ipshell.cc:1953
BOOLEAN iiLoadLIB(FILE *fp, const char *libnamebuf, const char *newlib, idhdl pl, BOOLEAN autoexport, BOOLEAN tellerror)
Definition: iplib.cc:973
void * iiCallLibProc1(const char *n, void *arg, int arg_type, BOOLEAN &err)
Definition: iplib.cc:627
char * iiConvName(const char *libname)
Definition: iplib.cc:1429
int p
Definition: gentable.cc:80
const struct sValCmd2 dArith2[]
Definition: table.h:318
BOOLEAN syBetti1(leftv res, leftv u)
Definition: ipshell.cc:3175
void killlocals(int v)
Definition: ipshell.cc:386
short number_of_args
Definition: gentable.cc:101
BOOLEAN iiEStart(char *example, procinfo *pi)
Definition: iplib.cc:754
idhdl rDefault(const char *s)
Definition: ipshell.cc:1648
int exprlist_length(leftv v)
Definition: ipshell.cc:552
BOOLEAN mpKoszul(leftv res, leftv c, leftv b, leftv id)
Definition: ipshell.cc:3096
EXTERN_VAR idhdl iiCurrProc
Definition: ipshell.h:30
BOOLEAN spectrumProc(leftv, leftv)
Definition: ipshell.cc:4136
static char * iiGetLibName(const procinfov pi)
find the library of an proc
Definition: ipshell.h:66
lists scIndIndset(ideal S, BOOLEAN all, ideal Q)
Definition: ipshell.cc:1103
short valid_for
Definition: gentable.cc:102
void rKill(idhdl h)
Definition: ipshell.cc:6220
BOOLEAN(* proc2)(leftv, leftv, leftv)
Definition: ipshell.h:134
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:4824
BOOLEAN jjCHARSERIES(leftv res, leftv u)
Definition: ipshell.cc:3350
BOOLEAN mpJacobi(leftv res, leftv a)
Definition: ipshell.cc:3074
ring rCompose(const lists L, const BOOLEAN check_comp=TRUE, const long bitmask=0x7fff, const int isLetterplace=FALSE)
Definition: ipshell.cc:2787
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:9321
proci p
Definition: ipshell.h:185
BOOLEAN iiLibCmd(const char *newlib, BOOLEAN autoexport, BOOLEAN tellerror, BOOLEAN force)
Definition: iplib.cc:884
void iiSetReturn(const leftv h)
Definition: ipshell.cc:6595
char * versionString()
Definition: misc_ip.cc:770
BOOLEAN iiGetLibStatus(const char *lib)
Definition: iplib.cc:77
BOOLEAN jjBETTI2_ID(leftv res, leftv u, leftv v)
Definition: ipshell.cc:980
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
Definition: iplib.cc:701
BOOLEAN setOption(leftv res, leftv v)
Definition: misc_ip.cc:568
short arg
Definition: gentable.cc:115
BOOLEAN iiTestAssume(leftv a, leftv b)
Definition: ipshell.cc:6447
short cmd
Definition: gentable.cc:89
short cmd
Definition: gentable.cc:72
BOOLEAN semicProc(leftv, leftv, leftv)
Definition: ipshell.cc:4554
BOOLEAN iiTryLoadLib(leftv v, const char *id)
Definition: iplib.cc:823
int IsCmd(const char *n, int &tok)
Definition: iparith.cc:9469
idhdl rFindHdl(ring r, idhdl n)
Definition: ipshell.cc:1705
BOOLEAN iiAlias(leftv p)
Definition: ipid.cc:835
BOOLEAN iiAssign(leftv left, leftv right, BOOLEAN toplevel=TRUE)
Definition: ipassign.cc:1963
void iiDebug()
Definition: ipshell.cc:1065
leftv singular_system(sleftv h)
syStrategy syConvList(lists li)
Definition: ipshell.cc:3259
short valid_for
Definition: gentable.cc:94
int ii_CallProcId2Int(const char *lib, const char *proc, ideal arg, const ring R)
Definition: iplib.cc:680
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:6566
BOOLEAN jjIMPORTFROM(leftv res, leftv u, leftv v)
Definition: ipassign.cc:2369
BOOLEAN iiCheckRing(int i)
Definition: ipshell.cc:1590
BOOLEAN spmulProc(leftv, leftv, leftv)
Definition: ipshell.cc:4473
short cmd
Definition: gentable.cc:81
short valid_for
Definition: gentable.cc:76
short res
Definition: gentable.cc:100
EXTERN_VAR int iiOp
Definition: ipshell.h:31
BOOLEAN syBetti2(leftv res, leftv u, leftv w)
Definition: ipshell.cc:3152
BOOLEAN iiExprArith1(leftv res, sleftv *a, int op)
char * showOption()
Definition: misc_ip.cc:709
BOOLEAN kWeight(leftv res, leftv id)
Definition: ipshell.cc:3304
short res
Definition: gentable.cc:90
short arg1
Definition: gentable.cc:91
int p
Definition: gentable.cc:98
BOOLEAN iiMake_proc(idhdl pn, package pack, leftv sl)
Definition: iplib.cc:504
BOOLEAN jjLOAD_TRY(const char *s)
Definition: iparith.cc:5542
EXTERN_VAR int printlevel
Definition: ipshell.h:39
void test_cmd(int i)
Definition: ipshell.cc:514
syStrategy syForceMin(lists li)
Definition: ipshell.cc:3288
short arg2
Definition: gentable.cc:92
char * iiProcArgs(char *e, BOOLEAN withParenth)
Definition: iplib.cc:114
BOOLEAN jjRESULTANT(leftv res, leftv u, leftv v, leftv w)
Definition: ipshell.cc:3343
BOOLEAN(* proc1)(leftv, leftv)
Definition: ipshell.h:122
poly iiHighCorner(ideal i, int ak)
Definition: ipshell.cc:1610
BOOLEAN iiLocateLib(const char *lib, char *where)
Definition: iplib.cc:870
const struct sValCmdM dArithM[]
Definition: table.h:901
short valid_for
Definition: gentable.cc:84
void singular_example(char *str)
Definition: misc_ip.cc:430
BOOLEAN nuMPResMat(leftv res, leftv arg1, leftv arg2)
returns module representing the multipolynomial resultant matrix Arguments 2: ideal i,...
Definition: ipshell.cc:4658
BOOLEAN iiAllStart(procinfov pi, const char *p, feBufferTypes t, int l)
Definition: iplib.cc:298
int iiDeclCommand(leftv sy, leftv name, int lev, int t, idhdl *root, BOOLEAN isring=FALSE, BOOLEAN init_b=TRUE)
Definition: ipshell.cc:1202
coeffs jjSetMinpoly(coeffs cf, number a)
Definition: ipassign.cc:175
short arg3
Definition: gentable.cc:93
const char * Tok2Cmdname(int i)
Definition: gentable.cc:140
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:8856
lists syConvRes(syStrategy syzstr, BOOLEAN toDel=FALSE, int add_row_shift=0)
Definition: ipshell.cc:3187
BOOLEAN iiExprArith3(leftv res, int op, leftv a, leftv b, leftv c)
Definition: iparith.cc:9269
BOOLEAN loSimplex(leftv res, leftv args)
Implementation of the Simplex Algorithm.
Definition: ipshell.cc:4572
BOOLEAN loNewtonP(leftv res, leftv arg1)
compute Newton Polytopes of input polynomials
Definition: ipshell.cc:4566
BOOLEAN semicProc3(leftv, leftv, leftv, leftv)
Definition: ipshell.cc:4514
BOOLEAN jjBETTI2(leftv res, leftv u, leftv v)
Definition: ipshell.cc:1001
const char * lastreserved
Definition: ipshell.cc:82
BOOLEAN iiExprArithM(leftv res, sleftv *a, int op)
int p
Definition: gentable.cc:71
EXTERN_VAR int iiRETURNEXPR_len
Definition: ipshell.h:33
EXTERN_VAR ring * iiLocalRing
Definition: ipshell.h:35
void type_cmd(leftv v)
Definition: ipshell.cc:254
void paPrint(const char *n, package p)
Definition: ipshell.cc:6327
short res
Definition: gentable.cc:82
void rSetHdl(idhdl h)
Definition: ipshell.cc:5129
const char * iiTwoOps(int t)
Definition: gentable.cc:261
BOOLEAN kQHWeight(leftv res, leftv v)
Definition: ipshell.cc:3326
short res
Definition: gentable.cc:114
short arg2
Definition: gentable.cc:75
BOOLEAN iiInternalExport(leftv v, int toLev, package pack)
Definition: ipshell.cc:1469
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:8929
char * iiGetLibProcBuffer(procinfov pi, int part=1)
BOOLEAN iiExport(leftv v, int toLev)
Definition: ipshell.cc:1515
BOOLEAN iiAssignCR(leftv, leftv)
Definition: ipshell.cc:6508
int iiTokType(int op)
Definition: iparith.cc:234
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:4925
BOOLEAN jjVARIABLES_ID(leftv res, leftv u)
Definition: ipshell.cc:6312
BOOLEAN spectrumfProc(leftv, leftv)
Definition: ipshell.cc:4187
BOOLEAN iiExprArith2(leftv res, sleftv *a, int op, sleftv *b, BOOLEAN proccall=FALSE)
BOOLEAN jjLIST_PL(leftv res, leftv v)
Definition: iparith.cc:7944
BOOLEAN iiBranchTo(leftv r, leftv args)
Definition: ipshell.cc:1277
const struct sValCmd3 dArith3[]
Definition: table.h:770
void list_cmd(int typ, const char *what, const char *prefix, BOOLEAN iterate, BOOLEAN fullname=FALSE)
Definition: ipshell.cc:425
short cmd
Definition: gentable.cc:99
STATIC_VAR Poly * h
Definition: janet.cc:971
STATIC_VAR jList * Q
Definition: janet.cc:30
#define pi
Definition: libparse.cc:1145
VAR char libnamebuf[1024]
Definition: libparse.cc:1098
char * str(leftv arg)
Definition: shared.cc:704
void report(const char *fmt, const char *name)
Definition: shared.cc:666
The main handler for Singular numbers which are suitable for Singular polynomials.
#define NULL
Definition: omList.c:12
int status int void * buf
Definition: si_signals.h:59
#define R
Definition: sirandom.c:27
ip_package * package
Definition: structs.h:43
sleftv * leftv
Definition: structs.h:57
int name
New type name for int.
Definition: templateForC.h:21