polylib: polylib.h Source File

- Main Page
- Classes
- Files

- File List
- File Members

# polylib.h

Go to the documentation of this file.

    00001 /*
    00002  * polylib.h  V4.12
    00003  */
    00004
    00005 /* WARNING: you should not include directly this file, but use
    00006    polylib32.h or polylib64.h (for 32 or 64 bits integers).
    00007 */
    00008
    00009 #if POLYLIB_BITS == 32
    00010 #define LINEAR_VALUE_IS_INT
    00011 #elif POLYLIB_BITS == 64
    00012 #define LINEAR_VALUE_IS_LONG
    00013                    #define LINEAR_VALUE_PROTECT_MULTIPLY
    00014 #endif
    00015
    00016 #if ! defined(LINEAR_VALUE_IS_LONGLONG) \
    00017         && ! defined(LINEAR_VALUE_IS_LONG) \
    00018         && ! defined(LINEAR_VALUE_IS_INT) \
    00019         && ! defined(LINEAR_VALUE_IS_CHARS) \
    00020         && ! defined(GNUMP) \
    00021         && ! defined(CLN)
    00022 #error Please define LINEAR_VALUE_IS_* or #include polylib32.h or polylib64.h
    00023 #endif
    00024
    00025 #include <polylib/arithmetique.h>
    00026 #include <polylib/arithmetic_errors.h>
    00027 #include <polylib/types.h>
    00028 #include <polylib/errormsg.h>
    00029 #include <polylib/vector.h>
    00030 #include <polylib/matrix.h>
    00031 #include <polylib/polyhedron.h>
    00032 #include <polylib/polyparam.h>
    00033 #include <polylib/param.h>
    00034 #include <polylib/alpha.h>
    00035 #include <polylib/ehrhart.h>
    00036 #include <polylib/ext_ehrhart.h>
    00037 #include <polylib/eval_ehrhart.h>
    00038 #include <polylib/SolveDio.h>
    00039 #include <polylib/Lattice.h>
    00040 #include <polylib/Matop.h>
    00041 #include <polylib/NormalForms.h>
    00042 #include <polylib/Zpolyhedron.h>
    00043
    00044 /* added for Ehrhart polynomial approximation + bounds */
    00045 #include <polylib/matrix_addon.h>
    00046 #include <polylib/matrix_permutations.h>
    00047 #include <polylib/compress_parms.h>
    00048
    00049 #ifdef GNUMP
    00050 #include <gmp.h>
    00051 #endif
    00052
    00053