Add helper function islhelper.isl_vertices_vertices()
[linpy.git] / pypol / polyhedra.py
2014-07-03 Danielle BolanAdd methods may be useful for larger polys, change...
2014-07-02 Vivien MaisonneuveImplementation of Domain.fromsympy(), tosympy()
2014-07-02 Vivien MaisonneuveRename Constant into Rational
2014-07-02 Vivien MaisonneuveCleaner and faster linear expressions
2014-06-27 Danielle Bolanadded unbounded test, deleted unused cvariable
2014-06-26 Vivien MaisonneuveMinor improvements to Polyhedra._fromislbasicset()...
2014-06-26 Vivien MaisonneuveReplace Polyhedron.fromstring() by Domain.fromstring()
2014-06-25 Vivien MaisonneuveSplit linear.py and add domains