projects / linpy.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Reintroduce isl_basic_set_finalize to fix test cases
[linpy.git] / pypol / polyhedra.py
2014-07-03 Danielle BolanAdd methods may be useful for larger polys, change... blob | commitdiff | raw
2014-07-02 Vivien MaisonneuveImplementation of Domain.fromsympy(), tosympy() blob | commitdiff | raw | diff to current
2014-07-02 Vivien MaisonneuveRename Constant into Rational blob | commitdiff | raw | diff to current
2014-07-02 Vivien MaisonneuveCleaner and faster linear expressions blob | commitdiff | raw | diff to current
2014-06-27 Danielle Bolanadded unbounded test, deleted unused cvariable blob | commitdiff | raw | diff to current
2014-06-26 Vivien MaisonneuveMinor improvements to Polyhedra._fromislbasicset()... blob | commitdiff | raw | diff to current
2014-06-26 Vivien MaisonneuveReplace Polyhedron.fromstring() by Domain.fromstring() blob | commitdiff | raw | diff to current
2014-06-25 Vivien MaisonneuveSplit linear.py and add domains blob | commitdiff | raw | diff to current
A polyhedral library based on ISL