source: git/Singular/ipshell.h @ ce0ca7

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