/*
 * polylib.h  V4.12
 */

/* WARNING: you should not include directly this file, but use
   polylib32.h or polylib64.h (for 32 or 64 bits integers).
*/

#if POLYLIB_BITS == 32
@polylib32_defs@
#elif POLYLIB_BITS == 64
@polylib64_defs@
#endif

#if ! defined(LINEAR_VALUE_IS_LONGLONG) \
	&& ! defined(LINEAR_VALUE_IS_LONG) \
	&& ! defined(LINEAR_VALUE_IS_INT) \
	&& ! defined(LINEAR_VALUE_IS_CHARS) \
        && ! defined(GNUMP) \
        && ! defined(CLN)
#error Please define LINEAR_VALUE_IS_* or #include polylib32.h or polylib64.h
#endif

#include <polylib/arithmetique.h>
#include <polylib/arithmetic_errors.h>
#include <polylib/types.h>
#include <polylib/errormsg.h>
#include <polylib/vector.h>
#include <polylib/matrix.h>
#include <polylib/polyhedron.h>
#include <polylib/polyparam.h>
#include <polylib/param.h>
#include <polylib/alpha.h>
#include <polylib/ehrhart.h>
#include <polylib/ext_ehrhart.h>
#include <polylib/eval_ehrhart.h>
#include <polylib/SolveDio.h>
#include <polylib/Lattice.h>
#include <polylib/Matop.h>
#include <polylib/NormalForms.h>
#include <polylib/Zpolyhedron.h>

/* added for Ehrhart polynomial approximation + bounds */
#include <polylib/matrix_addon.h>
#include <polylib/matrix_permutations.h>
#include <polylib/compress_parms.h>

#ifdef GNUMP
#include <gmp.h>
#endif