projects / linpy.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Fix examples
[linpy.git] / pypol / domains.py
2014-07-02 Vivien MaisonneuveImplementation of Symbol.sortkey() 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-07-02 Danielle BolanDrop_dims working for any order! blob | commitdiff | raw | diff to current
2014-07-02 Danielle BolanUpdate drop_dims, now works with more than 2 dims passed blob | commitdiff | raw | diff to current
2014-07-02 Danielle BolanAdd to drop_dims check next value, a little sloppy blob | commitdiff | raw | diff to current
2014-07-02 Vivien MaisonneuveHelper functions symbolname and symbolnames blob | commitdiff | raw | diff to current
2014-07-02 Vivien MaisonneuveAdd missing classmethod decorator blob | commitdiff | raw | diff to current
2014-07-01 Vivien MaisonneuveOverloading for Domains.project_out(), to be improved blob | commitdiff | raw | diff to current
2014-07-01 Vivien MaisonneuveAlternative implementation of projection blob | commitdiff | raw | diff to current
2014-07-01 Danielle BolanRemove print statement blob | commitdiff | raw | diff to current
2014-07-01 Danielle BolanProject_out working blob | commitdiff | raw | diff to current
2014-07-01 Danielle BolanCommit working basic drop constraints blob | commitdiff | raw | diff to current
2014-06-26 Vivien MaisonneuveImprove Expression.fromstring(), Domain.fromstring() blob | commitdiff | raw | diff to current
2014-06-26 Vivien MaisonneuveReplace Polyhedron.fromstring() by Domain.fromstring() blob | commitdiff | raw | diff to current
2014-06-26 Vivien MaisonneuveAdd method Domain.isbounded() 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