Context Navigation

source: git/kernel/mod2.h.in @ b546c0

spielwiese

Last change on this file since b546c0 was b546c0, checked in by Hans Schönemann <hannes@…>, 16 years ago
*hannes: HAVE_RINGS git-svn-id: file:///usr/local/Singular/svn/trunk@10963 2c84dea3-7e68-4137-9b89-c4e89433aadc
Property mode set to `100644`
File size: 18.7 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.25 2008-08-07 15:30:45 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 shiftbba */
152	#undef HAVE_SHIFTBBA
153	/* Define to enable libsvd */
154	#undef HAVE_SVD
155	/* CPU type: i[3456]86: */
156	#undef SI_CPU_I386
157	/* CPU type: sparc: */
158	#undef SI_CPU_SPARC
159	/* CPU type: ppc: */
160	#undef SI_CPU_PPC
161	/* CPU type: IA64: */
162	#undef SI_CPU_IA64
163	/* CPU type: x86_64: */
164	#undef SI_CPU_X86_64
165
166	/*******************************************************************
167	* Defines which are not set by configure
168	******************************************************************/
169
170	/* Default value for timer resolution in ticks per second */
171	/* set to 10 for resolution of tenth of a second, etc */
172	#define TIMER_RESOLUTION 1
173
174	/* Undefine to disable the quote/eval of expressions */
175	#define SIQ 1
176
177	/* Define to enable TCL interface */
178	#undef HAVE_TCL
179
180	/* Undefine to disable Gerhard's and Wilfried's fast and dirty std computations */
181	#define FAST_AND_DIRTY
182
183	/* eigenvalues */
184	#ifndef HAVE_DYNAMIC_LOADING
185	#define HAVE_EIGENVAL 1
186
187	/* Gauss-Manin system */
188	#define HAVE_GMS 1
189	#endif
190
191	/* linear algebra extensions from pcv.h/pcv.cc */
192	#define HAVE_PCV 1
193
194	/* procedures to compute groebner bases with the f5 implementation */
195	/* still testing */
196	#undef HAVE_F5
197
198
199	/* rings as coefficients */
200	#define HAVE_RINGS
201
202	#ifdef HAVE_RINGS
203	#define HAVE_RING2TOM
204	#define HAVE_RINGMODN
205	#define HAVE_RINGZ
206	#endif
207
208	/* procedures to compute with units */
209	#define HAVE_UNITS
210
211	/* Define to use old mechanismen for saving currRing with procedures
212	* Does not work with HAVE_NAMESPACES enabled
213	*/
214	#undef USE_IILOCALRING
215
216
217	/* Define to use scanner when loading libraries */
218	#define HAVE_LIBPARSER
219
220	/#define PROFILING/
221	#ifdef PROFILING
222	#define PROFILER ,0,0
223	#else
224	#define PROFILER
225	#endif
226
227	/* Define to use gmp for rational arithmetic */
228	#define HAVE_GMP
229
230	/*******************************************************************
231	* Evaluate the set defines
232	******************************************************************/
233	/* FGLM needs factory */
234	#ifdef HAVE_FACTORY
235	#define HAVE_FGLM
236	#endif
237
238	/* Define if you want fglm for homogeneous case */
239	#ifdef HAVE_FGLM
240	#undef HAVE_FGLM_HOME
241	#endif
242
243	/* Spectrum needs GMP */
244	#ifdef HAVE_GMP
245	#define HAVE_SPECTRUM 1
246	#endif
247
248	/* Undefine to disable real time measurments */
249	#ifdef HAVE_GETTIMEOFDAY
250	#define HAVE_RTIMER
251	#endif
252
253	#if SIZEOF_VOIDP == 8
254	/* SIZEOF_LONG == SIZEOF_VOIDP is guaranteed by configure */
255	#define ALIGN_8
256	#define LOG_SIZEOF_LONG 3
257	#define LOG_SIZEOF_VOIDP 3
258	#else
259	#define LOG_SIZEOF_LONG 2
260	#define LOG_SIZEOF_VOIDP 2
261	#endif
262
263	#ifndef CHAR_BIT
264	#define CHAR_BIT 8
265	#endif
266
267	#define BIT_SIZEOF_LONG CHAR_BIT*SIZEOF_LONG
268
269	#define SINGULAR_PATCHLEVEL 4
270	#define SINGULAR_VERSION ((SINGULAR_MAJOR_VERSION1000 + SINGULAR_MINOR_VERSION100 + SINGULAR_SUB_VERSION*10)+SINGULAR_PATCHLEVEL)
271
272	/*******************************************************************
273	* Miscellanous Defines
274	******************************************************************/
275	/* Under HPUX 9, system(...) returns -1 if SIGCHLD does not equal
276	SIG_DFL. However, if it stays at SIG_DFL we get zombie processes
277	for terminated childs generated by fork. Therefors some special treatment
278	is necessary */
279	#ifdef HPUX_9
280	#include <stdlib.h>
281	#define system hpux9_system
282	#ifdef __cplusplus
283	extern "C" {
284	#endif
285	int hpux9_system(const char* system);
286	#ifdef __cplusplus
287	}
288	#endif
289	#endif
290
291	#ifndef HAVE_LIBPARSER
292	# undef YYLPDEBUG
293	#else
294	# define YYLPDEBUG 1
295	#endif
296
297	#ifndef FALSE
298	#define FALSE 0
299	#endif
300
301	#ifndef TRUE
302	#define TRUE 1
303	#endif
304
305	#ifndef NULL
306	#define NULL (0)
307	#endif
308
309	#ifndef SEEK_END
310	#define SEEK_END 2
311	#endif
312
313	#ifndef SEEK_SET
314	#define SEEK_SET 0
315	#endif
316
317	#define HALT() m2_end(2)
318
319	#define memcpy4 memcpy
320
321	/* define OLD_RES for res/sres/mres(i,j,k) */
322	#undef OLD_RES
323
324	/* the maximal ascii length of an int number + 1 = 11 for 32 bit int */
325	#define MAX_INT_LEN 11
326	#define MAX_INT_VAL 0x7fffffff
327
328	#ifdef DO_PROFILE
329	/* define to enable explicit profiling of some crucial inline
330	* routines and defines */
331	#undef DO_DEEP_PROFILE
332	#endif
333
334	#define buildin_rand 1
335
336	/* define to enable assume */
337	#ifndef HAVE_ASSUME
338	#undef HAVE_ASSUME
339	#endif
340
341	/* define LINKAGE to "extern C" if compiling for shared libs */
342	#ifndef LINKAGE
343	#if defined(PIC)
344	#define LINKAGE extern "C"
345	#else
346	#define LINKAGE
347	#endif
348	#endif
349
350
351	/*******************************************************************
352	* DEBUG OPTIONS
353	* -- only significant for for compiling without -DNDEBUG
354	* -- you better know what your are doing, if you touch this
355	******************************************************************/
356	#ifndef NDEBUG
357
358	/* undefine to enable inline */
359	#define NO_INLINE
360
361	/* undefine to disable assume -- should normally be defined for NDEBUG */
362	#define HAVE_ASSUME
363
364	/* undef PDEBUG to disable checks of polys
365
366	define PDEBUG to
367	0 for enabling pTest
368	1 plus tests in Level 1 poly routines (operations on monomials)
369	2 plus tests in Level 2 poly routines (operations on single exponents)
370	-- see also polys.h for more info
371
372	NOTE: you can set the value of PDEBUG on a per-file basis, before
373	including mod2.h, provided ! PDEBUG is defined in mod2.h E.g.:
374
375	#define PDEBUG 2
376	#include "mod2.h"
377	...
378
379	makes sure that all poly operations in your file are done with
380	PDEBUG == 2
381	To break after an error occured, set a debugger breakpoint on
382	dErrorBreak.
383	*/
384	#ifndef PDEBUG
385	#define PDEBUG 0
386	#endif
387
388	/* define MDEBUG to enable memory checks */
389	#define MDEBUG 0
390
391	#ifdef MDEBUG
392	/* If ! defined(OM_NDEBUG) and (defined(OM_TRACK) or defined(OM_CHECK)
393	then omDebug routines are used for memory allocation/free:
394
395	The omDebug routines are controlled by the values of OM_TRACK, OM_CHECK
396	and OM_KEEP. There meaning is roughly as follows:
397	OM_TRACK: strored with address : extra space
398	0 : no additional info is stored : 0
399	1 : file:line of location where address was allocated : 1 word
400	2 : plus backtrace of stack where adress was allocated: 6 words
401	3 : plus size/bin info and front-, and back padding : 9 words
402	4 : plus file:line of location where adress was freed : 10 words
403	5 : plus backtrace of stack where adress was allocated: 15 words
404	OM_CHECK: checks done
405	0 : no checks
406	1 : constant-time checks: i.e. addr checks only
407	2 : plus linear-time checks and constant related bin check
408	3 : plus quadratic-time checks and linear-time related bin checks and
409	constant time all memory checks
410	4 : and so on
411	==> for OM_CHECK >= 3 it gets rather slow
412	OM_KEEP: determines whether addresses are really freed (
413	0 : addresses are really freed
414	1 : addresses are only marked as free and not really freed.
415
416	OM_CHECK, OM_TRACK, and OM_KEEP can be set on a per-file basis
417	(as can OM_NDEBUG), e.g.:
418	#define OM_CHECK 3
419	#define OM_TRACK 5
420	#define OM_KEEP 1
421	#include "mod2.h"
422	#include "omalloc.h"
423	ensures that all memory allocs/free in this file are done with
424	OM_CHECK==3 and OM_TRACK==5, and that all addresses allocated/freed
425	in this file are only marked as free and never really freed.
426
427	To set OM_CHECK, OM_TRACK and OM_KEEP under dynamic scope, set
428	om_Opts.MinCheck, om_Opts.MinTrack to the respectiv values and
429	om_Opts.Keep to the number of addresses which are kept before they are
430	actually freed. E.g.:
431	int check=om_Opts.MinCheck, track=om_Opts.MinTrack, keep= m_OPts.Keep;
432	om_Opts.MinCheck = 3; om_Opts.MinTrack = 5; omOpts.Keep = LONG_MAX;
433	ExternalRoutine();
434	om_Opts.MinCheck = check; omOpts.MinTrack = track; omOpts.Keep = keep;
435	ensures that all calls omDebug routines occuring during the computation of
436	ExternalRoutine() are done with OM_CHECK==3 and OM_TRACK==5, and
437	calls to omFree only mark addresses as free and not really free them.
438
439	Furthermore, the value of OM_SING_KEEP (resp. om_Opts.Keep) specifies
440	how many addresses are kept before they are actually freed, independently
441	of the value of OM_KEEP.
442
443	Some tips on possible values of OM_TRACK, OM_CHECK, OM_KEEP:
444	+ To find out about an address that has been freed twice, first locate the
445	file(s) where the error occured, and then at the beginning of these files:
446	#define OM_CHECK 3
447	#define OM_TRACK 5
448	#define OM_KEEP 1
449	#include "mod2.h"
450	#include "omalloc.h"
451	Under dynamic scope, do (e.g., from within the debugger):
452	om_Opts.MinCheck = 3; om_Opts.MinTrack = 5; omOpts.Keep = LONG_MAX;
453	+ to find out where "memory corruption" occured, increase value of
454	OM_CHECK - the higher this value is, the more consistency checks are
455	done (However a value > 3 checks the entire memory each time an omalloc
456	routine is used!)
457
458	Some more tips on the usage of omalloc:
459	+ omAlloc, omRealloc, omFree, omCheck omDebug* omTest* rotuines
460	assume that sizes are > 0 and pointers are != NULL
461	+ omalloc, omrealloc, omfree* omcheck, omdebug omtest* routines allow
462	NULL pointers and sizes == 0
463	+ You can safely use any free/realloc routine in combination with any alloc
464	routine (including the debug versions): E.g., an address allocated with
465	omAllocBin can be freed with omfree, or an adress allocated with
466	om(Debug)Alloc can be freed with omfree, or omFree, or omFreeSize, etc.
467	However, keep in mind that the efficiency decreases from
468	Bin over Size to General routines (i.e., omFreeBin is more efficient than
469	omFreeSize which is more efficient than omFree, likewise with the alloc
470	routines).
471	+ if OM_CHECK is undefined or 0, then all omCheck routines do nothing
472	+ if OM_CHECK and OM_TRACK are both undefined (or 0), or if OM_NDEBUG is
473	defined, then the "real" alloc/realloc/free macros are used, and all
474	omTest, omDebug and omCheck routines are undefined
475	+ to break after an omError occured within a debugger,
476	set a breakpoint on dErrorBreak
477	+ to do checks from within the debugger, or to do checks with explicit
478	check level, use omTest routines.
479	*/
480
481	/* by default, store alloc info and file/line where addr was freed */
482	#ifndef OM_TRACK
483	#define OM_TRACK 4
484	#endif
485	/* only do constant-time memory checks */
486	#ifndef OM_CHECK
487	#define OM_CHECK 1
488	#endif
489	/* Do actually free memory:
490	(be careful: if this is set, memory is never really freed,
491	but only marked as free) */
492	#ifndef OM_KEEP
493	#define OM_KEEP 0
494	#endif
495	/* but only after you have freed 1000 more addresses
496	(this is actually independent of the value of OM_KEEP and used
497	to initialize om_Opts.Keep) */
498	#ifndef OM_SING_KEEP
499	#define OM_SING_KEEP 1000
500	#endif
501
502	#endif /* MDEBUG */
503
504
505	/* undef KDEBUG for check of data during std computations
506	*
507	* define KDEBUG to
508	* 0 for basic tests
509	* 1 for tests in kSpoly
510	* NOTE: You can locally enable tests in kspoly by setting the
511	* define at the beginning of kspoly.cc
512	*/
513	#define KDEBUG 0
514
515	/* define LDEBUG checking numbers, undefine otherwise */
516	#define LDEBUG
517	/* define RDEBUG checking rings (together with TRACE=9) */
518	#define RDEBUG
519	/* define TEST for non time critical tests, undefine otherwise */
520	#define TEST
521
522	/* #define PAGE_TEST */
523
524	/* define YYDEBUG 1 for debugging bison texts, 0 otherwise */
525	#define YYDEBUG 1
526
527	/* Undefine to disable debugging of MP stuff */
528	#ifdef HAVE_MPSR
529	#define MPSR_DEBUG
530	#endif
531
532
533	#ifdef TEST
534	#ifndef buildin_rand
535	#define buildin_rand 1
536	#endif
537	#endif
538
539	/* define SPECTRUM_DEBUG and SPECTRUM_PRINT for debugging the spectrum code */
540	/* define SPECTRUM_IOSTREAM to use C++ iostream for error messages */
541
542	/* #define SPECTRUM_DEBUG */
543	/* #define SPECTRUM_PRINT */
544	#undef SPECTRUM_IOSTREAM
545
546	#ifdef SPECTRUM_DEBUG
547	#define MULTICNT_DEBUG
548	#define GMPRAT_DEBUG
549	#define KMATRIX_DEBUG
550	#define SPLIST_DEBUG
551	#define NPOLYGON_DEBUG
552	#define SEMIC_DEBUG
553	#endif
554
555	#ifdef SPECTRUM_PRINT
556	#define MULTICNT_PRINT
557	#define GMPRAT_PRINT
558	#define KMATRIX_PRINT
559	#define SPLIST_PRINT
560	#define NPOLYGON_PRINT
561	#define SEMIC_PRINT
562	#endif
563
564	#ifdef SPECTRUM_IOSTREAM
565	#define MULTICNT_IOSTREAM
566	#define GMPRAT_IOSTREAM
567	#define KMATRIX_IOSTREAM
568	#define SPLIST_IOSTREAM
569	#define NPOLYGON_IOSTREAM
570	#define SEMIC_IOSTREAM
571	#endif
572
573
574	#else /* not NDEBUG **************************************************** */
575
576	#define NO_PDEBUG
577
578	/* define YYDEBUG 1 for debugging bison texts, 0 otherwise */
579	#define YYDEBUG 0
580
581	#endif /* not NDEBUG */
582
583	#ifdef HAVE_NAMESPACES
584	# undef USE_IILOCALRING
585	#endif
586
587	/*******************************************************************
588	*
589	* assume(x) -- a handy macro for assumptions
590	*
591	******************************************************************/
592
593	#ifdef __cplusplus
594	extern "C" {
595	#endif
596	// routine which is used to report the error
597	// returns 0
598	extern int dReportError(const char* fmt, ...);
599	// within a debugger, set a breakpoint on dErrorBreak
600	// which is called after the error has been reported
601	extern void dErrorBreak();
602	#ifdef __cplusplus
603	}
604	#endif
605
606	#ifndef HAVE_ASSUME
607	#define assume(x) ((void) 0)
608	#define r_assume(x) ((void) 0)
609	#else /* ! HAVE_ASSUME */
610
611	#define assume_violation(s,f,l) \
612	dReportError("assume violation at %s:%d condition: %s", f,l,s)
613
614	#define assume(x) _assume(x, __FILE__, __LINE__)
615	#define r_assume(x) _r_assume(x, __FILE__, __LINE__)
616
617	#define _assume(x, f, l) \
618	do \
619	{ \
620	if (! (x)) \
621	{ \
622	assume_violation(#x, f, l); \
623	} \
624	} \
625	while (0)
626
627	#define _r_assume(x, f, l) \
628	do \
629	{ \
630	if (! (x)) \
631	{ \
632	assume_violation(#x, f, l); \
633	return 0; \
634	} \
635	} \
636	while (0)
637	#endif /* HAVE_ASSUME */
638
639	/* do have RDEBUG, unless we are doing the very real thing */
640	#ifdef HAVE_ASSUME
641	#ifndef RDEBUG
642	#define RDEBUG
643	#endif
644	#endif
645
646	#if SIZEOF_VOIDP == 8
647	#ifndef OM_CHECK
648	#define OM_CHECK 0
649	#endif
650	#endif
651
652
653	#endif /* MOD2_H */

Note: See TracBrowser for help on using the repository browser.

Download in other formats: