projects
/
linpy.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
Implement standard widening
[linpy.git]
/
pypol
/
domains.py
2014-07-17
Vivien Maisonneuve
Minor changes in plot functions
blob
|
commitdiff
|
raw
2014-07-17
Danielle Bolan
Plot domain added
blob
|
commitdiff
|
raw
|
diff to current
2014-07-16
Vivien Maisonneuve
Use displaystyle in _repr_latex_
blob
|
commitdiff
|
raw
|
diff to current
2014-07-15
Danielle Bolan
3d Plot working
blob
|
commitdiff
|
raw
|
diff to current
2014-07-13
Vivien Maisonneuve
Add _repr_latex_ methods for IPython prettyprint
blob
|
commitdiff
|
raw
|
diff to current
2014-07-11
Vivien Maisonneuve
Rename coordinates.py into geometry.py
blob
|
commitdiff
|
raw
|
diff to current
2014-07-11
Vivien Maisonneuve
Clean up an import in domains.py
blob
|
commitdiff
|
raw
|
diff to current
2014-07-11
Vivien Maisonneuve
Add abstract class GeometricObject
blob
|
commitdiff
|
raw
|
diff to current
2014-07-11
Vivien Maisonneuve
Implement methods Polyhedron.__contains__(), Domain...
blob
|
commitdiff
|
raw
|
diff to current
2014-07-11
Vivien Maisonneuve
New module coordinates.py
blob
|
commitdiff
|
raw
|
diff to current
2014-07-09
Vivien Maisonneuve
Fix Polyhedron.vertices() for ISL 0.13
blob
|
commitdiff
|
raw
|
diff to current
2014-07-08
Danielle Bolan
Add plot method
blob
|
commitdiff
|
raw
|
diff to current
2014-07-08
Danielle Bolan
fixed vertices pushed before adding plot
blob
|
commitdiff
|
raw
|
diff to current
2014-07-07
Danielle Bolan
Getting vertices when version < 0.13
blob
|
commitdiff
|
raw
|
diff to current
2014-07-06
Vivien Maisonneuve
Add methods Domain.subs(), Polyhedron.subs()
blob
|
commitdiff
|
raw
|
diff to current
2014-07-05
Vivien Maisonneuve
Hacky way to get vertices with ISL 0.13
blob
|
commitdiff
|
raw
|
diff to current
2014-07-05
Vivien Maisonneuve
Raise ValueError when sampling an empty Domain
blob
|
commitdiff
|
raw
|
diff to current
2014-07-05
Vivien Maisonneuve
Make Domain.sample() consistent with Domain.points()
blob
|
commitdiff
|
raw
|
diff to current
2014-07-04
Vivien Maisonneuve
Rename Domain.polyhedral_hull() into Domain.aspolyhedron()
blob
|
commitdiff
|
raw
|
diff to current
2014-07-04
Vivien Maisonneuve
Rename Domain.project_out() into Domain.project()
blob
|
commitdiff
|
raw
|
diff to current
2014-07-04
Vivien Maisonneuve
Minor refactoring of Domain.points()
blob
|
commitdiff
|
raw
|
diff to current
2014-07-04
Vivien Maisonneuve
Reintroduce isl_basic_set_finalize to fix test cases
blob
|
commitdiff
|
raw
|
diff to current
2014-07-04
Danielle Bolan
Add vertices and points, messy!
blob
|
commitdiff
|
raw
|
diff to current
2014-07-04
Vivien Maisonneuve
Move isl_basic_set_finalize from C code to Python
blob
|
commitdiff
|
raw
|
diff to current
2014-07-03
Danielle Bolan
Add methods may be useful for larger polys, change...
blob
|
commitdiff
|
raw
|
diff to current
2014-07-02
Vivien Maisonneuve
Implementation of Symbol.sortkey()
blob
|
commitdiff
|
raw
|
diff to current
2014-07-02
Vivien Maisonneuve
Implementation of Domain.fromsympy(), tosympy()
blob
|
commitdiff
|
raw
|
diff to current
2014-07-02
Vivien Maisonneuve
Rename Constant into Rational
blob
|
commitdiff
|
raw
|
diff to current
2014-07-02
Vivien Maisonneuve
Cleaner and faster linear expressions
blob
|
commitdiff
|
raw
|
diff to current
2014-07-02
Danielle Bolan
Drop_dims working for any order!
blob
|
commitdiff
|
raw
|
diff to current
2014-07-02
Danielle Bolan
Update drop_dims, now works with more than 2 dims passed
blob
|
commitdiff
|
raw
|
diff to current
2014-07-02
Danielle Bolan
Add to drop_dims check next value, a little sloppy
blob
|
commitdiff
|
raw
|
diff to current
2014-07-02
Vivien Maisonneuve
Helper functions symbolname and symbolnames
blob
|
commitdiff
|
raw
|
diff to current
2014-07-02
Vivien Maisonneuve
Add missing classmethod decorator
blob
|
commitdiff
|
raw
|
diff to current
2014-07-01
Vivien Maisonneuve
Overloading for Domains.project_out(), to be improved
blob
|
commitdiff
|
raw
|
diff to current
2014-07-01
Vivien Maisonneuve
Alternative implementation of projection
blob
|
commitdiff
|
raw
|
diff to current
2014-07-01
Danielle Bolan
Remove print statement
blob
|
commitdiff
|
raw
|
diff to current
2014-07-01
Danielle Bolan
Project_out working
blob
|
commitdiff
|
raw
|
diff to current
2014-07-01
Danielle Bolan
Commit working basic drop constraints
blob
|
commitdiff
|
raw
|
diff to current
2014-06-26
Vivien Maisonneuve
Improve Expression.fromstring(), Domain.fromstring()
blob
|
commitdiff
|
raw
|
diff to current
2014-06-26
Vivien Maisonneuve
Replace Polyhedron.fromstring() by Domain.fromstring()
blob
|
commitdiff
|
raw
|
diff to current
2014-06-26
Vivien Maisonneuve
Add method Domain.isbounded()
blob
|
commitdiff
|
raw
|
diff to current
2014-06-25
Vivien Maisonneuve
Split linear.py and add domains
blob
|
commitdiff
|
raw
|
diff to current