X-Git-Url: https://scm.cri.mines-paristech.fr/git/linpy.git/blobdiff_plain/98edd00eb4b05e85f7cb1b85cff2f4d733909c57..198c368d0b24dc80b1139b2a7282cc50ef654e4d:/doc/reference.rst diff --git a/doc/reference.rst b/doc/reference.rst index 64c37c6..ae82aca 100644 --- a/doc/reference.rst +++ b/doc/reference.rst @@ -5,6 +5,8 @@ Module Reference ================ +.. _reference_symbols: + Symbols ------- @@ -70,6 +72,8 @@ This is achieved using ``Dummy('x')``. True +.. _reference_linexprs: + Linear Expressions ------------------ @@ -230,6 +234,8 @@ 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. +.. _reference_polyhedra: + Polyhedra --------- @@ -305,6 +311,8 @@ This space can be unbounded. The universe polyhedron, whose set of constraints is always satisfiable, i.e. is empty. +.. _reference_domains: + Domains ------- @@ -487,6 +495,8 @@ Unlike polyhedra, domains allow exact computation of union, subtraction and comp Convert the domain to a sympy expression. +.. _reference_operators: + Comparison and Logic Operators ------------------------------ @@ -532,6 +542,8 @@ The following functions combine :class:`Polyhedron` or :class:`Domain` instances Create the complementary domain of the domain given in argument. +.. _reference_geometry: + Geometric Objects -----------------