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
8598cbd
..
9b55a03
100644
(file)
--- a/
doc/tutorial.rst
+++ b/
doc/tutorial.rst
@@
-4,6
+4,12
@@
Tutorial
========
Tutorial
========
+This section a short introduction to some of LinPy's features.
+For a comprehensive description of its functionalities, please consult the :ref:`reference`.
+
+
+.. _tutorial_polyhedra:
+
Polyhedra
---------
Polyhedra
---------
@@
-53,6
+59,8
@@
True
False
False
+.. _tutorial_domains:
+
Domains
-------
Domains
-------
@@
-75,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
--------
@@
-95,7
+105,7
@@
Also, keyword arguments can be passed such as color and the degree of transparen
.. figure:: images/union.jpg
:align: center
.. figure:: images/union.jpg
:align: center
-3D plots are also supported
.
+3D plots are also supported
:
>>> import matplotlib.pyplot as plt
>>> from matplotlib import pylab
>>> import matplotlib.pyplot as plt
>>> from matplotlib import pylab