Remove an unused import

[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