[5f9072] | 1 | /******************************************************************* |
---|
| 2 | * Computer Algebra System SINGULAR |
---|
| 3 | * |
---|
| 4 | * mod2.h: Main configuration file for Singular |
---|
| 5 | * DO NOT EDIT! |
---|
| 6 | * |
---|
| 7 | *******************************************************************/ |
---|
| 8 | #ifndef MOD2_H |
---|
| 9 | #define MOD2_H |
---|
| 10 | |
---|
| 11 | /******************************************************************* |
---|
| 12 | * Defines which are set by configure |
---|
| 13 | ******************************************************************/ |
---|
| 14 | /* Define if you have TeXInfo */ |
---|
| 15 | #undef HAVE_INFO |
---|
| 16 | /* Define to use readline lib for fancy display */ |
---|
| 17 | #undef HAVE_READLINE |
---|
| 18 | /* Define to use built-in command line parser */ |
---|
| 19 | #undef HAVE_FEREAD |
---|
| 20 | /* Define if you want to use dld's */ |
---|
| 21 | #undef HAVE_DLD |
---|
| 22 | /* Define to have dbm links */ |
---|
| 23 | #undef HAVE_DBM |
---|
| 24 | /* Define to use gmp for rational arithmetic */ |
---|
| 25 | #undef HAVE_GMP |
---|
[bde08b] | 26 | /* Define to have smallgmp */ |
---|
| 27 | #undef HAVE_SMALLGMP |
---|
[5f9072] | 28 | /* Define to have MP links */ |
---|
| 29 | #undef HAVE_MPSR |
---|
| 30 | /* Define to have factory functionality added */ |
---|
| 31 | #undef HAVE_FACTORY |
---|
| 32 | /* Define to have libfac functionality added */ |
---|
| 33 | #undef HAVE_LIBFAC_P |
---|
| 34 | /* Define if you have stdc headers */ |
---|
| 35 | #undef STDC_HEADERS |
---|
| 36 | /* Define if you have sys/file.h */ |
---|
| 37 | #undef HAVE_SYS_FILE_H |
---|
[1caa72] | 38 | /* Define if you have sys/param.h */ |
---|
| 39 | #undef HAVE_SYS_PARAM_H |
---|
| 40 | /* Define if you have sys/file.h */ |
---|
| 41 | #undef HAVE_SYS_TYPES_H |
---|
[5f9072] | 42 | /* Define if you have sys/ioctl.h */ |
---|
| 43 | #undef HAVE_SYS_IOCTL_H |
---|
| 44 | /* Define if you have sys/time.h */ |
---|
| 45 | #undef HAVE_SYS_TIME_H |
---|
[b85a6c] | 46 | /* Define if you have sys/times.h */ |
---|
| 47 | #undef HAVE_SYS_TIMES_H |
---|
[5f9072] | 48 | /* Define if time.h and sys/time.h can be included at the same time */ |
---|
| 49 | #undef TIME_WITH_SYS_TIME |
---|
| 50 | /* Define if you have alloca.h */ |
---|
| 51 | #undef HAVE_ALLOCA_H |
---|
[1caa72] | 52 | /* Define if you have pwd.h */ |
---|
| 53 | #undef HAVE_PWD_H |
---|
[5f9072] | 54 | /* Define if you have alloca */ |
---|
| 55 | #undef HAVE_ALLOCA |
---|
| 56 | /* Define if you have getpagesize */ |
---|
| 57 | #undef GETPAGESIZE |
---|
| 58 | /* Define if you have vprintf */ |
---|
| 59 | #undef HAVE_VPRINTF |
---|
| 60 | /* Define if you have gettimeofday */ |
---|
| 61 | #undef HAVE_GETTIMEOFDAY |
---|
| 62 | /* Define if you have atexit */ |
---|
| 63 | #undef HAVE_ATEXIT |
---|
[2c3da6] | 64 | /* Define if you have bcopy, bzero and bcmp |
---|
| 65 | Linux needs that define! */ |
---|
| 66 | #undef HAVE_BCOPY |
---|
[5f9072] | 67 | /* Define if sprintf does not return number of printed chars */ |
---|
| 68 | #undef BSD_SPRINTF |
---|
[1caa72] | 69 | /* Define if you have the getcwd function. */ |
---|
| 70 | #undef HAVE_GETCWD |
---|
| 71 | /* Define if you have the getwd function. */ |
---|
| 72 | #undef HAVE_GETWD |
---|
[1c452c] | 73 | /* Define if you have sbrk */ |
---|
| 74 | #undef HAVE_SBRK |
---|
[a8bce04] | 75 | /* Define if you have readlink */ |
---|
| 76 | #undef HAVE_READLINK |
---|
[45f7bf] | 77 | /* Define if you have usleep */ |
---|
| 78 | #undef HAVE_USLEEP |
---|
[3bb3e6a] | 79 | /* Define if you have sleep */ |
---|
| 80 | #undef HAVE_SLEEP |
---|
[51c163] | 81 | /* Define sizeof(char) */ |
---|
| 82 | #define SIZEOF_CHAR 1 |
---|
| 83 | /* Define sizeof(short) */ |
---|
| 84 | #define SIZEOF_SHORT 2 |
---|
| 85 | /* Define sizeof(int) */ |
---|
| 86 | #define SIZEOF_INT 4 |
---|
| 87 | /* Define sizeof(long) */ |
---|
| 88 | #define SIZEOF_LONG 4 |
---|
[5f9072] | 89 | /* Define sizeof(void*) */ |
---|
| 90 | #define SIZEOF_VOIDP 4 |
---|
[51c163] | 91 | /* Define if your integer format is big endian */ |
---|
| 92 | #undef WORDS_BIGENDIAN |
---|
| 93 | /* Define the type of the exponents to be used in monomials */ |
---|
| 94 | #define EXPONENT_TYPE short |
---|
| 95 | /* Define the size of exponent */ |
---|
| 96 | #define SIZEOF_EXPONENT SIZEOF_SHORT |
---|
[5f9072] | 97 | /* Define major version of Singular -- should be set in configure.in!!!*/ |
---|
[cb0e67b] | 98 | #define SINGULAR_MAJOR_VERSION 0 |
---|
[5f9072] | 99 | /* Define minor version of Singular -- should be set in configure.in!!! */ |
---|
[cb0e67b] | 100 | #define SINGULAR_MINOR_VERSION 0 |
---|
[5f9072] | 101 | /* Define sub version of Singular -- should be set in configure.in!!! */ |
---|
[cb0e67b] | 102 | #define SINGULAR_SUB_VERSION 0 |
---|
[5f9072] | 103 | /* Define version as a string */ |
---|
| 104 | #define S_VERSION1 "" |
---|
| 105 | /* Define version date as a string */ |
---|
| 106 | #define S_VERSION2 "" |
---|
| 107 | /* Define the data directory where Singular searches for libs and gftables */ |
---|
| 108 | #define SINGULAR_DATADIR "/usr/local/share/Singular" |
---|
[05fc79] | 109 | /* Define the info directory where Singular searches for help files */ |
---|
| 110 | #define SINGULAR_INFODIR "/usr/local/info" |
---|
[5f9072] | 111 | |
---|
| 112 | /******************************************************************* |
---|
| 113 | * Defines which are not set by configure |
---|
| 114 | ******************************************************************/ |
---|
| 115 | /* Default value for timer resolution in ticks per second */ |
---|
| 116 | /* set to 10 for resolution of tenth of a second, etc */ |
---|
| 117 | #define TIMER_RESOLUTION 1 |
---|
| 118 | /* Undefine to disable the quote/eval of expressions */ |
---|
| 119 | #define SIQ 1 |
---|
| 120 | /* Define to enable TCL interface */ |
---|
| 121 | #undef HAVE_TCL |
---|
| 122 | /* Define to enable working in Weyl algebras */ |
---|
| 123 | #undef DRING |
---|
| 124 | /* Define to enable working in exterior algebras */ |
---|
| 125 | #undef SRING |
---|
[dc87554] | 126 | /* Undefine to disable Gerhard's and Wilfried's fast and dirty std computations */ |
---|
[5f9072] | 127 | #define FAST_AND_DIRTY |
---|
[bf2cb0] | 128 | #ifdef __MWERKS__ |
---|
[bed4b3] | 129 | /* includes for Metrowerks */ |
---|
| 130 | #include "mod2.mwerks.h" |
---|
[bf2cb0] | 131 | #else |
---|
[5f9072] | 132 | /* works around a quirk in the generation of parser tables */ |
---|
| 133 | #define INIT_BUG |
---|
[bf2cb0] | 134 | #endif |
---|
[5f9072] | 135 | |
---|
[6a51ef] | 136 | /* Define to use new namespaces techniks */ |
---|
| 137 | #undef HAVE_NAMESPACES |
---|
[b04df2] | 138 | |
---|
| 139 | /* Define to enable dynamic module code */ |
---|
[799ce1] | 140 | #undef HAVE_DYNAMIC_LOADING |
---|
[6a51ef] | 141 | |
---|
| 142 | /* Define to use scanner when loading libraries */ |
---|
| 143 | #define HAVE_LIBPARSER |
---|
| 144 | |
---|
[2b3f23] | 145 | /*#define PROFILING*/ |
---|
[670667] | 146 | #ifdef PROFILING |
---|
[2b3f23] | 147 | #define PROFILER ,0,0 |
---|
[670667] | 148 | #else |
---|
[2b3f23] | 149 | #define PROFILER |
---|
[670667] | 150 | #endif |
---|
| 151 | |
---|
[5f9072] | 152 | /******************************************************************* |
---|
| 153 | * Evaluate the set defines |
---|
| 154 | ******************************************************************/ |
---|
| 155 | /* FGLM needs factory */ |
---|
| 156 | #ifdef HAVE_FACTORY |
---|
| 157 | #define HAVE_FGLM |
---|
| 158 | #endif |
---|
| 159 | |
---|
| 160 | /* Undefine to disable real time measurments */ |
---|
| 161 | #ifdef HAVE_GETTIMEOFDAY |
---|
[bed4b3] | 162 | #if ! defined(__MWERKS__) && ! defined(MSDOS) |
---|
[5f9072] | 163 | #define HAVE_RTIMER |
---|
[f988c9] | 164 | #else |
---|
| 165 | #undef HAVE_RTIMER |
---|
[5f9072] | 166 | #endif |
---|
[3ebcbd] | 167 | #endif |
---|
[5f9072] | 168 | |
---|
| 169 | #if SIZEOF_VOIDP == 8 |
---|
| 170 | #define ALIGN_8 |
---|
| 171 | #endif |
---|
| 172 | |
---|
[cb0e67b] | 173 | #define SINGULAR_VERSION (SINGULAR_MAJOR_VERSION*1000 + SINGULAR_MINOR_VERSION*100 + SINGULAR_SUB_VERSION) |
---|
[5f9072] | 174 | #ifdef DRING |
---|
| 175 | #define SDRING |
---|
| 176 | #endif |
---|
| 177 | |
---|
| 178 | #ifdef SRING |
---|
| 179 | #define SDRING |
---|
| 180 | #endif |
---|
| 181 | |
---|
| 182 | #if HAVE_INFO != 1 |
---|
| 183 | #define buildin_help 1 |
---|
| 184 | #endif |
---|
| 185 | |
---|
[e78cce] | 186 | #if SIZEOF_EXPONENT == 1 |
---|
| 187 | #define MAX_EXPONENT 0x7f |
---|
| 188 | #elif SIZEOF_EXPONENT == 2 |
---|
| 189 | #define MAX_EXPONENT 0x7fff |
---|
| 190 | #else // SIZEOF_EXPONENT == 4 |
---|
| 191 | #define MAX_EXPONENT 0x7fffffff |
---|
| 192 | #endif |
---|
| 193 | |
---|
[5f9072] | 194 | /******************************************************************* |
---|
| 195 | * Miscellanous Defines |
---|
| 196 | ******************************************************************/ |
---|
[6d09c56] | 197 | /* define MM_COUNT to enable "memory(0)" (resp. memory(1))*/ |
---|
| 198 | #define MM_COUNT 1 |
---|
| 199 | |
---|
[faaef1] | 200 | /* define YYDEBUG 1 for debugging bison texts, 0 otherwise */ |
---|
| 201 | #define YYDEBUG 0 |
---|
| 202 | |
---|
[6a51ef] | 203 | #ifndef HAVE_LIBPARSER |
---|
| 204 | # undef YYLPDEBUG |
---|
| 205 | #else |
---|
[799ce1] | 206 | # define YYLPDEBUG 1 |
---|
[6a51ef] | 207 | #endif |
---|
| 208 | |
---|
[5f9072] | 209 | #ifndef FALSE |
---|
| 210 | #define FALSE 0 |
---|
| 211 | #endif |
---|
| 212 | |
---|
| 213 | #ifndef TRUE |
---|
| 214 | #define TRUE 1 |
---|
| 215 | #endif |
---|
| 216 | |
---|
| 217 | #ifndef NULL |
---|
| 218 | #define NULL (0) |
---|
| 219 | #endif |
---|
| 220 | |
---|
| 221 | #ifndef SEEK_END |
---|
| 222 | #define SEEK_END 2 |
---|
| 223 | #endif |
---|
| 224 | |
---|
| 225 | #ifndef SEEK_SET |
---|
| 226 | #define SEEK_SET 0 |
---|
| 227 | #endif |
---|
| 228 | |
---|
| 229 | #define HALT() m2_end(2) |
---|
| 230 | |
---|
| 231 | #define memcpy4 memcpy |
---|
| 232 | |
---|
[faaef1] | 233 | /* define OLD_RES for res/sres/mres(i,j,k) */ |
---|
[1dc07a7] | 234 | #undef OLD_RES |
---|
[faaef1] | 235 | |
---|
[5f9072] | 236 | /* the maximal ascii length of an int number + 1 = 11 for 32 bit int */ |
---|
| 237 | #define MAX_INT_LEN 11 |
---|
| 238 | extern int pShortOut; |
---|
| 239 | |
---|
[51c163] | 240 | #ifdef DO_PROFILE |
---|
[f92fa13] | 241 | /* define to enable explicit profiling of some crucial inline |
---|
| 242 | * routines and defines */ |
---|
[51c163] | 243 | #define DO_DEEP_PROFILE |
---|
| 244 | #endif |
---|
[f92fa13] | 245 | |
---|
[5f9072] | 246 | /******************************************************************* |
---|
| 247 | * DEBUG OPTIONS |
---|
| 248 | * -- only significant for for compiling without -DNDEBUG |
---|
| 249 | * -- you better know what your are doing, if you touch this |
---|
| 250 | ******************************************************************/ |
---|
[d0e9ac] | 251 | #define buildin_rand 1 |
---|
[5f9072] | 252 | #ifndef NDEBUG |
---|
| 253 | |
---|
| 254 | /* define MDEBUG 0 for checking Alloc/Free */ |
---|
| 255 | #define MDEBUG 0 |
---|
| 256 | /* define MDEBUG 1 for allowing to keep track of Alloc/Free */ |
---|
| 257 | /* undefine MMDEBUG otherwise */ |
---|
| 258 | /*#define MDEBUG 0 */ |
---|
| 259 | /* define MLIST for listing used blocks at programm end */ |
---|
| 260 | /* undefine otherwise */ |
---|
| 261 | /*#define MLIST */ |
---|
| 262 | /* define MM_BEFORE for also printing the previous block while debugging */ |
---|
| 263 | /*#define MM_BEFORE 1 */ |
---|
| 264 | /* define PDEBUG checking polys, undefine otherwise */ |
---|
[51c163] | 265 | /* define PDEBUG 1 for additionally checking access to polys -- vewry slow !*/ |
---|
| 266 | #define PDEBUG 1 |
---|
[5f9072] | 267 | /* define KDEBUG checking during standard base computation */ |
---|
| 268 | #define KDEBUG |
---|
| 269 | /* define LDEBUG checking numbers, undefine otherwise */ |
---|
| 270 | #define LDEBUG |
---|
| 271 | /* define RDEBUG checking rings (together with TRACE=9) */ |
---|
| 272 | #define RDEBUG |
---|
| 273 | /* define TEST for non time critical tests, undefine otherwise */ |
---|
| 274 | #define TEST |
---|
| 275 | /* define MM_STAT for printing block stats */ |
---|
| 276 | /* #define MM_STAT 1 */ |
---|
| 277 | /* #define PAGE_TEST */ |
---|
| 278 | /* #define PAGE_COUNT */ |
---|
| 279 | |
---|
| 280 | /* Undefine to disable debugging of MP stuff */ |
---|
| 281 | #ifdef HAVE_MPSR |
---|
| 282 | #define MPSR_DEBUG |
---|
| 283 | #endif |
---|
| 284 | |
---|
| 285 | /* MLIST requires MDEBUG */ |
---|
| 286 | #ifdef MLIST |
---|
| 287 | #ifndef MDEBUG |
---|
| 288 | #define MDEBUG 0 |
---|
| 289 | #endif |
---|
| 290 | #endif |
---|
| 291 | |
---|
| 292 | /* PDEBUG requires MDEBUG */ |
---|
| 293 | #ifdef PDEBUG |
---|
| 294 | #ifndef MDEBUG |
---|
| 295 | #define MDEBUG 0 |
---|
| 296 | #endif |
---|
| 297 | #endif |
---|
| 298 | |
---|
| 299 | #ifdef TEST |
---|
| 300 | #ifndef buildin_rand |
---|
| 301 | #define buildin_rand 1 |
---|
| 302 | #endif |
---|
| 303 | #endif |
---|
| 304 | |
---|
| 305 | #ifdef PAGE_COUNT |
---|
| 306 | #define PAGE_TEST |
---|
| 307 | #endif |
---|
| 308 | |
---|
| 309 | #endif /* not NDEBUG */ |
---|
| 310 | |
---|
| 311 | |
---|
| 312 | #endif /* MOD2_H */ |
---|