2014-07-22 |
Danielle Bolan | Changes that need to be merged |
tree | commitdiff |
2014-07-18 |
Danielle Bolan | Added some docs |
tree | commitdiff |
2014-07-17 |
Vivien Maisonneuve | Implement standard widening |
tree | commitdiff |
2014-07-17 |
Vivien Maisonneuve | Minor changes in plot functions |
tree | commitdiff |
2014-07-17 |
Vivien Maisonneuve | Add EmptyType and UniverseType |
tree | commitdiff |
2014-07-17 |
Danielle Bolan | Plot domain added |
tree | commitdiff |
2014-07-16 |
Vivien Maisonneuve | Use displaystyle in _repr_latex_ |
tree | commitdiff |
2014-07-16 |
Vivien Maisonneuve | Always set xlim, ylim, zlim in plot functions |
tree | commitdiff |
2014-07-15 |
Vivien Maisonneuve | More fun with plots |
tree | commitdiff |
2014-07-15 |
Vivien Maisonneuve | Small implementation improvement in linexprs.py |
tree | commitdiff |
2014-07-15 |
Danielle Bolan | 3d Plot working |
tree | commitdiff |
2014-07-13 |
Vivien Maisonneuve | Simplify Expression.__mul__(), Expression.__truediv__() |
tree | commitdiff |
2014-07-13 |
Vivien Maisonneuve | Add _repr_latex_ methods for IPython prettyprint |
tree | commitdiff |
2014-07-13 |
Vivien Maisonneuve | Improve error messages in linexprs.py |
tree | commitdiff |
2014-07-13 |
Vivien Maisonneuve | Cleaner implementation of Rational |
tree | commitdiff |
2014-07-12 |
Vivien Maisonneuve | Symplify TypeError messages in Expression.__new__ |
tree | commitdiff |
2014-07-12 |
Vivien Maisonneuve | Fix methods Domain._sort_polygon_2d(), Domain._sort_pol... |
tree | commitdiff |
2014-07-12 |
Vivien Maisonneuve | Implement method Polyhedron.faces() |
tree | commitdiff |
2014-07-12 |
Vivien Maisonneuve | Implement methods Point.__hash__(), Vector.__hash__() |
tree | commitdiff |
2014-07-11 |
Vivien Maisonneuve | Rename coordinates.py into geometry.py |
tree | commitdiff |
2014-07-11 |
Vivien Maisonneuve | Remove empty lines at top of files |
tree | commitdiff |
2014-07-11 |
Vivien Maisonneuve | Clean up an import in domains.py |
tree | commitdiff |
2014-07-11 |
Vivien Maisonneuve | Add abstract class GeometricObject |
tree | commitdiff |
2014-07-11 |
Vivien Maisonneuve | Remove Vector.__slots__, useless |
tree | commitdiff |
2014-07-11 |
Vivien Maisonneuve | Make Coordinate instantiable |
tree | commitdiff |
2014-07-11 |
Vivien Maisonneuve | Make coordinates mandatory in Point constructor |
tree | commitdiff |
2014-07-11 |
Vivien Maisonneuve | Implement method Point.aspolyhedron() |
tree | commitdiff |
2014-07-11 |
Vivien Maisonneuve | Implement methods Polyhedron.__contains__(), Domain... |
tree | commitdiff |
2014-07-11 |
Vivien Maisonneuve | Improve mapping recognition |
tree | commitdiff |
2014-07-11 |
Vivien Maisonneuve | Remove duplicate methods in coordinates.py, continued |
tree | commitdiff |
2014-07-11 |
Vivien Maisonneuve | Remove duplicate methods in coordinates.py |
tree | commitdiff |
2014-07-11 |
Vivien Maisonneuve | Private methods to sort points in a polygon, untested |
tree | commitdiff |
2014-07-11 |
Vivien Maisonneuve | Derive Point and Vector from Coordinates abstract class |
tree | commitdiff |
2014-07-11 |
Vivien Maisonneuve | New module coordinates.py |
tree | commitdiff |
2014-07-09 |
Vivien Maisonneuve | Fix Polyhedron.vertices() for ISL 0.13 |
tree | commitdiff |
2014-07-08 |
Danielle Bolan | Add plot method |
tree | commitdiff |
2014-07-08 |
Danielle Bolan | fixed vertices pushed before adding plot |
tree | commitdiff |
2014-07-07 |
Danielle Bolan | Getting vertices when version < 0.13 |
tree | commitdiff |
2014-07-06 |
Vivien Maisonneuve | Add methods Domain.subs(), Polyhedron.subs() |
tree | commitdiff |
2014-07-05 |
Vivien Maisonneuve | Hacky way to get vertices with ISL 0.13 |
tree | commitdiff |
2014-07-05 |
Vivien Maisonneuve | Raise ValueError when sampling an empty Domain |
tree | commitdiff |
2014-07-05 |
Vivien Maisonneuve | Make Domain.sample() consistent with Domain.points() |
tree | commitdiff |
2014-07-05 |
Vivien Maisonneuve | Minor improvements in testing of new expressions |
tree | commitdiff |
2014-07-04 |
Vivien Maisonneuve | Rename Domain.polyhedral_hull() into Domain.aspolyhedron() |
tree | commitdiff |
2014-07-04 |
Vivien Maisonneuve | Rename Domain.project_out() into Domain.project() |
tree | commitdiff |
2014-07-04 |
Vivien Maisonneuve | Minor refactoring of Domain.points() |
tree | commitdiff |
2014-07-04 |
Vivien Maisonneuve | Reintroduce isl_basic_set_finalize to fix test cases |
tree | commitdiff |
2014-07-04 |
Danielle Bolan | Add vertices and points, messy! |
tree | commitdiff |
2014-07-04 |
Vivien Maisonneuve | Add helper function islhelper.isl_vertices_vertices() |
tree | commitdiff |
2014-07-04 |
Vivien Maisonneuve | Simplify C code |
tree | commitdiff |
2014-07-04 |
Vivien Maisonneuve | Move isl_basic_set_finalize from C code to Python |
tree | commitdiff |
2014-07-04 |
Vivien Maisonneuve | Add helper function islhelper.isl_set_points() |
tree | commitdiff |
2014-07-03 |
Vivien Maisonneuve | Better implementation of Expression.__repr__ |
tree | commitdiff |
2014-07-03 |
Vivien Maisonneuve | Improve tests involving iterators |
tree | commitdiff |
2014-07-03 |
Vivien Maisonneuve | Swap order of symbols and Dummy |
tree | commitdiff |
2014-07-03 |
Danielle Bolan | Add methods may be useful for larger polys, change... |
tree | commitdiff |
2014-07-03 |
Vivien Maisonneuve | Support for dummy symbols |
tree | commitdiff |
2014-07-03 |
Danielle Bolan | Add a few tests with universe and empty |
tree | commitdiff |
2014-07-02 |
Vivien Maisonneuve | Implementation of Symbol.sortkey() |
tree | commitdiff |
2014-07-02 |
Vivien Maisonneuve | Implementation of Domain.fromsympy(), tosympy() |
tree | commitdiff |
2014-07-02 |
Vivien Maisonneuve | Rename Constant into Rational |
tree | commitdiff |
2014-07-02 |
Vivien Maisonneuve | Cleaner and faster linear expressions |
tree | commitdiff |
2014-07-02 |
Danielle Bolan | Drop_dims working for any order! |
tree | commitdiff |
2014-07-02 |
Danielle Bolan | Update drop_dims, now works with more than 2 dims passed |
tree | commitdiff |
2014-07-02 |
Danielle Bolan | Add to drop_dims check next value, a little sloppy |
tree | commitdiff |
2014-07-02 |
Vivien Maisonneuve | Make symbolnames return a tuple |
tree | commitdiff |
2014-07-02 |
Vivien Maisonneuve | Helper module for sympy in unitary tests |
tree | commitdiff |
2014-07-02 |
Vivien Maisonneuve | Fix tests for Expression.subs |
tree | commitdiff |
2014-07-02 |
Vivien Maisonneuve | New method Expression.subs |
tree | commitdiff |
2014-07-02 |
Vivien Maisonneuve | Helper functions symbolname and symbolnames |
tree | commitdiff |
2014-07-02 |
Vivien Maisonneuve | Better implementation of symbols and constants |
tree | commitdiff |
2014-07-02 |
Vivien Maisonneuve | Improve hash functions in linexprs |
tree | commitdiff |
2014-07-02 |
Vivien Maisonneuve | Add missing classmethod decorator |
tree | commitdiff |
2014-07-01 |
Vivien Maisonneuve | Overloading for Domains.project_out(), to be improved |
tree | commitdiff |
2014-07-01 |
Vivien Maisonneuve | Alternative implementation of projection |
tree | commitdiff |
2014-07-01 |
Vivien Maisonneuve | Let's test complement, not compliment |
tree | commitdiff |
2014-07-01 |
Vivien Maisonneuve | Fix make test |
tree | commitdiff |
2014-07-01 |
Danielle Bolan | Add basic tests for drop_dims |
tree | commitdiff |
2014-07-01 |
Danielle Bolan | Remove print statement |
tree | commitdiff |
2014-07-01 |
Danielle Bolan | Project_out working |
tree | commitdiff |
2014-07-01 |
Danielle Bolan | Commit working basic drop constraints |
tree | commitdiff |
2014-06-30 |
Vivien Maisonneuve | Remove explicit calls to magic methods in test files |
tree | commitdiff |
2014-06-30 |
Vivien Maisonneuve | Make test work |
tree | commitdiff |
2014-06-30 |
Vivien Maisonneuve | Fix C code |
tree | commitdiff |
2014-06-30 |
Danielle Bolan | pushing recent changes before playing with project |
tree | commitdiff |
2014-06-30 |
Vivien Maisonneuve | Use OrderedDict to store Expression coefficients |
tree | commitdiff |
2014-06-27 |
Danielle Bolan | added unbounded test, deleted unused cvariable |
tree | commitdiff |
2014-06-27 |
Danielle Bolan | added a few tests, might change the format though |
tree | commitdiff |
2014-06-26 |
Vivien Maisonneuve | Access to ISL version, just in case |
tree | commitdiff |
2014-06-26 |
Vivien Maisonneuve | Minor improvements to Polyhedra._fromislbasicset()... |
tree | commitdiff |
2014-06-26 |
Vivien Maisonneuve | Improve Expression.fromstring(), Domain.fromstring() |
tree | commitdiff |
2014-06-26 |
Vivien Maisonneuve | Replace Polyhedron.fromstring() by Domain.fromstring() |
tree | commitdiff |
2014-06-26 |
Vivien Maisonneuve | Add method Domain.isbounded() |
tree | commitdiff |
2014-06-25 |
Vivien Maisonneuve | Split linear.py and add domains |
tree | commitdiff |
2014-06-25 |
Danielle Bolan | messy and needs reformatting but returning correct... |
tree | commitdiff |
2014-06-24 |
Vivien Maisonneuve | Change string representations of Expression and Polyhedron |
tree | commitdiff |
2014-06-24 |
Vivien Maisonneuve | Methods Polyhedron.fromsympy(), Polyhedron.tosympy() |
tree | commitdiff |
2014-06-24 |
Vivien Maisonneuve | Methods Expression.fromsympy(), Expression.tosympy() |
tree | commitdiff |
2014-06-24 |
Vivien Maisonneuve | Renaming in _isl.c |
tree | commitdiff |
2014-06-24 |
Vivien Maisonneuve | Static functions in isl.c |
tree | commitdiff |
next |