source: git/kernel/mod2.h.in @ 1534d9

spielwiese
Last change on this file since 1534d9 was 9e9dbc, checked in by Hans Schönemann <hannes@…>, 15 years ago
*hannes: new date for 3-1-0, HAVE_RATGRING git-svn-id: file:///usr/local/Singular/svn/trunk@11424 2c84dea3-7e68-4137-9b89-c4e89433aadc
  • Property mode set to 100644
File size: 18.9 KB
Line 
1/* -*-c++-*- */
2/*******************************************************************
3 *  Computer Algebra System SINGULAR
4 *
5 *  mod2.h: Main configuration file for Singular
6 *          DO NOT EDIT!
7 *
8 *  Version: $Id: mod2.h.in,v 1.30 2009-02-21 15:16:43 Singular Exp $
9 *******************************************************************/
10#ifndef MOD2_H
11#define MOD2_H
12
13/*******************************************************************
14 * Defines which are set by configure
15 ******************************************************************/
16/* Define to use dynamic linking */
17#undef HAVE_DL
18/* Define to use readline lib for fancy display: configure result */
19#undef HAVE_LIBREADLINE
20/* Define to use static readline lib for fancy display */
21#undef HAVE_READLINE
22/* define to use dynamic version of readline lib */
23#undef HAVE_DYN_RL
24/* Define to have dbm links */
25#undef HAVE_DBM
26/* Define to have MP links */
27#undef HAVE_MPSR
28/* Define to have factory functionality added */
29#undef HAVE_FACTORY
30/* Define to have libfac functionality added */
31#undef HAVE_LIBFAC_P
32/* Define if you have stdc headers */
33#undef STDC_HEADERS
34/* Define if you have asm/sigcontext.h */
35#undef HAVE_ASM_SIGCONTEXT_H
36/* Define if you have sys/file.h */
37#undef HAVE_SYS_FILE_H
38/* Define if you have sys/stat.h */
39#undef HAVE_SYS_STAT_H
40/* Define if you have sys/param.h */
41#undef HAVE_SYS_PARAM_H
42/* Define if you have sys/file.h */
43#undef HAVE_SYS_TYPES_H
44/* Define if you have sys/ioctl.h */
45#undef HAVE_SYS_IOCTL_H
46/* Define if you have sys/time.h */
47#undef HAVE_SYS_TIME_H
48/* Define if you have sys/times.h */
49#undef HAVE_SYS_TIMES_H
50/* io header: */
51/* Define if you have termcap.h */
52#undef HAVE_TERMCAP_H
53/* Define if you have termios.h */
54#undef HAVE_TERMIOS_H
55/* Define if you have term.h */
56#undef HAVE_TERM_H
57/* Define if you have readline/history.h */
58#undef HAVE_READLINE_HISTORY_H
59/* Define if readline/readline.h is ok */
60#undef READLINE_READLINE_H_OK
61/* Define if time.h and sys/time.h can be included at the same time */
62#undef TIME_WITH_SYS_TIME
63/* Define if you have alloca.h */
64#undef HAVE_ALLOCA_H
65/* Define if you have pwd.h */
66#undef HAVE_PWD_H
67/* Define if you have unistd.h */
68#undef HAVE_UNISTD_H
69/* define if you have malloc.h */
70#undef HAVE_MALLOC_H
71/* define if you have pwd.h*/
72#undef HAVE_PWD_H
73/* Define if you have alloca */
74#undef HAVE_ALLOCA
75/* Define if you have getpagesize */
76#undef GETPAGESIZE
77/* Define if you have vprintf */
78#undef HAVE_VPRINTF
79/* Define if you have gettimeofday */
80#undef HAVE_GETTIMEOFDAY
81/* Define if you have atexit */
82#undef HAVE_ATEXIT
83/* Define if you have bcopy, bzero and bcmp
84   Linux needs that define! */
85#undef HAVE_BCOPY
86/* Define if sprintf does not return number of printed chars */
87#undef BSD_SPRINTF
88/* define if you have explicit C++ constructors */
89#undef HAVE_EXPLICIT_CONSTR
90/* Define if you have the getcwd function.  */
91#undef HAVE_GETCWD
92/* Define if you have the getwd function.  */
93#undef HAVE_GETWD
94/* Define if you have snprintf */
95#undef HAVE_VSNPRINTF
96/* Define if you have readlink */
97#undef HAVE_READLINK
98/* Define if you have usleep */
99#undef HAVE_USLEEP
100/* Define if you have sleep */
101#undef HAVE_SLEEP
102/* Define if you have setenv */
103#undef HAVE_SETENV
104/* Define if you have petpwnam */
105#undef HAVE_GETPWNAM
106/* Define if you have popen */
107#undef HAVE_POPEN
108/* Define if you have sysconf */
109#undef HAVE_SYSCONF
110/* Define if you have siginterrupt (BSD4.3) */
111#undef HAVE_SIGINTERRUPT
112/* define for boost includes and lib */
113#undef HAVE_BOOST_DYNAMIC_BITSET_HPP
114/* define for std:vector includes */
115#undef USE_STDVECBOOL
116/* Define sizeof(char) */
117#define SIZEOF_CHAR 1
118/* Define sizeof(short) */
119#define SIZEOF_SHORT 2
120/* Define sizeof(int) */
121#define SIZEOF_INT 4
122/* Define sizeof(long) */
123#define SIZEOF_LONG 4
124/* Define sizeof(void*) */
125#define SIZEOF_VOIDP 4
126/* Define sizeof(double) */
127#define SIZEOF_DOUBLE 8
128/* Define if your integer format is big endian */
129#undef WORDS_BIGENDIAN
130/* Define major version of Singular -- should be set in ../configure.in!!!*/
131#define SINGULAR_MAJOR_VERSION 0
132/* Define minor version of Singular -- should be set in ../configure.in!!! */
133#define SINGULAR_MINOR_VERSION 0
134/* Define sub version of Singular -- should be set in ../configure.in!!! */
135#define SINGULAR_SUB_VERSION 0
136/* Define version as a string */
137#define S_VERSION1 ""
138/* Define version date as a string */
139#define S_VERSION2 ""
140/* Define uname identifier as a string */
141#define S_UNAME ""
142/* Absolute pathname of root directory of Singular source */
143#define S_ROOT_DIR ""
144/* Define to use new namespaces techniks */
145#undef HAVE_NAMESPACES
146#undef HAVE_NS
147/* Define to enable dynamic module code */
148#undef HAVE_DYNAMIC_LOADING
149/* Define to enable plural */
150#undef HAVE_PLURAL
151/* Define to enable ratGB/ ratGRING */
152#undef HAVE_RATGRING
153/* Define to enable shiftbba */
154#undef HAVE_SHIFTBBA
155/* Define to enable libsvd */
156#undef HAVE_SVD
157/* CPU type: i[3456]86: */
158#undef SI_CPU_I386
159/* CPU type: sparc: */
160#undef SI_CPU_SPARC
161/* CPU type: ppc: */
162#undef SI_CPU_PPC
163/* CPU type: IA64: */
164#undef SI_CPU_IA64
165/* CPU type: x86_64: */
166#undef SI_CPU_X86_64
167
168/*******************************************************************
169 * Defines which are not set by configure
170 ******************************************************************/
171
172/* Default value for timer resolution in ticks per second */
173/* set to 10 for resolution of tenth of a second, etc */
174#define TIMER_RESOLUTION 1
175
176/* Undefine to disable the quote/eval of expressions */
177#define SIQ 1
178
179/* Define to enable TCL interface */
180#undef HAVE_TCL
181
182/* Undefine to disable Gerhard's and Wilfried's fast and dirty std computations */
183#define FAST_AND_DIRTY
184
185/* eigenvalues */
186#ifndef HAVE_DYNAMIC_LOADING
187#define HAVE_EIGENVAL 1
188
189/* Gauss-Manin system */
190#define HAVE_GMS 1
191#endif
192
193/* linear algebra extensions from pcv.h/pcv.cc */
194#define HAVE_PCV 1
195
196/* procedures to compute groebner bases with the f5 implementation */
197/* still testing */
198#undef HAVE_F5
199
200/* letterplace gb:*/
201#define HAVE_SHIFTBBA 1
202
203/* rings as coefficients */
204#define HAVE_RINGS
205
206#ifdef HAVE_RINGS
207#define HAVE_RING2TOM
208#define HAVE_RINGMODN
209#define HAVE_RINGZ
210#endif
211
212/* procedures to compute with units */
213#define HAVE_UNITS
214
215/* Define to use old mechanismen for saving currRing with procedures
216 * Does not work with HAVE_NAMESPACES enabled
217 */
218#undef USE_IILOCALRING
219
220
221/* Define to use scanner when loading libraries */
222#define HAVE_LIBPARSER
223
224/*#define PROFILING*/
225#ifdef PROFILING
226#define PROFILER ,0,0
227#else
228#define PROFILER
229#endif
230
231/* Define to use gmp for rational arithmetic */
232#define HAVE_GMP
233
234/*******************************************************************
235 * Evaluate the set defines
236 ******************************************************************/
237/* FGLM needs factory */
238#ifdef HAVE_FACTORY
239#define HAVE_FGLM
240#endif
241
242/* Define if you want fglm for homogeneous case */
243#ifdef HAVE_FGLM
244#undef HAVE_FGLM_HOME
245#endif
246
247/* Spectrum needs GMP */
248#ifdef HAVE_GMP
249#define HAVE_SPECTRUM 1
250#endif
251
252/* Undefine to disable real time measurments  */
253#ifdef HAVE_GETTIMEOFDAY
254#define HAVE_RTIMER
255#endif
256
257#if SIZEOF_VOIDP == 8
258/* SIZEOF_LONG == SIZEOF_VOIDP is guaranteed by configure */
259#define ALIGN_8
260#define LOG_SIZEOF_LONG  3
261#define LOG_SIZEOF_VOIDP 3
262#else
263#define LOG_SIZEOF_LONG  2
264#define LOG_SIZEOF_VOIDP 2
265#endif
266
267#ifndef CHAR_BIT
268#define CHAR_BIT 8
269#endif
270
271#define BIT_SIZEOF_LONG CHAR_BIT*SIZEOF_LONG
272
273#define SINGULAR_PATCHLEVEL 0
274#define SINGULAR_VERSION ((SINGULAR_MAJOR_VERSION*1000 + SINGULAR_MINOR_VERSION*100 + SINGULAR_SUB_VERSION*10)+SINGULAR_PATCHLEVEL)
275
276/*******************************************************************
277 * Miscellanous Defines
278 ******************************************************************/
279/* Under HPUX 9, system(...) returns -1 if SIGCHLD does not equal
280   SIG_DFL. However, if it stays at SIG_DFL we get zombie processes
281   for terminated childs generated by fork. Therefors some special treatment
282   is necessary */
283#ifdef HPUX_9
284#include <stdlib.h>
285#define system hpux9_system
286#ifdef __cplusplus
287extern "C" {
288#endif
289int hpux9_system(const char* system);
290#ifdef __cplusplus
291}
292#endif
293#endif
294
295#ifndef HAVE_LIBPARSER
296#  undef YYLPDEBUG
297#else
298#  define YYLPDEBUG 1
299#endif
300
301#ifndef FALSE
302#define FALSE       0
303#endif
304
305#ifndef TRUE
306#define TRUE        1
307#endif
308
309#ifndef NULL
310#define NULL        (0)
311#endif
312
313#ifndef SEEK_END
314#define SEEK_END 2
315#endif
316
317#ifndef SEEK_SET
318#define SEEK_SET 0
319#endif
320
321#define HALT() m2_end(2)
322
323#define memcpy4 memcpy
324
325/* define OLD_RES for res/sres/mres(i,j,k) */
326#undef OLD_RES
327
328/* the maximal ascii length of an int number + 1 = 11 for 32 bit int */
329#define MAX_INT_LEN 11
330#define MAX_INT_VAL 0x7fffffff
331
332#ifdef DO_PROFILE
333/* define to enable explicit profiling of some crucial inline
334 * routines and defines  */
335#undef DO_DEEP_PROFILE
336#endif
337
338#define buildin_rand 1
339
340/* define to enable assume */
341#ifndef HAVE_ASSUME
342#undef HAVE_ASSUME
343#endif
344
345/* define LINKAGE to "extern C" if compiling for shared libs */
346#ifndef LINKAGE
347#if defined(PIC)
348#define LINKAGE extern "C"
349#else
350#define LINKAGE
351#endif
352#endif
353
354
355/*******************************************************************
356 * DEBUG OPTIONS
357 * -- only significant for for compiling without -DNDEBUG
358 * -- you better know what your are doing, if you touch this
359 ******************************************************************/
360#ifndef NDEBUG
361
362/* undefine to enable inline */
363#define NO_INLINE
364
365/* undefine to disable assume -- should normally be defined for NDEBUG */
366#define HAVE_ASSUME
367
368/* undef PDEBUG to disable checks of polys
369
370 define PDEBUG to
371  0 for enabling pTest
372  1 plus tests in Level 1 poly routines (operations on monomials)
373  2 plus tests in Level 2 poly routines (operations on single exponents)
374 -- see also polys.h for more info
375
376 NOTE: you can set the value of PDEBUG on a per-file basis, before
377       including mod2.h, provided ! PDEBUG is defined in mod2.h E.g.:
378
379       #define PDEBUG 2
380       #include "mod2.h"
381       ...
382
383       makes sure that all poly operations in your file are done with
384       PDEBUG == 2
385 To break after an error occured, set a debugger breakpoint on
386 dErrorBreak.
387*/
388#ifndef PDEBUG
389#define PDEBUG 0
390#endif
391
392/* define MDEBUG to enable memory checks */
393#define MDEBUG 0
394
395#ifdef MDEBUG
396/* If ! defined(OM_NDEBUG) and (defined(OM_TRACK) or defined(OM_CHECK)
397   then omDebug routines are used for memory allocation/free:
398
399   The omDebug routines are controlled by the values of OM_TRACK, OM_CHECK
400   and OM_KEEP.  There meaning is roughly as follows:
401   OM_TRACK: strored with address                              : extra space
402     0     : no additional info is stored                      : 0
403     1     : file:line of location where address was allocated : 1 word
404     2     : plus backtrace of stack where adress was allocated: 6 words
405     3     : plus size/bin info and front-, and back padding   : 9 words
406     4     : plus file:line of location where adress was freed : 10 words
407     5     : plus backtrace of stack where adress was allocated: 15 words
408   OM_CHECK: checks done
409     0     : no checks
410     1     : constant-time checks: i.e. addr checks only
411     2     : plus linear-time checks and constant related bin check
412     3     : plus quadratic-time checks and linear-time related bin checks and
413             constant time all memory checks
414     4     : and so on
415     ==> for OM_CHECK >= 3 it gets rather slow
416   OM_KEEP:  determines whether addresses are really freed  (
417     0     : addresses are really freed
418     1     : addresses are only marked as free and not really freed.
419
420   OM_CHECK, OM_TRACK, and OM_KEEP can be set on a per-file basis
421   (as can OM_NDEBUG),  e.g.:
422     #define OM_CHECK 3
423     #define OM_TRACK 5
424     #define OM_KEEP  1
425     #include "mod2.h"
426     #include "omalloc.h"
427   ensures that all memory allocs/free in this file are done with
428   OM_CHECK==3 and OM_TRACK==5, and that all addresses allocated/freed
429   in this file are only marked as free and never really freed.
430 
431   To set OM_CHECK, OM_TRACK and OM_KEEP under dynamic scope, set
432   om_Opts.MinCheck, om_Opts.MinTrack to the respectiv values and
433   om_Opts.Keep to the number of addresses which are kept before they are
434   actually freed. E.g.:
435     int check=om_Opts.MinCheck, track=om_Opts.MinTrack, keep= m_OPts.Keep;
436     om_Opts.MinCheck = 3; om_Opts.MinTrack = 5; omOpts.Keep = LONG_MAX;
437     ExternalRoutine();
438     om_Opts.MinCheck = check; omOpts.MinTrack = track; omOpts.Keep = keep;
439   ensures that all calls omDebug routines  occuring during the computation of
440   ExternalRoutine() are done with OM_CHECK==3 and OM_TRACK==5, and
441   calls to omFree only mark addresses as free and not really free them.
442
443   Furthermore, the value of OM_SING_KEEP (resp. om_Opts.Keep) specifies
444   how many addresses are kept before they are actually freed, independently
445   of the value of OM_KEEP.
446
447   Some tips on possible values of OM_TRACK, OM_CHECK, OM_KEEP:
448   + To find out about an address that has been freed twice, first locate the
449     file(s) where the error occured, and then at the beginning of these files:
450       #define OM_CHECK 3
451       #define OM_TRACK 5
452       #define OM_KEEP  1
453       #include "mod2.h"
454       #include "omalloc.h"
455     Under dynamic scope, do (e.g., from within the debugger):
456       om_Opts.MinCheck = 3; om_Opts.MinTrack = 5; omOpts.Keep = LONG_MAX;
457   + to find out where "memory corruption" occured, increase value of
458     OM_CHECK - the higher this value is, the more consistency checks are
459     done (However a value > 3 checks the entire memory each time an omalloc
460     routine is used!)
461   
462   Some more tips on the usage of omalloc:
463   + omAlloc*, omRealloc*, omFree*, omCheck* omDebug* omTest* rotuines
464     assume that sizes are > 0 and pointers are != NULL
465   + omalloc*, omrealloc*, omfree* omcheck*, omdebug* omtest* routines allow
466     NULL pointers and sizes == 0
467   + You can safely use any free/realloc routine in combination with any alloc
468     routine (including the debug versions): E.g., an address allocated with
469     omAllocBin can be freed with omfree, or an adress allocated with
470     om(Debug)Alloc can be freed with omfree, or omFree, or omFreeSize, etc.
471     However, keep in mind that the efficiency decreases from
472     Bin over Size to General routines (i.e., omFreeBin is more efficient than
473     omFreeSize which is more efficient than omFree, likewise with the alloc
474     routines).
475   + if OM_CHECK is undefined or 0, then all omCheck routines do nothing
476   + if OM_CHECK and OM_TRACK are both undefined (or 0), or if OM_NDEBUG is
477     defined, then the "real" alloc/realloc/free macros are used, and all
478     omTest, omDebug and omCheck routines are undefined
479   + to break after an omError occured within a debugger,
480     set a breakpoint on dErrorBreak
481   + to do checks from within the debugger, or to do checks with explicit
482     check level, use omTest routines.
483*/
484
485/* by default, store alloc info and file/line where addr was freed */
486#ifndef OM_TRACK
487#define OM_TRACK 4
488#endif
489/* only do constant-time memory checks */
490#ifndef OM_CHECK
491#define OM_CHECK 1
492#endif
493/* Do actually free memory:
494   (be careful: if this is set, memory is never really freed,
495    but only marked as free) */
496#ifndef OM_KEEP
497#define OM_KEEP 0
498#endif
499/* but only after you have freed 1000 more addresses
500   (this is actually independent of the value of OM_KEEP and used
501   to initialize om_Opts.Keep) */
502#ifndef OM_SING_KEEP
503#define OM_SING_KEEP 1000
504#endif
505
506#endif /* MDEBUG */
507
508
509/* undef KDEBUG for check of data during std computations
510 *
511 * define KDEBUG to
512 * 0 for basic tests
513 * 1 for tests in kSpoly
514 * NOTE: You can locally enable tests in kspoly by setting the
515 *       define at the beginning of kspoly.cc
516 */
517#define KDEBUG 0
518
519/* define LDEBUG checking numbers, undefine otherwise */
520#define LDEBUG
521/* define RDEBUG checking rings (together with TRACE=9) */
522#define RDEBUG
523/* define TEST for non time critical tests, undefine otherwise */
524#define TEST
525
526/* #define PAGE_TEST */
527
528/* define YYDEBUG 1 for debugging bison texts, 0 otherwise */
529#define YYDEBUG 1
530
531/* Undefine to disable debugging of MP stuff */
532#ifdef HAVE_MPSR
533#define MPSR_DEBUG
534#endif
535
536
537#ifdef TEST
538#ifndef buildin_rand
539#define buildin_rand 1
540#endif
541#endif
542
543/* define SPECTRUM_DEBUG and SPECTRUM_PRINT for debugging the spectrum code */
544/* define SPECTRUM_IOSTREAM to use C++ iostream for error messages          */
545
546/* #define SPECTRUM_DEBUG */
547/* #define SPECTRUM_PRINT */
548#undef  SPECTRUM_IOSTREAM
549
550#ifdef  SPECTRUM_DEBUG
551#define MULTICNT_DEBUG
552#define GMPRAT_DEBUG
553#define KMATRIX_DEBUG
554#define SPLIST_DEBUG
555#define NPOLYGON_DEBUG
556#define SEMIC_DEBUG
557#endif
558
559#ifdef  SPECTRUM_PRINT
560#define MULTICNT_PRINT
561#define GMPRAT_PRINT
562#define KMATRIX_PRINT
563#define SPLIST_PRINT
564#define NPOLYGON_PRINT
565#define SEMIC_PRINT
566#endif
567
568#ifdef  SPECTRUM_IOSTREAM
569#define MULTICNT_IOSTREAM
570#define GMPRAT_IOSTREAM
571#define KMATRIX_IOSTREAM
572#define SPLIST_IOSTREAM
573#define NPOLYGON_IOSTREAM
574#define SEMIC_IOSTREAM
575#endif
576
577
578#else /* not NDEBUG **************************************************** */
579
580#define NO_PDEBUG
581
582/* define YYDEBUG 1 for debugging bison texts, 0 otherwise */
583#define YYDEBUG 0
584
585#endif /* not NDEBUG */
586
587#ifdef HAVE_NAMESPACES
588#  undef USE_IILOCALRING
589#endif
590
591/*******************************************************************
592 *
593 * assume(x) -- a handy macro for assumptions
594 *
595 ******************************************************************/
596
597#ifdef __cplusplus
598extern "C" {
599#endif
600// routine which is used to report the error
601// returns 0
602extern int dReportError(const char* fmt, ...);
603// within a debugger, set a breakpoint on dErrorBreak
604// which is called after the error has been reported
605extern void dErrorBreak();
606#ifdef __cplusplus
607}
608#endif
609
610#ifndef HAVE_ASSUME
611#define assume(x) ((void) 0)
612#define r_assume(x) ((void) 0)
613#else /* ! HAVE_ASSUME */
614
615#define assume_violation(s,f,l) \
616  dReportError("assume violation at %s:%d condition: %s", f,l,s)
617
618#define assume(x)   _assume(x, __FILE__, __LINE__)
619#define r_assume(x) _r_assume(x, __FILE__, __LINE__)
620
621#define _assume(x, f, l)                        \
622do                                              \
623{                                               \
624  if (! (x))                                    \
625  {                                             \
626    assume_violation(#x, f, l);                 \
627  }                                             \
628}                                               \
629while (0)
630
631#define _r_assume(x, f, l)                      \
632do                                              \
633{                                               \
634  if (! (x))                                    \
635  {                                             \
636    assume_violation(#x, f, l);                 \
637    return 0;                                   \
638  }                                             \
639}                                               \
640while (0)
641#endif /* HAVE_ASSUME */
642
643/* do have RDEBUG, unless we are doing the very real thing */
644#ifdef HAVE_ASSUME
645#ifndef RDEBUG
646#define RDEBUG
647#endif
648#endif
649
650#if SIZEOF_VOIDP == 8
651#ifndef OM_CHECK
652#define OM_CHECK 0
653#endif
654#endif
655
656/* If we're not using GNU C, elide __attribute__ */
657#ifndef __GNUC__
658#  define  __attribute__(x)  /*NOTHING*/
659#endif
660
661#endif /* MOD2_H  */
Note: See TracBrowser for help on using the repository browser.