index 18e69c0..69f0f45 100644 (file)
@@ -2,6 +2,7 @@
Module Reference
================

Module Reference
================

+
Symbols
-------

Symbols
-------

@@ -227,6 +228,7 @@ They are implemented by the :class:`Rational` class, that inherits from both :cl

See the documentation of :class:`fractions.Fraction` for more information and examples.

See the documentation of :class:`fractions.Fraction` for more information and examples.

+
Polyhedra
---------

Polyhedra
---------

@@ -278,6 +280,14 @@ This space can be unbounded.
The tuple of constraints, i.e., equalities and inequalities.
This is semantically equivalent to: ``equalities + inequalities``.

The tuple of constraints, i.e., equalities and inequalities.
This is semantically equivalent to: ``equalities + inequalities``.

+    .. method:: convex_union(polyhedron[, ...])
+
+        Return the convex union of two or more polyhedra.
+
+    .. method:: asinequalities()
+
+        Express the polyhedron using inequalities, given as a list of expressions greater or equal to 0.
+
.. method:: widen(polyhedron)

Compute the *standard widening* of two polyhedra, à la Halbwachs.
.. method:: widen(polyhedron)

Compute the *standard widening* of two polyhedra, à la Halbwachs.
@@ -507,14 +517,14 @@ The following functions create :class:`Polyhedron` or :class:`Domain` instances

The following functions combine :class:`Polyhedron` or :class:`Domain` instances using logic operators:

The following functions combine :class:`Polyhedron` or :class:`Domain` instances using logic operators:

-.. function:: Or(domain1, domain2[, ...])
-
-    Create the union domain of the domains given in arguments.
-
.. function:: And(domain1, domain2[, ...])

Create the intersection domain of the domains given in arguments.

.. function:: And(domain1, domain2[, ...])

Create the intersection domain of the domains given in arguments.

+.. function:: Or(domain1, domain2[, ...])
+
+    Create the union domain of the domains given in arguments.
+
.. function:: Not(domain)

Create the complementary domain of the domain given in argument.
.. function:: Not(domain)

Create the complementary domain of the domain given in argument.