00001 #define WS 0 00002 00003 #include <polylib/polylib.h> 00004 00005 int main() { 00006 00007 Matrix *A; 00008 Polyhedron *P; 00009 00010 A = Matrix_Read(); 00011 if(A->NbColumns < 2) { 00012 printf("Wrong input: %d columns\n", A->NbColumns ); 00013 Matrix_Free(A); 00014 exit(1); 00015 } 00016 Matrix_Print(stdout,P_VALUE_FMT,A); 00017 P = Constraints2Polyhedron(A,WS); 00018 Matrix_Free(A); 00019 Polyhedron_Print(stdout,P_VALUE_FMT,P); 00020 Domain_Free(P); 00021 return 0; 00022 }