source: git/Singular/ipshell.h @ fc866f6

spielwiese
Last change on this file since fc866f6 was fc866f6, checked in by Hans Schoenemann <hannes@…>, 8 years ago
fix: tr. #760 (conversion must include attribute for resolution)
  • Property mode set to 100644
File size: 9.7 KB
Line 
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
15struct _ssubexpr;
16typedef struct _ssubexpr *Subexpr;
17
18BOOLEAN    spectrumProc ( leftv,leftv );
19BOOLEAN    spectrumfProc( leftv,leftv );
20BOOLEAN    spaddProc    ( leftv,leftv,leftv );
21BOOLEAN    spmulProc    ( leftv,leftv,leftv );
22BOOLEAN    semicProc   ( leftv,leftv,leftv );
23BOOLEAN    semicProc3   ( leftv,leftv,leftv,leftv );
24
25BOOLEAN iiAssignCR(leftv, leftv);
26
27BOOLEAN iiARROW (leftv, char*,char *);
28
29extern leftv iiCurrArgs;
30extern idhdl iiCurrProc;
31extern int iiOp; /* the current operation*/
32extern const char *  currid;
33extern int     iiRETURNEXPR_len;
34extern sleftv  iiRETURNEXPR;
35#ifdef USE_IILOCALRING
36extern ring   *iiLocalRing;
37#endif
38//extern cmdnames cmds[];
39extern const char *lastreserved;
40extern int myynest;
41extern int printlevel;
42extern int si_echo;
43
44
45extern BOOLEAN yyInRingConstruction; /* 1: during ring construction */
46
47int     IsCmd(const char *n, int & tok);
48
49BOOLEAN iiPStart(idhdl pn, sleftv * sl);
50BOOLEAN iiEStart(char* example, procinfo *pi);
51BOOLEAN iiAllStart(procinfov pi, char *p,feBufferTypes t, int l);
52void    type_cmd(leftv v);
53void    test_cmd(int i);
54void    list_cmd(int typ, const char* what, const char * prefix,
55                 BOOLEAN iterate, BOOLEAN fullname=FALSE);
56//char *  iiStringMatrix(matrix im, int dim, char ch=',');
57void    killlocals(int v);
58int     exprlist_length(leftv v);
59const char *  Tok2Cmdname(int i);
60const char *  iiTwoOps(int t);
61int           iiOpsTwoChar(const char *s);
62
63BOOLEAN iiWRITE(leftv res,leftv exprlist);
64BOOLEAN iiExport(leftv v, int toLev);
65BOOLEAN iiExport(leftv v, int toLev, package pack);
66BOOLEAN iiInternalExport (leftv v, int toLev, package pack);
67char *  iiGetLibName(procinfov v);
68char *  iiGetLibProcBuffer( procinfov pi, int part=1 );
69char *  iiProcName(char *buf, char & ct, char* &e);
70char *  iiProcArgs(char *e,BOOLEAN withParenth);
71BOOLEAN iiLibCmd( char *newlib, BOOLEAN autoexport, BOOLEAN tellerror, BOOLEAN force );
72/* sees wheter library lib has already been loaded
73   if yes, writes filename of lib into where and returns TRUE,
74   if  no, returns FALSE
75*/
76/// load lib/module given in v
77BOOLEAN jjLOAD(const char *s, BOOLEAN autoexport = FALSE);
78BOOLEAN jjLOAD_TRY(const char *s);
79BOOLEAN iiLocateLib(const char* lib, char* where);
80leftv   iiMap(map theMap, const char * what);
81void    iiMakeResolv(resolvente r, int length, int rlen, char * name, int typ0,
82           intvec ** weights=NULL);
83BOOLEAN jjMINRES(leftv res, leftv v);
84BOOLEAN jjBETTI(leftv res, leftv v);
85BOOLEAN jjBETTI2(leftv res, leftv u, leftv v);
86BOOLEAN jjBETTI2_ID(leftv res, leftv u, leftv v);
87BOOLEAN jjIMPORTFROM(leftv res, leftv u, leftv v);
88BOOLEAN jjLIST_PL(leftv res, leftv v);
89
90BOOLEAN jjVARIABLES_P(leftv res, leftv u);
91BOOLEAN jjVARIABLES_ID(leftv res, leftv u);
92
93int     iiRegularity(lists L);
94leftv   singular_system(sleftv h);
95BOOLEAN jjSYSTEM(leftv res, leftv v);
96void    iiDebug();
97BOOLEAN iiCheckRing(int i);
98poly    iiHighCorner(ideal i, int ak);
99char *  iiConvName(const char *libname);
100BOOLEAN 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
104lists syConvRes(syStrategy syzstr,BOOLEAN toDel=FALSE,int add_row_shift=0);
105// converts a list of modules into a minimal resolution
106syStrategy syForceMin(lists li);
107// converts a list of modules into a resolution
108syStrategy syConvList(lists li);
109
110BOOLEAN syBetti1(leftv res, leftv u);
111BOOLEAN syBetti2(leftv res, leftv u, leftv w);
112
113/* ================================================================== */
114/* Expressions : */
115BOOLEAN iiExprArith1(leftv res, sleftv* a, int op);
116BOOLEAN iiExprArith2(leftv res, sleftv* a, int op, sleftv* b,
117                     BOOLEAN proccall=FALSE);
118BOOLEAN iiExprArith3(leftv res, int op, leftv a, leftv b, leftv c);
119BOOLEAN iiExprArithM(leftv res, sleftv* a, int op);
120BOOLEAN iiApply(leftv res,leftv a, int op, leftv proc);
121
122typedef BOOLEAN (*proc1)(leftv,leftv);
123
124#ifdef GENTABLE
125typedef char * (*Proc1)(char *);
126struct sValCmd1
127{
128  proc1 p;
129  short cmd;
130  short res;
131  short arg;
132  short valid_for;
133};
134
135typedef BOOLEAN (*proc2)(leftv,leftv,leftv);
136struct sValCmd2
137{
138  proc2 p;
139  short cmd;
140  short res;
141  short arg1;
142  short arg2;
143  short valid_for;
144};
145
146typedef BOOLEAN (*proc3)(leftv,leftv,leftv,leftv);
147struct sValCmd3
148{
149  proc3 p;
150  short cmd;
151  short res;
152  short arg1;
153  short arg2;
154  short arg3;
155  short valid_for;
156};
157struct sValCmdM
158{
159  proc1 p;
160  short cmd;
161  short res;
162  short number_of_args; /* -1: any, -2: any >0, .. */
163  short valid_for;
164};
165extern struct sValCmd2 dArith2[];
166extern struct sValCmd1 dArith1[];
167extern struct sValCmd3 dArith3[];
168extern struct sValCmdM dArithM[];
169#endif
170
171/* ================================================================== */
172/* Assigments : */
173BOOLEAN iiAssign(leftv left, leftv right, BOOLEAN toplevel=TRUE);
174
175typedef BOOLEAN (*proci)(leftv,leftv,Subexpr);
176struct sValAssign_sys
177{
178  proc1 p;
179  short res;
180  short arg;
181};
182
183struct sValAssign
184{
185  proci p;
186  short res;
187  short arg;
188};
189
190BOOLEAN iiParameter(leftv p);
191BOOLEAN iiAlias(leftv p);
192
193int iiTokType(int op);
194/* ================================================================== */
195int     iiDeclCommand(leftv sy, leftv name, int lev, int t, idhdl* root,
196  BOOLEAN isring = FALSE, BOOLEAN init_b=TRUE);
197BOOLEAN iiMake_proc(idhdl pn, package pack, sleftv* sl);
198// from misc.cc:
199char *  showOption();
200BOOLEAN setOption(leftv res, leftv v);
201/* ================================================================== */
202char * versionString();
203/* ================================================================== */
204void  singular_example(char *str);
205
206BOOLEAN iiTryLoadLib(leftv v, const char *id);
207
208int iiAddCproc(const char *libname, const char *procname, BOOLEAN pstatic,
209               BOOLEAN(*func)(leftv res, leftv v));
210
211void iiCheckPack(package &p);
212#ifndef SING_NDEBUG
213void checkall();
214#endif
215
216void rSetHdl(idhdl h);
217ring rInit(leftv pn, leftv rv, leftv ord);
218idhdl  rDefault(const char *s);
219
220idhdl rSimpleFindHdl(ring r, idhdl root, idhdl n=NULL);
221idhdl rFindHdl(ring r, idhdl n);
222void   rKill(idhdl h);
223void   rKill(ring r);
224lists scIndIndset(ideal S, BOOLEAN all, ideal Q);
225BOOLEAN mpKoszul(leftv res,leftv c/*ip*/, leftv b/*in*/, leftv id);
226BOOLEAN mpJacobi(leftv res,leftv a);
227BOOLEAN jjRESULTANT(leftv res, leftv u, leftv v, leftv w);
228BOOLEAN kQHWeight(leftv res,leftv v);
229BOOLEAN kWeight(leftv res,leftv id);
230BOOLEAN loSimplex( leftv res, leftv args );
231BOOLEAN loNewtonP( leftv res, leftv arg1 );
232BOOLEAN nuMPResMat( leftv res, leftv arg1, leftv arg2 );
233BOOLEAN nuLagSolve( leftv res, leftv arg1, leftv arg2, leftv arg3 );
234BOOLEAN nuVanderSys( leftv res, leftv arg1, leftv arg2, leftv arg3);
235BOOLEAN nuUResSolve( leftv res, leftv args );
236
237BOOLEAN jjCHARSERIES(leftv res, leftv u);
238/*
239BOOLEAN jjRESULTANT(leftv res, leftv u, leftv v, leftv w);
240#if 0
241BOOLEAN jjIS_SQR_FREE(leftv res, leftv u);
242#endif
243*/
244/* ================================================================== */
245void paPrint(const char *n,package p);
246/* ================================================================== */
247
248
249BOOLEAN iiTestAssume(leftv a, leftv b);
250
251/* table inteface for iiAddCproc */
252/// apply an operation 'op' to an argument a
253/// return TRUE on failure
254BOOLEAN 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
264BOOLEAN 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
274BOOLEAN 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
286BOOLEAN 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
292BOOLEAN iiBranchTo(leftv r, leftv args);
293
294lists rDecompose(const ring r);
295
296#ifdef SINGULAR_4_1
297lists rDecompose_list_cf(const ring r);
298BOOLEAN rDecompose_CF(leftv res,const coeffs C);
299#endif
300#endif
301
Note: See TracBrowser for help on using the repository browser.