linpy.git
8 years agoAdd warning in widening documentation
Vivien Maisonneuve [Tue, 19 Aug 2014 13:26:43 +0000 (15:26 +0200)]
Add warning in widening documentation

8 years agoFix implementation of Polyhedron.__new__()
Vivien Maisonneuve [Tue, 19 Aug 2014 13:22:25 +0000 (15:22 +0200)]
Fix implementation of Polyhedron.__new__()

8 years agoRemove slot Polyhedron._constraints
Vivien Maisonneuve [Tue, 19 Aug 2014 13:15:27 +0000 (15:15 +0200)]
Remove slot Polyhedron._constraints

8 years agoMore robust implementation of isl_version
Vivien Maisonneuve [Tue, 19 Aug 2014 13:12:46 +0000 (15:12 +0200)]
More robust implementation of isl_version

8 years agoSimplify implementation of Coordinates.__new__()
Vivien Maisonneuve [Tue, 19 Aug 2014 13:09:17 +0000 (15:09 +0200)]
Simplify implementation of Coordinates.__new__()

8 years agoMinor improvements in class Vector
Vivien Maisonneuve [Tue, 19 Aug 2014 13:05:03 +0000 (15:05 +0200)]
Minor improvements in class Vector

8 years agoReturn NotImplemented in Point special methods
Vivien Maisonneuve [Tue, 19 Aug 2014 12:58:23 +0000 (14:58 +0200)]
Return NotImplemented in Point special methods

8 years agoFix docstring of Point.__sub__()
Vivien Maisonneuve [Tue, 19 Aug 2014 12:56:48 +0000 (14:56 +0200)]
Fix docstring of Point.__sub__()

8 years agoFormat comments in linexprs.py
Vivien Maisonneuve [Tue, 19 Aug 2014 12:43:03 +0000 (14:43 +0200)]
Format comments in linexprs.py

8 years agoDefine Symbol.__slots__ and Rational.__slots__
Vivien Maisonneuve [Tue, 19 Aug 2014 12:22:36 +0000 (14:22 +0200)]
Define Symbol.__slots__ and Rational.__slots__

8 years agoMake Dummy.__new__() inherit from Symbol.__new__()
Vivien Maisonneuve [Tue, 19 Aug 2014 12:15:56 +0000 (14:15 +0200)]
Make Dummy.__new__() inherit from Symbol.__new__()

8 years agoAllow leading underscores in symbols in LinExpr.fromstring()
Vivien Maisonneuve [Tue, 19 Aug 2014 09:49:10 +0000 (11:49 +0200)]
Allow leading underscores in symbols in LinExpr.fromstring()

8 years agoFix LinExpr.subs() implementation
Vivien Maisonneuve [Tue, 19 Aug 2014 09:47:12 +0000 (11:47 +0200)]
Fix LinExpr.subs() implementation

8 years agoVariable renaming in LinExpr.scaleint()
Vivien Maisonneuve [Tue, 19 Aug 2014 09:30:21 +0000 (11:30 +0200)]
Variable renaming in LinExpr.scaleint()

8 years agoFix Symbol == LinExpr comparisons
Vivien Maisonneuve [Tue, 19 Aug 2014 09:29:04 +0000 (11:29 +0200)]
Fix Symbol == LinExpr comparisons

8 years agoSimplify LinExpr.values()
Vivien Maisonneuve [Tue, 19 Aug 2014 09:25:05 +0000 (11:25 +0200)]
Simplify LinExpr.values()

8 years agoSimplify LinExpr.coefficients()
Vivien Maisonneuve [Tue, 19 Aug 2014 12:35:14 +0000 (14:35 +0200)]
Simplify LinExpr.coefficients()

8 years agoMake LinExpr.coefficient() always return a Fraction
Vivien Maisonneuve [Tue, 19 Aug 2014 09:23:58 +0000 (11:23 +0200)]
Make LinExpr.coefficient() always return a Fraction

8 years agoDo not cast values returned by LinExpr accessors to Rational
Vivien Maisonneuve [Tue, 19 Aug 2014 09:21:50 +0000 (11:21 +0200)]
Do not cast values returned by LinExpr accessors to Rational

8 years agoSymplify class verification in LinExpr.fromsympy()
Vivien Maisonneuve [Mon, 18 Aug 2014 22:19:12 +0000 (00:19 +0200)]
Symplify class verification in LinExpr.fromsympy()

8 years agoReorder functions in linexprs.py
Vivien Maisonneuve [Mon, 18 Aug 2014 22:06:00 +0000 (00:06 +0200)]
Reorder functions in linexprs.py

8 years agoCheck symbol names
Vivien Maisonneuve [Mon, 18 Aug 2014 14:55:29 +0000 (16:55 +0200)]
Check symbol names

8 years agoSimplify class verification in LinExpr.fromstring()
Vivien Maisonneuve [Mon, 18 Aug 2014 16:08:28 +0000 (18:08 +0200)]
Simplify class verification in LinExpr.fromstring()

8 years agoDocstrings
Vivien Maisonneuve [Mon, 18 Aug 2014 12:21:19 +0000 (14:21 +0200)]
Docstrings

8 years agoFix typo in doc/reference.rst
Vivien Maisonneuve [Mon, 18 Aug 2014 09:24:46 +0000 (11:24 +0200)]
Fix typo in doc/reference.rst

8 years agoRename Expression class into LinExpr
Vivien Maisonneuve [Mon, 18 Aug 2014 09:12:27 +0000 (11:12 +0200)]
Rename Expression class into LinExpr

8 years agoFix unitary tests
Vivien Maisonneuve [Mon, 18 Aug 2014 09:10:15 +0000 (11:10 +0200)]
Fix unitary tests

8 years agoLast-minute changes in the documentation
Vivien Maisonneuve [Mon, 18 Aug 2014 08:22:03 +0000 (10:22 +0200)]
Last-minute changes in the documentation

8 years agoFix small grammar mistakes in doc
Danielle Bolan [Mon, 18 Aug 2014 08:10:11 +0000 (10:10 +0200)]
Fix small grammar mistakes in doc

8 years agoCleanup in doc/install.rst
Vivien Maisonneuve [Mon, 18 Aug 2014 06:24:13 +0000 (08:24 +0200)]
Cleanup in doc/install.rst

8 years agoReformat documentation.
Vivien Maisonneuve [Sun, 17 Aug 2014 20:25:22 +0000 (22:25 +0200)]
Reformat documentation.

8 years agoRemove license and add to doc examples
Danielle Bolan [Thu, 14 Aug 2014 13:59:51 +0000 (15:59 +0200)]
Remove license and add to doc examples

8 years agoAdd license to examples
Danielle Bolan [Wed, 13 Aug 2014 08:59:08 +0000 (10:59 +0200)]
Add license to examples

8 years agoDoc updates (not complete)
Danielle Bolan [Tue, 12 Aug 2014 13:10:00 +0000 (15:10 +0200)]
Doc updates (not complete)

8 years agoFix typo in __init__.py docstring
Vivien Maisonneuve [Mon, 11 Aug 2014 22:21:16 +0000 (00:21 +0200)]
Fix typo in __init__.py docstring

8 years agoAdd url to setup.py
Vivien Maisonneuve [Mon, 11 Aug 2014 20:29:20 +0000 (22:29 +0200)]
Add url to setup.py

8 years agoDocstrings and simplifications of domains.py
Vivien Maisonneuve [Mon, 11 Aug 2014 19:37:03 +0000 (21:37 +0200)]
Docstrings and simplifications of domains.py

8 years agoUpdate Docs
Dani [Mon, 11 Aug 2014 18:10:14 +0000 (20:10 +0200)]
Update Docs

8 years agoFix warnings in documentation generation
Vivien Maisonneuve [Mon, 11 Aug 2014 16:07:05 +0000 (18:07 +0200)]
Fix warnings in documentation generation

8 years agoSmall changes to docs as recommended
Danielle Bolan [Mon, 11 Aug 2014 15:56:08 +0000 (17:56 +0200)]
Small changes to docs as recommended

8 years agoUpdate plot examples
Danielle Bolan [Fri, 8 Aug 2014 15:47:55 +0000 (17:47 +0200)]
Update plot examples

8 years agoUpdate docs
Danielle Bolan [Thu, 7 Aug 2014 15:17:18 +0000 (17:17 +0200)]
Update docs

8 years agoRename pypol into LinPy
Vivien Maisonneuve [Tue, 5 Aug 2014 17:09:55 +0000 (19:09 +0200)]
Rename pypol into LinPy

8 years agoFix unitary tests
Vivien Maisonneuve [Tue, 5 Aug 2014 16:57:54 +0000 (18:57 +0200)]
Fix unitary tests

8 years agoFix license headers
Vivien Maisonneuve [Tue, 5 Aug 2014 16:53:17 +0000 (18:53 +0200)]
Fix license headers

8 years agoAdd GPL License
Danielle Bolan [Mon, 4 Aug 2014 14:33:56 +0000 (16:33 +0200)]
Add GPL License

8 years agoChange pypol to linpy
Dani [Mon, 4 Aug 2014 13:24:07 +0000 (15:24 +0200)]
Change pypol to linpy

8 years agoChange name of method
Danielle Bolan [Thu, 31 Jul 2014 12:39:02 +0000 (14:39 +0200)]
Change name of method

8 years agoRemove and edit method
Danielle Bolan [Thu, 31 Jul 2014 09:58:12 +0000 (11:58 +0200)]
Remove and edit method

8 years agoNeed to merge
Danielle Bolan [Wed, 30 Jul 2014 13:31:27 +0000 (15:31 +0200)]
Need to merge

8 years agoBetter initialization of Rational
Vivien Maisonneuve [Fri, 25 Jul 2014 04:52:24 +0000 (06:52 +0200)]
Better initialization of Rational

8 years agoFix indentation of docstrings
Vivien Maisonneuve [Wed, 23 Jul 2014 15:07:41 +0000 (17:07 +0200)]
Fix indentation of docstrings

8 years agoRemove backup files
Vivien Maisonneuve [Wed, 23 Jul 2014 15:03:30 +0000 (17:03 +0200)]
Remove backup files

8 years agoChanges that need to be merged
Danielle Bolan [Tue, 22 Jul 2014 14:49:25 +0000 (16:49 +0200)]
Changes that need to be merged

8 years agoAdded some docs
Danielle Bolan [Fri, 18 Jul 2014 15:27:24 +0000 (17:27 +0200)]
Added some docs

8 years agoImplement standard widening
Vivien Maisonneuve [Thu, 17 Jul 2014 16:12:32 +0000 (18:12 +0200)]
Implement standard widening

8 years agoImproved example menger.py
Vivien Maisonneuve [Thu, 17 Jul 2014 11:30:20 +0000 (13:30 +0200)]
Improved example menger.py

8 years agoMinor changes in plot functions
Vivien Maisonneuve [Thu, 17 Jul 2014 09:58:29 +0000 (11:58 +0200)]
Minor changes in plot functions

8 years agoAdd EmptyType and UniverseType
Vivien Maisonneuve [Thu, 17 Jul 2014 09:40:22 +0000 (11:40 +0200)]
Add EmptyType and UniverseType

8 years agoPlot domain added
Danielle Bolan [Thu, 17 Jul 2014 09:31:44 +0000 (11:31 +0200)]
Plot domain added

8 years agoUse displaystyle in _repr_latex_
Vivien Maisonneuve [Wed, 16 Jul 2014 14:17:38 +0000 (16:17 +0200)]
Use displaystyle in _repr_latex_

8 years agoMinor improvements in diamonds.py example
Vivien Maisonneuve [Wed, 16 Jul 2014 09:47:10 +0000 (11:47 +0200)]
Minor improvements in diamonds.py example

8 years agoAlways set xlim, ylim, zlim in plot functions
Vivien Maisonneuve [Wed, 16 Jul 2014 06:54:20 +0000 (08:54 +0200)]
Always set xlim, ylim, zlim in plot functions

8 years agoImproved example diamonds.py
Vivien Maisonneuve [Wed, 16 Jul 2014 06:38:21 +0000 (08:38 +0200)]
Improved example diamonds.py

8 years agoMore fun with plots
Vivien Maisonneuve [Tue, 15 Jul 2014 21:54:52 +0000 (23:54 +0200)]
More fun with plots

8 years agoNew example: Menger sponge, to be plotted
Vivien Maisonneuve [Tue, 15 Jul 2014 15:27:24 +0000 (17:27 +0200)]
New example: Menger sponge, to be plotted

8 years agoSmall implementation improvement in linexprs.py
Vivien Maisonneuve [Tue, 15 Jul 2014 12:42:48 +0000 (14:42 +0200)]
Small implementation improvement in linexprs.py

8 years ago3d Plot working
Danielle Bolan [Tue, 15 Jul 2014 16:20:38 +0000 (18:20 +0200)]
3d Plot working

8 years agoSimplify Expression.__mul__(), Expression.__truediv__()
Vivien Maisonneuve [Sun, 13 Jul 2014 14:23:43 +0000 (16:23 +0200)]
Simplify Expression.__mul__(), Expression.__truediv__()

8 years agoAdd tesseract example
Vivien Maisonneuve [Sun, 13 Jul 2014 14:07:45 +0000 (16:07 +0200)]
Add tesseract example

8 years agoAdd _repr_latex_ methods for IPython prettyprint
Vivien Maisonneuve [Sun, 13 Jul 2014 07:04:48 +0000 (09:04 +0200)]
Add _repr_latex_ methods for IPython prettyprint

8 years agoImprove error messages in linexprs.py
Vivien Maisonneuve [Sun, 13 Jul 2014 06:25:04 +0000 (08:25 +0200)]
Improve error messages in linexprs.py

8 years agoCleaner implementation of Rational
Vivien Maisonneuve [Sun, 13 Jul 2014 05:56:02 +0000 (07:56 +0200)]
Cleaner implementation of Rational

8 years agoSymplify TypeError messages in Expression.__new__
Vivien Maisonneuve [Sat, 12 Jul 2014 16:39:14 +0000 (18:39 +0200)]
Symplify TypeError messages in Expression.__new__

8 years agoFix methods Domain._sort_polygon_2d(), Domain._sort_polygon_3d()
Vivien Maisonneuve [Sat, 12 Jul 2014 08:18:43 +0000 (10:18 +0200)]
Fix methods Domain._sort_polygon_2d(), Domain._sort_polygon_3d()

8 years agoImplement method Polyhedron.faces()
Vivien Maisonneuve [Sat, 12 Jul 2014 07:57:20 +0000 (09:57 +0200)]
Implement method Polyhedron.faces()

8 years agoImplement methods Point.__hash__(), Vector.__hash__()
Vivien Maisonneuve [Sat, 12 Jul 2014 07:56:13 +0000 (09:56 +0200)]
Implement methods Point.__hash__(), Vector.__hash__()

8 years agoRename coordinates.py into geometry.py
Vivien Maisonneuve [Fri, 11 Jul 2014 17:48:04 +0000 (19:48 +0200)]
Rename coordinates.py into geometry.py

8 years agoRemove empty lines at top of files
Vivien Maisonneuve [Fri, 11 Jul 2014 16:35:52 +0000 (18:35 +0200)]
Remove empty lines at top of files

8 years agoClean up an import in domains.py
Vivien Maisonneuve [Fri, 11 Jul 2014 16:31:45 +0000 (18:31 +0200)]
Clean up an import in domains.py

8 years agoAdd abstract class GeometricObject
Vivien Maisonneuve [Fri, 11 Jul 2014 16:29:17 +0000 (18:29 +0200)]
Add abstract class GeometricObject

8 years agoRemove Vector.__slots__, useless
Vivien Maisonneuve [Fri, 11 Jul 2014 16:09:48 +0000 (18:09 +0200)]
Remove Vector.__slots__, useless

8 years agoMake Coordinate instantiable
Vivien Maisonneuve [Fri, 11 Jul 2014 16:07:57 +0000 (18:07 +0200)]
Make Coordinate instantiable

8 years agoMake coordinates mandatory in Point constructor
Vivien Maisonneuve [Fri, 11 Jul 2014 15:10:49 +0000 (17:10 +0200)]
Make coordinates mandatory in Point constructor

8 years agoImplement method Point.aspolyhedron()
Vivien Maisonneuve [Fri, 11 Jul 2014 15:00:47 +0000 (17:00 +0200)]
Implement method Point.aspolyhedron()

8 years agoImplement methods Polyhedron.__contains__(), Domain.__contains__()
Vivien Maisonneuve [Fri, 11 Jul 2014 14:18:39 +0000 (16:18 +0200)]
Implement methods Polyhedron.__contains__(), Domain.__contains__()

8 years agoImprove mapping recognition
Vivien Maisonneuve [Fri, 11 Jul 2014 14:51:06 +0000 (16:51 +0200)]
Improve mapping recognition

8 years agoRemove duplicate methods in coordinates.py, continued
Vivien Maisonneuve [Fri, 11 Jul 2014 14:22:21 +0000 (16:22 +0200)]
Remove duplicate methods in coordinates.py, continued

8 years agoRemove duplicate methods in coordinates.py
Vivien Maisonneuve [Fri, 11 Jul 2014 14:19:09 +0000 (16:19 +0200)]
Remove duplicate methods in coordinates.py

8 years agoPrivate methods to sort points in a polygon, untested
Vivien Maisonneuve [Fri, 11 Jul 2014 13:41:26 +0000 (15:41 +0200)]
Private methods to sort points in a polygon, untested

8 years agoDerive Point and Vector from Coordinates abstract class
Vivien Maisonneuve [Fri, 11 Jul 2014 12:47:15 +0000 (14:47 +0200)]
Derive Point and Vector from Coordinates abstract class

8 years agoNew module coordinates.py
Vivien Maisonneuve [Fri, 11 Jul 2014 12:10:50 +0000 (14:10 +0200)]
New module coordinates.py

8 years agoFix Polyhedron.vertices() for ISL 0.13
Vivien Maisonneuve [Wed, 9 Jul 2014 16:07:44 +0000 (18:07 +0200)]
Fix Polyhedron.vertices() for ISL 0.13

8 years agoAdd plot method
Danielle Bolan [Tue, 8 Jul 2014 16:05:53 +0000 (18:05 +0200)]
Add plot method

8 years agofixed vertices pushed before adding plot
Danielle Bolan [Tue, 8 Jul 2014 12:30:36 +0000 (14:30 +0200)]
fixed vertices pushed before adding plot

8 years agoGetting vertices when version < 0.13
Danielle Bolan [Mon, 7 Jul 2014 08:48:13 +0000 (10:48 +0200)]
Getting vertices when version < 0.13

8 years agoAdd methods Domain.subs(), Polyhedron.subs()
Vivien Maisonneuve [Sun, 6 Jul 2014 10:22:41 +0000 (12:22 +0200)]
Add methods Domain.subs(), Polyhedron.subs()

8 years agoHacky way to get vertices with ISL 0.13
Vivien Maisonneuve [Sat, 5 Jul 2014 15:46:39 +0000 (17:46 +0200)]
Hacky way to get vertices with ISL 0.13

8 years agoRaise ValueError when sampling an empty Domain
Vivien Maisonneuve [Sat, 5 Jul 2014 14:53:14 +0000 (16:53 +0200)]
Raise ValueError when sampling an empty Domain

8 years agoMake Domain.sample() consistent with Domain.points()
Vivien Maisonneuve [Sat, 5 Jul 2014 08:45:38 +0000 (10:45 +0200)]
Make Domain.sample() consistent with Domain.points()