source: git/Singular/test.cc

spielwiese
Last change on this file was b270e37, checked in by Hans Schoenemann <hannes@…>, 22 months ago
moved distrib.h to libpolys/misc for dError.cc
  • Property mode set to 100644
File size: 8.5 KB
Line 
1#include "kernel/mod2.h"
2
3#include "omalloc/omalloc.h"
4
5#include "factory/factory.h" // :(
6
7#include "misc/intvec.h"
8#include "misc/int64vec.h"
9#include "misc/mylimits.h"
10#include "misc/options.h"
11
12#include "reporter/reporter.h"
13
14#include "resources/feFopen.h"
15#include "resources/feResource.h"
16
17#include "coeffs/coeffs.h"
18
19#include "coeffs/si_gmp.h"
20
21#include "polys/kbuckets.h"
22#include "polys/matpol.h"
23#include "polys/mod_raw.h"
24#include "polys/prCopy.h"
25#include "polys/sbuckets.h"
26#include "polys/simpleideals.h"
27#include "polys/weight.h"
28
29#include "polys/monomials/maps.h"
30#include "polys/monomials/monomials.h"
31#include "polys/monomials/p_polys.h"
32#include "polys/monomials/ring.h"
33
34#include "polys/nc/nc.h"
35#include "polys/nc/ncSACache.h"
36#include "polys/nc/ncSAFormula.h"
37#include "polys/nc/ncSAMult.h"
38#include "polys/nc/sca.h"
39#include "polys/nc/summator.h"
40
41#include "polys/templates/p_MemAdd.h"
42#include "polys/templates/p_Procs.h"
43
44#include "polys/operations/pShallowCopyDelete.h"
45
46#include "polys/clapsing.h"
47
48#include "coeffs/numbers.h"
49#include "kernel/polys.h"
50
51
52#include "kernel/structs.h"
53
54
55// HEADERS:
56#include "kernel/combinatorics/hutil.h"
57#include "kernel/combinatorics/stairc.h"
58#include "kernel/ideals.h"
59#include "kernel/GBEngine/syz.h"
60#include "kernel/maps/fast_maps.h"
61#include "Singular/fevoices.h"
62#include "kernel/groebner_walk/walkProc.h"
63#include "kernel/groebner_walk/walkMain.h"
64#include "kernel/groebner_walk/walkSupport.h"
65#include "kernel/GBEngine/khstd.h"
66
67#include "kernel/fglm/fglm.h"
68#include "kernel/GBEngine/kstd1.h"
69#include "kernel/fglm/fglmgauss.h"
70#include "kernel/fglm/fglmvec.h"
71#include "kernel/GBEngine/kstdfac.h"
72#include "kernel/spectrum/kmatrix.h"
73#include "kernel/spectrum/GMPrat.h"
74#include "kernel/spectrum/multicnt.h"
75#include "kernel/spectrum/npolygon.h"
76#include "kernel/spectrum/semic.h"
77#include "kernel/spectrum/spectrum.h"
78#include "kernel/spectrum/splist.h"
79#include "kernel/spectrum/multicnt.h"
80#include "kernel/linear_algebra/eigenval.h"
81#include "kernel/GBEngine/units.h"
82#include "kernel/GBEngine/ratgring.h"
83#include "kernel/GBEngine/shiftgb.h"
84
85#include "kernel/GBEngine/kutil.h"
86
87#include "kernel/digitech.h"
88#include "kernel/linear_algebra/eigenval.h"
89#include "kernel/maps/fast_maps.h"
90#include "kernel/fast_mult.h"
91#include "kernel/oswrapper/feread.h"
92
93#include "kernel/fglm/fglmgauss.h"
94#include "kernel/fglm/fglm.h"
95#include "kernel/fglm/fglmvec.h"
96
97////////#include "F5cData.h"
98#include "kernel/GBEngine/f5data.h"
99#include "kernel/GBEngine/f5gb.h"
100#include "kernel/GBEngine/f5lists.h"
101////////#include "kernel/F5cLists.h"
102
103#include "kernel/spectrum/GMPrat.h"
104#include "kernel/combinatorics/hutil.h"
105
106#include "kernel/ideals.h"
107
108#include "kernel/spectrum/kmatrix.h"
109#include "kernel/GBEngine/kstd1.h"
110#include "kernel/GBEngine/kstdfac.h"
111#include "kernel/GBEngine/khstd.h"
112
113#include "kernel/linear_algebra/linearAlgebra.h"
114
115
116
117#include "kernel/spectrum/multicnt.h"
118#include "kernel/spectrum/npolygon.h"
119
120#include "kernel/preimage.h"
121
122#include "kernel/GBEngine/nc.h"
123
124#include "kernel/GBEngine/ratgring.h"
125#include "kernel/GBEngine/ringgb.h"
126#include "kernel/spectrum/semic.h"
127#include "kernel/GBEngine/shiftgb.h"
128
129#include "kernel/spectrum/spectrum.h"
130#include "kernel/spectrum/splist.h"
131#include "kernel/structs.h"
132#include "kernel/GBEngine/syz.h"
133// #include "kernel/testpoly.h" // Too old?
134
135#include "kernel/GBEngine/tgbgauss.h"
136#include "kernel/GBEngine/tgb.h"
137
138#include "kernel/oswrapper/timer.h"
139
140#include "kernel/GBEngine/units.h"
141#include "kernel/groebner_walk/walkMain.h"
142#include "kernel/groebner_walk/walkProc.h"
143#include "kernel/groebner_walk/walkSupport.h"
144
145
146// #include "polys/clapconv.h" // due to factory? :(
147// #include "kernel/tgb_internal.h" // :(
148// #include "kernel/F4.h" // uses tgb_internal // :(
149
150
151// headers in Singular/
152#include "Singular/mmalloc.h"
153#include "Singular/attrib.h"
154#include "Singular/blackbox.h"
155#include "Singular/cntrlc.h"
156#include "Singular/links/dbm_sl.h"
157#include "misc/distrib.h"
158#include "Singular/eigenval_ip.h"
159#include "Singular/gms.h"
160#include "Singular/grammar.h"
161#include "Singular/ipconv.h"
162#include "Singular/ipid.h"
163#include "Singular/ipprint.h"
164#include "Singular/ipshell.h"
165#include "Singular/libparse.h"
166#include "Singular/lists.h"
167#include "Singular/locals.h"
168#include "Singular/maps_ip.h"
169#include "Singular/misc_ip.h"
170#include "Singular/links/ndbm.h"
171#include "Singular/newstruct.h"
172#include "Singular/pcv.h"
173#include "Singular/links/pipeLink.h"
174#include "Singular/sdb.h"
175#include "Singular/links/silink.h"
176#include "Singular/links/sing_dbm.h"
177#include "Singular/links/slInit.h"
178#include "Singular/links/ssiLink.h"
179#include "Singular/stype.h"
180#include "Singular/subexpr.h"
181#include "Singular/tok.h"
182#include "Singular/utils.h"
183#include "Singular/walk.h"
184
185#include "resources/fegetopt.h"
186
187void siInit(char *);
188
189int main( int, char *argv[] )
190{
191  assume( sizeof(long) == SIZEOF_LONG );
192
193  if( sizeof(long) != SIZEOF_LONG )
194  {
195     WerrorS("Bad config.h: wrong size of long!");
196
197     return(1);
198  }
199
200   // init path names etc.
201//  feInitResources(argv[0]); //???
202  siInit(argv[0]); // ?
203
204  if( char *s = versionString() )
205  {
206    PrintS(s);
207    omFree(s);
208  }
209
210
211
212  StringSetS("ressources in use (as reported by feStringAppendResources(0):\n");
213  feStringAppendResources(0);
214  StringAppendS("\n");
215  if( char * s = StringEndS() )
216  {
217    PrintS(s);
218    omFree(s);
219  }
220
221
222
223
224  // Libpolys tests:
225
226  // construct the ring Z/32003[x,y,z]
227  // the variable names
228  char **n=(char**)omalloc(3*sizeof(char*));
229  n[0]=omStrDup("x");
230  n[1]=omStrDup("y");
231  n[2]=omStrDup("z2");
232
233
234
235/*
236  ring R=rDefault(32003,3,n);
237  // make R the default ring:
238  rChangeCurrRing(R);
239
240  // create the polynomial 1
241  poly p1=pISet(1);
242
243  // create tthe polynomial 2*x^3*z^2
244  poly p2=p_ISet(2,R);
245  pSetExp(p2,1,3);
246  pSetExp(p2,3,2);
247  pSetm(p2);
248
249  // print p1 + p2
250  pWrite(p1); printf(" + \n"); pWrite(p2); printf("\n");
251
252  // compute p1+p2
253  p1=p_Add_q(p1,p2,R); p2=NULL;
254  pWrite(p1);
255
256  // clean up:
257  pDelete(&p1);
258
259  rDelete(R);
260  rChangeCurrRing(NULL);
261
262*/
263
264
265
266  currentVoice=feInitStdin(NULL);
267
268  int err=iiEStart(omStrDup("ring R = (0, a), x, dp; R; system(\"r\", R); minpoly=a*a+1; R; system(\"r\", R); kill R; return();\n"),NULL);
269
270  printf("interpreter returns %d\n",err);
271  if (err)
272     errorreported = 0; // reset error handling
273
274  assume( err == 0 );
275
276
277
278  // hook for error handling:
279  // WerrorS_callback=......; of type p(const char *)
280  err=iiEStart(omStrDup("int ver=system(\"version\");export ver;return();\n"),NULL);
281
282  printf("interpreter returns %d\n",err);
283  if (err)
284     errorreported = 0; // reset error handling
285
286  assume( err == 0 );
287
288  idhdl h=ggetid("ver");
289
290  if (h != NULL)
291    printf("singular variable ver of type %d contains %d\n",h->typ,(int)(long)IDDATA(h));
292  else
293    printf("variable ver does not exist\n");
294
295  assume( h != NULL );
296
297
298  err = iiEStart(
299                 omStrDup("system(\"--version\");return();\n"),
300                 NULL);
301
302  printf("interpreter returns %d\n",err);
303  if (err)
304     errorreported = 0; // reset error handling
305
306  assume( err == 0 );
307
308  // calling a singular-library function
309  idhdl datetime=ggetid("datetime");
310  if (datetime==NULL)
311    printf("datetime not found\n");
312  else
313  {
314    const BOOLEAN res=iiMake_proc(datetime,NULL,NULL);
315    if (res)
316    {
317      printf("iiMake_proc: datetime return an error\n");
318      errorreported = 0;
319    }
320    else
321    {
322      printf("iiMake_proc: datetime returned type %d, >>%s<<\n", iiRETURNEXPR.Typ(), (char *)iiRETURNEXPR.Data());
323      iiRETURNEXPR.CleanUp(); // calls Init afterwards
324    }
325  }
326
327  // changing a ring for the interpreter
328  // re-using n and R from above
329  ring R = rDefault(32003, 3, n);
330  idhdl newRingHdl=enterid("R" /* ring name*/,
331                           0, /*nesting level, 0=global*/
332                           RING_CMD,
333                           &IDROOT,
334                           FALSE);
335
336  IDRING(newRingHdl)=R;
337  // make R the default ring (include rChangeCurrRing):
338  rSetHdl(newRingHdl);
339  err=iiEStart(omStrDup("R; system(\"r\", R); poly p=x; p; system(\"p\", p); \"\"; poly pp = p * p; pp; listvar(); return();\n"),NULL);
340
341  // calling a kernel function via the interpreter interface
342  sleftv r1; memset(&r1,0,sizeof(r1));
343  sleftv arg; memset(&arg,0,sizeof(r1));
344  arg.rtyp=STRING_CMD;
345  arg.data=omStrDup("huhu");
346  err=iiExprArith1(&r1,&arg,TYPEOF_CMD);
347
348  printf("interpreter returns %d\n",err);
349  if (err)
350     errorreported = 0; // reset error handling
351  else
352     printf("typeof returned type %d, >>%s<<\n",r1.Typ(),(char*)r1.Data());
353
354  // clean up r1:
355  r1.CleanUp();
356
357  return 0;
358}
359
Note: See TracBrowser for help on using the repository browser.