X-Git-Url: https://svn.cri.ensmp.fr/git/linpy.git/blobdiff_plain/9cb18415eee0e4eb2a5126da5ba7bd916aa85dd1..ddefc755b0637b08a0a2788be3a0678b52942f5b:/linpy/domains.py?ds=sidebyside

diff --git a/linpy/domains.py b/linpy/domains.py
index b950e1e..581a065 100644
--- a/linpy/domains.py
+++ b/linpy/domains.py
@@ -24,7 +24,7 @@ from fractions import Fraction
 
 from . import islhelper
 from .islhelper import mainctx, libisl
-from .linexprs import LinExpr, Symbol, Rational
+from .linexprs import LinExpr, Symbol
 from .geometry import GeometricObject, Point, Vector
 
 
@@ -38,7 +38,7 @@ __all__ = [
 class Domain(GeometricObject):
     """
     A domain is a union of polyhedra. Unlike polyhedra, domains allow exact
-    computation of union and complementary operations.
+    computation of union, subtraction and complementary operations.
 
     A domain with a unique polyhedron is automatically subclassed as a
     Polyhedron instance.