manual_count: rename "dim" variable to "space"
[barvinok.git] / polymake / 
treec7d41f0082b0de318aad71e4c2957978d7d2db35
drwxr-xr-x   ..
-rw-r--r-- 241 Makefile.in
-rw-r--r-- 615 README
-rwxr-xr-x 27 autogen.sh
-rw-r--r-- 786 configure.in
-rw-r--r-- 603 convert.cc
-rw-r--r-- 236 convert.h
-rw-r--r-- 3366 h_star_vector.cc
-rw-r--r-- 865 lattice_points.cc