X-Git-Url: https://scm.cri.ensmp.fr/git/linpy.git/blobdiff_plain/b60eea3e1f1ee3e2ec26b7df2ae64e6da8586372..dbe638f61f1927ee6f3dffaaf2dc34418725f50a:/doc/reference.rst diff --git a/doc/reference.rst b/doc/reference.rst index 69f0f45..8e36056 100644 --- a/doc/reference.rst +++ b/doc/reference.rst @@ -173,7 +173,6 @@ For example, if ``x`` is a :class:`Symbol`, then ``x + 1`` is an instance of :cl >>> x < y Le(x - y + 1, 0) - .. method:: scaleint() Return the expression multiplied by its lowest common denominator to make all values integer. @@ -303,6 +302,7 @@ This space can be unbounded. The universe polyhedron, whose set of constraints is always satisfiable, i.e. is empty. + Domains ------- @@ -505,7 +505,7 @@ The following functions create :class:`Polyhedron` or :class:`Domain` instances .. function:: Ne(expr1, expr2[, expr3, ...]) Create the domain such that ``expr1 != expr2 != expr3 ...``. - The result is a :class:`Domain`, not a :class:`Polyhedron`. + The result is a :class:`Domain` object, not a :class:`Polyhedron`. .. function:: Ge(expr1, expr2[, expr3, ...])