1 #include <polylib/polylibgmp.h>
3 #include "ev_operations.h"
6 int main(int argc
, char **argv
)
10 Polyhedron
*D
, *P
, *N
;
12 int exist
, nparam
, nvar
;
17 A
= Constraints2Polyhedron(M
, 600);
21 while ((*s
=='#') || (sscanf(s
, "E %d", &exist
)<1))
25 while ((*s
=='#') || (sscanf(s
, "P %d", &nparam
)<1))
28 Polyhedron_Print(stdout
, P_VALUE_FMT
, A
);
29 printf("exist: %d, nparam: %d\n", exist
, nparam
);
30 param_name
= Read_ParamNames(stdin
, nparam
);
32 nvar
= A
->Dimension
- exist
- nparam
;
33 D
= pip_lexmin(A
, exist
, nparam
);
36 evalue_set_si(&sum
, 0, 1);
37 for (P
= D
; P
; P
= N
) {
41 exist
= P
->Dimension
- nvar
- nparam
;
42 EP
= barvinok_enumerate_e(P
, exist
, nparam
, 600);
43 print_evalue(stderr
, EP
, param_name
);
46 print_evalue(stderr
, &sum
, param_name
);