projects
/
linpy.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Reformat examples
[linpy.git]
/
doc
/
tutorial.rst
diff --git
a/doc/tutorial.rst
b/doc/tutorial.rst
index
977b697
..
9b55a03
100644
(file)
--- a/
doc/tutorial.rst
+++ b/
doc/tutorial.rst
@@
-5,9
+5,11
@@
Tutorial
========
This section a short introduction to some of LinPy's features.
========
This section a short introduction to some of LinPy's features.
-For a comprehensive description of its functionalities, please consult the :ref:`reference`
section
.
+For a comprehensive description of its functionalities, please consult the :ref:`reference`.
+.. _tutorial_polyhedra:
+
Polyhedra
---------
Polyhedra
---------
@@
-57,6
+59,8
@@
True
False
False
+.. _tutorial_domains:
+
Domains
-------
Domains
-------
@@
-79,6
+83,8
@@
Or(And(Eq(x, 0), Ge(y, 0), Ge(-y + 2, 0)), And(Eq(y, 0), Ge(x - 1, 0), Ge(-x + 2
Or(Ge(-x - 1, 0), Ge(x - 3, 0), And(Ge(x, 0), Ge(-x + 2, 0), Ge(-y - 1, 0)), And(Ge(x, 0), Ge(-x + 2, 0), Ge(y - 3, 0)))
Or(Ge(-x - 1, 0), Ge(x - 3, 0), And(Ge(x, 0), Ge(-x + 2, 0), Ge(-y - 1, 0)), And(Ge(x, 0), Ge(-x + 2, 0), Ge(y - 3, 0)))
+.. _tutorial_plot:
+
Plotting
--------
Plotting
--------