two bug corrections in PolyhedronIncludes and DomainDifference (reported by skimo...
[polylib.git] / source / 
treedf371b8f2e4e82e2eb865f41117c4a6769c62daa
drwxr-xr-x   ..
-rw-r--r-- 49568 Lattice.c
-rw-r--r-- 10290 Matop.c
-rw-r--r-- 19903 NormalForms.c
-rw-r--r-- 9784 SolveDio.c
-rw-r--r-- 26865 Zpolyhedron.c
-rw-r--r-- 8995 Zpolytest.c
-rw-r--r-- 18758 alpha.c
-rw-r--r-- 404 c2p.c
-rw-r--r-- 2627 count.c
-rw-r--r-- 62546 ehrhart.c
-rw-r--r-- 1284 errormsg.c
-rw-r--r-- 5163 eval_ehrhart.c
-rw-r--r-- 1157 example.c
-rw-r--r-- 631 findv.c
-rw-r--r-- 27688 matrix.c
-rw-r--r-- 16383 oldpolytest.c
-rw-r--r-- 1397 param.c
-rw-r--r-- 124577 polyhedron.c
-rw-r--r-- 48930 polyparam.c
-rw-r--r-- 4066 polytest.c
-rw-r--r-- 1572 pp.c
-rw-r--r-- 394 r2p.c
-rw-r--r-- 5320 testlib.c
-rw-r--r-- 1019 union_convex.c
-rw-r--r-- 2842 union_disjointe.c
-rw-r--r-- 15315 vector.c
-rw-r--r-- 6726 verif_ehrhart.c