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

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

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

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

10 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

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

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

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

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

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

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

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

10 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

10 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

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

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

10 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

10 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

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

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

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

10 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

10 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

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

10 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__

10 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()

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

10 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__()

10 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

10 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

10 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

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

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

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

10 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

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

10 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__()

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

10 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

10 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

10 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

10 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

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

10 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

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

10 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

10 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

10 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()

10 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

10 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

10 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()

10 years agoMinor improvements in testing of new expressions
Vivien Maisonneuve [Sat, 5 Jul 2014 08:29:18 +0000 (10:29 +0200)]
Minor improvements in testing of new expressions

10 years agoRename Domain.polyhedral_hull() into Domain.aspolyhedron()
Vivien Maisonneuve [Fri, 4 Jul 2014 19:28:55 +0000 (21:28 +0200)]
Rename Domain.polyhedral_hull() into Domain.aspolyhedron()

10 years agoRename Domain.project_out() into Domain.project()
Vivien Maisonneuve [Fri, 4 Jul 2014 19:19:50 +0000 (21:19 +0200)]
Rename Domain.project_out() into Domain.project()

10 years agoMinor refactoring of Domain.points()
Vivien Maisonneuve [Fri, 4 Jul 2014 19:15:37 +0000 (21:15 +0200)]
Minor refactoring of Domain.points()

10 years agoReintroduce isl_basic_set_finalize to fix test cases
Vivien Maisonneuve [Fri, 4 Jul 2014 18:40:22 +0000 (20:40 +0200)]
Reintroduce isl_basic_set_finalize to fix test cases

10 years agoAdd vertices and points, messy!
Danielle Bolan [Fri, 4 Jul 2014 15:43:46 +0000 (17:43 +0200)]
Add vertices and points, messy!

10 years agoAdd helper function islhelper.isl_vertices_vertices()
Vivien Maisonneuve [Fri, 4 Jul 2014 14:13:25 +0000 (16:13 +0200)]
Add helper function islhelper.isl_vertices_vertices()

10 years agoSimplify C code
Vivien Maisonneuve [Fri, 4 Jul 2014 09:36:11 +0000 (11:36 +0200)]
Simplify C code

10 years agoMove isl_basic_set_finalize from C code to Python
Vivien Maisonneuve [Fri, 4 Jul 2014 09:09:30 +0000 (11:09 +0200)]
Move isl_basic_set_finalize from C code to Python

10 years agoAdd helper function islhelper.isl_set_points()
Vivien Maisonneuve [Fri, 4 Jul 2014 08:53:29 +0000 (10:53 +0200)]
Add helper function islhelper.isl_set_points()

10 years agoBetter implementation of Expression.__repr__
Vivien Maisonneuve [Thu, 3 Jul 2014 14:10:35 +0000 (16:10 +0200)]
Better implementation of Expression.__repr__

10 years agoImprove tests involving iterators
Vivien Maisonneuve [Thu, 3 Jul 2014 13:42:35 +0000 (15:42 +0200)]
Improve tests involving iterators

10 years agoSwap order of symbols and Dummy
Vivien Maisonneuve [Thu, 3 Jul 2014 13:16:21 +0000 (15:16 +0200)]
Swap order of symbols and Dummy

10 years agoAdd methods may be useful for larger polys, change format of printing
Danielle Bolan [Thu, 3 Jul 2014 15:17:45 +0000 (17:17 +0200)]
Add methods may be useful for larger polys, change format of printing

10 years agoBetter implementation of NSAD'10 example
Vivien Maisonneuve [Thu, 3 Jul 2014 09:43:04 +0000 (11:43 +0200)]
Better implementation of NSAD'10 example

10 years agoSupport for dummy symbols
Vivien Maisonneuve [Thu, 3 Jul 2014 08:19:39 +0000 (10:19 +0200)]
Support for dummy symbols

10 years agoAdd a few tests with universe and empty
Danielle Bolan [Thu, 3 Jul 2014 08:28:55 +0000 (10:28 +0200)]
Add a few tests with universe and empty

10 years agoFix examples
Vivien Maisonneuve [Wed, 2 Jul 2014 21:25:30 +0000 (23:25 +0200)]
Fix examples

10 years agoImplementation of Symbol.sortkey()
Vivien Maisonneuve [Wed, 2 Jul 2014 21:22:57 +0000 (23:22 +0200)]
Implementation of Symbol.sortkey()

10 years agoImplementation of Domain.fromsympy(), tosympy()
Vivien Maisonneuve [Wed, 2 Jul 2014 21:04:15 +0000 (23:04 +0200)]
Implementation of Domain.fromsympy(), tosympy()

10 years agoRename Constant into Rational
Vivien Maisonneuve [Wed, 2 Jul 2014 20:30:43 +0000 (22:30 +0200)]
Rename Constant into Rational

10 years agoCleaner and faster linear expressions
Vivien Maisonneuve [Wed, 2 Jul 2014 17:12:07 +0000 (19:12 +0200)]
Cleaner and faster linear expressions

10 years agoDrop_dims working for any order!
Danielle Bolan [Wed, 2 Jul 2014 10:01:03 +0000 (12:01 +0200)]
Drop_dims working for any order!

10 years agoUpdate drop_dims, now works with more than 2 dims passed
Danielle Bolan [Wed, 2 Jul 2014 09:47:58 +0000 (11:47 +0200)]
Update drop_dims, now works with more than 2 dims passed

10 years agoAdd to drop_dims check next value, a little sloppy
Danielle Bolan [Wed, 2 Jul 2014 09:10:14 +0000 (11:10 +0200)]
Add to drop_dims check next value, a little sloppy

10 years agoNew example: basic implementation of ACI'10
Vivien Maisonneuve [Wed, 2 Jul 2014 08:31:27 +0000 (10:31 +0200)]
New example: basic implementation of ACI'10

10 years agoMake symbolnames return a tuple
Vivien Maisonneuve [Wed, 2 Jul 2014 08:25:55 +0000 (10:25 +0200)]
Make symbolnames return a tuple

10 years agoHelper module for sympy in unitary tests
Vivien Maisonneuve [Wed, 2 Jul 2014 07:24:23 +0000 (09:24 +0200)]
Helper module for sympy in unitary tests

10 years agoFix tests for Expression.subs
Vivien Maisonneuve [Wed, 2 Jul 2014 07:08:56 +0000 (09:08 +0200)]
Fix tests for Expression.subs

10 years agoNew method Expression.subs
Vivien Maisonneuve [Wed, 2 Jul 2014 07:00:15 +0000 (09:00 +0200)]
New method Expression.subs

10 years agoHelper functions symbolname and symbolnames
Vivien Maisonneuve [Wed, 2 Jul 2014 05:08:11 +0000 (07:08 +0200)]
Helper functions symbolname and symbolnames

10 years agoBetter implementation of symbols and constants
Vivien Maisonneuve [Wed, 2 Jul 2014 04:53:14 +0000 (06:53 +0200)]
Better implementation of symbols and constants

10 years agoImprove hash functions in linexprs
Vivien Maisonneuve [Wed, 2 Jul 2014 04:32:12 +0000 (06:32 +0200)]
Improve hash functions in linexprs

10 years agoAdd missing classmethod decorator
Vivien Maisonneuve [Wed, 2 Jul 2014 04:10:18 +0000 (06:10 +0200)]
Add missing classmethod decorator

10 years agoOverloading for Domains.project_out(), to be improved
Vivien Maisonneuve [Tue, 1 Jul 2014 17:05:07 +0000 (19:05 +0200)]
Overloading for Domains.project_out(), to be improved

10 years agoAlternative implementation of projection
Vivien Maisonneuve [Tue, 1 Jul 2014 16:47:54 +0000 (18:47 +0200)]
Alternative implementation of projection

10 years agoLet's test complement, not compliment
Vivien Maisonneuve [Tue, 1 Jul 2014 16:32:54 +0000 (18:32 +0200)]
Let's test complement, not compliment

10 years agoFix make test
Vivien Maisonneuve [Tue, 1 Jul 2014 16:31:13 +0000 (18:31 +0200)]
Fix make test

10 years agoAdd diamond example
Vivien Maisonneuve [Tue, 1 Jul 2014 14:29:15 +0000 (16:29 +0200)]
Add diamond example

10 years agoAdd basic tests for drop_dims
Danielle Bolan [Tue, 1 Jul 2014 14:22:41 +0000 (16:22 +0200)]
Add basic tests for drop_dims

10 years agoRemove print statement
Danielle Bolan [Tue, 1 Jul 2014 14:17:53 +0000 (16:17 +0200)]
Remove print statement

10 years agoProject_out working
Danielle Bolan [Tue, 1 Jul 2014 14:03:38 +0000 (16:03 +0200)]
Project_out working

10 years agoCommit working basic drop constraints
Danielle Bolan [Tue, 1 Jul 2014 09:14:46 +0000 (11:14 +0200)]
Commit working basic drop constraints

10 years agoRemove explicit calls to magic methods in test files
Vivien Maisonneuve [Mon, 30 Jun 2014 15:33:38 +0000 (17:33 +0200)]
Remove explicit calls to magic methods in test files

10 years agoMake test work
Vivien Maisonneuve [Mon, 30 Jun 2014 15:32:12 +0000 (17:32 +0200)]
Make test work

10 years agoFix C code
Vivien Maisonneuve [Mon, 30 Jun 2014 15:31:54 +0000 (17:31 +0200)]
Fix C code

10 years agopushing recent changes before playing with project
Danielle Bolan [Mon, 30 Jun 2014 14:18:27 +0000 (16:18 +0200)]
pushing recent changes before playing with project

10 years agoUse OrderedDict to store Expression coefficients
Vivien Maisonneuve [Mon, 30 Jun 2014 09:55:28 +0000 (11:55 +0200)]
Use OrderedDict to store Expression coefficients

10 years agoadded unbounded test, deleted unused cvariable
Danielle Bolan [Fri, 27 Jun 2014 15:49:26 +0000 (17:49 +0200)]
added unbounded test, deleted unused cvariable