‘factoryconf.h’ serves as a configuration file for the installed source files (templates and ‘factory.h’) the same way as ‘config.h’ serves as a configuration file for the source files from which the library is build. More...

#include "factory/globaldefs.h"
#include <cstdio>
#include <cstdlib>

Macros
#define	_FACTORY_CONFIG_H 1

#define	CF_USE_INLINE 1

#define	DISABLE_GMP_CPP 1

#define	FACTORYCONFIGURATION "' '--disable-option-checking' '--prefix=/usr' '--build=x86_64-linux-gnu' '--includedir=${prefix}/include' '--mandir=${prefix}/share/man' '--infodir=${prefix}/share/info' '--sysconfdir=/etc' '--localstatedir=/var' '--disable-silent-rules' '--libdir=${prefix}/lib/x86_64-linux-gnu' '--runstatedir=/run' '--disable-maintainer-mode' '--disable-dependency-tracking' '--libexecdir=/usr/libexec/x86_64-linux-gnu' '--enable-streamio' 'build_alias=x86_64-linux-gnu' 'CFLAGS=-g -O2 -ffile-prefix-map=/build/singular-CueUNv/singular-4.3.1-p3+ds=. -fstack-protector-strong -Wformat -Werror=format-security' 'LDFLAGS=-Wl,-z,relro -Wl,-z,now' 'CPPFLAGS=-Wdate-time -D_FORTIFY_SOURCE=2' 'CXXFLAGS=-g -O2 -ffile-prefix-map=/build/singular-CueUNv/singular-4.3.1-p3+ds=. -fstack-protector-strong -Wformat -Werror=format-security' 'PYTHON=/usr/bin/python3' '--enable-omalloc' 'OMALLOC_LIBS=/build/singular-CueUNv/singular-4.3.1-p3+ds/omalloc/libsingular-omalloc.la' 'OMALLOC_INCLUDES=-I/build/singular-CueUNv/singular-4.3.1-p3+ds' '--htmldir=/usr/share/doc/singular' '--with-Singular' 'RESOURCES_LIBS=/build/singular-CueUNv/singular-4.3.1-p3+ds/resources/libsingular-resources.la' 'RESOURCES_INCLUDES=-I/build/singular-CueUNv/singular-4.3.1-p3+ds ' 'FACTORY_LIBS=/build/singular-CueUNv/singular-4.3.1-p3+ds/factory/libsingular-factory.la' 'FACTORY_INCLUDES=-I/build/singular-CueUNv/singular-4.3.1-p3+ds -I/build/singular-CueUNv/singular-4.3.1-p3+ds/factory -I/build/singular-CueUNv/singular-4.3.1-p3+ds/factory/include' '--cache-file=/dev/null' '--srcdir=.'' in /build/singular-CueUNv/singular-4.3.1-p3+ds/factory"

#define	FACTORYVERSION "4.3.1"

#define	HAVE_CSTDIO 1

#define	HAVE_CTYPE_H 1

#define	HAVE_DLFCN_H 1

#define	HAVE_ERRNO_H 1

#define	HAVE_FSTREAM 1

#define	HAVE_INTTYPES_H 1

#define	HAVE_LIBM 1

#define	HAVE_MATH_H 1

#define	HAVE_SIGNAL_H 1

#define	HAVE_STDARG_H 1

#define	HAVE_STDINT_H 1

#define	HAVE_STDIO_H 1

#define	HAVE_STDLIB_H 1

#define	HAVE_STRING 1

#define	HAVE_STRINGS_H 1

#define	HAVE_STRING_H 1

#define	HAVE_SYS_STAT_H 1

#define	HAVE_SYS_TYPES_H 1

#define	HAVE_TIME_H 1

#define	HAVE_UNISTD_H 1

#define	LT_OBJDIR ".libs/"

#define	OM_NDEBUG 1

#define	PACKAGE "factory"

#define	PACKAGE_BUGREPORT ""

#define	PACKAGE_NAME "factory"

#define	PACKAGE_STRING "factory 4.3.1"

#define	PACKAGE_TARNAME "factory"

#define	PACKAGE_URL ""

#define	PACKAGE_VERSION "4.3.1"

#define	SINGULAR_CFLAGS "-DSING_NDEBUG -DOM_NDEBUG"

#define	SING_NDEBUG 1

#define	STDC_HEADERS 1

#define	VERSION "4.3.1"

#define	NOASSERT

#define	__ASSERT(expression, message, file, line)

#define	__ASSERT1(expression, message, parameter1, file, line)

#define	STICKYASSERT(expression, message) ((void)((expression) ? 0 : __ASSERT(#expression, message, __FILE__, __LINE__)))

#define	STICKYASSERT1(expression, message, parameter1) ((void)((expression) ? 0 : __ASSERT1(#expression, message, parameter1, __FILE__, __LINE__)))

#define	__WARN(expression, message, file, line)

#define	STICKYWARN(expression, message) ((void)((expression) ? 0 : __WARN(#expression, message, __FILE__, __LINE__)))

#define	ASSERT(expression, message) do {} while (0)

#define	ASSERT1(expression, message, parameter1) do {} while (0)

#define	WARN(expression, message) do {} while (0)

#define	PVIRT_VOID(msg) = 0

#define	PVIRT_INTCF(msg) = 0

#define	PVIRT_BOOL(msg) = 0

#define	PVIRT_INT(msg) = 0

#define	PVIRT_CHARCC(msg) = 0

Detailed Description

‘factoryconf.h’ serves as a configuration file for the installed source files (templates and ‘factory.h’) the same way as ‘config.h’ serves as a configuration file for the source files from which the library is build.

Additionally, we paste a copy of our ‘cf_assert.h’ into this file which is necessary for the templates to translate.

Definition in file factoryconf.h.

Macro Definition Documentation

◆ __ASSERT

#define __ASSERT	(	expression,
		message,
		file,
		line
	)

Value:

(fprintf( stderr, "error: " message "\n%s:%u: failed assertion `%s'\n", \

file, line, expression ), abort(), 0 )

message

void message(int i, int *reduc, int *olddeg, kStrategy strat, int red_result)

Definition: kutil.cc:7512

Definition at line 350 of file factoryconf.h.

◆ __ASSERT1

#define __ASSERT1	(	expression,
		message,
		parameter1,
		file,
		line
	)

Value:

(fprintf( stderr, "error: " message "\n%s:%u: failed assertion `%s'\n", \

parameter1, file, line, expression ), abort(), 0 )

Definition at line 353 of file factoryconf.h.

◆ __WARN

#define __WARN	(	expression,
		message,
		file,
		line
	)

Value:

(fprintf( stderr, "warning: " message "\n%s:%u: failed assertion `%s'\n", \

file, line, expression ), 0 )

Definition at line 362 of file factoryconf.h.

◆ _FACTORY_CONFIG_H

#define _FACTORY_CONFIG_H 1

Definition at line 26 of file factoryconf.h.

◆ ASSERT

#define ASSERT	(	expression,
		message
	)	do {} while (0)

Definition at line 421 of file factoryconf.h.

◆ ASSERT1

#define ASSERT1	(	expression,
		message,
		parameter1
	)	do {} while (0)

Definition at line 422 of file factoryconf.h.

◆ CF_USE_INLINE

#define CF_USE_INLINE 1

Definition at line 35 of file factoryconf.h.

◆ DISABLE_GMP_CPP

#define DISABLE_GMP_CPP 1

Definition at line 43 of file factoryconf.h.

◆ FACTORYCONFIGURATION

#define FACTORYCONFIGURATION "' '--disable-option-checking' '--prefix=/usr' '--build=x86_64-linux-gnu' '--includedir=${prefix}/include' '--mandir=${prefix}/share/man' '--infodir=${prefix}/share/info' '--sysconfdir=/etc' '--localstatedir=/var' '--disable-silent-rules' '--libdir=${prefix}/lib/x86_64-linux-gnu' '--runstatedir=/run' '--disable-maintainer-mode' '--disable-dependency-tracking' '--libexecdir=/usr/libexec/x86_64-linux-gnu' '--enable-streamio' 'build_alias=x86_64-linux-gnu' 'CFLAGS=-g -O2 -ffile-prefix-map=/build/singular-CueUNv/singular-4.3.1-p3+ds=. -fstack-protector-strong -Wformat -Werror=format-security' 'LDFLAGS=-Wl,-z,relro -Wl,-z,now' 'CPPFLAGS=-Wdate-time -D_FORTIFY_SOURCE=2' 'CXXFLAGS=-g -O2 -ffile-prefix-map=/build/singular-CueUNv/singular-4.3.1-p3+ds=. -fstack-protector-strong -Wformat -Werror=format-security' 'PYTHON=/usr/bin/python3' '--enable-omalloc' 'OMALLOC_LIBS=/build/singular-CueUNv/singular-4.3.1-p3+ds/omalloc/libsingular-omalloc.la' 'OMALLOC_INCLUDES=-I/build/singular-CueUNv/singular-4.3.1-p3+ds' '--htmldir=/usr/share/doc/singular' '--with-Singular' 'RESOURCES_LIBS=/build/singular-CueUNv/singular-4.3.1-p3+ds/resources/libsingular-resources.la' 'RESOURCES_INCLUDES=-I/build/singular-CueUNv/singular-4.3.1-p3+ds ' 'FACTORY_LIBS=/build/singular-CueUNv/singular-4.3.1-p3+ds/factory/libsingular-factory.la' 'FACTORY_INCLUDES=-I/build/singular-CueUNv/singular-4.3.1-p3+ds -I/build/singular-CueUNv/singular-4.3.1-p3+ds/factory -I/build/singular-CueUNv/singular-4.3.1-p3+ds/factory/include' '--cache-file=/dev/null' '--srcdir=.'' in /build/singular-CueUNv/singular-4.3.1-p3+ds/factory"

Definition at line 48 of file factoryconf.h.

◆ FACTORYVERSION

#define FACTORYVERSION "4.3.1"

Definition at line 53 of file factoryconf.h.

◆ HAVE_CSTDIO

#define HAVE_CSTDIO 1

Definition at line 58 of file factoryconf.h.

◆ HAVE_CTYPE_H

#define HAVE_CTYPE_H 1

Definition at line 63 of file factoryconf.h.

◆ HAVE_DLFCN_H

#define HAVE_DLFCN_H 1

Definition at line 68 of file factoryconf.h.

◆ HAVE_ERRNO_H

#define HAVE_ERRNO_H 1

Definition at line 73 of file factoryconf.h.

◆ HAVE_FSTREAM

#define HAVE_FSTREAM 1

Definition at line 83 of file factoryconf.h.

◆ HAVE_INTTYPES_H

#define HAVE_INTTYPES_H 1

Definition at line 91 of file factoryconf.h.

◆ HAVE_LIBM

#define HAVE_LIBM 1

Definition at line 104 of file factoryconf.h.

◆ HAVE_MATH_H

#define HAVE_MATH_H 1

Definition at line 109 of file factoryconf.h.

◆ HAVE_SIGNAL_H

#define HAVE_SIGNAL_H 1

Definition at line 127 of file factoryconf.h.

◆ HAVE_STDARG_H

#define HAVE_STDARG_H 1

Definition at line 132 of file factoryconf.h.

◆ HAVE_STDINT_H

#define HAVE_STDINT_H 1

Definition at line 137 of file factoryconf.h.

◆ HAVE_STDIO_H

#define HAVE_STDIO_H 1

Definition at line 142 of file factoryconf.h.

◆ HAVE_STDLIB_H

#define HAVE_STDLIB_H 1

Definition at line 147 of file factoryconf.h.

◆ HAVE_STRING

#define HAVE_STRING 1

Definition at line 152 of file factoryconf.h.

◆ HAVE_STRING_H

#define HAVE_STRING_H 1

Definition at line 162 of file factoryconf.h.

◆ HAVE_STRINGS_H

#define HAVE_STRINGS_H 1

Definition at line 157 of file factoryconf.h.

◆ HAVE_SYS_STAT_H

#define HAVE_SYS_STAT_H 1

Definition at line 173 of file factoryconf.h.

◆ HAVE_SYS_TYPES_H

#define HAVE_SYS_TYPES_H 1

Definition at line 181 of file factoryconf.h.

◆ HAVE_TIME_H

#define HAVE_TIME_H 1

Definition at line 186 of file factoryconf.h.

◆ HAVE_UNISTD_H

#define HAVE_UNISTD_H 1

Definition at line 191 of file factoryconf.h.

◆ LT_OBJDIR

#define LT_OBJDIR ".libs/"

Definition at line 196 of file factoryconf.h.

◆ NOASSERT

#define NOASSERT

Definition at line 306 of file factoryconf.h.

◆ OM_NDEBUG

#define OM_NDEBUG 1

Definition at line 207 of file factoryconf.h.

◆ PACKAGE

#define PACKAGE "factory"

Definition at line 212 of file factoryconf.h.

◆ PACKAGE_BUGREPORT

#define PACKAGE_BUGREPORT ""

Definition at line 217 of file factoryconf.h.

◆ PACKAGE_NAME

#define PACKAGE_NAME "factory"

Definition at line 222 of file factoryconf.h.

◆ PACKAGE_STRING

#define PACKAGE_STRING "factory 4.3.1"

Definition at line 227 of file factoryconf.h.

◆ PACKAGE_TARNAME

#define PACKAGE_TARNAME "factory"

Definition at line 232 of file factoryconf.h.

◆ PACKAGE_URL

#define PACKAGE_URL ""

Definition at line 237 of file factoryconf.h.

◆ PACKAGE_VERSION

#define PACKAGE_VERSION "4.3.1"

Definition at line 242 of file factoryconf.h.

◆ PVIRT_BOOL

#define PVIRT_BOOL ( msg ) = 0

Definition at line 428 of file factoryconf.h.

◆ PVIRT_CHARCC

#define PVIRT_CHARCC ( msg ) = 0

Definition at line 430 of file factoryconf.h.

◆ PVIRT_INT

#define PVIRT_INT ( msg ) = 0

Definition at line 429 of file factoryconf.h.

◆ PVIRT_INTCF

#define PVIRT_INTCF ( msg ) = 0

Definition at line 427 of file factoryconf.h.

◆ PVIRT_VOID

#define PVIRT_VOID ( msg ) = 0

Definition at line 426 of file factoryconf.h.

◆ SING_NDEBUG

#define SING_NDEBUG 1

Definition at line 257 of file factoryconf.h.

◆ SINGULAR_CFLAGS

#define SINGULAR_CFLAGS "-DSING_NDEBUG -DOM_NDEBUG"

Definition at line 252 of file factoryconf.h.

◆ STDC_HEADERS

#define STDC_HEADERS 1

Definition at line 269 of file factoryconf.h.

◆ STICKYASSERT

#define STICKYASSERT	(	expression,
		message
	)	((void)((expression) ? 0 : __ASSERT(#expression, message, __FILE__, __LINE__)))

Definition at line 357 of file factoryconf.h.

◆ STICKYASSERT1

#define STICKYASSERT1	(	expression,
		message,
		parameter1
	)	((void)((expression) ? 0 : __ASSERT1(#expression, message, parameter1, __FILE__, __LINE__)))

Definition at line 359 of file factoryconf.h.

◆ STICKYWARN

#define STICKYWARN	(	expression,
		message
	)	((void)((expression) ? 0 : __WARN(#expression, message, __FILE__, __LINE__)))

Definition at line 365 of file factoryconf.h.

◆ VERSION

#define VERSION "4.3.1"

Definition at line 277 of file factoryconf.h.

◆ WARN

#define WARN	(	expression,
		message
	)	do {} while (0)

Definition at line 424 of file factoryconf.h.

Macros

Detailed Description

Macro Definition Documentation

◆ __ASSERT

◆ __ASSERT1

◆ __WARN

◆ _FACTORY_CONFIG_H

◆ ASSERT

◆ ASSERT1

◆ CF_USE_INLINE

◆ DISABLE_GMP_CPP

◆ FACTORYCONFIGURATION

◆ FACTORYVERSION

◆ HAVE_CSTDIO

◆ HAVE_CTYPE_H

◆ HAVE_DLFCN_H

◆ HAVE_ERRNO_H

◆ HAVE_FSTREAM

◆ HAVE_INTTYPES_H

◆ HAVE_LIBM

◆ HAVE_MATH_H

◆ HAVE_SIGNAL_H

◆ HAVE_STDARG_H

◆ HAVE_STDINT_H

◆ HAVE_STDIO_H

◆ HAVE_STDLIB_H

◆ HAVE_STRING

◆ HAVE_STRING_H

◆ HAVE_STRINGS_H

◆ HAVE_SYS_STAT_H

◆ HAVE_SYS_TYPES_H

◆ HAVE_TIME_H

◆ HAVE_UNISTD_H

◆ LT_OBJDIR

◆ NOASSERT

◆ OM_NDEBUG

◆ PACKAGE

◆ PACKAGE_BUGREPORT

◆ PACKAGE_NAME

◆ PACKAGE_STRING

◆ PACKAGE_TARNAME

◆ PACKAGE_URL

◆ PACKAGE_VERSION

◆ PVIRT_BOOL

◆ PVIRT_CHARCC

◆ PVIRT_INT

◆ PVIRT_INTCF

◆ PVIRT_VOID

◆ SING_NDEBUG

◆ SINGULAR_CFLAGS

◆ STDC_HEADERS

◆ STICKYASSERT

◆ STICKYASSERT1

◆ STICKYWARN

◆ VERSION

◆ WARN