7int main(
int argc,
char **argv)
10 const char **param_name = NULL;
27 fprintf( stderr,
"Not enough parameters !\n" );
35 printf(
"============ Ehrhart polynomial quick approximation ============\n");
42 for( en=e ; en ; en=en->
next ) {
45 printf(
"\n-----------------------------------\n" );
49 if( isatty(0) && nb_parms != 0)
51 printf(
"Evaluation of the Ehrhart polynomial :\n");
52 p = (Value *)malloc(
sizeof(Value) * (nb_parms));
53 for(i=0;i<nb_parms;i++)
57 printf(
"Enter %d parameters : ",nb_parms);
58 for(k=0;k<nb_parms;++k) {
62 fprintf(stdout,
"EP( ");
64 for(k=1;k<nb_parms;++k) {
68 fprintf(stdout,
" ) = ");
#define value_read(val, str)
#define value_print(Dst, fmt, val)
void free_evalue_refs(evalue *e)
releases all memory referenced by e.
void print_evalue(FILE *DST, evalue *e, const char **pname)
Enumeration * Ehrhart_Quick_Apx(Matrix *M, Matrix *C, Matrix **Validity_Lattice, unsigned maxRays)
Computes the approximation of the Ehrhart polynomial of a polyhedron (implicit form -> matrix),...
int main(int argc, char **argv)
Value * compute_poly(Enumeration *en, Value *list_args)
Matrix * Matrix_Read(void)
void Matrix_Free(Matrix *Mat)
#define show_matrix(M)
Polylib matrix addons Mainly, deals with polyhedra represented in implicit form (set of constraints).
const char ** Read_ParamNames(FILE *in, int m)
void Free_ParamNames(const char **params, int m)
void Polyhedron_Free(Polyhedron *Pol)
void Print_Domain(FILE *DST, Polyhedron *D, const char **pname)
Polyhedron * ValidityDomain
struct _enumeration * next