#include <singularconfig.h>
#include <misc/auxiliary.h>
Go to the source code of this file.
|
#define | SINGULAR_MAJOR_VERSION 4 |
|
#define | VERSION "4.1.0" |
|
#define | SINGULAR_MINOR_VERSION 1 |
|
#define | SINGULAR_SUB_VERSION 0 |
|
#define | S_ROOT_DIR "" |
|
#define | HAVE_GETTIMEOFDAY 1 |
|
#define | TIME_WITH_SYS_TIME 1 |
|
#define | HAVE_SYS_TIME_H 1 |
|
#define | TIMER_RESOLUTION 1 |
|
#define | SIQ 1 |
|
#define | FAST_AND_DIRTY |
|
#define | HAVE_EIGENVAL 1 |
|
#define | HAVE_GMS 1 |
|
#define | HAVE_SIMPLEIPC 1 |
|
#define | HAVE_PCV 1 |
|
#define | HAVE_UNITS |
|
#define | HAVE_LIBPARSER |
|
#define | PROFILER |
|
#define | HAVE_SPECTRUM 1 |
|
#define | SINGULAR_VERSION 4100 |
|
#define | YYLPDEBUG 1 |
|
#define | SEEK_END 2 |
|
#define | SEEK_SET 0 |
|
#define | HALT() m2_end(2) |
|
#define | LINKAGE |
|
#define | NO_INLINE |
|
#define | HAVE_ASSUME |
|
#define | MDEBUG 0 |
|
#define | OM_TRACK 4 |
|
#define | OM_CHECK 1 |
|
#define | OM_KEEP 0 |
|
#define | OM_SING_KEEP 1000 |
|
#define | KDEBUG 0 |
|
#define | LDEBUG |
|
#define | RDEBUG |
|
#define | TEST |
|
#define | YYDEBUG 1 |
|
#define | assume_violation(s, f, l) dReportError("assume violation at %s:%d condition: %s", f,l,s) |
|
#define | assume(x) _assume(x, __FILE__, __LINE__) |
|
#define | r_assume(x) _r_assume(x, __FILE__, __LINE__) |
|
#define | _assume(x, f, l) |
|
#define | _r_assume(x, f, l) |
|
#define | __attribute__(x) /*NOTHING*/ |
|
#define | STRINGIFY(name) #name |
|
#define | EXPANDED_STRINGIFY(name) STRINGIFY(name) |
|
#define __attribute__ |
( |
|
x | ) |
/*NOTHING*/ |
#define _assume |
( |
|
x, |
|
|
|
f, |
|
|
|
l |
|
) |
| |
Value:do \
} \
#define assume_violation(s, f, l)
int int kStrategy strat if(h==NULL) return NULL
Definition at line 408 of file mod2.h.
#define _r_assume |
( |
|
x, |
|
|
|
f, |
|
|
|
l |
|
) |
| |
Value:do \
} \
#define assume_violation(s, f, l)
int int kStrategy strat if(h==NULL) return NULL
Definition at line 418 of file mod2.h.
#define assume |
( |
|
x | ) |
_assume(x, __FILE__, __LINE__) |
#define assume_violation |
( |
|
s, |
|
|
|
f, |
|
|
|
l |
|
) |
| dReportError("assume violation at %s:%d condition: %s", f,l,s) |
#define HAVE_GETTIMEOFDAY 1 |
#define HAVE_SYS_TIME_H 1 |
#define OM_SING_KEEP 1000 |
#define SINGULAR_MAJOR_VERSION 4 |
#define SINGULAR_MINOR_VERSION 1 |
#define SINGULAR_SUB_VERSION 0 |
#define SINGULAR_VERSION 4100 |
#define TIME_WITH_SYS_TIME 1 |
#define TIMER_RESOLUTION 1 |
int dReportError |
( |
const char * |
fmt, |
|
|
|
... |
|
) |
| |
Definition at line 45 of file dError.cc.
48 #ifdef HAVE_EXECINFO_H
50 void *
buffer[SIZE+1];
int ret;
56 #ifndef MAKE_DISTRIBUTION
57 fprintf(stderr,
"\n// ***dError: ");
58 vfprintf(stderr, fmt, ap);
59 #if !defined(OM_NDEBUG)
60 #ifdef omPrintCurrentBackTraceMax
61 fprintf(stderr,
" occured at: \n");
67 #ifdef HAVE_EXECINFO_H
68 ret = backtrace( buffer, SIZE );
69 fprintf(stderr,
"\nExecinfo backtrace (with %zd stack frames): \n", ret);
71 #ifndef HAVE_GCC_ABI_DEMANGLE
72 backtrace_symbols_fd(buffer, ret, STDERR_FILENO);
74 char **ptr = backtrace_symbols( buffer, ret );
80 for (
int i = 0;
i < ret;
i++)
89 fprintf (stderr,
" #%02d: '%s': ",
i, s);
90 ss[0] =
'('; s = ss + 1;
97 demangledName = abi::__cxa_demangle( s,
NULL,
NULL, &status );
98 if( status == 0 && demangledName !=
NULL )
99 fprintf (stderr,
" '%s'", (demangledName[0] != 0)? demangledName: s);
101 fprintf (stderr,
" '%s'", s);
112 fprintf (stderr,
" + %s", s);
116 fprintf (stderr,
" %s\n", ss + 2);
127 fprintf(stderr,
"\n// !!! YOU HAVE FOUND A BUG IN SINGULAR.");
128 fprintf(stderr,
"// !!! Please, email the input\n// and the following error message to singular@mathematik.uni-kl.de")
129 vfprintf(stderr, fmt, ap);
const CanonicalForm int s
int omPrintCurrentBackTraceMax(FILE *fd, int max)
static void malloc_free(void *ptr)
static int index(p_Length length, p_Ord ord)