decomposer.cc: short_vector: negate lambda if z is negated
[barvinok.git] / polysign.c
blob37ef3c68aa411daad4b69b5f620683c5c8351f90
1 #include <barvinok/options.h>
2 #include <barvinok/util.h>
3 #include "polysign.h"
4 #include "config.h"
6 #ifndef HAVE_LIBCDDGMP
7 enum order_sign cdd_polyhedron_affine_sign(Polyhedron *D, Matrix *T,
8 struct barvinok_options *options)
10 assert(0);
12 #endif
14 enum order_sign polyhedron_affine_sign(Polyhedron *D, Matrix *T,
15 struct barvinok_options *options)
17 if (options->lexmin_polysign == BV_LEXMIN_POLYSIGN_POLYLIB)
18 return PL_polyhedron_affine_sign(D, T, options);
19 else if (options->lexmin_polysign == BV_LEXMIN_POLYSIGN_CDD)
20 return cdd_polyhedron_affine_sign(D, T, options);
21 else if (options->lexmin_polysign == BV_LEXMIN_POLYSIGN_CDDF)
22 return cddf_polyhedron_affine_sign(D, T, options);
23 else
24 assert(0);