4
I Use This!
Very Low Activity

Commits : Listings

Analyzed about 9 hours ago. based on code collected 1 day ago.
Mar 27, 2023 — Mar 27, 2024
Commit Message Contributor Files Modified Lines Added Lines Removed Code Location Date
reduce fractions in generated evalues More... over 20 years ago
call reduce_evalue More... over 20 years ago
check whether reduce_evalue is exported More... over 20 years ago
fix parametrized rational polytopes case More... over 20 years ago
support for rational polytopes in multiple parameters More... over 20 years ago
fix supporting_cone_p More... over 20 years ago
put some common code in a function More... over 20 years ago
directly add to correct list More... over 20 years ago
further simplification More... over 20 years ago
small simplification More... over 20 years ago
get some cases of single parameter rational polytopes working More... over 20 years ago
iterate over all data in result More... over 20 years ago
patch from Kristof More... over 20 years ago
lcm and i might point to the same Value More... over 20 years ago
support multiple parameters More... over 20 years ago
use EhrhartPolynoms More... over 20 years ago
add missing assert More... over 20 years ago
contributed code from Koen Beyls More... over 20 years ago
add main program for enumerate More... over 20 years ago
remove debugging output More... over 20 years ago
rough implementation of barvinok_enumerate for one parameter More... over 20 years ago
Construct supporting cone of parametrized polyhedron More... over 20 years ago
Simplify supporting_cone Who wrote this convoluted piece of crap ?!? Oh, right. I did. More... over 20 years ago
new utility functions More... over 20 years ago
bump version More... over 20 years ago
allow specification of max #constraints More... over 20 years ago
just in case More... over 20 years ago
OK, so we were actually looking at the lower faces; change it back. Add a ray such that we no longer have "upper faces"; we still have "side faces". It's not clear if this is a win or not. More... over 20 years ago
remove debugging output More... over 20 years ago
So apparently triangulization also works if you take the upper faces. Still, let's just take the lower faces. Also, use rays instead of vectors. This can result in a fewer number of constraints in the lifted polyhedron. More... over 20 years ago