Main Page   Compound List   File List   Compound Members   File Members  

polytest.c File Reference

#include <stdio.h>
#include <polylib/polylib.h>

Go to the source code of this file.

Functions

int main ()
 EPRINT : print results while computing the ehrhart polynomial.


Variables

char s [128]


Function Documentation

int main  
 

EPRINT : print results while computing the ehrhart polynomial.

this is done by default if you build the executable ehrhart. (If EMAIN is defined). Don't define EMAIN here, it is defined when necessary in the makefile.

Notice: you may however define EPRINT without defining EMAIN, but in this case, you have to initialize the global variable param_name by calling Read_ParamNames before any call to ehrhart. This is NOT recommanded, unless you know what you do. EPRINT causes more debug messages to be printed.

Definition at line 8 of file polytest.c.

References Constraints2Polyhedron(), Domain_Free(), DomainConvex(), DomainSimplify(), DomainUnion(), GaussSimplify(), left_hermite(), Matrix_Alloc(), Matrix_Free(), Matrix_Print(), Matrix_Product(), Matrix_Read(), matrix::NbColumns, matrix::NbRows, polyhedron::next, P_VALUE_FMT, Polyhedron2Constraints(), Polyhedron2Rays(), Polyhedron_Image(), Polyhedron_Not_Empty(), Polyhedron_Print(), PolyhedronLTQ(), right_hermite(), and s.


Variable Documentation

char s[128]
 

Definition at line 6 of file polytest.c.

Referenced by main().


Generated on Mon Mar 15 10:59:52 2004 for polylib by doxygen1.2.18