4
I Use This!
Very Low Activity

Commits : Listings

Analyzed about 18 hours ago. based on code collected about 18 hours ago.
Aug 21, 2024 — Aug 21, 2025
Commit Message Contributor Files Modified Lines Added Lines Removed Code Location Date
only use namespace if available More... almost 22 years ago
require gmp and only check once More... almost 22 years ago
provide our own Enumeration_Free More... almost 22 years ago
check for gmp More... almost 22 years ago
add header files More... almost 22 years ago
remove debugging info More... almost 22 years ago
remove equalities before counting More... almost 22 years ago
Reduce polytope to full-dimensional one. Mostly copied from polycount.c More... almost 22 years ago
Only use the opposite ray in case it is on the wrong side of _all_ inequalities. More... almost 22 years ago
time manual vs Barvinok More... almost 22 years ago
memory leak More... almost 22 years ago
remove debugging output More... almost 22 years ago
The new ray should be multiplied with the constraints rather than the rays to check whether it is inside the polyhedron ! More... almost 22 years ago
two typos More... almost 22 years ago
attempt at dealing with rational vertices More... almost 22 years ago
negate short vector if it is the wrong half-space; has not occurred yet More... almost 22 years ago
use the triangulation More... almost 22 years ago
check for and use Enumeration_Free More... almost 22 years ago
compare to a "mannual" count More... almost 22 years ago
place zero vertex in first row of M More... almost 22 years ago
add triangularization More... almost 22 years ago
the number of constraints shouldn't change, but apparently it's needed More... almost 22 years ago
simplification More... almost 22 years ago
calculate correct number of coefficients More... almost 22 years ago
return the count More... almost 22 years ago
perform proper cleanups More... almost 22 years ago
calculate coefficient and total count More... almost 22 years ago
don't forget the negative polytopes More... almost 22 years ago
search for non-orthogonal vector More... almost 22 years ago
max should return the maximal absolute value More... almost 22 years ago