test_bound.c: verify_point: use isl_val
[barvinok/uuh.git] / doc / 
tree6b693ec4331a4dba1c614646b5451964dba4a56b
drwxr-xr-x   ..
-rw-r--r-- 37477 Internal.tex
-rw-r--r-- 550 Makefile.am
-rw-r--r-- 14849 applications.tex
-rw-r--r-- 39896 barvinok.bib
-rw-r--r-- 3081 barvinok.gdf
-rw-r--r-- 1025 barvinok.tex
-rw-r--r-- 39394 chicago.bst
-rw-r--r-- 11872 chicago.sty
-rw-r--r-- 2648 glosstex.ist
-rw-r--r-- 3859 glosstex.std
-rw-r--r-- 24881 glosstex.sty
-rw-r--r-- 195787 implementation.tex
-rw-r--r-- 40686 isl.tex
-rw-r--r-- 5839 mydefs.sty
-rw-r--r-- 1501 newproof.sty
-rw-r--r-- 627 polymake.tex
-rw-r--r-- 1685 reports.tex
-rw-r--r-- 18551 sum.eps
-rw-r--r-- 332 sum.gp
-rw-r--r-- 15533 sum_p.eps
-rw-r--r-- 307 sum_p.gp
-rw-r--r-- 65 sum_p_times_0
-rw-r--r-- 0 sum_p_times_1
-rw-r--r-- 243 sum_p_times_2
-rw-r--r-- 137 sum_p_times_3
-rw-r--r-- 186 sum_p_times_4
-rw-r--r-- 70 sum_times_0
-rw-r--r-- 429 sum_times_1
-rw-r--r-- 664 sum_times_2
-rw-r--r-- 1461 sum_times_3
-rw-r--r-- 1406 sum_times_4