projects
/
linpy.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Rename Expression class into LinExpr
[linpy.git]
/
doc
/
reference.rst
diff --git
a/doc/reference.rst
b/doc/reference.rst
index
af5cd4d
..
4dcfbdc
100644
(file)
--- a/
doc/reference.rst
+++ b/
doc/reference.rst
@@
-230,7
+230,7
@@
They are implemented by the :class:`Rational` class, that inherits from both :cl
Polyhedra
---------
Polyhedra
---------
-A *convex polyhedron* (or simply
polyhedron
) is the space defined by a system of linear equalities and inequalities.
+A *convex polyhedron* (or simply
"polyhedron"
) is the space defined by a system of linear equalities and inequalities.
This space can be unbounded.
.. class:: Polyhedron(equalities, inequalities)
This space can be unbounded.
.. class:: Polyhedron(equalities, inequalities)
@@
-476,7
+476,7
@@
Unlike polyhedra, domains allow exact computation of union and complementary ope
Comparison and Logic Operators
------------------------------
Comparison and Logic Operators
------------------------------
-The following functions create :class:`Polyhedron` or :class:`Domain` instances
by comparison of
:class:`LinExpr` instances:
+The following functions create :class:`Polyhedron` or :class:`Domain` instances
using the comparisons of two or more
:class:`LinExpr` instances:
.. function:: Lt(expr1, expr2[, expr3, ...])
.. function:: Lt(expr1, expr2[, expr3, ...])