Cleaner implementation of Rational
[linpy.git] / pypol /
2014-07-11 Vivien MaisonneuveRename into
2014-07-11 Vivien MaisonneuveNew module
2014-07-03 Vivien MaisonneuveSwap order of symbols and Dummy
2014-07-03 Vivien MaisonneuveSupport for dummy symbols
2014-07-02 Vivien MaisonneuveRename Constant into Rational
2014-06-25 Vivien MaisonneuveSplit and add domains
2014-06-20 Vivien MaisonneuveImplement isl_basic_set_constraints
2014-06-19 Vivien MaisonneuveConstant names Empty and Universe, pretty printing
2014-06-19 Vivien MaisonneuveRemove useless imports
2014-06-18 Vivien MaisonneuveClasses Symbol and Constant, rather than functions...
2014-05-22 Vivien MaisonneuveInitial commit